atanh Pow Mul Mul x6 Add x4 Mul Add acosh sqrt x2 x0 x0 x0 tanh E 
Mul Mul Pow Mul Mul x6 Add x4 Mul Add acosh sqrt x2 x0 x0 x0 Add tanh E -1 Mul tanh E Add Mul x0 Mul x6 Add x0 Add acosh sqrt x2 x0 Mul x6 Add x4 Mul Add acosh sqrt x2 x0 x0 Pow Add 1 Mul -1 Mul Pow Mul Mul x6 Add x4 Mul Add acosh sqrt x2 x0 x0 x0 tanh E Pow Mul Mul x6 Add x4 Mul Add acosh sqrt x2 x0 x0 x0 tanh E -1 