Mul x0 acosh Pow Pow Pow x0 acsch atan x0 E acot E 
Add acosh Pow Pow Pow x0 acsch atan x0 E acot E Mul x0 Mul Mul Pow Pow Pow x0 acsch atan x0 E Add acot E -1 Mul acot E Mul Pow Pow x0 acsch atan x0 Add E -1 Mul E Mul Pow x0 Add acsch atan x0 -1 Add acsch atan x0 Mul Mul x0 log x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul atan x0 atan x0 sqrt Add 1 Mul -1 Pow Mul atan x0 atan x0 -1 -1 Pow Mul sqrt Add Pow Pow Pow x0 acsch atan x0 E acot E -1 sqrt Add 1 Pow Pow Pow x0 acsch atan x0 E acot E -1 