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