asec Mul Mul x7 acosh x3 Pow acos Mul Mul x0 x0 pi Mul Mul x0 cosh exp atan x0 x6 
Mul Mul Mul x7 acosh x3 Mul Pow acos Mul Mul x0 x0 pi Add Mul Mul x0 cosh exp atan x0 x6 -1 Add Mul Mul Mul x0 cosh exp atan x0 x6 Mul -1 Mul Mul pi Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 x0 pi Mul Mul x0 x0 pi -1 Mul Mul acos Mul Mul x0 x0 pi log acos Mul Mul x0 x0 pi Mul x6 Add cosh exp atan x0 Mul x0 Mul sinh exp atan x0 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x7 acosh x3 Pow acos Mul Mul x0 x0 pi Mul Mul x0 cosh exp atan x0 x6 Mul Mul x7 acosh x3 Pow acos Mul Mul x0 x0 pi Mul Mul x0 cosh exp atan x0 x6 -1 Mul Mul x7 acosh x3 Pow acos Mul Mul x0 x0 pi Mul Mul x0 cosh exp atan x0 x6 Mul Mul x7 acosh x3 Pow acos Mul Mul x0 x0 pi Mul Mul x0 cosh exp atan x0 x6 -1 