Pow Pow acosh Add x0 x1 x3 sin log exp x0 
Mul Pow Pow acosh Add x0 x1 x3 Add sin log exp x0 -1 Add Mul sin log exp x0 Mul Pow acosh Add x0 x1 Add x3 -1 Mul x3 Pow Mul sqrt Add Add x0 x1 -1 sqrt Add 1 Add x0 x1 -1 Mul Mul Pow acosh Add x0 x1 x3 log Pow acosh Add x0 x1 x3 Mul cos log exp x0 Mul exp x0 Pow exp x0 -1 