Pow x7 Pow Add Mul x0 -1 Mul Add 3 x0 1.44224957030741 acos Pow asinh x7 x0 
Mul Pow x7 Add Pow Add Mul x0 -1 Mul Add 3 x0 1.44224957030741 acos Pow asinh x7 x0 -1 Mul Mul x7 log x7 Mul Pow Add Mul x0 -1 Mul Add 3 x0 1.44224957030741 Add acos Pow asinh x7 x0 -1 Add Mul acos Pow asinh x7 x0 0.442249570307408 Mul Mul Add Mul x0 -1 Mul Add 3 x0 1.44224957030741 log Add Mul x0 -1 Mul Add 3 x0 1.44224957030741 Mul -1 Mul Mul Pow asinh x7 Add x0 -1 Mul asinh x7 log asinh x7 Pow sqrt Add 1 Mul -1 Mul Pow asinh x7 x0 Pow asinh x7 x0 -1 