Pow Pow acoth Mul x0 x0 Add x0 atan Mul 0.333333333333333 exp Add Pow x6 Mul x0 2 x3 E 
Mul Pow Pow acoth Mul x0 x0 Add x0 atan Mul 0.333333333333333 exp Add Pow x6 Mul x0 2 x3 Add E -1 Mul E Mul Pow acoth Mul x0 x0 Add Add x0 atan Mul 0.333333333333333 exp Add Pow x6 Mul x0 2 x3 -1 Add Mul Add x0 atan Mul 0.333333333333333 exp Add Pow x6 Mul x0 2 x3 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Mul acoth Mul x0 x0 log acoth Mul x0 x0 Add 1 Mul Mul 0.333333333333333 Mul exp Add Pow x6 Mul x0 2 x3 Mul Pow x6 Add Mul x0 2 -1 Mul Mul x6 log x6 2 Pow Add 1 Mul Mul 0.333333333333333 exp Add Pow x6 Mul x0 2 x3 Mul 0.333333333333333 exp Add Pow x6 Mul x0 2 x3 -1 