Pow Mul Mul -3.21460183660255 acosh exp x2 x0 x0 
Mul Pow Mul Mul -3.21460183660255 acosh exp x2 x0 Add x0 -1 Add Mul x0 Mul -3.21460183660255 acosh exp x2 Mul Mul Mul -3.21460183660255 acosh exp x2 x0 log Mul Mul -3.21460183660255 acosh exp x2 x0 