Open
Description
assume(x>-1)
assume(x<1)
arcsin(x)+arccos(x)
should, in principle, over the reals, simplify to pi/2 on the interval -1 to 1. I'm sure numerous problems would result with branches and step functions and whatnot if one actually attempted to implement this ... but in a wishlist world, one can dream!
Upstream at https://sourceforge.net/p/maxima/bugs/3298/
Upstream: Reported upstream. No feedback yet.
CC: @rwst
Component: symbolics
Issue created by migration from https://trac.sagemath.org/ticket/22699