asin Mul Pow cosh Mul log x0 cosh x1 -4 tanh x0 
Mul Add Mul tanh x0 Mul Pow cosh Mul log x0 cosh x1 5 Mul -4 Mul sinh Mul log x0 cosh x1 Mul cosh x1 Pow x0 -1 Mul Pow cosh Mul log x0 cosh x1 -4 Pow sech x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Pow cosh Mul log x0 cosh x1 -4 tanh x0 Mul Pow cosh Mul log x0 cosh x1 -4 tanh x0 -1 