Mul asinh Pow tanh sqrt x7 x0 Add 3 x0 
Add Mul Add 3 x0 Mul Mul Pow tanh sqrt x7 Add x0 -1 Mul tanh sqrt x7 log tanh sqrt x7 Pow sqrt Add 1 Mul Pow tanh sqrt x7 x0 Pow tanh sqrt x7 x0 -1 asinh Pow tanh sqrt x7 x0 