Mul -5 Add Add Mul x0 Mul sqrt Add x0 acosh x0 x5 atan x0 3 
Mul -5 Add Add Mul sqrt Add x0 acosh x0 x5 Mul x0 Mul x5 Mul Pow Mul 2 sqrt Add x0 acosh x0 -1 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul x0 x0 -1 