atanh Pow Add x0 Mul x6 Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 x3 x0 
Mul Mul Pow Add x0 Mul x6 Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 x3 Add x0 -1 Add Mul x0 Add 1 Mul x6 Mul Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 Add x3 -1 Mul x3 Mul Pow x0 Add Add Add Mul acosh exp x0 x5 -4 x4 -1 Add Add Add Mul acosh exp x0 x5 -4 x4 Mul Mul x0 log x0 Mul x5 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Add x0 Mul x6 Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 x3 log Add x0 Mul x6 Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 x3 Pow Add 1 Mul -1 Mul Pow Add x0 Mul x6 Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 x3 x0 Pow Add x0 Mul x6 Pow Pow x0 Add Add Mul acosh exp x0 x5 -4 x4 x3 x0 -1 