exp Pow Add Add -0.995054753686730 Add asech pi x0 Add acosh acosh x7 x0 x0 
Mul exp Pow Add Add -0.995054753686730 Add asech pi x0 Add acosh acosh x7 x0 x0 Mul Pow Add Add -0.995054753686730 Add asech pi x0 Add acosh acosh x7 x0 Add x0 -1 Add Mul x0 2 Mul Add Add -0.995054753686730 Add asech pi x0 Add acosh acosh x7 x0 log Add Add -0.995054753686730 Add asech pi x0 Add acosh acosh x7 x0 