Pow Add acosh exp x0 exp x4 Mul Add x0 Add x5 x0 2 
Mul Pow Add acosh exp x0 exp x4 Add Mul Add x0 Add x5 x0 2 -1 Add Mul Mul Add x0 Add x5 x0 2 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Mul Add acosh exp x0 exp x4 log Add acosh exp x0 exp x4 4 