Add -1 Pow Mul Mul Add acoth Mul Pow x2 2 E asinh cos x0 Mul atan asec x6 x0 x6 x5 
Mul Pow Mul Mul Add acoth Mul Pow x2 2 E asinh cos x0 Mul atan asec x6 x0 x6 Add x5 -1 Mul x5 Mul x6 Add Mul Mul atan asec x6 x0 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul cos x0 cos x0 -1 Mul Add acoth Mul Pow x2 2 E asinh cos x0 atan asec x6 