sqrt Pow x0 Add Pow Mul acosh cos x0 -2 x4 atan sec x7 
Mul Pow Mul 2 sqrt Pow x0 Add Pow Mul acosh cos x0 -2 x4 atan sec x7 -1 Mul Pow x0 Add Add Pow Mul acosh cos x0 -2 x4 atan sec x7 -1 Add Add Pow Mul acosh cos x0 -2 x4 atan sec x7 Mul Mul x0 log x0 Mul Pow Mul acosh cos x0 -2 Add x4 -1 Mul x4 Mul -2 Mul Mul -1 sin x0 Pow Mul sqrt Add cos x0 -1 sqrt Add 1 cos x0 -1 