Mul Add atanh x0 Add sqrt Mul x0 Add x2 Mul Mul -2 x0 E x1 acosh Mul Add x2 x4 -1 
Mul acosh Mul Add x2 x4 -1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul 2 sqrt Mul x0 Add x2 Mul Mul -2 x0 E -1 Add Add x2 Mul Mul -2 x0 E Mul x0 Mul E -2 