acosh Add exp Mul x2 Mul Pow sec x0 x7 Pow Pow pi Mul acos sqrt x1 x0 -2 x7 
Mul Mul exp Mul x2 Mul Pow sec x0 x7 Pow Pow pi Mul acos sqrt x1 x0 -2 Mul x2 Add Mul Pow Pow pi Mul acos sqrt x1 x0 -2 Mul Pow sec x0 Add x7 -1 Mul x7 Mul tan x0 sec x0 Mul Pow sec x0 x7 Mul Pow Pow pi Mul acos sqrt x1 x0 3 Mul -2 Mul Pow pi Add Mul acos sqrt x1 x0 -1 Mul Mul pi log pi acos sqrt x1 Pow Mul sqrt Add Add exp Mul x2 Mul Pow sec x0 x7 Pow Pow pi Mul acos sqrt x1 x0 -2 x7 -1 sqrt Add 1 Add exp Mul x2 Mul Pow sec x0 x7 Pow Pow pi Mul acos sqrt x1 x0 -2 x7 -1 