Mul atan pi Add asech Add Mul x0 4 Add E -4 acosh x3 
Mul atan pi Mul 4 Pow Mul Mul Add Mul x0 4 Add E -4 Add Mul x0 4 Add E -4 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 4 Add E -4 Add Mul x0 4 Add E -4 -1 -1 