Mul acot Mul -0.500000000000000 Mul x0 x6 csch Mul Mul 3 x0 atanh x0 
Add Mul csch Mul Mul 3 x0 atanh x0 Mul -1 Mul Mul -0.500000000000000 x6 Pow Add 1 Mul Mul -0.500000000000000 Mul x0 x6 Mul -0.500000000000000 Mul x0 x6 -1 Mul acot Mul -0.500000000000000 Mul x0 x6 Mul Mul Mul -1 coth Mul Mul 3 x0 atanh x0 csch Mul Mul 3 x0 atanh x0 Add Mul atanh x0 3 Mul Mul 3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 