acosh Add 0.141120008059867 Add tanh Add x0 pi Mul cosh x6 x0 
Mul Add Pow sech Add x0 pi 2 cosh x6 Pow Mul sqrt Add Add 0.141120008059867 Add tanh Add x0 pi Mul cosh x6 x0 -1 sqrt Add 1 Add 0.141120008059867 Add tanh Add x0 pi Mul cosh x6 x0 -1 