5.269 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.020 * * [simplify]: iteration  0 :  24  enodes  (cost  9 )
0.020 * * [simplify]: iteration  1 :  24  enodes  (cost  9 )
0.021 * [simplify]: Simplified to:
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.022 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))>
0.023 * * * [progress]: localizing error
0.028 * * * [progress]: generating rewritten candidates
0.029 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.033 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.036 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.039 * * * [progress]: generating series expansions
0.039 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.039 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0
0.039 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
0.039 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.039 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.040 * [taylor]: Taking taylor expansion of 0.12 in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of 0.253 in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
0.040 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.040 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.040 * [taylor]: Taking taylor expansion of 0.12 in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of 0.253 in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.041 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0
0.041 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
0.041 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.041 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.041 * [taylor]: Taking taylor expansion of 0.12 in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of 0.253 in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
0.041 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.041 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.041 * [taylor]: Taking taylor expansion of 0.12 in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of 0.253 in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.043 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0
0.043 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
0.043 * [taylor]: Taking taylor expansion of -1 in x
0.043 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
0.043 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.043 * [taylor]: Taking taylor expansion of 0.253 in x
0.043 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.043 * [taylor]: Taking taylor expansion of 0.12 in x
0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
0.043 * [taylor]: Taking taylor expansion of -1 in x
0.043 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
0.043 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.043 * [taylor]: Taking taylor expansion of 0.253 in x
0.043 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.043 * [taylor]: Taking taylor expansion of 0.12 in x
0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.045 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.045 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0
0.045 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.045 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.045 * [taylor]: Taking taylor expansion of 0.12 in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of 0.253 in x
0.045 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.045 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.045 * [taylor]: Taking taylor expansion of 0.12 in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of 0.253 in x
0.046 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0
0.046 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.046 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.046 * [taylor]: Taking taylor expansion of 0.12 in x
0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of 0.253 in x
0.046 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.046 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.046 * [taylor]: Taking taylor expansion of 0.12 in x
0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of 0.253 in x
0.047 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0
0.047 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.047 * [taylor]: Taking taylor expansion of 0.253 in x
0.047 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.047 * [taylor]: Taking taylor expansion of 0.12 in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.047 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.047 * [taylor]: Taking taylor expansion of 0.253 in x
0.047 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.047 * [taylor]: Taking taylor expansion of 0.12 in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.048 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.048 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in (x) around 0
0.048 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x
0.048 * [taylor]: Taking taylor expansion of 1.0 in x
0.048 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x
0.048 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
0.048 * [taylor]: Taking taylor expansion of 0.12 in x
0.048 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
0.048 * [taylor]: Taking taylor expansion of 0.253 in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x))) in x
0.048 * [taylor]: Taking taylor expansion of 1.0 in x
0.048 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (* 0.253 x)) in x
0.048 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
0.048 * [taylor]: Taking taylor expansion of 0.12 in x
0.048 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
0.048 * [taylor]: Taking taylor expansion of 0.253 in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.049 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in (x) around 0
0.049 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x
0.049 * [taylor]: Taking taylor expansion of 1.0 in x
0.049 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
0.049 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.049 * [taylor]: Taking taylor expansion of 0.12 in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.049 * [taylor]: Taking taylor expansion of x in x
0.049 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.049 * [taylor]: Taking taylor expansion of 0.253 in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.049 * [taylor]: Taking taylor expansion of x in x
0.049 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x
0.049 * [taylor]: Taking taylor expansion of 1.0 in x
0.049 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
0.049 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.049 * [taylor]: Taking taylor expansion of 0.12 in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.049 * [taylor]: Taking taylor expansion of x in x
0.049 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.049 * [taylor]: Taking taylor expansion of 0.253 in x
0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.049 * [taylor]: Taking taylor expansion of x in x
0.050 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0
0.050 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x
0.050 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x
0.050 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.050 * [taylor]: Taking taylor expansion of 0.253 in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of 1.0 in x
0.050 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.050 * [taylor]: Taking taylor expansion of 0.12 in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x
0.050 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x
0.050 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.050 * [taylor]: Taking taylor expansion of 0.253 in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of 1.0 in x
0.050 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.050 * [taylor]: Taking taylor expansion of 0.12 in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.051 * * * [progress]: simplifying candidates
0.051 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (+ 0.253 (* x 0.12)))
  (+ (log x) (log (+ 0.253 (* x 0.12))))
  (log (* x (+ 0.253 (* x 0.12))))
  (exp (* x (+ 0.253 (* x 0.12))))
  (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))))
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* x 0.253)
  (* x (* x 0.12))
  (* 0.253 x)
  (* (* x 0.12) x)
  (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* x (sqrt (+ 0.253 (* x 0.12))))
  (* x 1)
  (* (cbrt x) (+ 0.253 (* x 0.12)))
  (* (sqrt x) (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (* (exp 0.253) (exp (* x 0.12)))
  (log (+ 0.253 (* x 0.12)))
  (exp (+ 0.253 (* x 0.12)))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (cbrt (+ 0.253 (* x 0.12)))
  (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (pow 0.253 3) (pow (* x 0.12) 3))
  (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))
  (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
  (- 0.253 (* x 0.12))
  (/ (exp 1.0) (exp (* x (+ 0.253 (* x 0.12)))))
  (log (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (exp (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))))
  (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (* (* (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (- (pow 1.0 3) (pow (* x (+ 0.253 (* x 0.12))) 3))
  (+ (* 1.0 1.0) (+ (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* 1.0 (* x (+ 0.253 (* x 0.12))))))
  (neg (* x (+ 0.253 (* x 0.12))))
  (- (* 1.0 1.0) (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))))
  (+ 1.0 (* x (+ 0.253 (* x 0.12))))
  (- 1.0 (* x 0.253))
  (- 1.0 (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
0.085 * * [simplify]: iteration  0 :  5072  enodes  (cost  524 )
0.088 * [simplify]: Simplified to:
   (* x (+ 0.253 (* x 0.12)))
  (log (* x (+ 0.253 (* x 0.12))))
  (log (* x (+ 0.253 (* x 0.12))))
  (pow (exp (+ 0.253 (* x 0.12))) x)
  (pow (* x (+ 0.253 (* x 0.12))) 3)
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (pow (* x (+ 0.253 (* x 0.12))) 3)
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* x 0.253)
  (* x (* x 0.12))
  (* x 0.253)
  (* x (* x 0.12))
  (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* x (sqrt (+ 0.253 (* x 0.12))))
  x
  (* (+ 0.253 (* x 0.12)) (cbrt x))
  (* (+ 0.253 (* x 0.12)) (sqrt x))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* x (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (exp (+ 0.253 (* x 0.12)))
  (log (+ 0.253 (* x 0.12)))
  (exp (+ 0.253 (* x 0.12)))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (cbrt (+ 0.253 (* x 0.12)))
  (pow (+ 0.253 (* x 0.12)) 3)
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (pow 0.253 3) (pow (* x 0.12) 3))
  (+ (* 0.253 0.253) (* x (* 0.12 (- (* x 0.12) 0.253))))
  (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))
  (- 0.253 (* x 0.12))
  (exp (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (log (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (exp (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))))
  (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (pow (- 1.0 (* x (+ 0.253 (* x 0.12)))) 3)
  (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))
  (- (pow 1.0 3) (pow (* x (+ 0.253 (* x 0.12))) 3))
  (+ (* 1.0 1.0) (* x (* (+ 0.253 (* x 0.12)) (+ (* x (+ 0.253 (* x 0.12))) 1.0))))
  (* x (neg (+ 0.253 (* x 0.12))))
  (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (+ (* x (+ 0.253 (* x 0.12))) 1.0)
  (- 1.0 (* x 0.253))
  (- 1.0 (* x 0.253))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.088 * * * [progress]: adding candidates to table
0.151 * * [progress]: iteration 2 / 4
0.151 * * * [progress]: picking best candidate
0.157 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))>
0.157 * * * [progress]: localizing error
0.171 * * * [progress]: generating rewritten candidates
0.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2)
0.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
0.183 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.190 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.202 * * * [progress]: generating series expansions
0.202 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2)
0.203 * [approximate]: Taking taylor expansion of (* 0.0144 x) in (x) around 0
0.203 * [taylor]: Taking taylor expansion of (* 0.0144 x) in x
0.203 * [taylor]: Taking taylor expansion of 0.0144 in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of (* 0.0144 x) in x
0.203 * [taylor]: Taking taylor expansion of 0.0144 in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [approximate]: Taking taylor expansion of (/ 0.0144 x) in (x) around 0
0.203 * [taylor]: Taking taylor expansion of (/ 0.0144 x) in x
0.203 * [taylor]: Taking taylor expansion of 0.0144 in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of (/ 0.0144 x) in x
0.203 * [taylor]: Taking taylor expansion of 0.0144 in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.204 * [approximate]: Taking taylor expansion of (/ -0.0144 x) in (x) around 0
0.204 * [taylor]: Taking taylor expansion of (/ -0.0144 x) in x
0.204 * [taylor]: Taking taylor expansion of -0.0144 in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * [taylor]: Taking taylor expansion of (/ -0.0144 x) in x
0.204 * [taylor]: Taking taylor expansion of -0.0144 in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
0.204 * [approximate]: Taking taylor expansion of (* 0.0144 (pow x 2)) in (x) around 0
0.204 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.204 * [taylor]: Taking taylor expansion of 0.0144 in x
0.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.205 * [taylor]: Taking taylor expansion of 0.0144 in x
0.205 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [approximate]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in (x) around 0
0.205 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x
0.205 * [taylor]: Taking taylor expansion of 0.0144 in x
0.205 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x
0.205 * [taylor]: Taking taylor expansion of 0.0144 in x
0.205 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.206 * [approximate]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in (x) around 0
0.206 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x
0.206 * [taylor]: Taking taylor expansion of 0.0144 in x
0.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of (/ 0.0144 (pow x 2)) in x
0.206 * [taylor]: Taking taylor expansion of 0.0144 in x
0.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.207 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.207 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in (x) around 0
0.207 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in x
0.207 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x
0.207 * [taylor]: Taking taylor expansion of 0.064009 in x
0.207 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.207 * [taylor]: Taking taylor expansion of 0.0144 in x
0.207 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.207 * [taylor]: Taking taylor expansion of x in x
0.207 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x
0.208 * [taylor]: Taking taylor expansion of 0.253 in x
0.208 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.208 * [taylor]: Taking taylor expansion of 0.12 in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in x
0.208 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x
0.208 * [taylor]: Taking taylor expansion of 0.064009 in x
0.208 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.208 * [taylor]: Taking taylor expansion of 0.0144 in x
0.208 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x
0.208 * [taylor]: Taking taylor expansion of 0.253 in x
0.208 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.208 * [taylor]: Taking taylor expansion of 0.12 in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.209 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0
0.209 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in x
0.209 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.209 * [taylor]: Taking taylor expansion of 0.064009 in x
0.209 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.209 * [taylor]: Taking taylor expansion of 0.0144 in x
0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.210 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.210 * [taylor]: Taking taylor expansion of 0.253 in x
0.210 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.210 * [taylor]: Taking taylor expansion of 0.12 in x
0.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in x
0.210 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.210 * [taylor]: Taking taylor expansion of 0.064009 in x
0.210 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.210 * [taylor]: Taking taylor expansion of 0.0144 in x
0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.210 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.210 * [taylor]: Taking taylor expansion of 0.253 in x
0.210 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.210 * [taylor]: Taking taylor expansion of 0.12 in x
0.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.213 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0
0.213 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (+ (* 0.12 (/ 1 x)) 0.253)) in x
0.213 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.213 * [taylor]: Taking taylor expansion of 0.064009 in x
0.213 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.213 * [taylor]: Taking taylor expansion of 0.0144 in x
0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.213 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.213 * [taylor]: Taking taylor expansion of 0.12 in x
0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of 0.253 in x
0.213 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (+ (* 0.12 (/ 1 x)) 0.253)) in x
0.213 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.213 * [taylor]: Taking taylor expansion of 0.064009 in x
0.213 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.213 * [taylor]: Taking taylor expansion of 0.0144 in x
0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.213 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.213 * [taylor]: Taking taylor expansion of 0.12 in x
0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of 0.253 in x
0.216 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.216 * [approximate]: Taking taylor expansion of (/ (* x (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* 0.12 x))) in (x) around 0
0.216 * [taylor]: Taking taylor expansion of (/ (* x (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* 0.12 x))) in x
0.216 * [taylor]: Taking taylor expansion of (* x (- 0.064009 (* 0.0144 (pow x 2)))) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x
0.216 * [taylor]: Taking taylor expansion of 0.064009 in x
0.216 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.216 * [taylor]: Taking taylor expansion of 0.0144 in x
0.216 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x
0.216 * [taylor]: Taking taylor expansion of 0.253 in x
0.216 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.216 * [taylor]: Taking taylor expansion of 0.12 in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (/ (* x (- 0.064009 (* 0.0144 (pow x 2)))) (- 0.253 (* 0.12 x))) in x
0.216 * [taylor]: Taking taylor expansion of (* x (- 0.064009 (* 0.0144 (pow x 2)))) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x
0.216 * [taylor]: Taking taylor expansion of 0.064009 in x
0.216 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.216 * [taylor]: Taking taylor expansion of 0.0144 in x
0.216 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x
0.216 * [taylor]: Taking taylor expansion of 0.253 in x
0.216 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.216 * [taylor]: Taking taylor expansion of 0.12 in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.219 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in (x) around 0
0.219 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in x
0.219 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.219 * [taylor]: Taking taylor expansion of 0.064009 in x
0.219 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.219 * [taylor]: Taking taylor expansion of 0.0144 in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.219 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (* x (- 0.253 (* 0.12 (/ 1 x)))) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.219 * [taylor]: Taking taylor expansion of 0.253 in x
0.219 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.219 * [taylor]: Taking taylor expansion of 0.12 in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (- 0.253 (* 0.12 (/ 1 x))))) in x
0.219 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.219 * [taylor]: Taking taylor expansion of 0.064009 in x
0.219 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.219 * [taylor]: Taking taylor expansion of 0.0144 in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.219 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (* x (- 0.253 (* 0.12 (/ 1 x)))) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.219 * [taylor]: Taking taylor expansion of 0.253 in x
0.219 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.219 * [taylor]: Taking taylor expansion of 0.12 in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.223 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in (x) around 0
0.223 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in x
0.223 * [taylor]: Taking taylor expansion of -1 in x
0.223 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253))) in x
0.223 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.223 * [taylor]: Taking taylor expansion of 0.064009 in x
0.223 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.223 * [taylor]: Taking taylor expansion of 0.0144 in x
0.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.223 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of (* x (+ (* 0.12 (/ 1 x)) 0.253)) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.223 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.223 * [taylor]: Taking taylor expansion of 0.12 in x
0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of 0.253 in x
0.223 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253)))) in x
0.223 * [taylor]: Taking taylor expansion of -1 in x
0.223 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (* x (+ (* 0.12 (/ 1 x)) 0.253))) in x
0.223 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.223 * [taylor]: Taking taylor expansion of 0.064009 in x
0.223 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.223 * [taylor]: Taking taylor expansion of 0.0144 in x
0.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.223 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of (* x (+ (* 0.12 (/ 1 x)) 0.253)) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.223 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.223 * [taylor]: Taking taylor expansion of 0.12 in x
0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of 0.253 in x
0.227 * * * [progress]: simplifying candidates
0.229 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (* 0.12 0.12))
  (* x (* 0.12 0.12))
  (+ (log x) (+ (log 0.12) (log 0.12)))
  (+ (log x) (log (* 0.12 0.12)))
  (log (* x (* 0.12 0.12)))
  (exp (* x (* 0.12 0.12)))
  (* (* (* x x) x) (* (* (* 0.12 0.12) 0.12) (* (* 0.12 0.12) 0.12)))
  (* (* (* x x) x) (* (* (* 0.12 0.12) (* 0.12 0.12)) (* 0.12 0.12)))
  (* (cbrt (* x (* 0.12 0.12))) (cbrt (* x (* 0.12 0.12))))
  (cbrt (* x (* 0.12 0.12)))
  (* (* (* x (* 0.12 0.12)) (* x (* 0.12 0.12))) (* x (* 0.12 0.12)))
  (sqrt (* x (* 0.12 0.12)))
  (sqrt (* x (* 0.12 0.12)))
  (* (sqrt x) 0.12)
  (* (sqrt x) 0.12)
  (* x 0.12)
  (* (cbrt x) (* 0.12 0.12))
  (* (sqrt x) (* 0.12 0.12))
  (* x (* 0.12 0.12))
  (* x (* x (* 0.12 0.12)))
  (* x (* x (* 0.12 0.12)))
  (* x (* x (* 0.12 0.12)))
  (+ (log x) (+ (log x) (+ (log 0.12) (log 0.12))))
  (+ (log x) (+ (log x) (log (* 0.12 0.12))))
  (+ (log x) (log (* x (* 0.12 0.12))))
  (log (* x (* x (* 0.12 0.12))))
  (exp (* x (* x (* 0.12 0.12))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* 0.12 0.12) 0.12) (* (* 0.12 0.12) 0.12))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* 0.12 0.12) (* 0.12 0.12)) (* 0.12 0.12))))
  (* (* (* x x) x) (* (* (* x (* 0.12 0.12)) (* x (* 0.12 0.12))) (* x (* 0.12 0.12))))
  (* (cbrt (* x (* x (* 0.12 0.12)))) (cbrt (* x (* x (* 0.12 0.12)))))
  (cbrt (* x (* x (* 0.12 0.12))))
  (* (* (* x (* x (* 0.12 0.12))) (* x (* x (* 0.12 0.12)))) (* x (* x (* 0.12 0.12))))
  (sqrt (* x (* x (* 0.12 0.12))))
  (sqrt (* x (* x (* 0.12 0.12))))
  (* x x)
  (* (cbrt x) (* x (* 0.12 0.12)))
  (* (sqrt x) (* x (* 0.12 0.12)))
  (* x (* x (* 0.12 0.12)))
  (- (log (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (log (- 0.253 (* x 0.12))))
  (log (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (exp (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (/ (* (* (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))
  (* (cbrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))) (cbrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (cbrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (* (* (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))) (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))) (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (sqrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (sqrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (neg (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (neg (- 0.253 (* x 0.12)))
  (/ (* 0.253 0.253) (- 0.253 (* x 0.12)))
  (/ (* x (* x (* 0.12 0.12))) (- 0.253 (* x 0.12)))
  (/ (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12))))
  (/ (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))) 1)
  (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (- 0.253 (* x 0.12)))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) 1)
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (- 0.253 (* x 0.12)))
  (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (cbrt (- 0.253 (* x 0.12))))
  (/ 1 (sqrt (- 0.253 (* x 0.12))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (sqrt (- 0.253 (* x 0.12))))
  (/ 1 1)
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))
  (/ 1 (- 0.253 (* x 0.12)))
  (/ (- 0.253 (* x 0.12)) (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (sqrt (- 0.253 (* x 0.12))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) 1)
  (/ (- 0.253 (* x 0.12)) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ (- 0.253 (* x 0.12)) (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ (- 0.253 (* x 0.12)) (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (pow 0.253 3) (pow (* x 0.12) 3)))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (* (- 0.253 (* x 0.12)) (+ (* (* 0.253 0.253) (* 0.253 0.253)) (+ (* (* x (* x (* 0.12 0.12))) (* x (* x (* 0.12 0.12)))) (* (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))))
  (* (- 0.253 (* x 0.12)) (+ (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (+ (log x) (- (log (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (log (- 0.253 (* x 0.12)))))
  (+ (log x) (log (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (log (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (exp (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* (* (* x x) x) (/ (* (* (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12)))))
  (* (* (* x x) x) (* (* (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))) (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))) (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* (cbrt (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))) (cbrt (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))
  (cbrt (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* (* (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))) (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))) (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (sqrt (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (sqrt (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* (sqrt x) (sqrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* (sqrt x) (sqrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* (sqrt x) (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))))
  (* (sqrt x) (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))))
  (* x (* (cbrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))) (cbrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))
  (* x (sqrt (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12)))))
  (* x (/ (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))))
  (* x (/ (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))) (sqrt (- 0.253 (* x 0.12)))))
  (* x (/ (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))) 1))
  (* x (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))))
  (* x (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))))
  (* x (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) 1))
  (* x (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))))
  (* x (/ 1 (sqrt (- 0.253 (* x 0.12)))))
  (* x (/ 1 1))
  (* x 1)
  (* x (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))))
  (* (cbrt x) (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (* (sqrt x) (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))
  (* x (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (* 0.0144 x)
  (* 0.0144 x)
  (* 0.0144 x)
  (* 0.0144 (pow x 2))
  (* 0.0144 (pow x 2))
  (* 0.0144 (pow x 2))
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
0.253 * * [simplify]: iteration  0 :  4993  enodes  (cost  1407 )
0.253 * * [simplify]: iteration  1 :  4993  enodes  (cost  1407 )
0.259 * [simplify]: Simplified to:
   (* x (* 0.12 0.12))
  (* x (* 0.12 0.12))
  (log (* x (* 0.12 0.12)))
  (log (* x (* 0.12 0.12)))
  (log (* x (* 0.12 0.12)))
  (pow (exp x) (* 0.12 0.12))
  (* (pow x 3) (pow 0.12 6))
  (* (pow x 3) (pow 0.12 6))
  (* (cbrt (* x (* 0.12 0.12))) (cbrt (* x (* 0.12 0.12))))
  (cbrt (* x (* 0.12 0.12)))
  (* (pow x 3) (pow 0.12 6))
  (sqrt (* x (* 0.12 0.12)))
  (sqrt (* x (* 0.12 0.12)))
  (* 0.12 (sqrt x))
  (* 0.12 (sqrt x))
  (* x 0.12)
  (* 0.12 (* 0.12 (cbrt x)))
  (* 0.12 (* 0.12 (sqrt x)))
  (* x (* 0.12 0.12))
  (* x (* x (* 0.12 0.12)))
  (* x (* x (* 0.12 0.12)))
  (* x (* x (* 0.12 0.12)))
  (* 2 (log (* x 0.12)))
  (* 2 (log (* x 0.12)))
  (* 2 (log (* x 0.12)))
  (* 2 (log (* x 0.12)))
  (pow (pow (exp x) (* 0.12 0.12)) x)
  (pow (* x 0.12) 6)
  (pow (* x 0.12) 6)
  (pow (* x 0.12) 6)
  (* (cbrt (* x (* x (* 0.12 0.12)))) (cbrt (* x (* x (* 0.12 0.12)))))
  (cbrt (* x (* x (* 0.12 0.12))))
  (pow (* x 0.12) 6)
  (fabs (* x 0.12))
  (fabs (* x 0.12))
  (* x x)
  (* x (* 0.12 (* 0.12 (cbrt x))))
  (* x (* 0.12 (* 0.12 (sqrt x))))
  (* x (* x (* 0.12 0.12)))
  (log (/ (+ (* x 0.12) 0.253) 1))
  (log (/ (+ (* x 0.12) 0.253) 1))
  (exp (/ (+ (* x 0.12) 0.253) 1))
  (/ (pow (+ (* x 0.12) 0.253) 3) 1)
  (* (cbrt (/ (+ (* x 0.12) 0.253) 1)) (cbrt (/ (+ (* x 0.12) 0.253) 1)))
  (cbrt (/ (+ (* x 0.12) 0.253) 1))
  (/ (pow (+ (* x 0.12) 0.253) 3) 1)
  (sqrt (/ (+ (* x 0.12) 0.253) 1))
  (sqrt (/ (+ (* x 0.12) 0.253) 1))
  (* (- 0.253 (* x 0.12)) (neg (+ (* x 0.12) 0.253)))
  (neg (- 0.253 (* x 0.12)))
  (* (/ 0.253 (- 0.253 (* x 0.12))) 0.253)
  (* (/ x (- 0.253 (* x 0.12))) (* x (* 0.12 0.12)))
  (* (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12)))) (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12))))
  (* (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12))))
  (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (- 0.253 (* x 0.12)))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12))))
  (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (- 0.253 (* x 0.12)))
  (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (cbrt (- 0.253 (* x 0.12))))
  (/ 1 (sqrt (- 0.253 (* x 0.12))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (sqrt (- 0.253 (* x 0.12))))
  1
  (/ (+ (* x 0.12) 0.253) 1)
  (/ 1 (- 0.253 (* x 0.12)))
  (/ 1 (+ (* x 0.12) 0.253))
  (* (/ (+ (* x 0.12) 0.253) (cbrt (- 0.253 (* x 0.12)))) (/ (- 0.253 (* x 0.12)) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (sqrt (- 0.253 (* x 0.12))))
  (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))
  (/ (- 0.253 (* x 0.12)) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ (- 0.253 (* x 0.12)) (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ 1 (+ (* x 0.12) 0.253))
  (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (pow 0.253 3) (pow (* x 0.12) 3)))
  1
  (* (- 0.253 (* x 0.12)) (+ (pow (* x 0.12) 4) (+ (pow 0.253 4) (* x (* (* x (* 0.12 0.12)) (* 0.253 0.253))))))
  (* (- 0.253 (* x 0.12)) (+ (* x (* x (* 0.12 0.12))) (* 0.253 0.253)))
  (* x (+ (* x 0.12) 0.253))
  (log (* x (+ (* x 0.12) 0.253)))
  (log (* x (+ (* x 0.12) 0.253)))
  (log (* x (+ (* x 0.12) 0.253)))
  (exp (* x (+ (* x 0.12) 0.253)))
  (pow (* x (+ (* x 0.12) 0.253)) 3)
  (pow (* x (+ (* x 0.12) 0.253)) 3)
  (* (cbrt (* x (+ (* x 0.12) 0.253))) (cbrt (* x (+ (* x 0.12) 0.253))))
  (cbrt (* x (+ (* x 0.12) 0.253)))
  (pow (* x (+ (* x 0.12) 0.253)) 3)
  (sqrt (* x (+ (* x 0.12) 0.253)))
  (sqrt (* x (+ (* x 0.12) 0.253)))
  (* (sqrt x) (sqrt (/ (+ (* x 0.12) 0.253) 1)))
  (* (sqrt x) (sqrt (/ (+ (* x 0.12) 0.253) 1)))
  (* (sqrt x) (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))))
  (* (sqrt x) (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))))
  (* x (* (cbrt (/ (+ (* x 0.12) 0.253) 1)) (cbrt (/ (+ (* x 0.12) 0.253) 1))))
  (* x (sqrt (/ (+ (* x 0.12) 0.253) 1)))
  (* x (* (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12)))) (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- 0.253 (* x 0.12))))))
  (* x (* (/ (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))))
  (* x (* (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (cbrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))))
  (* x (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))))
  (* x (/ (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))) (sqrt (- 0.253 (* x 0.12)))))
  (* x (sqrt (- (* 0.253 0.253) (* x (* x (* 0.12 0.12))))))
  (/ x (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ x (sqrt (- 0.253 (* x 0.12))))
  x
  x
  (* x (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- (pow 0.253 3) (pow (* x 0.12) 3))))
  x
  (* (cbrt x) (/ (+ (* x 0.12) 0.253) 1))
  (* (sqrt x) (/ (+ (* x 0.12) 0.253) 1))
  (* x (+ (* x 0.12) 0.253))
  (* x (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))))
  (* x 0.0144)
  (* x 0.0144)
  (* x 0.0144)
  (* x (* x 0.0144))
  (* x (* x 0.0144))
  (* x (* x 0.0144))
  (+ (* x 0.12) 0.253)
  (+ (* x 0.12) 0.253)
  (+ (* x 0.12) 0.253)
  (* x (+ (* x 0.12) 0.253))
  (* x (+ (* x 0.12) 0.253))
  (* x (+ (* x 0.12) 0.253))
0.262 * * * [progress]: adding candidates to table
0.410 * * [progress]: iteration 3 / 4
0.410 * * * [progress]: picking best candidate
0.417 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))))>
0.417 * * * [progress]: localizing error
0.435 * * * [progress]: generating rewritten candidates
0.435 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2)
0.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1)
0.446 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
0.451 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.461 * * * [progress]: generating series expansions
0.461 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2)
0.461 * [approximate]: Taking taylor expansion of (* (pow 0.12 2) x) in (x) around 0
0.461 * [taylor]: Taking taylor expansion of (* (pow 0.12 2) x) in x
0.461 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.461 * [taylor]: Taking taylor expansion of 0.12 in x
0.461 * [taylor]: Taking taylor expansion of x in x
0.461 * [taylor]: Taking taylor expansion of (* (pow 0.12 2) x) in x
0.461 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.461 * [taylor]: Taking taylor expansion of 0.12 in x
0.461 * [taylor]: Taking taylor expansion of x in x
0.462 * [approximate]: Taking taylor expansion of (/ (pow 0.12 2) x) in (x) around 0
0.462 * [taylor]: Taking taylor expansion of (/ (pow 0.12 2) x) in x
0.462 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.462 * [taylor]: Taking taylor expansion of 0.12 in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.462 * [taylor]: Taking taylor expansion of (/ (pow 0.12 2) x) in x
0.462 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.462 * [taylor]: Taking taylor expansion of 0.12 in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.463 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (pow 0.12 2)) x) in (x) around 0
0.463 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (pow 0.12 2)) x) in x
0.463 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow 0.12 2)) in x
0.463 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.463 * [taylor]: Taking taylor expansion of -1 in x
0.464 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.464 * [taylor]: Taking taylor expansion of 0.12 in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (pow 0.12 2)) x) in x
0.464 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow 0.12 2)) in x
0.464 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.464 * [taylor]: Taking taylor expansion of -1 in x
0.464 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.464 * [taylor]: Taking taylor expansion of 0.12 in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.466 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1)
0.466 * [approximate]: Taking taylor expansion of (* (pow 0.12 6) (pow x 3)) in (x) around 0
0.466 * [taylor]: Taking taylor expansion of (* (pow 0.12 6) (pow x 3)) in x
0.466 * [taylor]: Taking taylor expansion of (pow 0.12 6) in x
0.466 * [taylor]: Taking taylor expansion of 0.12 in x
0.466 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (* (pow 0.12 6) (pow x 3)) in x
0.466 * [taylor]: Taking taylor expansion of (pow 0.12 6) in x
0.466 * [taylor]: Taking taylor expansion of 0.12 in x
0.466 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.468 * [approximate]: Taking taylor expansion of (/ (pow 0.12 6) (pow x 3)) in (x) around 0
0.468 * [taylor]: Taking taylor expansion of (/ (pow 0.12 6) (pow x 3)) in x
0.468 * [taylor]: Taking taylor expansion of (pow 0.12 6) in x
0.468 * [taylor]: Taking taylor expansion of 0.12 in x
0.468 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (/ (pow 0.12 6) (pow x 3)) in x
0.468 * [taylor]: Taking taylor expansion of (pow 0.12 6) in x
0.468 * [taylor]: Taking taylor expansion of 0.12 in x
0.468 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.470 * [approximate]: Taking taylor expansion of (* -1 (/ (pow 0.12 6) (pow x 3))) in (x) around 0
0.470 * [taylor]: Taking taylor expansion of (* -1 (/ (pow 0.12 6) (pow x 3))) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of (/ (pow 0.12 6) (pow x 3)) in x
0.470 * [taylor]: Taking taylor expansion of (pow 0.12 6) in x
0.470 * [taylor]: Taking taylor expansion of 0.12 in x
0.470 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (* -1 (/ (pow 0.12 6) (pow x 3))) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of (/ (pow 0.12 6) (pow x 3)) in x
0.470 * [taylor]: Taking taylor expansion of (pow 0.12 6) in x
0.470 * [taylor]: Taking taylor expansion of 0.12 in x
0.470 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.472 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
0.472 * [approximate]: Taking taylor expansion of (* (pow 0.12 2) (pow x 2)) in (x) around 0
0.472 * [taylor]: Taking taylor expansion of (* (pow 0.12 2) (pow x 2)) in x
0.472 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.472 * [taylor]: Taking taylor expansion of 0.12 in x
0.473 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of (* (pow 0.12 2) (pow x 2)) in x
0.473 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.473 * [taylor]: Taking taylor expansion of 0.12 in x
0.473 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.474 * [approximate]: Taking taylor expansion of (/ (pow 0.12 2) (pow x 2)) in (x) around 0
0.474 * [taylor]: Taking taylor expansion of (/ (pow 0.12 2) (pow x 2)) in x
0.474 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.474 * [taylor]: Taking taylor expansion of 0.12 in x
0.474 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.474 * [taylor]: Taking taylor expansion of x in x
0.474 * [taylor]: Taking taylor expansion of (/ (pow 0.12 2) (pow x 2)) in x
0.474 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.474 * [taylor]: Taking taylor expansion of 0.12 in x
0.474 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.474 * [taylor]: Taking taylor expansion of x in x
0.475 * [approximate]: Taking taylor expansion of (* -1 (/ (* (cbrt -1) (pow 0.12 2)) (pow x 2))) in (x) around 0
0.475 * [taylor]: Taking taylor expansion of (* -1 (/ (* (cbrt -1) (pow 0.12 2)) (pow x 2))) in x
0.475 * [taylor]: Taking taylor expansion of -1 in x
0.475 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (pow 0.12 2)) (pow x 2)) in x
0.475 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow 0.12 2)) in x
0.475 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.475 * [taylor]: Taking taylor expansion of -1 in x
0.475 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.475 * [taylor]: Taking taylor expansion of 0.12 in x
0.475 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (* -1 (/ (* (cbrt -1) (pow 0.12 2)) (pow x 2))) in x
0.475 * [taylor]: Taking taylor expansion of -1 in x
0.475 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (pow 0.12 2)) (pow x 2)) in x
0.475 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow 0.12 2)) in x
0.475 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.475 * [taylor]: Taking taylor expansion of -1 in x
0.476 * [taylor]: Taking taylor expansion of (pow 0.12 2) in x
0.476 * [taylor]: Taking taylor expansion of 0.12 in x
0.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.479 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.479 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in (x) around 0
0.479 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in x
0.479 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x
0.479 * [taylor]: Taking taylor expansion of 0.064009 in x
0.479 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.479 * [taylor]: Taking taylor expansion of 0.0144 in x
0.479 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x
0.479 * [taylor]: Taking taylor expansion of 0.253 in x
0.479 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.479 * [taylor]: Taking taylor expansion of 0.12 in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (pow x 2))) (- 0.253 (* 0.12 x))) in x
0.479 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (pow x 2))) in x
0.479 * [taylor]: Taking taylor expansion of 0.064009 in x
0.479 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 2)) in x
0.479 * [taylor]: Taking taylor expansion of 0.0144 in x
0.479 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x
0.479 * [taylor]: Taking taylor expansion of 0.253 in x
0.479 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.479 * [taylor]: Taking taylor expansion of 0.12 in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.481 * [approximate]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in (x) around 0
0.481 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in x
0.481 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.481 * [taylor]: Taking taylor expansion of 0.064009 in x
0.481 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.481 * [taylor]: Taking taylor expansion of 0.0144 in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.481 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.481 * [taylor]: Taking taylor expansion of 0.253 in x
0.481 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.481 * [taylor]: Taking taylor expansion of 0.12 in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (/ (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) (- 0.253 (* 0.12 (/ 1 x)))) in x
0.481 * [taylor]: Taking taylor expansion of (- 0.064009 (* 0.0144 (/ 1 (pow x 2)))) in x
0.481 * [taylor]: Taking taylor expansion of 0.064009 in x
0.481 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 2))) in x
0.482 * [taylor]: Taking taylor expansion of 0.0144 in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.482 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.482 * [taylor]: Taking taylor expansion of 0.253 in x
0.482 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.482 * [taylor]: Taking taylor expansion of 0.12 in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.485 * [approximate]: Taking taylor expansion of (/ (+ (* 0.0144 (/ (cbrt -1) (pow x 2))) 0.064009) (+ (* 0.12 (/ 1 x)) 0.253)) in (x) around 0
0.485 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0144 (/ (cbrt -1) (pow x 2))) 0.064009) (+ (* 0.12 (/ 1 x)) 0.253)) in x
0.485 * [taylor]: Taking taylor expansion of (+ (* 0.0144 (/ (cbrt -1) (pow x 2))) 0.064009) in x
0.485 * [taylor]: Taking taylor expansion of (* 0.0144 (/ (cbrt -1) (pow x 2))) in x
0.485 * [taylor]: Taking taylor expansion of 0.0144 in x
0.485 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
0.485 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.485 * [taylor]: Taking taylor expansion of -1 in x
0.485 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of 0.064009 in x
0.485 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.485 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.485 * [taylor]: Taking taylor expansion of 0.12 in x
0.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of 0.253 in x
0.485 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0144 (/ (cbrt -1) (pow x 2))) 0.064009) (+ (* 0.12 (/ 1 x)) 0.253)) in x
0.485 * [taylor]: Taking taylor expansion of (+ (* 0.0144 (/ (cbrt -1) (pow x 2))) 0.064009) in x
0.485 * [taylor]: Taking taylor expansion of (* 0.0144 (/ (cbrt -1) (pow x 2))) in x
0.485 * [taylor]: Taking taylor expansion of 0.0144 in x
0.485 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
0.485 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.485 * [taylor]: Taking taylor expansion of -1 in x
0.485 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of 0.064009 in x
0.486 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.486 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.486 * [taylor]: Taking taylor expansion of 0.12 in x
0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of 0.253 in x
0.487 * * * [progress]: simplifying candidates
0.489 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* (pow x 3) (pow 0.12 6))))
  (exp (cbrt (* (pow x 3) (pow 0.12 6))))
  (cbrt (pow x 3))
  (cbrt (pow 0.12 6))
  (* (cbrt (cbrt (* (pow x 3) (pow 0.12 6)))) (cbrt (cbrt (* (pow x 3) (pow 0.12 6)))))
  (cbrt (cbrt (* (pow x 3) (pow 0.12 6))))
  (* (* (cbrt (* (pow x 3) (pow 0.12 6))) (cbrt (* (pow x 3) (pow 0.12 6)))) (cbrt (* (pow x 3) (pow 0.12 6))))
  (sqrt (cbrt (* (pow x 3) (pow 0.12 6))))
  (sqrt (cbrt (* (pow x 3) (pow 0.12 6))))
  (+ (* (log x) 3) (* (log 0.12) 6))
  (+ (* (log x) 3) (* (log 0.12) 6))
  (+ (* (log x) 3) (log (pow 0.12 6)))
  (+ (* (log x) 3) (* (log 0.12) 6))
  (+ (* (log x) 3) (* (log 0.12) 6))
  (+ (* (log x) 3) (log (pow 0.12 6)))
  (+ (log (pow x 3)) (* (log 0.12) 6))
  (+ (log (pow x 3)) (* (log 0.12) 6))
  (+ (log (pow x 3)) (log (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (exp (* (pow x 3) (pow 0.12 6)))
  (* (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* (pow 0.12 6) (pow 0.12 6)) (pow 0.12 6)))
  (* (cbrt (* (pow x 3) (pow 0.12 6))) (cbrt (* (pow x 3) (pow 0.12 6))))
  (cbrt (* (pow x 3) (pow 0.12 6)))
  (* (* (* (pow x 3) (pow 0.12 6)) (* (pow x 3) (pow 0.12 6))) (* (pow x 3) (pow 0.12 6)))
  (sqrt (* (pow x 3) (pow 0.12 6)))
  (sqrt (* (pow x 3) (pow 0.12 6)))
  (* (pow (sqrt x) 3) (pow (sqrt 0.12) 6))
  (* (pow (sqrt x) 3) (pow (sqrt 0.12) 6))
  (* (pow (sqrt x) 3) (sqrt (pow 0.12 6)))
  (* (pow (sqrt x) 3) (sqrt (pow 0.12 6)))
  (* (pow (sqrt x) 3) (pow 0.12 (/ 6 2)))
  (* (pow (sqrt x) 3) (pow 0.12 (/ 6 2)))
  (* (pow (sqrt x) 3) (pow (sqrt 0.12) 6))
  (* (pow (sqrt x) 3) (pow (sqrt 0.12) 6))
  (* (pow (sqrt x) 3) (sqrt (pow 0.12 6)))
  (* (pow (sqrt x) 3) (sqrt (pow 0.12 6)))
  (* (pow (sqrt x) 3) (pow 0.12 (/ 6 2)))
  (* (pow (sqrt x) 3) (pow 0.12 (/ 6 2)))
  (* (sqrt (pow x 3)) (pow (sqrt 0.12) 6))
  (* (sqrt (pow x 3)) (pow (sqrt 0.12) 6))
  (* (sqrt (pow x 3)) (sqrt (pow 0.12 6)))
  (* (sqrt (pow x 3)) (sqrt (pow 0.12 6)))
  (* (sqrt (pow x 3)) (pow 0.12 (/ 6 2)))
  (* (sqrt (pow x 3)) (pow 0.12 (/ 6 2)))
  (* (pow x (/ 3 2)) (pow (sqrt 0.12) 6))
  (* (pow x (/ 3 2)) (pow (sqrt 0.12) 6))
  (* (pow x (/ 3 2)) (sqrt (pow 0.12 6)))
  (* (pow x (/ 3 2)) (sqrt (pow 0.12 6)))
  (* (pow x (/ 3 2)) (pow 0.12 (/ 6 2)))
  (* (pow x (/ 3 2)) (pow 0.12 (/ 6 2)))
  (* (pow x 3) (pow (* (cbrt 0.12) (cbrt 0.12)) 6))
  (* (pow x 3) (pow (sqrt 0.12) 6))
  (* (pow x 3) (pow 1 6))
  (* (pow x 3) (* (cbrt (pow 0.12 6)) (cbrt (pow 0.12 6))))
  (* (pow x 3) (sqrt (pow 0.12 6)))
  (* (pow x 3) 1)
  (* (pow x 3) (pow 0.12 (/ 6 2)))
  (* (pow (cbrt x) 3) (pow 0.12 6))
  (* (pow (sqrt x) 3) (pow 0.12 6))
  (* (pow x 3) (pow 0.12 6))
  (* x (pow 0.12 6))
  (* (cbrt (pow x 3)) (pow 0.12 6))
  (* (pow (cbrt x) 3) (pow 0.12 6))
  (* (pow (sqrt x) 3) (pow 0.12 6))
  (* (pow x 3) (pow 0.12 6))
  (* (* x x) (pow 0.12 6))
  (* (sqrt (pow x 3)) (pow 0.12 6))
  (* (pow x 3) (pow 0.12 6))
  (* (pow x (/ 3 2)) (pow 0.12 6))
  (* x (cbrt (* (pow x 3) (pow 0.12 6))))
  (+ (log x) (log (cbrt (* (pow x 3) (pow 0.12 6)))))
  (log (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (exp (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* (* (* x x) x) (* (pow x 3) (pow 0.12 6)))
  (* (cbrt (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (cbrt (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (cbrt (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* (* (* x (cbrt (* (pow x 3) (pow 0.12 6)))) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (sqrt (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (sqrt (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* (sqrt x) (sqrt (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* (sqrt x) (sqrt (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* x (cbrt (pow x 3)))
  (* x (* (cbrt (cbrt (* (pow x 3) (pow 0.12 6)))) (cbrt (cbrt (* (pow x 3) (pow 0.12 6))))))
  (* x (sqrt (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* x 1)
  (* (cbrt x) (cbrt (* (pow x 3) (pow 0.12 6))))
  (* (sqrt x) (cbrt (* (pow x 3) (pow 0.12 6))))
  (* x (cbrt (* (pow x 3) (pow 0.12 6))))
  (- (log (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (log (- 0.253 (* x 0.12))))
  (log (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (exp (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (/ (* (* (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (* (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))) (- 0.253 (* x 0.12))))
  (* (cbrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))) (cbrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))))
  (cbrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (* (* (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))) (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))) (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (sqrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (sqrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (neg (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (neg (- 0.253 (* x 0.12)))
  (/ (* 0.253 0.253) (- 0.253 (* x 0.12)))
  (/ (* x (cbrt (* (pow x 3) (pow 0.12 6)))) (- 0.253 (* x 0.12)))
  (/ (* (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- 0.253 (* x 0.12))))
  (/ (* (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (* (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))) 1)
  (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (- 0.253 (* x 0.12)))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) 1)
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (- 0.253 (* x 0.12)))
  (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (cbrt (- 0.253 (* x 0.12))))
  (/ 1 (sqrt (- 0.253 (* x 0.12))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (sqrt (- 0.253 (* x 0.12))))
  (/ 1 1)
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))
  (/ 1 (- 0.253 (* x 0.12)))
  (/ (- 0.253 (* x 0.12)) (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) 1)
  (/ (- 0.253 (* x 0.12)) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))))
  (/ (- 0.253 (* x 0.12)) (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))))
  (/ (- 0.253 (* x 0.12)) (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- (pow 0.253 3) (pow (* x 0.12) 3)))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (* (- 0.253 (* x 0.12)) (+ (* (* 0.253 0.253) (* 0.253 0.253)) (+ (* (* x (cbrt (* (pow x 3) (pow 0.12 6)))) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (* (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))))
  (* (- 0.253 (* x 0.12)) (+ (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (* 0.0144 x)
  (* 0.0144 x)
  (* -0.0144 (* (cbrt -1) x))
  (* 2.985984e-06 (pow x 3))
  (* 2.985984e-06 (pow x 3))
  (* 2.985984e-06 (pow x 3))
  (* 0.0144 (pow x 2))
  (* 0.0144 (pow x 2))
  (* -0.0144 (* (cbrt -1) (pow x 2)))
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (neg (+ (* 0.253 (cbrt -1)) (+ (* 0.5334083333333334 (/ (cbrt -1) x)) (+ (* 0.12 (* (cbrt -1) x)) (* 0.5334083333333334 (/ 1 x))))))
0.543 * * [simplify]: iteration  0 :  5299  enodes  (cost  1719 )
0.549 * [simplify]: Simplified to:
   (log (cbrt (* (pow x 3) (pow 0.12 6))))
  (exp (cbrt (* (pow x 3) (pow 0.12 6))))
  x
  (cbrt (pow 0.12 6))
  (* (cbrt (cbrt (* (pow x 3) (pow 0.12 6)))) (cbrt (cbrt (* (pow x 3) (pow 0.12 6)))))
  (cbrt (cbrt (* (pow x 3) (pow 0.12 6))))
  (* (pow x 3) (pow 0.12 6))
  (sqrt (cbrt (* (pow x 3) (pow 0.12 6))))
  (sqrt (cbrt (* (pow x 3) (pow 0.12 6))))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (log (* (pow x 3) (pow 0.12 6)))
  (pow (exp (pow x 3)) (pow 0.12 6))
  (pow (* (pow x 3) (pow 0.12 6)) 3)
  (* (cbrt (* (pow x 3) (pow 0.12 6))) (cbrt (* (pow x 3) (pow 0.12 6))))
  (cbrt (* (pow x 3) (pow 0.12 6)))
  (pow (* (pow x 3) (pow 0.12 6)) 3)
  (sqrt (* (pow x 3) (pow 0.12 6)))
  (sqrt (* (pow x 3) (pow 0.12 6)))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (sqrt (pow 0.12 6)))
  (* (pow x 3/2) (sqrt (pow 0.12 6)))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (sqrt (pow 0.12 6)))
  (* (pow x 3/2) (sqrt (pow 0.12 6)))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow 0.12 3) (sqrt (pow x 3)))
  (* (pow 0.12 3) (sqrt (pow x 3)))
  (* (sqrt (pow 0.12 6)) (sqrt (pow x 3)))
  (* (sqrt (pow 0.12 6)) (sqrt (pow x 3)))
  (* (pow 0.12 3) (sqrt (pow x 3)))
  (* (pow 0.12 3) (sqrt (pow x 3)))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (sqrt (pow 0.12 6)))
  (* (pow x 3/2) (sqrt (pow 0.12 6)))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3/2) (pow 0.12 3))
  (* (pow x 3) (* (* 0.12 0.12) (* 0.12 0.12)))
  (pow (* x 0.12) 3)
  (pow x 3)
  (* (pow x 3) (* (cbrt (pow 0.12 6)) (cbrt (pow 0.12 6))))
  (* (pow x 3) (sqrt (pow 0.12 6)))
  (pow x 3)
  (pow (* x 0.12) 3)
  (* x (pow 0.12 6))
  (* (pow 0.12 6) (pow x 3/2))
  (* (pow x 3) (pow 0.12 6))
  (* x (pow 0.12 6))
  (* x (pow 0.12 6))
  (* x (pow 0.12 6))
  (* (pow 0.12 6) (pow x 3/2))
  (* (pow x 3) (pow 0.12 6))
  (* x (* x (pow 0.12 6)))
  (* (pow 0.12 6) (sqrt (pow x 3)))
  (* (pow x 3) (pow 0.12 6))
  (* (pow 0.12 6) (pow x 3/2))
  (* x (cbrt (* (pow x 3) (pow 0.12 6))))
  (log (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (log (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (pow (exp (cbrt (* (pow x 3) (pow 0.12 6)))) x)
  (pow (* x 0.12) 6)
  (* (cbrt (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (cbrt (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (cbrt (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (pow (* x 0.12) 6)
  (sqrt (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (sqrt (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (* (sqrt (cbrt (* (pow x 3) (pow 0.12 6)))) (sqrt x))
  (* (sqrt (cbrt (* (pow x 3) (pow 0.12 6)))) (sqrt x))
  (* x x)
  (* x (* (cbrt (cbrt (* (pow x 3) (pow 0.12 6)))) (cbrt (cbrt (* (pow x 3) (pow 0.12 6))))))
  (* x (sqrt (cbrt (* (pow x 3) (pow 0.12 6)))))
  x
  (* (cbrt (* (pow x 3) (pow 0.12 6))) (cbrt x))
  (* (cbrt (* (pow x 3) (pow 0.12 6))) (sqrt x))
  (* x (cbrt (* (pow x 3) (pow 0.12 6))))
  (log (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (log (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (exp (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (pow (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))) 3)
  (* (cbrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))) (cbrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))))
  (cbrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (pow (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))) 3)
  (sqrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (sqrt (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))
  (neg (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (neg (- 0.253 (* x 0.12)))
  (* (/ 0.253 (- 0.253 (* x 0.12))) 0.253)
  (* (/ (cbrt (* (pow x 3) (pow 0.12 6))) (- 0.253 (* x 0.12))) x)
  (* (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- 0.253 (* x 0.12)))) (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- 0.253 (* x 0.12))))
  (* (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12)))) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))))
  (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12))))
  (* (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))))
  (/ (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (- 0.253 (* x 0.12)))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (cbrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (sqrt (- 0.253 (* x 0.12))))
  (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (/ (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))) (- 0.253 (* x 0.12)))
  (/ 1 (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (cbrt (- 0.253 (* x 0.12))))
  (/ 1 (sqrt (- 0.253 (* x 0.12))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (sqrt (- 0.253 (* x 0.12))))
  1
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12)))
  (/ 1 (- 0.253 (* x 0.12)))
  (/ (- 0.253 (* x 0.12)) (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (sqrt (- 0.253 (* x 0.12))))
  (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))
  (/ (- 0.253 (* x 0.12)) (cbrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))))
  (/ (- 0.253 (* x 0.12)) (sqrt (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6)))))))
  (/ (- 0.253 (* x 0.12)) (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- (pow 0.253 3) (pow (* x 0.12) 3)))
  (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- (* 0.253 0.253) (* x (* 0.12 (* x 0.12)))))
  (* (- 0.253 (* x 0.12)) (+ (pow 0.253 4) (* x (* (cbrt (* (pow x 3) (pow 0.12 6))) (+ (* x (cbrt (* (pow x 3) (pow 0.12 6)))) (* 0.253 0.253))))))
  (* (- 0.253 (* x 0.12)) (+ (* x (cbrt (* (pow x 3) (pow 0.12 6)))) (* 0.253 0.253)))
  (* x 0.0144)
  (* x 0.0144)
  (* x (* -0.0144 (cbrt -1)))
  (* (pow x 3) 2.985984e-06)
  (* (pow x 3) 2.985984e-06)
  (* (pow x 3) 2.985984e-06)
  (* x (* x 0.0144))
  (* x (* x 0.0144))
  (* (* x x) (* -0.0144 (cbrt -1)))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  (neg (+ (* 0.253 (cbrt -1)) (+ (* x (* 0.12 (cbrt -1))) (* (/ 0.5334083333333334 x) (+ (cbrt -1) 1)))))
0.550 * * * [progress]: adding candidates to table
0.772 * * [progress]: iteration 4 / 4
0.772 * * * [progress]: picking best candidate
0.778 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))>
0.778 * * * [progress]: localizing error
0.790 * * * [progress]: generating rewritten candidates
0.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.800 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.809 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2)
0.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.832 * * * [progress]: generating series expansions
0.832 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.832 * [approximate]: Taking taylor expansion of (/ (- 1.0 (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))) (+ (* 0.12 (pow x 2)) (+ (* 0.253 x) 1.0))) in (x) around 0
0.832 * [taylor]: Taking taylor expansion of (/ (- 1.0 (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))) (+ (* 0.12 (pow x 2)) (+ (* 0.253 x) 1.0))) in x
0.832 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))) in x
0.832 * [taylor]: Taking taylor expansion of 1.0 in x
0.832 * [taylor]: Taking taylor expansion of (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4)))) in x
0.832 * [taylor]: Taking taylor expansion of (* 0.064009 (pow x 2)) in x
0.832 * [taylor]: Taking taylor expansion of 0.064009 in x
0.832 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.832 * [taylor]: Taking taylor expansion of (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))) in x
0.832 * [taylor]: Taking taylor expansion of (* 0.060719999999999996 (pow x 3)) in x
0.832 * [taylor]: Taking taylor expansion of 0.060719999999999996 in x
0.832 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 4)) in x
0.833 * [taylor]: Taking taylor expansion of 0.0144 in x
0.833 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (+ (* 0.253 x) 1.0)) in x
0.833 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
0.833 * [taylor]: Taking taylor expansion of 0.12 in x
0.833 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) 1.0) in x
0.833 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
0.833 * [taylor]: Taking taylor expansion of 0.253 in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of 1.0 in x
0.833 * [taylor]: Taking taylor expansion of (/ (- 1.0 (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))) (+ (* 0.12 (pow x 2)) (+ (* 0.253 x) 1.0))) in x
0.833 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))) in x
0.833 * [taylor]: Taking taylor expansion of 1.0 in x
0.833 * [taylor]: Taking taylor expansion of (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4)))) in x
0.833 * [taylor]: Taking taylor expansion of (* 0.064009 (pow x 2)) in x
0.833 * [taylor]: Taking taylor expansion of 0.064009 in x
0.833 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))) in x
0.833 * [taylor]: Taking taylor expansion of (* 0.060719999999999996 (pow x 3)) in x
0.833 * [taylor]: Taking taylor expansion of 0.060719999999999996 in x
0.833 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (* 0.0144 (pow x 4)) in x
0.833 * [taylor]: Taking taylor expansion of 0.0144 in x
0.833 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (+ (* 0.12 (pow x 2)) (+ (* 0.253 x) 1.0)) in x
0.833 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
0.833 * [taylor]: Taking taylor expansion of 0.12 in x
0.833 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) 1.0) in x
0.833 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
0.833 * [taylor]: Taking taylor expansion of 0.253 in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of 1.0 in x
0.834 * [approximate]: Taking taylor expansion of (/ (- 1.0 (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))))) (+ 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))))) in (x) around 0
0.834 * [taylor]: Taking taylor expansion of (/ (- 1.0 (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))))) (+ 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))))) in x
0.834 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))))) in x
0.834 * [taylor]: Taking taylor expansion of 1.0 in x
0.834 * [taylor]: Taking taylor expansion of (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2))))) in x
0.834 * [taylor]: Taking taylor expansion of (* 0.060719999999999996 (/ 1 (pow x 3))) in x
0.834 * [taylor]: Taking taylor expansion of 0.060719999999999996 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.834 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))) in x
0.834 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 4))) in x
0.834 * [taylor]: Taking taylor expansion of 0.0144 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.834 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (* 0.064009 (/ 1 (pow x 2))) in x
0.834 * [taylor]: Taking taylor expansion of 0.064009 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x
0.835 * [taylor]: Taking taylor expansion of 1.0 in x
0.835 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
0.835 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.835 * [taylor]: Taking taylor expansion of 0.12 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of 0.253 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (/ (- 1.0 (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))))) (+ 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))))) in x
0.835 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))))) in x
0.835 * [taylor]: Taking taylor expansion of 1.0 in x
0.835 * [taylor]: Taking taylor expansion of (+ (* 0.060719999999999996 (/ 1 (pow x 3))) (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2))))) in x
0.835 * [taylor]: Taking taylor expansion of (* 0.060719999999999996 (/ 1 (pow x 3))) in x
0.835 * [taylor]: Taking taylor expansion of 0.060719999999999996 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (+ (* 0.0144 (/ 1 (pow x 4))) (* 0.064009 (/ 1 (pow x 2)))) in x
0.835 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 4))) in x
0.835 * [taylor]: Taking taylor expansion of 0.0144 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (* 0.064009 (/ 1 (pow x 2))) in x
0.835 * [taylor]: Taking taylor expansion of 0.064009 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))) in x
0.835 * [taylor]: Taking taylor expansion of 1.0 in x
0.835 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
0.835 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.835 * [taylor]: Taking taylor expansion of 0.12 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of 0.253 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.836 * [taylor]: Taking taylor expansion of x in x
0.837 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4))))) (- (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) (* 0.253 (/ 1 x)))) in (x) around 0
0.837 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4))))) (- (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) (* 0.253 (/ 1 x)))) in x
0.837 * [taylor]: Taking taylor expansion of (- (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4))))) in x
0.837 * [taylor]: Taking taylor expansion of (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) in x
0.837 * [taylor]: Taking taylor expansion of (* 0.060719999999999996 (/ 1 (pow x 3))) in x
0.837 * [taylor]: Taking taylor expansion of 0.060719999999999996 in x
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.837 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of 1.0 in x
0.837 * [taylor]: Taking taylor expansion of (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4)))) in x
0.837 * [taylor]: Taking taylor expansion of (* 0.064009 (/ 1 (pow x 2))) in x
0.837 * [taylor]: Taking taylor expansion of 0.064009 in x
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.837 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 4))) in x
0.837 * [taylor]: Taking taylor expansion of 0.0144 in x
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.837 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) (* 0.253 (/ 1 x))) in x
0.837 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) in x
0.837 * [taylor]: Taking taylor expansion of 1.0 in x
0.837 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.837 * [taylor]: Taking taylor expansion of 0.12 in x
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.837 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.837 * [taylor]: Taking taylor expansion of 0.253 in x
0.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4))))) (- (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) (* 0.253 (/ 1 x)))) in x
0.838 * [taylor]: Taking taylor expansion of (- (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4))))) in x
0.838 * [taylor]: Taking taylor expansion of (+ (* 0.060719999999999996 (/ 1 (pow x 3))) 1.0) in x
0.838 * [taylor]: Taking taylor expansion of (* 0.060719999999999996 (/ 1 (pow x 3))) in x
0.838 * [taylor]: Taking taylor expansion of 0.060719999999999996 in x
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.838 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.838 * [taylor]: Taking taylor expansion of x in x
0.838 * [taylor]: Taking taylor expansion of 1.0 in x
0.838 * [taylor]: Taking taylor expansion of (+ (* 0.064009 (/ 1 (pow x 2))) (* 0.0144 (/ 1 (pow x 4)))) in x
0.838 * [taylor]: Taking taylor expansion of (* 0.064009 (/ 1 (pow x 2))) in x
0.838 * [taylor]: Taking taylor expansion of 0.064009 in x
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.838 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.838 * [taylor]: Taking taylor expansion of x in x
0.838 * [taylor]: Taking taylor expansion of (* 0.0144 (/ 1 (pow x 4))) in x
0.838 * [taylor]: Taking taylor expansion of 0.0144 in x
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.838 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.838 * [taylor]: Taking taylor expansion of x in x
0.838 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) (* 0.253 (/ 1 x))) in x
0.838 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.12 (/ 1 (pow x 2)))) in x
0.838 * [taylor]: Taking taylor expansion of 1.0 in x
0.838 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
0.838 * [taylor]: Taking taylor expansion of 0.12 in x
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.838 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.838 * [taylor]: Taking taylor expansion of x in x
0.838 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
0.838 * [taylor]: Taking taylor expansion of 0.253 in x
0.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.838 * [taylor]: Taking taylor expansion of x in x
0.839 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.839 * [approximate]: Taking taylor expansion of (* (pow (+ (* 0.12 x) 0.253) 2) x) in (x) around 0
0.839 * [taylor]: Taking taylor expansion of (* (pow (+ (* 0.12 x) 0.253) 2) x) in x
0.839 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in x
0.839 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.839 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.839 * [taylor]: Taking taylor expansion of 0.12 in x
0.839 * [taylor]: Taking taylor expansion of x in x
0.839 * [taylor]: Taking taylor expansion of 0.253 in x
0.839 * [taylor]: Taking taylor expansion of x in x
0.839 * [taylor]: Taking taylor expansion of (* (pow (+ (* 0.12 x) 0.253) 2) x) in x
0.839 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in x
0.839 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.839 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.839 * [taylor]: Taking taylor expansion of 0.12 in x
0.839 * [taylor]: Taking taylor expansion of x in x
0.839 * [taylor]: Taking taylor expansion of 0.253 in x
0.839 * [taylor]: Taking taylor expansion of x in x
0.840 * [approximate]: Taking taylor expansion of (/ (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) x) in (x) around 0
0.840 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) x) in x
0.840 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in x
0.840 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.840 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.840 * [taylor]: Taking taylor expansion of 0.12 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of 0.253 in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) x) in x
0.840 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in x
0.840 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.840 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.840 * [taylor]: Taking taylor expansion of 0.12 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of 0.253 in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.841 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) x)) in (x) around 0
0.841 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) x)) in x
0.841 * [taylor]: Taking taylor expansion of -1 in x
0.841 * [taylor]: Taking taylor expansion of (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) x) in x
0.841 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in x
0.841 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.841 * [taylor]: Taking taylor expansion of 0.253 in x
0.841 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.841 * [taylor]: Taking taylor expansion of 0.12 in x
0.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.841 * [taylor]: Taking taylor expansion of x in x
0.842 * [taylor]: Taking taylor expansion of x in x
0.842 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) x)) in x
0.842 * [taylor]: Taking taylor expansion of -1 in x
0.842 * [taylor]: Taking taylor expansion of (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) x) in x
0.842 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in x
0.842 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.842 * [taylor]: Taking taylor expansion of 0.253 in x
0.842 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.842 * [taylor]: Taking taylor expansion of 0.12 in x
0.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.842 * [taylor]: Taking taylor expansion of x in x
0.842 * [taylor]: Taking taylor expansion of x in x
0.842 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2)
0.843 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in (x) around 0
0.843 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in x
0.843 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.843 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.843 * [taylor]: Taking taylor expansion of 0.12 in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of 0.253 in x
0.843 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in x
0.843 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.843 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.843 * [taylor]: Taking taylor expansion of 0.12 in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of 0.253 in x
0.843 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in (x) around 0
0.843 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in x
0.843 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.843 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.843 * [taylor]: Taking taylor expansion of 0.12 in x
0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of 0.253 in x
0.843 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in x
0.843 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.843 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.843 * [taylor]: Taking taylor expansion of 0.12 in x
0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of 0.253 in x
0.844 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in (x) around 0
0.844 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in x
0.844 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.844 * [taylor]: Taking taylor expansion of 0.253 in x
0.844 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.844 * [taylor]: Taking taylor expansion of 0.12 in x
0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in x
0.844 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.844 * [taylor]: Taking taylor expansion of 0.253 in x
0.844 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.844 * [taylor]: Taking taylor expansion of 0.12 in x
0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.845 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.845 * [approximate]: Taking taylor expansion of (* (pow (+ (* 0.12 x) 0.253) 2) (pow x 2)) in (x) around 0
0.845 * [taylor]: Taking taylor expansion of (* (pow (+ (* 0.12 x) 0.253) 2) (pow x 2)) in x
0.845 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in x
0.845 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.845 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.845 * [taylor]: Taking taylor expansion of 0.12 in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of 0.253 in x
0.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (* (pow (+ (* 0.12 x) 0.253) 2) (pow x 2)) in x
0.845 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 2) in x
0.845 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.845 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.845 * [taylor]: Taking taylor expansion of 0.12 in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of 0.253 in x
0.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.846 * [approximate]: Taking taylor expansion of (/ (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) (pow x 2)) in (x) around 0
0.846 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) (pow x 2)) in x
0.846 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in x
0.846 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.846 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.846 * [taylor]: Taking taylor expansion of 0.12 in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of 0.253 in x
0.846 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) (pow x 2)) in x
0.846 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 2) in x
0.846 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.846 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.846 * [taylor]: Taking taylor expansion of 0.12 in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of 0.253 in x
0.846 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.847 * [approximate]: Taking taylor expansion of (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) (pow x 2)) in (x) around 0
0.847 * [taylor]: Taking taylor expansion of (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) (pow x 2)) in x
0.847 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in x
0.847 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.847 * [taylor]: Taking taylor expansion of 0.253 in x
0.847 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.847 * [taylor]: Taking taylor expansion of 0.12 in x
0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of (/ (pow (- 0.253 (* 0.12 (/ 1 x))) 2) (pow x 2)) in x
0.847 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 2) in x
0.847 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.847 * [taylor]: Taking taylor expansion of 0.253 in x
0.847 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.847 * [taylor]: Taking taylor expansion of 0.12 in x
0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * * * [progress]: simplifying candidates
0.850 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (log (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (log (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (exp (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (* (* (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (* (* (+ (* x (+ 0.253 (* x 0.12))) 1.0) (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (* (cbrt (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))) (cbrt (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))))
  (cbrt (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (* (* (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (sqrt (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (sqrt (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (neg (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))
  (neg (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ (* 1.0 1.0) (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ (* (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))) (* (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0))))
  (/ (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (* (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))) (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (* (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))) 1)
  (/ (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (* (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0))))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) 1)
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ 1 (* (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0))))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ 1 (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ 1 1)
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ 1 (+ (* x (+ 0.253 (* x 0.12))) 1.0))
  (/ (+ (* x (+ 0.253 (* x 0.12))) 1.0) (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (* (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)) (cbrt (+ (* x (+ 0.253 (* x 0.12))) 1.0))))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (sqrt (+ (* x (+ 0.253 (* x 0.12))) 1.0)))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) 1)
  (/ (+ (* x (+ 0.253 (* x 0.12))) 1.0) (cbrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))))
  (/ (+ (* x (+ 0.253 (* x 0.12))) 1.0) (sqrt (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))))
  (/ (+ (* x (+ 0.253 (* x 0.12))) 1.0) (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (pow (* x (+ 0.253 (* x 0.12))) 3) (pow 1.0 3)))
  (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (- (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* 1.0 1.0)))
  (* (+ (* x (+ 0.253 (* x 0.12))) 1.0) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (* (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))))
  (* (+ (* x (+ 0.253 (* x 0.12))) 1.0) (+ (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))
  (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (+ (log x) (+ (log (+ 0.253 (* x 0.12))) (log (+ 0.253 (* x 0.12)))))
  (+ (log x) (log (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (log (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (exp (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* (* (* x x) x) (* (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))))
  (* (* (* x x) x) (* (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* (cbrt (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))) (cbrt (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (cbrt (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* (* (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))) (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (sqrt (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (sqrt (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* (sqrt x) (+ 0.253 (* x 0.12)))
  (* (sqrt x) (+ 0.253 (* x 0.12)))
  (* x (* (+ 0.253 (* x 0.12)) 0.253))
  (* x (* (+ 0.253 (* x 0.12)) (* x 0.12)))
  (* x (* 0.253 (+ 0.253 (* x 0.12))))
  (* x (* (* x 0.12) (+ 0.253 (* x 0.12))))
  (* (* (+ 0.253 (* x 0.12)) 0.253) x)
  (* (* (+ 0.253 (* x 0.12)) (* x 0.12)) x)
  (* (* 0.253 (+ 0.253 (* x 0.12))) x)
  (* (* (* x 0.12) (+ 0.253 (* x 0.12))) x)
  (* x (+ 0.253 (* x 0.12)))
  (* (cbrt x) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* (sqrt x) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))))
  (* x (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))))
  (* x (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (* (+ 0.253 (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))))
  (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ 0.253 (* x 0.12))))
  (* x (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ 0.253 (* x 0.12))))
  (+ 1 1)
  (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))
  (+ 1 1)
  (+ (log (+ 0.253 (* x 0.12))) (log (+ 0.253 (* x 0.12))))
  (log (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (exp (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))))
  (* (cbrt (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (cbrt (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (cbrt (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (sqrt (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (sqrt (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))
  (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (* (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- 0.253 (* x 0.12)))
  (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (- 0.253 (* x 0.12)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))
  (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12)))
  (* (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (* (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))))
  (* 1 1)
  (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))
  (* (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))))
  (* 2 1)
  (* (+ 0.253 (* x 0.12)) 0.253)
  (* (+ 0.253 (* x 0.12)) (* x 0.12))
  (* 0.253 (+ 0.253 (* x 0.12)))
  (* (* x 0.12) (+ 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* (+ 0.253 (* x 0.12)) (sqrt (+ 0.253 (* x 0.12))))
  (* (+ 0.253 (* x 0.12)) 1)
  (* (cbrt (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))
  (* (sqrt (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (+ 0.253 (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ 0.253 (* x 0.12)))
  (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ 0.253 (* x 0.12)))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (+ (log x) (+ (log x) (+ (log (+ 0.253 (* x 0.12))) (log (+ 0.253 (* x 0.12))))))
  (+ (log x) (+ (log x) (log (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (+ (log x) (log (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (log (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (exp (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (* (* (* x x) x) (* (* (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))) (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (* (cbrt (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (cbrt (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))))
  (cbrt (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (* (* (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (sqrt (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (sqrt (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))))
  (* x (* x (* (+ 0.253 (* x 0.12)) 0.253)))
  (* x (* x (* (+ 0.253 (* x 0.12)) (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* x (* x (* (* x 0.12) (+ 0.253 (* x 0.12)))))
  (* x (* (* (+ 0.253 (* x 0.12)) 0.253) x))
  (* x (* (* (+ 0.253 (* x 0.12)) (* x 0.12)) x))
  (* x (* (* 0.253 (+ 0.253 (* x 0.12))) x))
  (* x (* (* (* x 0.12) (+ 0.253 (* x 0.12))) x))
  (* (* x (* (+ 0.253 (* x 0.12)) 0.253)) x)
  (* (* x (* (+ 0.253 (* x 0.12)) (* x 0.12))) x)
  (* (* x (* 0.253 (+ 0.253 (* x 0.12)))) x)
  (* (* x (* (* x 0.12) (+ 0.253 (* x 0.12)))) x)
  (* (* (* (+ 0.253 (* x 0.12)) 0.253) x) x)
  (* (* (* (+ 0.253 (* x 0.12)) (* x 0.12)) x) x)
  (* (* (* 0.253 (+ 0.253 (* x 0.12))) x) x)
  (* (* (* (* x 0.12) (+ 0.253 (* x 0.12))) x) x)
  (* x x)
  (* (cbrt x) (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* (sqrt x) (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))
  (* x (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))))
  (* x (* x (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* x (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))))
  (* x (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ 0.253 (* x 0.12)))))
  (* x (* x (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (+ 0.253 (* x 0.12)))))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (+ (* 0.060719999999999996 (pow x 2)) (+ (* 0.0144 (pow x 3)) (* 0.064009 x)))
  (+ (* 0.060719999999999996 (pow x 2)) (+ (* 0.064009 x) (* 0.0144 (pow x 3))))
  (+ (* 0.060719999999999996 (pow x 2)) (+ (* 0.064009 x) (* 0.0144 (pow x 3))))
  (+ (* 0.0144 (pow x 2)) (+ (* 0.060719999999999996 x) 0.064009))
  (+ (* 0.0144 (pow x 2)) (+ (* 0.060719999999999996 x) 0.064009))
  (+ (* 0.0144 (pow x 2)) (+ (* 0.060719999999999996 x) 0.064009))
  (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))
  (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))
  (+ (* 0.064009 (pow x 2)) (+ (* 0.060719999999999996 (pow x 3)) (* 0.0144 (pow x 4))))
0.907 * * [simplify]: iteration  0 :  4976  enodes  (cost  2747 )
0.907 * * [simplify]: iteration  1 :  4976  enodes  (cost  2747 )
0.918 * [simplify]: Simplified to:
   (log (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (log (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (exp (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (pow (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))) 3)
  (* (cbrt (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))))))
  (cbrt (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (pow (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))) 3)
  (sqrt (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (sqrt (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (neg (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))))
  (neg (+ 1.0 (* x (+ 0.253 (* x 0.12)))))
  (* (/ 1.0 (+ 1.0 (* x (+ 0.253 (* x 0.12))))) 1.0)
  (* (/ x (+ 1.0 (* x (+ 0.253 (* x 0.12))))) (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* (/ (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12)))))) (/ (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12)))))))
  (/ (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (* (/ (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))))
  (/ (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (* (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))))
  (/ (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (* (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12)))))))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))))
  (/ (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))))
  (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12)))))))
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  1
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))))
  (/ 1 (+ 1.0 (* x (+ 0.253 (* x 0.12)))))
  (/ (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))))
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (* (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (+ 1.0 (* x (+ 0.253 (* x 0.12)))))))
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (sqrt (+ 1.0 (* x (+ 0.253 (* x 0.12))))))
  (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))
  (/ (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (cbrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))))
  (/ (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (sqrt (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))))
  (/ (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))))
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (+ (pow (* x (+ 0.253 (* x 0.12))) 3) (pow 1.0 3)))
  (/ (- (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (- (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))) (* 1.0 1.0)))
  (* (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (+ (pow 1.0 4) (+ (pow (* x (+ 0.253 (* x 0.12))) 4) (* 1.0 (* 1.0 (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))))))
  (* (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (+ (* 1.0 1.0) (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))))
  (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))
  (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))
  (+ (log x) (* (log (+ 0.253 (* x 0.12))) 2))
  (+ (log x) (* (log (+ 0.253 (* x 0.12))) 2))
  (+ (log x) (* (log (+ 0.253 (* x 0.12))) 2))
  (pow (exp (pow (sqrt (+ 0.253 (* x 0.12))) 4)) x)
  (* (pow x 3) (pow (+ 0.253 (* x 0.12)) 6))
  (* (pow x 3) (pow (+ 0.253 (* x 0.12)) 6))
  (* (cbrt (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))) (cbrt (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))
  (cbrt (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* (pow x 3) (pow (+ 0.253 (* x 0.12)) 6))
  (sqrt (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (sqrt (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* (+ 0.253 (* x 0.12)) (sqrt x))
  (* (+ 0.253 (* x 0.12)) (sqrt x))
  (* x (* 0.253 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.12 (+ 0.253 (* x 0.12)))))
  (* x (* 0.253 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.12 (+ 0.253 (* x 0.12)))))
  (* x (* 0.253 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.12 (+ 0.253 (* x 0.12)))))
  (* x (* 0.253 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.12 (+ 0.253 (* x 0.12)))))
  (* x (+ 0.253 (* x 0.12)))
  (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (cbrt x))
  (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (sqrt x))
  (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))
  (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12)))))
  (* x (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (- 0.253 (* x 0.12))))
  (* x (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (- 0.253 (* x 0.12))))
  2
  (pow (sqrt (+ 0.253 (* x 0.12))) 4)
  2
  (* (log (+ 0.253 (* x 0.12))) 2)
  (* (log (+ 0.253 (* x 0.12))) 2)
  (exp (pow (sqrt (+ 0.253 (* x 0.12))) 4))
  (pow (+ 0.253 (* x 0.12)) 6)
  (* (cbrt (pow (sqrt (+ 0.253 (* x 0.12))) 4)) (cbrt (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (cbrt (pow (sqrt (+ 0.253 (* x 0.12))) 4))
  (pow (+ 0.253 (* x 0.12)) 6)
  (fabs (+ 0.253 (* x 0.12)))
  (fabs (+ 0.253 (* x 0.12)))
  (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (+ (* 0.253 0.253) (* x (* 0.12 (- (* x 0.12) 0.253)))) (+ (* 0.253 0.253) (* x (* 0.12 (- (* x 0.12) 0.253)))))
  (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* (+ (* 0.253 0.253) (* x (* 0.12 (- (* x 0.12) 0.253)))) (- 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))
  (* (+ (* 0.253 0.253) (* x (* 0.12 (- (* x 0.12) 0.253)))) (- 0.253 (* x 0.12)))
  (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))))
  (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12)))
  (pow (cbrt (+ 0.253 (* x 0.12))) 4)
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  1
  (pow (sqrt (+ 0.253 (* x 0.12))) 4)
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  2
  (* 0.253 (+ 0.253 (* x 0.12)))
  (* x (* 0.12 (+ 0.253 (* x 0.12))))
  (* 0.253 (+ 0.253 (* x 0.12)))
  (* x (* 0.12 (+ 0.253 (* x 0.12))))
  (pow (cbrt (+ 0.253 (* x 0.12))) 5)
  (pow (sqrt (+ 0.253 (* x 0.12))) 3)
  (+ 0.253 (* x 0.12))
  (pow (cbrt (+ 0.253 (* x 0.12))) 4)
  (pow (sqrt (+ 0.253 (* x 0.12))) 3)
  (pow (sqrt (+ 0.253 (* x 0.12))) 4)
  (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (- 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (- 0.253 (* x 0.12)))
  (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* 2 (log (* x (+ 0.253 (* x 0.12)))))
  (* 2 (log (* x (+ 0.253 (* x 0.12)))))
  (* 2 (log (* x (+ 0.253 (* x 0.12)))))
  (* 2 (log (* x (+ 0.253 (* x 0.12)))))
  (pow (pow (exp (pow (sqrt (+ 0.253 (* x 0.12))) 4)) x) x)
  (pow (* x (+ 0.253 (* x 0.12))) 6)
  (pow (* x (+ 0.253 (* x 0.12))) 6)
  (pow (* x (+ 0.253 (* x 0.12))) 6)
  (* (cbrt (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))) (cbrt (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))))
  (cbrt (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4))))
  (pow (* x (+ 0.253 (* x 0.12))) 6)
  (fabs (* x (+ 0.253 (* x 0.12))))
  (fabs (* x (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x (* x (* 0.253 (+ 0.253 (* x 0.12)))))
  (* (pow x 3) (* 0.12 (+ 0.253 (* x 0.12))))
  (* x x)
  (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (cbrt x)))
  (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (pow x 3/2))
  (* x (* x (pow (sqrt (+ 0.253 (* x 0.12))) 4)))
  (* x (* x (* (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (* (- 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3))))))
  (* x (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (* (- 0.253 (* x 0.12)) (- 0.253 (* x 0.12))))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (- 0.253 (* x 0.12)))))
  (* x (* x (* (+ 0.253 (* x 0.12)) (+ (pow 0.253 3) (pow (* x 0.12) 3)))))
  (* x (* x (* (pow (sqrt (+ 0.253 (* x 0.12))) 4) (- 0.253 (* x 0.12)))))
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
  (+ (* (pow x 3) 0.0144) (* x (+ 0.064009 (* x 0.060719999999999996))))
  (+ (* (pow x 3) 0.0144) (* x (+ 0.064009 (* x 0.060719999999999996))))
  (+ (* (pow x 3) 0.0144) (* x (+ 0.064009 (* x 0.060719999999999996))))
  (+ 0.064009 (* x (+ 0.060719999999999996 (* x 0.0144))))
  (+ 0.064009 (* x (+ 0.060719999999999996 (* x 0.0144))))
  (+ 0.064009 (* x (+ 0.060719999999999996 (* x 0.0144))))
  (+ (* 0.0144 (pow x 4)) (* x (* x (+ 0.064009 (* x 0.060719999999999996)))))
  (+ (* 0.0144 (pow x 4)) (* x (* x (+ 0.064009 (* x 0.060719999999999996)))))
  (+ (* 0.0144 (pow x 4)) (* x (* x (+ 0.064009 (* x 0.060719999999999996)))))
0.919 * * * [progress]: adding candidates to table
1.166 * [progress]: [Phase 3 of 3] Extracting.
1.166 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* (sqrt x) (* (+ 0.253 (* x 0.12)) (sqrt x)))))> #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))>)
1.167 * * * [regime-changes]: Trying 3 branch expressions: ((* x (+ 0.253 (* x 0.12))) (- 1.0 (* x (+ 0.253 (* x 0.12)))) x)
1.167 * * * * [regimes]: Trying to branch on (* x (+ 0.253 (* x 0.12))) from (#<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* (sqrt x) (* (+ 0.253 (* x 0.12)) (sqrt x)))))> #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))>)
1.201 * * * * [regimes]: Trying to branch on (- 1.0 (* x (+ 0.253 (* x 0.12)))) from (#<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* (sqrt x) (* (+ 0.253 (* x 0.12)) (sqrt x)))))> #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))>)
1.231 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (cbrt (* (pow x 3) (pow 0.12 6))))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* (sqrt x) (* (+ 0.253 (* x 0.12)) (sqrt x)))))> #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* x (* x (* 0.12 0.12)))) (- 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))> #<alt (λ (x) (/ (- (* 1.0 1.0) (* x (* x (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))))) (+ (* x (+ 0.253 (* x 0.12))) 1.0)))>)
1.263 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
1.263 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
1.264 * * [simplify]: iteration  0 :  11  enodes  (cost  9 )
1.264 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
1.264 * [simplify]: Simplified to:
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
1.917 * [regime-testing]: End program error score: 0.09470995905747233