Mul x0 acsch Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 
Add acsch Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 Mul x0 Mul Mul -1 Mul Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E 2 Mul -1 Mul Add Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Mul exp cosh Pow x0 atan Add 4 E Mul sinh Pow x0 atan Add 4 E Mul Pow x0 Add atan Add 4 E -1 atan Add 4 E Pow Mul Mul Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E sqrt Add 1 Mul -1 Pow Mul Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 -1 Pow Mul Mul Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 sqrt Add 1 Mul -1 Pow Mul Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 Pow asech Add Mul acosh x0 x0 exp cosh Pow x0 atan Add 4 E -1 -1 -1 