Pow Add Add pi x4 Pow Mul -2 acosh Mul Pow cos x0 x0 x0 x7 3 
Mul Pow Add Add pi x4 Pow Mul -2 acosh Mul Pow cos x0 x0 x0 x7 2 Mul 3 Mul Pow Mul -2 acosh Mul Pow cos x0 x0 x0 Add x7 -1 Mul x7 Mul -2 Mul Add Mul x0 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 Pow cos x0 x0 Pow Mul sqrt Add Mul Pow cos x0 x0 x0 -1 sqrt Add 1 Mul Pow cos x0 x0 x0 -1 