Pow Mul x6 Pow x7 Mul x0 atan acoth Pow Add x3 x0 exp x0 Pow pi x1 
Mul Pow Mul x6 Pow x7 Mul x0 atan acoth Pow Add x3 x0 exp x0 Add Pow pi x1 -1 Mul Pow pi x1 Mul x6 Mul Pow x7 Add Mul x0 atan acoth Pow Add x3 x0 exp x0 -1 Mul Mul x7 log x7 Add atan acoth Pow Add x3 x0 exp x0 Mul x0 Mul Mul Mul Pow Add x3 x0 Add exp x0 -1 Add exp x0 Mul Mul Add x3 x0 log Add x3 x0 exp x0 Pow Add 1 Mul -1 Mul Pow Add x3 x0 exp x0 Pow Add x3 x0 exp x0 -1 Pow Add 1 Mul acoth Pow Add x3 x0 exp x0 acoth Pow Add x3 x0 exp x0 -1 