Mul acoth x0 Mul -3 Mul 3 cosh Pow 3 Mul atanh x0 x1 
Add Mul Mul -3 Mul 3 cosh Pow 3 Mul atanh x0 x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul -3 Mul 3 Mul sinh Pow 3 Mul atanh x0 x1 Mul Pow 3 Add Mul atanh x0 x1 -1 Mul 4.09861228866811 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 