tanh Mul Pow x0 Mul atanh Mul x2 4 sech x7 acoth cos x0 
Mul Pow sech Mul Pow x0 Mul atanh Mul x2 4 sech x7 acoth cos x0 2 Add Mul acoth cos x0 Mul Pow x0 Add Mul atanh Mul x2 4 sech x7 -1 Mul atanh Mul x2 4 sech x7 Mul Pow x0 Mul atanh Mul x2 4 sech x7 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 