tanh acosh Add Add 3 atanh asech Pow x2 3 x0 
Mul Pow sech acosh Add Add 3 atanh asech Pow x2 3 x0 2 Pow Mul sqrt Add Add Add 3 atanh asech Pow x2 3 x0 -1 sqrt Add 1 Add Add 3 atanh asech Pow x2 3 x0 -1 