Mul Pow Pow x0 0.648054273663885 Mul sqrt coth atan x0 x6 x0 
Add Mul x0 Mul Pow Pow x0 0.648054273663885 Add Mul sqrt coth atan x0 x6 -1 Add Mul Mul sqrt coth atan x0 x6 Mul Pow x0 -0.351945726336115 0.648054273663885 Mul Mul Pow x0 0.648054273663885 log Pow x0 0.648054273663885 Mul x6 Mul Pow Mul 2 sqrt coth atan x0 -1 Mul Mul -1 Pow csch atan x0 2 Pow Add 1 Mul x0 x0 -1 Pow Pow x0 0.648054273663885 Mul sqrt coth atan x0 x6 