Add Add x5 Mul x1 Mul asinh Pow x0 sec E -2 asech Mul x0 4 
Add Mul x1 Mul -2 Mul Mul Pow x0 Add sec E -1 sec E Pow sqrt Add 1 Mul Pow x0 sec E Pow x0 sec E -1 Mul 4 Pow Mul Mul Mul x0 4 Mul x0 4 sqrt Add 1 Mul -1 Pow Mul Mul x0 4 Mul x0 4 -1 -1 