Add Mul x0 x1 Add sqrt Pow exp Add Add x0 x0 cosh cos exp x3 x0 asin x0 
Add x1 Add Mul Pow Mul 2 sqrt Pow exp Add Add x0 x0 cosh cos exp x3 x0 -1 Mul Pow exp Add Add x0 x0 cosh cos exp x3 Add x0 -1 Add Mul x0 Mul exp Add Add x0 x0 cosh cos exp x3 2 Mul exp Add Add x0 x0 cosh cos exp x3 log exp Add Add x0 x0 cosh cos exp x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 