Mul csch Pow x3 Mul x0 acosh Pow atan x0 x4 x0 
Add Mul x0 Mul Mul Mul -1 coth Pow x3 Mul x0 acosh Pow atan x0 x4 csch Pow x3 Mul x0 acosh Pow atan x0 x4 Mul Pow x3 Add Mul x0 acosh Pow atan x0 x4 -1 Mul Mul x3 log x3 Add acosh Pow atan x0 x4 Mul x0 Mul Mul Pow atan x0 Add x4 -1 Mul x4 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Pow atan x0 x4 -1 sqrt Add 1 Pow atan x0 x4 -1 csch Pow x3 Mul x0 acosh Pow atan x0 x4 