1.798 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (- x (* (/ 3.0 8.0) y))
0.035 * * [simplify]: iteration 0: 7 enodes
0.038 * * [simplify]: iteration 1: 12 enodes
0.042 * * [simplify]: iteration 2: 25 enodes
0.049 * * [simplify]: iteration 3: 38 enodes
0.059 * * [simplify]: iteration 4: 45 enodes
0.070 * * [simplify]: iteration 5: 51 enodes
0.085 * * [simplify]: iteration 6: 57 enodes
0.100 * * [simplify]: iteration 7: 59 enodes
0.110 * * [simplify]: iteration complete: 59 enodes
0.110 * * [simplify]: Extracting #0: cost 1 inf + 0
0.110 * * [simplify]: Extracting #1: cost 12 inf + 0
0.111 * * [simplify]: Extracting #2: cost 14 inf + 7
0.111 * * [simplify]: Extracting #3: cost 1 inf + 54
0.111 * * [simplify]: Extracting #4: cost 0 inf + 61
0.111 * [simplify]: Simplified to:
  (fma (- y) (/ 3.0 8.0) x)
0.115 * * [progress]: iteration 1 / 4
0.115 * * * [progress]: picking best candidate
0.117 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- y) (/ 3.0 8.0) x))>
0.117 * * * [progress]: localizing error
0.126 * * * [progress]: generating rewritten candidates
0.126 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.126 * * * [progress]: generating series expansions
0.126 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.127 * [backup-simplify]: Simplify (fma (- y) (/ 3.0 8.0) x) into (fma (- y) 0.375 x)
0.127 * [approximate]: Taking taylor expansion of (fma (- y) 0.375 x) in (y x) around 0
0.127 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in x
0.127 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.127 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in x
0.127 * [taylor]: Taking taylor expansion of (- y) in x
0.127 * [taylor]: Taking taylor expansion of y in x
0.127 * [backup-simplify]: Simplify y into y
0.127 * [taylor]: Taking taylor expansion of 0.375 in x
0.127 * [backup-simplify]: Simplify 0.375 into 0.375
0.127 * [taylor]: Taking taylor expansion of x in x
0.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify 1 into 1
0.127 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in y
0.128 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.128 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in y
0.128 * [taylor]: Taking taylor expansion of (- y) in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify 1 into 1
0.128 * [taylor]: Taking taylor expansion of 0.375 in y
0.128 * [backup-simplify]: Simplify 0.375 into 0.375
0.128 * [taylor]: Taking taylor expansion of x in y
0.128 * [backup-simplify]: Simplify x into x
0.128 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in y
0.128 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.128 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in y
0.128 * [taylor]: Taking taylor expansion of (- y) in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify 1 into 1
0.128 * [taylor]: Taking taylor expansion of 0.375 in y
0.128 * [backup-simplify]: Simplify 0.375 into 0.375
0.128 * [taylor]: Taking taylor expansion of x in y
0.128 * [backup-simplify]: Simplify x into x
0.128 * [backup-simplify]: Simplify (- 0) into 0
0.129 * [backup-simplify]: Simplify (* 0 0.375) into 0
0.129 * [backup-simplify]: Simplify (+ 0 x) into x
0.129 * [taylor]: Taking taylor expansion of x in x
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 1 into 1
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify (- 0) into 0
0.129 * [backup-simplify]: Simplify (- 1) into -1
0.130 * [backup-simplify]: Simplify (+ (* 0 0) (* -1 0.375)) into (- 0.375)
0.131 * [backup-simplify]: Simplify (+ (- 0.375) 0) into (- 0.375)
0.131 * [taylor]: Taking taylor expansion of (- 0.375) in x
0.131 * [taylor]: Taking taylor expansion of 0.375 in x
0.131 * [backup-simplify]: Simplify 0.375 into 0.375
0.131 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.131 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.131 * [backup-simplify]: Simplify 1 into 1
0.132 * [backup-simplify]: Simplify (- 0) into 0
0.132 * [backup-simplify]: Simplify (- 1) into -1
0.132 * [backup-simplify]: Simplify (- 0) into 0
0.133 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (* 0 0.375))) into 0
0.133 * [backup-simplify]: Simplify (+ 0 0) into 0
0.133 * [taylor]: Taking taylor expansion of 0 in x
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (- 0) into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (- 0) into 0
0.134 * [backup-simplify]: Simplify (- 1) into -1
0.134 * [backup-simplify]: Simplify (- 0) into 0
0.134 * [backup-simplify]: Simplify (- 0) into 0
0.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.135 * [backup-simplify]: Simplify (+ 0 0) into 0
0.135 * [taylor]: Taking taylor expansion of 0 in x
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify (- 0) into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (+ (* 1 (* x 1)) (* (- 0.375) (* 1 y))) into (- x (* 0.375 y))
0.136 * [backup-simplify]: Simplify (fma (- (/ 1 y)) (/ 3.0 8.0) (/ 1 x)) into (fma (- (/ 1 y)) 0.375 (/ 1 x))
0.136 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in (y x) around 0
0.136 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in x
0.136 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.136 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in x
0.136 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.136 * [taylor]: Taking taylor expansion of y in x
0.136 * [backup-simplify]: Simplify y into y
0.137 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.137 * [taylor]: Taking taylor expansion of 0.375 in x
0.137 * [backup-simplify]: Simplify 0.375 into 0.375
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.137 * [taylor]: Taking taylor expansion of x in x
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in y
0.137 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.137 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in y
0.137 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [taylor]: Taking taylor expansion of 0.375 in y
0.137 * [backup-simplify]: Simplify 0.375 into 0.375
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.137 * [taylor]: Taking taylor expansion of x in y
0.137 * [backup-simplify]: Simplify x into x
0.137 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.137 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in y
0.138 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.138 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in y
0.138 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.138 * [taylor]: Taking taylor expansion of y in y
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 1 into 1
0.138 * [backup-simplify]: Simplify (/ 1 1) into 1
0.138 * [taylor]: Taking taylor expansion of 0.375 in y
0.138 * [backup-simplify]: Simplify 0.375 into 0.375
0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.138 * [taylor]: Taking taylor expansion of x in y
0.138 * [backup-simplify]: Simplify x into x
0.138 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.138 * [backup-simplify]: Simplify (- 1) into -1
0.143 * [backup-simplify]: Simplify (* -1 0.375) into -0.375
0.144 * [backup-simplify]: Simplify (+ -0.375 0) into (- 0.375)
0.144 * [taylor]: Taking taylor expansion of (- 0.375) in x
0.144 * [taylor]: Taking taylor expansion of 0.375 in x
0.144 * [backup-simplify]: Simplify 0.375 into 0.375
0.144 * [backup-simplify]: Simplify (- 1) into -1
0.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.145 * [backup-simplify]: Simplify (- 0) into 0
0.146 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.375)) into 0
0.147 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (/ 1 1) into 1
0.147 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.148 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.148 * [backup-simplify]: Simplify (- 1) into -1
0.149 * [backup-simplify]: Simplify (- 0) into 0
0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.150 * [backup-simplify]: Simplify (- 0) into 0
0.151 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.375))) into 0
0.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.152 * [backup-simplify]: Simplify (+ 0 0) into 0
0.152 * [taylor]: Taking taylor expansion of 0 in x
0.152 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (- 0) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify (- 1) into -1
0.154 * [backup-simplify]: Simplify (- 0) into 0
0.154 * [backup-simplify]: Simplify (- 0) into 0
0.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.156 * [backup-simplify]: Simplify (- 0) into 0
0.157 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.158 * [backup-simplify]: Simplify (+ 0 0) into 0
0.158 * [taylor]: Taking taylor expansion of 0 in x
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify (- 0) into 0
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify (- 1) into -1
0.160 * [backup-simplify]: Simplify (- 0) into 0
0.160 * [backup-simplify]: Simplify (- 0) into 0
0.161 * [backup-simplify]: Simplify (- 0) into 0
0.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.162 * [backup-simplify]: Simplify (- 0) into 0
0.163 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375))))) into 0
0.164 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.164 * [backup-simplify]: Simplify (+ 0 0) into 0
0.164 * [taylor]: Taking taylor expansion of 0 in x
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify (+ (* (- 0.375) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) 1))) into (- x (* 0.375 y))
0.165 * [backup-simplify]: Simplify (fma (- (/ 1 (- y))) (/ 3.0 8.0) (/ 1 (- x))) into (fma (/ 1 y) 0.375 (/ -1 x))
0.166 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in (y x) around 0
0.166 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in x
0.166 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.166 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.166 * [taylor]: Taking taylor expansion of y in x
0.166 * [backup-simplify]: Simplify y into y
0.166 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.166 * [taylor]: Taking taylor expansion of 0.375 in x
0.166 * [backup-simplify]: Simplify 0.375 into 0.375
0.166 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.166 * [taylor]: Taking taylor expansion of -1 in x
0.166 * [backup-simplify]: Simplify -1 into -1
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (/ -1 1) into -1
0.167 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in y
0.167 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.167 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in y
0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (/ 1 1) into 1
0.168 * [taylor]: Taking taylor expansion of 0.375 in y
0.168 * [backup-simplify]: Simplify 0.375 into 0.375
0.168 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.168 * [taylor]: Taking taylor expansion of -1 in y
0.168 * [backup-simplify]: Simplify -1 into -1
0.168 * [taylor]: Taking taylor expansion of x in y
0.168 * [backup-simplify]: Simplify x into x
0.168 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.168 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in y
0.168 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.168 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in y
0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.168 * [taylor]: Taking taylor expansion of y in y
0.168 * [backup-simplify]: Simplify 0 into 0
0.168 * [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 -1 in y
0.169 * [backup-simplify]: Simplify -1 into -1
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 * [backup-simplify]: Simplify (* 1 0.375) into 0.375
0.170 * [backup-simplify]: Simplify (+ 0.375 0) into 0.375
0.170 * [taylor]: Taking taylor expansion of 0.375 in x
0.170 * [backup-simplify]: Simplify 0.375 into 0.375
0.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.375)) into 0
0.172 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
0.172 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.172 * [taylor]: Taking taylor expansion of x in x
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 1 into 1
0.172 * [backup-simplify]: Simplify (/ 1 1) into 1
0.173 * [backup-simplify]: Simplify (- 1) into -1
0.173 * [backup-simplify]: Simplify -1 into -1
0.173 * [backup-simplify]: Simplify 0.375 into 0.375
0.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.375))) into 0
0.175 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.176 * [backup-simplify]: Simplify (+ 0 0) into 0
0.176 * [taylor]: Taking taylor expansion of 0 in x
0.176 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.178 * [backup-simplify]: Simplify (- 0) into 0
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.181 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.181 * [backup-simplify]: Simplify (+ 0 0) into 0
0.181 * [taylor]: Taking taylor expansion of 0 in x
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)))) into 0
0.183 * [backup-simplify]: Simplify (- 0) into 0
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)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375))))) into 0
0.186 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.186 * [backup-simplify]: Simplify (+ 0 0) into 0
0.186 * [taylor]: Taking taylor expansion of 0 in x
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [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.187 * * * [progress]: simplifying candidates
0.187 * [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.188 * * [simplify]: iteration 0: 20 enodes
0.193 * * [simplify]: iteration 1: 30 enodes
0.203 * * [simplify]: iteration 2: 66 enodes
0.231 * * [simplify]: iteration 3: 200 enodes
0.337 * * [simplify]: iteration 4: 890 enodes
1.607 * * [simplify]: iteration complete: 5000 enodes
1.607 * * [simplify]: Extracting #0: cost 10 inf + 0
1.608 * * [simplify]: Extracting #1: cost 153 inf + 0
1.615 * * [simplify]: Extracting #2: cost 995 inf + 176
1.625 * * [simplify]: Extracting #3: cost 702 inf + 8020
1.635 * * [simplify]: Extracting #4: cost 34 inf + 19335
1.645 * * [simplify]: Extracting #5: cost 0 inf + 19836
1.656 * * [simplify]: Extracting #6: cost 0 inf + 19826
1.666 * [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.666 * * * [progress]: adding candidates to table
1.752 * [progress]: [Phase 3 of 3] Extracting.
1.758 * [simplify]: Simplifying:
  (fma (- y) (/ 3.0 8.0) x)
1.758 * * [simplify]: iteration 0: 7 enodes
1.759 * * [simplify]: iteration complete: 7 enodes
1.759 * * [simplify]: Extracting #0: cost 1 inf + 0
1.759 * * [simplify]: Extracting #1: cost 4 inf + 0
1.759 * * [simplify]: Extracting #2: cost 6 inf + 1
1.759 * * [simplify]: Extracting #3: cost 2 inf + 7
1.759 * * [simplify]: Extracting #4: cost 0 inf + 16
1.760 * [simplify]: Simplified to:
  (fma (- y) (/ 3.0 8.0) x)
2.886 * [regime-testing]: Baseline error score: 0
2.888 * [regime-testing]: Oracle error score: 0
2.888 * [regime-testing]: End program error score: 0