tanh sech Mul 4 Mul x0 Add acosh x0 x0 
Mul Pow sech sech Mul 4 Mul x0 Add acosh x0 x0 2 Mul Mul tanh Mul 4 Mul x0 Add acosh x0 x0 Mul -1 sech Mul 4 Mul x0 Add acosh x0 x0 Mul 4 Add Add acosh x0 x0 Mul x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 