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