Mul x2 Add Mul -4 Pow sqrt x5 Add 1.54308063481524 Mul Pow asech x0 Add x3 E exp x1 1 
Mul x2 Mul -4 Mul Pow sqrt x5 Add Add 1.54308063481524 Mul Pow asech x0 Add x3 E exp x1 -1 Mul Mul sqrt x5 log sqrt x5 Mul exp x1 Mul Pow asech x0 Add Add x3 E -1 Mul Add x3 E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 