Add Add Mul x0 Add Mul Pow asinh exp x0 -1 Pow x0 -2 Mul x0 x0 x0 asech x7 
Add Add Add Mul Pow asinh exp x0 -1 Pow x0 -2 Mul x0 x0 Mul x0 Add Add Mul Pow x0 -2 Mul Pow asinh exp x0 2 Mul -1 Mul exp x0 Pow sqrt Add 1 Mul exp x0 exp x0 -1 Mul Pow asinh exp x0 -1 Mul Pow x0 3 -2 Add x0 x0 1 