Add 0.999909204262595 Mul Pow asec Pow atan x0 x7 Mul pi Pow x0 -5 acsch x0 
Add Mul acsch x0 Mul Pow asec Pow atan x0 x7 Add Mul pi Pow x0 -5 -1 Add Mul Mul pi Pow x0 -5 Mul Mul Pow atan x0 Add x7 -1 Mul x7 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow atan x0 x7 Pow atan x0 x7 -1 Pow atan x0 x7 Pow atan x0 x7 -1 Mul Mul asec Pow atan x0 x7 log asec Pow atan x0 x7 Mul pi Mul Pow x0 6 -5 Mul Pow asec Pow atan x0 x7 Mul pi Pow x0 -5 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 