tan asinh Mul tanh Mul Pow x0 x3 Add 4 x1 -2 
Mul Pow sec asinh Mul tanh Mul Pow x0 x3 Add 4 x1 -2 2 Mul Mul -2 Mul Pow sech Mul Pow x0 x3 Add 4 x1 2 Mul Add 4 x1 Mul Pow x0 Add x3 -1 x3 Pow sqrt Add 1 Mul Mul tanh Mul Pow x0 x3 Add 4 x1 -2 Mul tanh Mul Pow x0 x3 Add 4 x1 -2 -1 