Mul atanh pi Mul Pow x3 Add Add atanh sec x0 x7 Add Pow acos x0 x0 cosh Add x0 x3 x0 
Mul atanh pi Add Mul x0 Mul Pow x3 Add Add Add atanh sec x0 x7 Add Pow acos x0 x0 cosh Add x0 x3 -1 Mul Mul x3 log x3 Add Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Add Mul Pow acos x0 Add x0 -1 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 log acos x0 sinh Add x0 x3 Pow x3 Add Add atanh sec x0 x7 Add Pow acos x0 x0 cosh Add x0 x3 