acosh Pow Mul x0 Pow exp x5 Mul x1 x0 5 
Mul Mul Pow Mul x0 Pow exp x5 Mul x1 x0 4 Mul 5 Add Pow exp x5 Mul x1 x0 Mul x0 Mul Pow exp x5 Add Mul x1 x0 -1 Mul Mul exp x5 log exp x5 x1 Pow Mul sqrt Add Pow Mul x0 Pow exp x5 Mul x1 x0 5 -1 sqrt Add 1 Pow Mul x0 Pow exp x5 Mul x1 x0 5 -1 