Add 1 Add Mul x1 Add Add x3 Add 2 Pow x0 -3 Mul Pow x3 Mul Mul x0 Mul 5 x0 asech acos E exp x0 x0 
Add Mul x1 Add Mul Pow x0 4 -3 Add Mul exp x0 Mul Pow x3 Add Mul Mul x0 Mul 5 x0 asech acos E -1 Mul Mul x3 log x3 Mul asech acos E Add Mul 5 x0 Mul x0 5 Mul Pow x3 Mul Mul x0 Mul 5 x0 asech acos E exp x0 1 