Mul Mul acoth acosh Mul Pow atan x3 x0 E Mul Mul csch x6 x0 Pow x0 2 x0 
Add Mul x0 Add Mul Mul Mul csch x6 x0 Pow x0 2 Mul Mul Mul E Mul Pow atan x3 Add x0 -1 Mul atan x3 log atan x3 Pow Mul sqrt Add Mul Pow atan x3 x0 E -1 sqrt Add 1 Mul Pow atan x3 x0 E -1 Pow Add 1 Mul -1 Mul acosh Mul Pow atan x3 x0 E acosh Mul Pow atan x3 x0 E -1 Mul acoth acosh Mul Pow atan x3 x0 E Add Mul Pow x0 2 csch x6 Mul Mul csch x6 x0 Mul x0 2 Mul acoth acosh Mul Pow atan x3 x0 E Mul Mul csch x6 x0 Pow x0 2 