Mul Pow Mul x0 -0.125000000000000 sqrt Mul Mul x1 x5 coth sqrt x0 atanh sin x7 
Mul atanh sin x7 Mul Pow Mul x0 -0.125000000000000 Add sqrt Mul Mul x1 x5 coth sqrt x0 -1 Add Mul sqrt Mul Mul x1 x5 coth sqrt x0 -0.125000000000000 Mul Mul Mul x0 -0.125000000000000 log Mul x0 -0.125000000000000 Mul Pow Mul 2 sqrt Mul Mul x1 x5 coth sqrt x0 -1 Mul Mul x1 x5 Mul Mul -1 Pow csch sqrt x0 2 Pow Mul 2 sqrt x0 -1 