acos Mul Mul x0 Add Add -2 x6 Pow Mul pi asec x0 acosh exp x4 -3 
Mul -1 Mul Mul -3 Add Add Add -2 x6 Pow Mul pi asec x0 acosh exp x4 Mul x0 Mul Pow Mul pi asec x0 Add acosh exp x4 -1 Mul acosh exp x4 Mul pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Add Add -2 x6 Pow Mul pi asec x0 acosh exp x4 -3 Mul Mul x0 Add Add -2 x6 Pow Mul pi asec x0 acosh exp x4 -3 -1 