Add Pow sqrt Mul atan Mul Pow x0 5 Add 5 x0 acosh x3 2 Mul x2 x5 
Mul sqrt Mul atan Mul Pow x0 5 Add 5 x0 acosh x3 Mul 2 Mul Pow Mul 2 sqrt Mul atan Mul Pow x0 5 Add 5 x0 acosh x3 -1 Mul acosh x3 Mul Add Mul Add 5 x0 Mul Pow x0 4 5 Pow x0 5 Pow Add 1 Mul Mul Pow x0 5 Add 5 x0 Mul Pow x0 5 Add 5 x0 -1 