acosh Mul -2 sech Mul x0 atanh x1 
Mul Mul -2 Mul Mul tanh Mul x0 atanh x1 Mul -1 sech Mul x0 atanh x1 atanh x1 Pow Mul sqrt Add Mul -2 sech Mul x0 atanh x1 -1 sqrt Add 1 Mul -2 sech Mul x0 atanh x1 -1 