Mul Pow Mul asinh x1 E Add asec log x0 x0 -4 
Mul -4 Mul Pow Mul asinh x1 E Add Add asec log x0 x0 -1 Mul Mul Mul asinh x1 E log Mul asinh x1 E Add Mul Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 log x0 log x0 -1 1 