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