Pow Add x3 E Add x0 Add log atanh Add x0 5 Mul asech E acoth Mul x0 acosh x3 
Mul Pow Add x3 E Add Add x0 Add log atanh Add x0 5 Mul asech E acoth Mul x0 acosh x3 -1 Mul Mul Add x3 E log Add x3 E Add 1 Add Mul Pow Add 1 Mul -1 Mul Add x0 5 Add x0 5 -1 Pow atanh Add x0 5 -1 Mul asech E Mul acosh x3 Pow Add 1 Mul -1 Mul Mul x0 acosh x3 Mul x0 acosh x3 -1 