Mul atanh Pow Add Mul Add x0 acosh x7 Add 5 E Mul Mul x7 x0 x0 x7 x0 
Add Mul x0 Mul Mul Pow Add Mul Add x0 acosh x7 Add 5 E Mul Mul x7 x0 x0 Add x7 -1 Mul x7 Add Add 5 E Add Mul x0 x7 Mul x7 x0 Pow Add 1 Mul -1 Mul Pow Add Mul Add x0 acosh x7 Add 5 E Mul Mul x7 x0 x0 x7 Pow Add Mul Add x0 acosh x7 Add 5 E Mul Mul x7 x0 x0 x7 -1 atanh Pow Add Mul Add x0 acosh x7 Add 5 E Mul Mul x7 x0 x0 x7 