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