acosh Mul x0 Add atan log x0 Add Add -1 Pow asec pi asech x0 Mul -1 Pow Mul Add -3 x0 x7 pi 
Mul Add Add atan log x0 Add Add -1 Pow asec pi asech x0 Mul -1 Pow Mul Add -3 x0 x7 pi Mul x0 Add Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 Add Mul Pow asec pi Add asech x0 -1 Mul Mul asec pi log asec pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul -1 Mul Pow Mul Add -3 x0 x7 Add pi -1 Mul pi x7 Pow Mul sqrt Add Mul x0 Add atan log x0 Add Add -1 Pow asec pi asech x0 Mul -1 Pow Mul Add -3 x0 x7 pi -1 sqrt Add 1 Mul x0 Add atan log x0 Add Add -1 Pow asec pi asech x0 Mul -1 Pow Mul Add -3 x0 x7 pi -1 