Mul asin Mul x0 1.54308063481524 Pow x0 sech atan x3 
Add Mul Pow x0 sech atan x3 Mul 1.54308063481524 Pow sqrt Add 1 Mul -1 Mul Mul x0 1.54308063481524 Mul x0 1.54308063481524 -1 Mul asin Mul x0 1.54308063481524 Mul Pow x0 Add sech atan x3 -1 sech atan x3 