tan Add cos sech x0 Pow cos x7 Add Mul x0 cos x4 acoth Pow x3 sqrt x7 
Mul Pow sec Add cos sech x0 Pow cos x7 Add Mul x0 cos x4 acoth Pow x3 sqrt x7 2 Add Mul Mul -1 sin sech x0 Mul tanh x0 Mul -1 sech x0 Mul Pow cos x7 Add Add Mul x0 cos x4 acoth Pow x3 sqrt x7 -1 Mul Mul cos x7 log cos x7 cos x4 