Mul Mul x0 coth tanh Mul x3 cos x0 acosh Pow x7 x0 
Add Mul acosh Pow x7 x0 Add coth tanh Mul x3 cos x0 Mul x0 Mul Mul -1 Pow csch tanh Mul x3 cos x0 2 Mul Pow sech Mul x3 cos x0 2 Mul x3 Mul -1 sin x0 Mul Mul x0 coth tanh Mul x3 cos x0 Mul Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul sqrt Add Pow x7 x0 -1 sqrt Add 1 Pow x7 x0 -1 