asech cosh Mul acosh Mul x2 x0 atanh x3 
Mul Mul sinh Mul acosh Mul x2 x0 atanh x3 Mul atanh x3 Mul x2 Pow Mul sqrt Add Mul x2 x0 -1 sqrt Add 1 Mul x2 x0 -1 Pow Mul Mul cosh Mul acosh Mul x2 x0 atanh x3 cosh Mul acosh Mul x2 x0 atanh x3 sqrt Add 1 Mul -1 Pow Mul cosh Mul acosh Mul x2 x0 atanh x3 cosh Mul acosh Mul x2 x0 atanh x3 -1 -1 