Mul Mul x0 pi Add asech Mul x0 x0 Add x4 Pow x2 acosh acos Add x0 3.50000000000000 
Add Mul Add asech Mul x0 x0 Add x4 Pow x2 acosh acos Add x0 3.50000000000000 pi Mul Mul x0 pi Add Mul Add x0 x0 Pow Mul Mul Mul x0 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 -1 Mul Pow x2 Add acosh acos Add x0 3.50000000000000 -1 Mul Mul x2 log x2 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 3.50000000000000 Add x0 3.50000000000000 -1 Pow Mul sqrt Add acos Add x0 3.50000000000000 -1 sqrt Add 1 acos Add x0 3.50000000000000 -1 