acosh Add Pow x0 Add x1 Mul Mul -5 x0 Add Pow x0 sqrt atan E x3 x0 
Mul Add Mul Pow x0 Add Add x1 Mul Mul -5 x0 Add Pow x0 sqrt atan E x3 -1 Add Add x1 Mul Mul -5 x0 Add Pow x0 sqrt atan E x3 Mul Mul x0 log x0 Add Mul Add Pow x0 sqrt atan E x3 -5 Mul Mul -5 x0 Mul Pow x0 Add sqrt atan E -1 sqrt atan E 1 Pow Mul sqrt Add Add Pow x0 Add x1 Mul Mul -5 x0 Add Pow x0 sqrt atan E x3 x0 -1 sqrt Add 1 Add Pow x0 Add x1 Mul Mul -5 x0 Add Pow x0 sqrt atan E x3 x0 -1 