acos Pow acoth Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 Pow Pow coth tan Mul x0 x0 x0 x0 
Mul -1 Mul Mul Pow acoth Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 Add Pow Pow coth tan Mul x0 x0 x0 x0 -1 Add Mul Pow Pow coth tan Mul x0 x0 x0 x0 Mul Add Add x0 Mul x4 Add atan x0 x7 Mul Add x6 x0 Add 1 Mul x4 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 -1 Mul Mul acoth Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 log acoth Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 Mul Pow Pow coth tan Mul x0 x0 x0 Add x0 -1 Add Mul x0 Mul Pow coth tan Mul x0 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch tan Mul x0 x0 2 Mul Pow sec Mul x0 x0 2 Add x0 x0 Mul coth tan Mul x0 x0 log coth tan Mul x0 x0 Mul Pow coth tan Mul x0 x0 x0 log Pow coth tan Mul x0 x0 x0 Pow sqrt Add 1 Mul -1 Mul Pow acoth Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 Pow Pow coth tan Mul x0 x0 x0 x0 Pow acoth Mul Add x6 x0 Add x0 Mul x4 Add atan x0 x7 Pow Pow coth tan Mul x0 x0 x0 x0 -1 