acsch Pow Add exp Mul atan x0 x0 -1 E 
Mul Mul -1 Mul Pow Add exp Mul atan x0 x0 -1 Add E -1 Mul E Mul exp Mul atan x0 x0 Add Mul x0 Pow Add 1 Mul x0 x0 -1 atan x0 Pow Mul Mul Pow Add exp Mul atan x0 x0 -1 E Pow Add exp Mul atan x0 x0 -1 E sqrt Add 1 Mul -1 Pow Mul Pow Add exp Mul atan x0 x0 -1 E Pow Add exp Mul atan x0 x0 -1 E -1 -1 