45.806 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying:
  (- x (* (/ 3.0 8.0) y))
0.023 * * [simplify]: iteration 0: 7 enodes
0.024 * * [simplify]: iteration 1: 12 enodes
0.026 * * [simplify]: iteration 2: 25 enodes
0.030 * * [simplify]: iteration 3: 38 enodes
0.035 * * [simplify]: iteration 4: 45 enodes
0.041 * * [simplify]: iteration 5: 51 enodes
0.050 * * [simplify]: iteration 6: 57 enodes
0.062 * * [simplify]: iteration 7: 59 enodes
0.070 * * [simplify]: iteration complete: 59 enodes
0.070 * * [simplify]: Extracting #0: cost 1 inf + 0
0.070 * * [simplify]: Extracting #1: cost 12 inf + 0
0.070 * * [simplify]: Extracting #2: cost 14 inf + 7
0.070 * * [simplify]: Extracting #3: cost 1 inf + 54
0.070 * * [simplify]: Extracting #4: cost 0 inf + 61
0.070 * [simplify]: Simplified to:
  (fma (- y) (/ 3.0 8.0) x)
0.075 * * [progress]: iteration 1 / 4
0.075 * * * [progress]: picking best candidate
0.078 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- y) (/ 3.0 8.0) x))>
0.078 * * * [progress]: localizing error
0.088 * * * [progress]: generating rewritten candidates
0.088 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.088 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.089 * [backup-simplify]: Simplify (fma (- y) (/ 3.0 8.0) x) into (fma (- y) 0.375 x)
0.089 * [approximate]: Taking taylor expansion of (fma (- y) 0.375 x) in (y x) around 0
0.089 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in x
0.089 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.089 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in x
0.089 * [taylor]: Taking taylor expansion of (- y) in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [backup-simplify]: Simplify y into y
0.089 * [taylor]: Taking taylor expansion of 0.375 in x
0.089 * [backup-simplify]: Simplify 0.375 into 0.375
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 1 into 1
0.089 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in y
0.089 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.089 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in y
0.089 * [taylor]: Taking taylor expansion of (- y) in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 1 into 1
0.089 * [taylor]: Taking taylor expansion of 0.375 in y
0.089 * [backup-simplify]: Simplify 0.375 into 0.375
0.089 * [taylor]: Taking taylor expansion of x in y
0.089 * [backup-simplify]: Simplify x into x
0.089 * [taylor]: Taking taylor expansion of (fma (- y) 0.375 x) in y
0.089 * [taylor]: Rewrote expression to (+ (* (- y) 0.375) x)
0.089 * [taylor]: Taking taylor expansion of (* (- y) 0.375) in y
0.089 * [taylor]: Taking taylor expansion of (- y) in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 1 into 1
0.089 * [taylor]: Taking taylor expansion of 0.375 in y
0.089 * [backup-simplify]: Simplify 0.375 into 0.375
0.089 * [taylor]: Taking taylor expansion of x in y
0.089 * [backup-simplify]: Simplify x into x
0.090 * [backup-simplify]: Simplify (- 0) into 0
0.090 * [backup-simplify]: Simplify (* 0 0.375) into 0
0.090 * [backup-simplify]: Simplify (+ 0 x) into x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 1 into 1
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (- 0) into 0
0.091 * [backup-simplify]: Simplify (- 1) into -1
0.091 * [backup-simplify]: Simplify (+ (* 0 0) (* -1 0.375)) into (- 0.375)
0.092 * [backup-simplify]: Simplify (+ (- 0.375) 0) into (- 0.375)
0.092 * [taylor]: Taking taylor expansion of (- 0.375) in x
0.092 * [taylor]: Taking taylor expansion of 0.375 in x
0.092 * [backup-simplify]: Simplify 0.375 into 0.375
0.092 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.092 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.092 * [backup-simplify]: Simplify 1 into 1
0.093 * [backup-simplify]: Simplify (- 0) into 0
0.093 * [backup-simplify]: Simplify (- 1) into -1
0.093 * [backup-simplify]: Simplify (- 0) into 0
0.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (* 0 0.375))) into 0
0.094 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [taylor]: Taking taylor expansion of 0 in x
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (- 0) into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (- 0) into 0
0.095 * [backup-simplify]: Simplify (- 1) into -1
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.096 * [backup-simplify]: Simplify (+ 0 0) into 0
0.096 * [taylor]: Taking taylor expansion of 0 in x
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify (+ (* 1 (* x 1)) (* (- 0.375) (* 1 y))) into (- x (* 0.375 y))
0.097 * [backup-simplify]: Simplify (fma (- (/ 1 y)) (/ 3.0 8.0) (/ 1 x)) into (fma (- (/ 1 y)) 0.375 (/ 1 x))
0.097 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in (y x) around 0
0.097 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in x
0.097 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.097 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in x
0.097 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.097 * [taylor]: Taking taylor expansion of y in x
0.097 * [backup-simplify]: Simplify y into y
0.097 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.097 * [taylor]: Taking taylor expansion of 0.375 in x
0.097 * [backup-simplify]: Simplify 0.375 into 0.375
0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.098 * [backup-simplify]: Simplify (/ 1 1) into 1
0.098 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in y
0.098 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.098 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in y
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify 1 into 1
0.098 * [backup-simplify]: Simplify (/ 1 1) into 1
0.098 * [taylor]: Taking taylor expansion of 0.375 in y
0.098 * [backup-simplify]: Simplify 0.375 into 0.375
0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.098 * [taylor]: Taking taylor expansion of x in y
0.098 * [backup-simplify]: Simplify x into x
0.098 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.098 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y)) 0.375 (/ 1 x)) in y
0.098 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y)) 0.375) (/ 1 x))
0.098 * [taylor]: Taking taylor expansion of (* (- (/ 1 y)) 0.375) in y
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify 1 into 1
0.099 * [backup-simplify]: Simplify (/ 1 1) into 1
0.099 * [taylor]: Taking taylor expansion of 0.375 in y
0.099 * [backup-simplify]: Simplify 0.375 into 0.375
0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.099 * [taylor]: Taking taylor expansion of x in y
0.099 * [backup-simplify]: Simplify x into x
0.099 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.099 * [backup-simplify]: Simplify (- 1) into -1
0.099 * [backup-simplify]: Simplify (* -1 0.375) into -0.375
0.099 * [backup-simplify]: Simplify (+ -0.375 0) into (- 0.375)
0.100 * [taylor]: Taking taylor expansion of (- 0.375) in x
0.100 * [taylor]: Taking taylor expansion of 0.375 in x
0.100 * [backup-simplify]: Simplify 0.375 into 0.375
0.100 * [backup-simplify]: Simplify (- 1) into -1
0.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.100 * [backup-simplify]: Simplify (- 0) into 0
0.101 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.375)) into 0
0.101 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify 1 into 1
0.101 * [backup-simplify]: Simplify (/ 1 1) into 1
0.101 * [backup-simplify]: Simplify 1 into 1
0.101 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.102 * [backup-simplify]: Simplify (- 0.375) into (- 0.375)
0.102 * [backup-simplify]: Simplify (- 1) into -1
0.102 * [backup-simplify]: Simplify (- 0) into 0
0.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.103 * [backup-simplify]: Simplify (- 0) into 0
0.103 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.375))) into 0
0.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.104 * [backup-simplify]: Simplify (+ 0 0) into 0
0.104 * [taylor]: Taking taylor expansion of 0 in x
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify (- 0) into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify (- 1) into -1
0.105 * [backup-simplify]: Simplify (- 0) into 0
0.105 * [backup-simplify]: Simplify (- 0) into 0
0.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.106 * [backup-simplify]: Simplify (- 0) into 0
0.106 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.107 * [backup-simplify]: Simplify (+ 0 0) into 0
0.107 * [taylor]: Taking taylor expansion of 0 in x
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify (- 0) into 0
0.108 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify (- 1) into -1
0.108 * [backup-simplify]: Simplify (- 0) into 0
0.108 * [backup-simplify]: Simplify (- 0) into 0
0.109 * [backup-simplify]: Simplify (- 0) into 0
0.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.109 * [backup-simplify]: Simplify (- 0) into 0
0.110 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375))))) into 0
0.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.110 * [backup-simplify]: Simplify (+ 0 0) into 0
0.110 * [taylor]: Taking taylor expansion of 0 in x
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify (+ (* (- 0.375) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) 1))) into (- x (* 0.375 y))
0.111 * [backup-simplify]: Simplify (fma (- (/ 1 (- y))) (/ 3.0 8.0) (/ 1 (- x))) into (fma (/ 1 y) 0.375 (/ -1 x))
0.111 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in (y x) around 0
0.111 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in x
0.111 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.111 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [backup-simplify]: Simplify y into y
0.111 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.111 * [taylor]: Taking taylor expansion of 0.375 in x
0.111 * [backup-simplify]: Simplify 0.375 into 0.375
0.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.111 * [taylor]: Taking taylor expansion of -1 in x
0.111 * [backup-simplify]: Simplify -1 into -1
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify 1 into 1
0.112 * [backup-simplify]: Simplify (/ -1 1) into -1
0.112 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in y
0.112 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.112 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in y
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify 1 into 1
0.112 * [backup-simplify]: Simplify (/ 1 1) into 1
0.112 * [taylor]: Taking taylor expansion of 0.375 in y
0.112 * [backup-simplify]: Simplify 0.375 into 0.375
0.112 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.112 * [taylor]: Taking taylor expansion of -1 in y
0.112 * [backup-simplify]: Simplify -1 into -1
0.112 * [taylor]: Taking taylor expansion of x in y
0.112 * [backup-simplify]: Simplify x into x
0.112 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.112 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.375 (/ -1 x)) in y
0.112 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.375) (/ -1 x))
0.112 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.375) in y
0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify 1 into 1
0.113 * [backup-simplify]: Simplify (/ 1 1) into 1
0.113 * [taylor]: Taking taylor expansion of 0.375 in y
0.113 * [backup-simplify]: Simplify 0.375 into 0.375
0.113 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.113 * [taylor]: Taking taylor expansion of -1 in y
0.113 * [backup-simplify]: Simplify -1 into -1
0.113 * [taylor]: Taking taylor expansion of x in y
0.113 * [backup-simplify]: Simplify x into x
0.113 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.113 * [backup-simplify]: Simplify (* 1 0.375) into 0.375
0.114 * [backup-simplify]: Simplify (+ 0.375 0) into 0.375
0.114 * [taylor]: Taking taylor expansion of 0.375 in x
0.114 * [backup-simplify]: Simplify 0.375 into 0.375
0.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.375)) into 0
0.114 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
0.114 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify 1 into 1
0.115 * [backup-simplify]: Simplify (/ 1 1) into 1
0.115 * [backup-simplify]: Simplify (- 1) into -1
0.115 * [backup-simplify]: Simplify -1 into -1
0.115 * [backup-simplify]: Simplify 0.375 into 0.375
0.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.375))) into 0
0.116 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.116 * [backup-simplify]: Simplify (+ 0 0) into 0
0.116 * [taylor]: Taking taylor expansion of 0 in x
0.116 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.117 * [backup-simplify]: Simplify (- 0) into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375)))) into 0
0.118 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.119 * [backup-simplify]: Simplify (+ 0 0) into 0
0.119 * [taylor]: Taking taylor expansion of 0 in x
0.119 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.119 * [backup-simplify]: Simplify (- 0) into 0
0.119 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.375))))) into 0
0.121 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.121 * [backup-simplify]: Simplify (+ 0 0) into 0
0.121 * [taylor]: Taking taylor expansion of 0 in x
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (+ (* 0.375 (* 1 (/ 1 (/ 1 (- y))))) (* -1 (* (/ 1 (/ 1 (- x))) 1))) into (- x (* 0.375 y))
0.121 * * * [progress]: simplifying candidates
0.122 * [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.122 * * [simplify]: iteration 0: 20 enodes
0.125 * * [simplify]: iteration 1: 30 enodes
0.129 * * [simplify]: iteration 2: 66 enodes
0.145 * * [simplify]: iteration 3: 200 enodes
0.248 * * [simplify]: iteration 4: 890 enodes
1.288 * * [simplify]: iteration complete: 5000 enodes
1.288 * * [simplify]: Extracting #0: cost 10 inf + 0
1.288 * * [simplify]: Extracting #1: cost 153 inf + 0
1.292 * * [simplify]: Extracting #2: cost 995 inf + 176
1.298 * * [simplify]: Extracting #3: cost 702 inf + 8020
1.314 * * [simplify]: Extracting #4: cost 34 inf + 19335
1.322 * * [simplify]: Extracting #5: cost 0 inf + 19836
1.329 * * [simplify]: Extracting #6: cost 0 inf + 19826
1.337 * [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.337 * * * [progress]: adding candidates to table
1.398 * [progress]: [Phase 3 of 3] Extracting.
1.401 * [simplify]: Simplifying:
  (fma (- y) (/ 3.0 8.0) x)
1.401 * * [simplify]: iteration 0: 7 enodes
1.402 * * [simplify]: iteration complete: 7 enodes
1.402 * * [simplify]: Extracting #0: cost 1 inf + 0
1.402 * * [simplify]: Extracting #1: cost 4 inf + 0
1.402 * * [simplify]: Extracting #2: cost 6 inf + 1
1.402 * * [simplify]: Extracting #3: cost 2 inf + 7
1.402 * * [simplify]: Extracting #4: cost 0 inf + 16
1.402 * [simplify]: Simplified to:
  (fma (- y) (/ 3.0 8.0) x)
2.176 * [regime-testing]: Baseline error score: 0
2.185 * [regime-testing]: Oracle error score: 0
2.185 * [regime-testing]: End program error score: 0