Mul Pow Mul x0 x0 Add cot x7 csch Add atan x6 acot Add Mul x0 x4 x7 32 
Mul 32 Mul Pow Mul x0 x0 Add Add cot x7 csch Add atan x6 acot Add Mul x0 x4 x7 -1 Add Mul Add cot x7 csch Add atan x6 acot Add Mul x0 x4 x7 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Mul Mul -1 coth Add atan x6 acot Add Mul x0 x4 x7 csch Add atan x6 acot Add Mul x0 x4 x7 Mul -1 Mul x4 Pow Add 1 Mul Add Mul x0 x4 x7 Add Mul x0 x4 x7 -1 