Pow acoth atanh Mul x3 Mul -3 x0 Mul x0 sin x0 
Mul Pow acoth atanh Mul x3 Mul -3 x0 Add Mul x0 sin x0 -1 Add Mul Mul x0 sin x0 Mul Mul Mul x3 -3 Pow Add 1 Mul -1 Mul Mul x3 Mul -3 x0 Mul x3 Mul -3 x0 -1 Pow Add 1 Mul -1 Mul atanh Mul x3 Mul -3 x0 atanh Mul x3 Mul -3 x0 -1 Mul Mul acoth atanh Mul x3 Mul -3 x0 log acoth atanh Mul x3 Mul -3 x0 Add sin x0 Mul x0 cos x0 