Pow acosh exp log x0 asec Pow Mul atan Pow pi Mul -2 x0 x0 x7 
Mul Pow acosh exp log x0 Add asec Pow Mul atan Pow pi Mul -2 x0 x0 x7 -1 Add Mul asec Pow Mul atan Pow pi Mul -2 x0 x0 x7 Mul Mul exp log x0 Pow x0 -1 Pow Mul sqrt Add exp log x0 -1 sqrt Add 1 exp log x0 -1 Mul Mul acosh exp log x0 log acosh exp log x0 Mul Mul Pow Mul atan Pow pi Mul -2 x0 x0 Add x7 -1 Mul x7 Add Mul x0 Mul Mul Pow pi Add Mul -2 x0 -1 Mul Mul pi log pi -2 Pow Add 1 Mul Pow pi Mul -2 x0 Pow pi Mul -2 x0 -1 atan Pow pi Mul -2 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul atan Pow pi Mul -2 x0 x0 x7 Pow Mul atan Pow pi Mul -2 x0 x0 x7 -1 Pow Mul atan Pow pi Mul -2 x0 x0 x7 Pow Mul atan Pow pi Mul -2 x0 x0 x7 -1 