Mul Pow x0 exp x2 Mul x6 log exp atanh Add x0 acosh x0 
Add Mul Mul x6 log exp atanh Add x0 acosh x0 Mul Pow x0 Add exp x2 -1 exp x2 Mul Pow x0 exp x2 Mul x6 Mul Mul exp atanh Add x0 acosh x0 Mul Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Add x0 acosh x0 Add x0 acosh x0 -1 Pow exp atanh Add x0 acosh x0 -1 