Pow Pow Mul x0 acosh Mul Mul 3 Mul -5 x0 x5 Mul 2 x0 Mul 4 x3 
Mul Pow Pow Mul x0 acosh Mul Mul 3 Mul -5 x0 x5 Mul 2 x0 Add Mul 4 x3 -1 Mul Mul 4 x3 Mul Pow Mul x0 acosh Mul Mul 3 Mul -5 x0 x5 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Add acosh Mul Mul 3 Mul -5 x0 x5 Mul x0 Mul Mul x5 2 Pow Mul sqrt Add Mul Mul 3 Mul -5 x0 x5 -1 sqrt Add 1 Mul Mul 3 Mul -5 x0 x5 -1 Mul Mul Mul x0 acosh Mul Mul 3 Mul -5 x0 x5 log Mul x0 acosh Mul Mul 3 Mul -5 x0 x5 2 