1.809 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (- x (* (/ 3.0 8.0) y))
0.034 * * [simplify]: iteration 0: 7 enodes
0.036 * * [simplify]: iteration 1: 12 enodes
0.040 * * [simplify]: iteration 2: 25 enodes
0.047 * * [simplify]: iteration 3: 38 enodes
0.057 * * [simplify]: iteration 4: 45 enodes
0.069 * * [simplify]: iteration 5: 51 enodes
0.083 * * [simplify]: iteration 6: 57 enodes
0.099 * * [simplify]: iteration 7: 59 enodes
0.114 * * [simplify]: iteration complete: 59 enodes
0.114 * * [simplify]: Extracting #0: cost 1 inf + 0
0.114 * * [simplify]: Extracting #1: cost 12 inf + 0
0.114 * * [simplify]: Extracting #2: cost 14 inf + 7
0.114 * * [simplify]: Extracting #3: cost 1 inf + 54
0.114 * * [simplify]: Extracting #4: cost 0 inf + 61
0.114 * [simplify]: Simplified to:
  (fma (- y) (/ 3.0 8.0) x)
0.122 * * [progress]: iteration 1 / 4
0.122 * * * [progress]: picking best candidate
0.134 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- y) (/ 3.0 8.0) x))>
0.134 * * * [progress]: localizing error
0.149 * * * [progress]: generating rewritten candidates
0.150 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.150 * * * [progress]: generating series expansions
0.150 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.151 * [backup-simplify]: Simplify (fma (- y) (/ 3.0 8.0) x) into (fma (- y) 0.375 x)
0.151 * [approximate]: Taking taylor expansion of (fma (- y) 0.375 x) in (y x) around 0
0.151 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in x
0.152 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.152 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in x
0.152 * [taylor]: Taking taylor expansion of (- y) in x
0.152 * [taylor]: Taking taylor expansion of y in x
0.152 * [backup-simplify]: Simplify y into y
0.152 * [taylor]: Taking taylor expansion of 0.375 in x
0.152 * [backup-simplify]: Simplify 0.375 into 0.375
0.152 * [taylor]: Taking taylor expansion of x in x
0.152 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify 1 into 1
0.152 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in y
0.152 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.152 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in y
0.152 * [taylor]: Taking taylor expansion of (- y) in y
0.152 * [taylor]: Taking taylor expansion of y in y
0.152 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify 1 into 1
0.152 * [taylor]: Taking taylor expansion of 0.375 in y
0.152 * [backup-simplify]: Simplify 0.375 into 0.375
0.152 * [taylor]: Taking taylor expansion of x in y
0.152 * [backup-simplify]: Simplify x into x
0.152 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in y
0.153 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.153 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in y
0.153 * [taylor]: Taking taylor expansion of (- y) in y
0.153 * [taylor]: Taking taylor expansion of y in y
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.153 * [taylor]: Taking taylor expansion of 0.375 in y
0.153 * [backup-simplify]: Simplify 0.375 into 0.375
0.153 * [taylor]: Taking taylor expansion of x in y
0.153 * [backup-simplify]: Simplify x into x
0.154 * [backup-simplify]: Simplify (- 0) into 0
0.154 * [backup-simplify]: Simplify (* 0 0.375) into 0
0.154 * [backup-simplify]: Simplify (+ 0 x) into x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify (- 0) into 0
0.155 * [backup-simplify]: Simplify (- 1) into -1
0.156 * [backup-simplify]: Simplify (+ (* 0 0) (* -1 0.375)) into (- 0.375)
0.157 * [backup-simplify]: Simplify (+ (- 0.375) 0) into (- 0.375)
0.157 * [taylor]: Taking taylor expansion of (- 0.375) in x
0.157 * [taylor]: Taking taylor expansion of 0.375 in x
0.157 * [backup-simplify]: Simplify 0.375 into 0.375
0.158 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.158 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.158 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (- 0) into 0
0.159 * [backup-simplify]: Simplify (- 1) into -1
0.159 * [backup-simplify]: Simplify (- 0) into 0
0.160 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (* 0 0.375))) into 0
0.161 * [backup-simplify]: Simplify (+ 0 0) into 0
0.161 * [taylor]: Taking taylor expansion of 0 in x
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify (- 0) into 0
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify (- 0) into 0
0.162 * [backup-simplify]: Simplify (- 1) into -1
0.163 * [backup-simplify]: Simplify (- 0) into 0
0.163 * [backup-simplify]: Simplify (- 0) into 0
0.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.165 * [backup-simplify]: Simplify (+ 0 0) into 0
0.165 * [taylor]: Taking taylor expansion of 0 in x
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify (- 0) into 0
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify (+ (* 1 (* x 1)) (* (- 0.375) (* 1 y))) into (- x (* 0.375 y))
0.167 * [backup-simplify]: Simplify (fma (- (/ 1 y)) (/ 3.0 8.0) (/ 1 x)) into (fma (- (/ 1 y)) 0.375 (/ 1 x))
0.167 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in (y x) around 0
0.167 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in x
0.168 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.168 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in x
0.168 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.168 * [taylor]: Taking taylor expansion of y in x
0.168 * [backup-simplify]: Simplify y into y
0.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.168 * [taylor]: Taking taylor expansion of 0.375 in x
0.168 * [backup-simplify]: Simplify 0.375 into 0.375
0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [backup-simplify]: Simplify 0 into 0
0.168 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (/ 1 1) into 1
0.169 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in y
0.169 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.169 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in y
0.169 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.169 * [taylor]: Taking taylor expansion of y in y
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 1 into 1
0.169 * [backup-simplify]: Simplify (/ 1 1) into 1
0.169 * [taylor]: Taking taylor expansion of 0.375 in y
0.169 * [backup-simplify]: Simplify 0.375 into 0.375
0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.169 * [taylor]: Taking taylor expansion of x in y
0.169 * [backup-simplify]: Simplify x into x
0.169 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.169 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in y
0.170 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.170 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in y
0.170 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.170 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify 1 into 1
0.170 * [backup-simplify]: Simplify (/ 1 1) into 1
0.170 * [taylor]: Taking taylor expansion of 0.375 in y
0.170 * [backup-simplify]: Simplify 0.375 into 0.375
0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.170 * [taylor]: Taking taylor expansion of x in y
0.170 * [backup-simplify]: Simplify x into x
0.170 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.171 * [backup-simplify]: Simplify (- 1) into -1
0.171 * [backup-simplify]: Simplify (* -1 0.375) into -0.375
0.172 * [backup-simplify]: Simplify (+ -0.375 0) into (- 0.375)
0.172 * [taylor]: Taking taylor expansion of (- 0.375) in x
0.172 * [taylor]: Taking taylor expansion of 0.375 in x
0.172 * [backup-simplify]: Simplify 0.375 into 0.375
0.172 * [backup-simplify]: Simplify (- 1) into -1
0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify (- 0) into 0
0.174 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.375)) into 0
0.174 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (/ 1 1) into 1
0.175 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.176 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.176 * [backup-simplify]: Simplify (- 1) into -1
0.176 * [backup-simplify]: Simplify (- 0) into 0
0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.177 * [backup-simplify]: Simplify (- 0) into 0
0.178 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.375))) into 0
0.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.179 * [backup-simplify]: Simplify (+ 0 0) into 0
0.179 * [taylor]: Taking taylor expansion of 0 in x
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (- 0) into 0
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (- 1) into -1
0.181 * [backup-simplify]: Simplify (- 0) into 0
0.181 * [backup-simplify]: Simplify (- 0) into 0
0.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.182 * [backup-simplify]: Simplify (- 0) into 0
0.183 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.183 * [taylor]: Taking taylor expansion of 0 in x
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- 0) into 0
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify (- 1) into -1
0.185 * [backup-simplify]: Simplify (- 0) into 0
0.185 * [backup-simplify]: Simplify (- 0) into 0
0.185 * [backup-simplify]: Simplify (- 0) into 0
0.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.186 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375))))) into 0
0.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.187 * [backup-simplify]: Simplify (+ 0 0) into 0
0.187 * [taylor]: Taking taylor expansion of 0 in x
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify (+ (* (- 0.375) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) 1))) into (- x (* 0.375 y))
0.188 * [backup-simplify]: Simplify (fma (- (/ 1 (- y))) (/ 3.0 8.0) (/ 1 (- x))) into (fma (/ 1 y) 0.375 (/ -1 x))
0.188 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in (y x) around 0
0.188 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in x
0.188 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.188 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.188 * [taylor]: Taking taylor expansion of y in x
0.188 * [backup-simplify]: Simplify y into y
0.188 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.188 * [taylor]: Taking taylor expansion of 0.375 in x
0.188 * [backup-simplify]: Simplify 0.375 into 0.375
0.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.188 * [taylor]: Taking taylor expansion of -1 in x
0.188 * [backup-simplify]: Simplify -1 into -1
0.188 * [taylor]: Taking taylor expansion of x in x
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (/ -1 1) into -1
0.189 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in y
0.189 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.189 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in y
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (/ 1 1) into 1
0.189 * [taylor]: Taking taylor expansion of 0.375 in y
0.189 * [backup-simplify]: Simplify 0.375 into 0.375
0.189 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.189 * [taylor]: Taking taylor expansion of -1 in y
0.189 * [backup-simplify]: Simplify -1 into -1
0.189 * [taylor]: Taking taylor expansion of x in y
0.189 * [backup-simplify]: Simplify x into x
0.189 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.189 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in y
0.189 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.189 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in y
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.190 * [backup-simplify]: Simplify (/ 1 1) into 1
0.190 * [taylor]: Taking taylor expansion of 0.375 in y
0.190 * [backup-simplify]: Simplify 0.375 into 0.375
0.190 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.190 * [taylor]: Taking taylor expansion of -1 in y
0.190 * [backup-simplify]: Simplify -1 into -1
0.190 * [taylor]: Taking taylor expansion of x in y
0.190 * [backup-simplify]: Simplify x into x
0.190 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.190 * [backup-simplify]: Simplify (* 1 0.375) into 0.375
0.190 * [backup-simplify]: Simplify (+ 0.375 0) into 0.375
0.190 * [taylor]: Taking taylor expansion of 0.375 in x
0.190 * [backup-simplify]: Simplify 0.375 into 0.375
0.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.375)) into 0
0.191 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
0.191 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 1 into 1
0.192 * [backup-simplify]: Simplify (/ 1 1) into 1
0.192 * [backup-simplify]: Simplify (- 1) into -1
0.192 * [backup-simplify]: Simplify -1 into -1
0.192 * [backup-simplify]: Simplify 0.375 into 0.375
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.375))) into 0
0.193 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.193 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [taylor]: Taking taylor expansion of 0 in x
0.193 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.194 * [backup-simplify]: Simplify (- 0) into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.195 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.196 * [backup-simplify]: Simplify (+ 0 0) into 0
0.196 * [taylor]: Taking taylor expansion of 0 in x
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.197 * [backup-simplify]: Simplify (- 0) into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375))))) into 0
0.198 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.198 * [backup-simplify]: Simplify (+ 0 0) into 0
0.198 * [taylor]: Taking taylor expansion of 0 in x
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify (+ (* 0.375 (* 1 (/ 1 (/ 1 (- y))))) (* -1 (* (/ 1 (/ 1 (- x))) 1))) into (- x (* 0.375 y))
0.199 * * * [progress]: simplifying candidates
0.199 * [simplify]: Simplifying:
  (expm1 (fma (- y) (/ 3.0 8.0) x))
  (log1p (fma (- y) (/ 3.0 8.0) x))
  (* (- y) (/ 3.0 8.0))
  (log (fma (- y) (/ 3.0 8.0) x))
  (exp (fma (- y) (/ 3.0 8.0) x))
  (* (cbrt (fma (- y) (/ 3.0 8.0) x)) (cbrt (fma (- y) (/ 3.0 8.0) x)))
  (cbrt (fma (- y) (/ 3.0 8.0) x))
  (* (* (fma (- y) (/ 3.0 8.0) x) (fma (- y) (/ 3.0 8.0) x)) (fma (- y) (/ 3.0 8.0) x))
  (sqrt (fma (- y) (/ 3.0 8.0) x))
  (sqrt (fma (- y) (/ 3.0 8.0) x))
  (- x (* 0.375 y))
  (- x (* 0.375 y))
  (- x (* 0.375 y))
0.199 * * [simplify]: iteration 0: 20 enodes
0.202 * * [simplify]: iteration 1: 30 enodes
0.207 * * [simplify]: iteration 2: 66 enodes
0.220 * * [simplify]: iteration 3: 200 enodes
0.325 * * [simplify]: iteration 4: 890 enodes
1.723 * * [simplify]: iteration complete: 5000 enodes
1.723 * * [simplify]: Extracting #0: cost 10 inf + 0
1.724 * * [simplify]: Extracting #1: cost 153 inf + 0
1.730 * * [simplify]: Extracting #2: cost 995 inf + 176
1.740 * * [simplify]: Extracting #3: cost 702 inf + 8020
1.750 * * [simplify]: Extracting #4: cost 34 inf + 19335
1.759 * * [simplify]: Extracting #5: cost 0 inf + 19836
1.776 * * [simplify]: Extracting #6: cost 0 inf + 19826
1.786 * [simplify]: Simplified to:
  (expm1 (fma (/ 3.0 8.0) (- y) x))
  (log1p (fma (/ 3.0 8.0) (- y) x))
  (- (* (/ 3.0 8.0) y))
  (log (fma (/ 3.0 8.0) (- y) x))
  (exp (fma (/ 3.0 8.0) (- y) x))
  (* (cbrt (fma (/ 3.0 8.0) (- y) x)) (cbrt (fma (/ 3.0 8.0) (- y) x)))
  (cbrt (fma (/ 3.0 8.0) (- y) x))
  (pow (fma (/ 3.0 8.0) (- y) x) 3)
  (sqrt (fma (/ 3.0 8.0) (- y) x))
  (sqrt (fma (/ 3.0 8.0) (- y) x))
  (fma 0.375 (- y) x)
  (fma 0.375 (- y) x)
  (fma 0.375 (- y) x)
1.786 * * * [progress]: adding candidates to table
1.846 * [progress]: [Phase 3 of 3] Extracting.
1.849 * [simplify]: Simplifying:
  (fma (- y) (/ 3.0 8.0) x)
1.849 * * [simplify]: iteration 0: 7 enodes
1.850 * * [simplify]: iteration complete: 7 enodes
1.850 * * [simplify]: Extracting #0: cost 1 inf + 0
1.850 * * [simplify]: Extracting #1: cost 4 inf + 0
1.850 * * [simplify]: Extracting #2: cost 6 inf + 1
1.850 * * [simplify]: Extracting #3: cost 2 inf + 7
1.850 * * [simplify]: Extracting #4: cost 0 inf + 16
1.850 * [simplify]: Simplified to:
  (fma (- y) (/ 3.0 8.0) x)
3.278 * [regime-testing]: Baseline error score: 0
3.280 * [regime-testing]: Oracle error score: 0
3.280 * [regime-testing]: End program error score: 0