Pow atan Add -2 x0 Add Mul Mul x0 Mul x0 Mul x0 coth x5 Mul x0 x0 asin x0 
Mul Pow atan Add -2 x0 Add Add Mul Mul x0 Mul x0 Mul x0 coth x5 Mul x0 x0 asin x0 -1 Add Mul Add Mul Mul x0 Mul x0 Mul x0 coth x5 Mul x0 x0 asin x0 Pow Add 1 Mul Add -2 x0 Add -2 x0 -1 Mul Mul atan Add -2 x0 log atan Add -2 x0 Add Add Mul Mul x0 x0 Add Mul x0 Mul x0 coth x5 Mul x0 Add Mul x0 coth x5 Mul x0 coth x5 Mul Mul x0 Mul x0 Mul x0 coth x5 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 