Mul Pow x0 Pow x0 Mul asinh log x1 x5 tanh x0 
Add Mul tanh x0 Mul Pow x0 Add Pow x0 Mul asinh log x1 x5 -1 Add Pow x0 Mul asinh log x1 x5 Mul Mul x0 log x0 Mul Pow x0 Add Mul asinh log x1 x5 -1 Mul asinh log x1 x5 Mul Pow x0 Pow x0 Mul asinh log x1 x5 Pow sech x0 2 