Pow acoth Add Pow Mul x0 Pow atan x0 x2 Add Add x0 -4 acosh x3 acsc coth x0 asin x0 
Mul Pow acoth Add Pow Mul x0 Pow atan x0 x2 Add Add x0 -4 acosh x3 acsc coth x0 Add asin x0 -1 Add Mul asin x0 Mul Add Mul Pow Mul x0 Pow atan x0 x2 Add Add Add x0 -4 acosh x3 -1 Add Mul Add Add x0 -4 acosh x3 Add Pow atan x0 x2 Mul x0 Mul Pow atan x0 Add x2 -1 Mul x2 Pow Add 1 Mul x0 x0 -1 Mul Mul x0 Pow atan x0 x2 log Mul x0 Pow atan x0 x2 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 coth x0 coth x0 -1 Pow Add 1 Mul -1 Mul Add Pow Mul x0 Pow atan x0 x2 Add Add x0 -4 acosh x3 acsc coth x0 Add Pow Mul x0 Pow atan x0 x2 Add Add x0 -4 acosh x3 acsc coth x0 -1 Mul Mul acoth Add Pow Mul x0 Pow atan x0 x2 Add Add x0 -4 acosh x3 acsc coth x0 log acoth Add Pow Mul x0 Pow atan x0 x2 Add Add x0 -4 acosh x3 acsc coth x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 