Add Mul atanh Mul x1 atanh Pow x5 x0 Pow exp x2 exp x7 acos x0 
Add Mul Pow exp x2 exp x7 Mul Mul x1 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul -1 Mul Pow x5 x0 Pow x5 x0 -1 Pow Add 1 Mul -1 Mul Mul x1 atanh Pow x5 x0 Mul x1 atanh Pow x5 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 