asinh Mul Mul Pow atan x0 x0 Mul Mul x0 0.549306144334055 x7 sec x3 
Mul Mul sec x3 Add Mul Mul Mul x0 0.549306144334055 x7 Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Mul Pow atan x0 x0 Mul x7 0.549306144334055 Pow sqrt Add 1 Mul Mul Mul Pow atan x0 x0 Mul Mul x0 0.549306144334055 x7 sec x3 Mul Mul Pow atan x0 x0 Mul Mul x0 0.549306144334055 x7 sec x3 -1 