asin Mul x7 Pow Mul Mul acoth x5 x0 x0 Add Add x1 4 atan atan x0 
Mul Mul x7 Mul Pow Mul Mul acoth x5 x0 x0 Add Add Add x1 4 atan atan x0 -1 Add Mul Add Add x1 4 atan atan x0 Add Mul x0 acoth x5 Mul acoth x5 x0 Mul Mul Mul Mul acoth x5 x0 x0 log Mul Mul acoth x5 x0 x0 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul atan x0 atan x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x7 Pow Mul Mul acoth x5 x0 x0 Add Add x1 4 atan atan x0 Mul x7 Pow Mul Mul acoth x5 x0 x0 Add Add x1 4 atan atan x0 -1 