Pow Mul atan x0 Mul acos cos Pow pi x6 cosh Add x0 x1 x0 
Mul Pow Mul atan x0 Mul acos cos Pow pi x6 cosh Add x0 x1 Add x0 -1 Add Mul x0 Add Mul Mul acos cos Pow pi x6 cosh Add x0 x1 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul acos cos Pow pi x6 sinh Add x0 x1 Mul Mul atan x0 Mul acos cos Pow pi x6 cosh Add x0 x1 log Mul atan x0 Mul acos cos Pow pi x6 cosh Add x0 x1 