acosh Mul 2 Mul x5 Pow Add Mul Mul -1.99194557559354 x0 x0 x5 x6 
Mul Mul 2 Mul x5 Mul Pow Add Mul Mul -1.99194557559354 x0 x0 x5 Add x6 -1 Mul x6 Add Mul x0 -1.99194557559354 Mul -1.99194557559354 x0 Pow Mul sqrt Add Mul 2 Mul x5 Pow Add Mul Mul -1.99194557559354 x0 x0 x5 x6 -1 sqrt Add 1 Mul 2 Mul x5 Pow Add Mul Mul -1.99194557559354 x0 x0 x5 x6 -1 