33.356 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.031 * * [simplify]: iteration  0 :  25  enodes  (cost  6 )
0.032 * * [simplify]: iteration  1 :  50  enodes  (cost  6 )
0.034 * * [simplify]: iteration  2 :  80  enodes  (cost  6 )
0.036 * * [simplify]: iteration  3 :  122  enodes  (cost  6 )
0.038 * * [simplify]: iteration  4 :  171  enodes  (cost  5 )
0.040 * * [simplify]: iteration  5 :  230  enodes  (cost  5 )
0.043 * * [simplify]: iteration  6 :  267  enodes  (cost  5 )
0.046 * * [simplify]: iteration  7 :  370  enodes  (cost  5 )
0.050 * * [simplify]: iteration  8 :  522  enodes  (cost  5 )
0.055 * * [simplify]: iteration  9 :  820  enodes  (cost  5 )
0.059 * * [simplify]: iteration  10 :  820  enodes  (cost  5 )
0.059 * [simplify]: Simplified to:
   (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t))
0.062 * * [progress]: iteration 1 / 4
0.062 * * * [progress]: picking best candidate
0.068 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t)))>
0.068 * * * [progress]: localizing error
0.078 * * * [progress]: generating rewritten candidates
0.078 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
0.078 * * * [progress]: generating series expansions
0.078 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
0.078 * [approximate]: Taking taylor expansion of (fma (- (* 0.5 y)) z t) in (y z t) around 0
0.078 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 y)) z t) in t
0.078 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 y)) z) t)
0.079 * [taylor]: Taking taylor expansion of (* (- (* 0.5 y)) z) in t
0.079 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in t
0.079 * [taylor]: Taking taylor expansion of (* 0.5 y) in t
0.079 * [taylor]: Taking taylor expansion of 0.5 in t
0.079 * [taylor]: Taking taylor expansion of y in t
0.079 * [taylor]: Taking taylor expansion of z in t
0.079 * [taylor]: Taking taylor expansion of t in t
0.079 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 y)) z t) in z
0.079 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 y)) z) t)
0.079 * [taylor]: Taking taylor expansion of (* (- (* 0.5 y)) z) in z
0.079 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in z
0.079 * [taylor]: Taking taylor expansion of (* 0.5 y) in z
0.079 * [taylor]: Taking taylor expansion of 0.5 in z
0.079 * [taylor]: Taking taylor expansion of y in z
0.079 * [taylor]: Taking taylor expansion of z in z
0.079 * [taylor]: Taking taylor expansion of t in z
0.079 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 y)) z t) in y
0.079 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 y)) z) t)
0.079 * [taylor]: Taking taylor expansion of (* (- (* 0.5 y)) z) in y
0.079 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.079 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.079 * [taylor]: Taking taylor expansion of 0.5 in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of z in y
0.079 * [taylor]: Taking taylor expansion of t in y
0.079 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 y)) z t) in y
0.079 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 y)) z) t)
0.079 * [taylor]: Taking taylor expansion of (* (- (* 0.5 y)) z) in y
0.079 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.079 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.079 * [taylor]: Taking taylor expansion of 0.5 in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of z in y
0.079 * [taylor]: Taking taylor expansion of t in y
0.080 * [taylor]: Taking taylor expansion of t in z
0.080 * [taylor]: Taking taylor expansion of t in t
0.082 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
0.082 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
0.082 * [taylor]: Taking taylor expansion of 0.5 in z
0.082 * [taylor]: Taking taylor expansion of z in z
0.082 * [taylor]: Taking taylor expansion of 0 in t
0.082 * [taylor]: Taking taylor expansion of 0 in t
0.084 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [taylor]: Taking taylor expansion of 0 in t
0.086 * [taylor]: Taking taylor expansion of (- 0.5) in t
0.086 * [taylor]: Taking taylor expansion of 0.5 in t
0.086 * [taylor]: Taking taylor expansion of 0 in t
0.088 * [taylor]: Taking taylor expansion of 0 in z
0.088 * [taylor]: Taking taylor expansion of 0 in t
0.089 * [taylor]: Taking taylor expansion of 0 in t
0.089 * [approximate]: Taking taylor expansion of (fma (- (* 0.5 (/ 1 y))) (/ 1 z) (/ 1 t)) in (y z t) around 0
0.089 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 (/ 1 y))) (/ 1 z) (/ 1 t)) in t
0.089 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 (/ 1 y))) (/ 1 z)) (/ 1 t))
0.089 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 y))) (/ 1 z)) in t
0.089 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in t
0.089 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in t
0.089 * [taylor]: Taking taylor expansion of 0.5 in t
0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.089 * [taylor]: Taking taylor expansion of y in t
0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.089 * [taylor]: Taking taylor expansion of z in t
0.090 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.090 * [taylor]: Taking taylor expansion of t in t
0.090 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 (/ 1 y))) (/ 1 z) (/ 1 t)) in z
0.090 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 (/ 1 y))) (/ 1 z)) (/ 1 t))
0.090 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 y))) (/ 1 z)) in z
0.090 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in z
0.090 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in z
0.090 * [taylor]: Taking taylor expansion of 0.5 in z
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.090 * [taylor]: Taking taylor expansion of y in z
0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.090 * [taylor]: Taking taylor expansion of z in z
0.090 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.090 * [taylor]: Taking taylor expansion of t in z
0.090 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 (/ 1 y))) (/ 1 z) (/ 1 t)) in y
0.090 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 (/ 1 y))) (/ 1 z)) (/ 1 t))
0.091 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 y))) (/ 1 z)) in y
0.091 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.091 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.091 * [taylor]: Taking taylor expansion of 0.5 in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.091 * [taylor]: Taking taylor expansion of t in y
0.091 * [taylor]: Taking taylor expansion of (fma (- (* 0.5 (/ 1 y))) (/ 1 z) (/ 1 t)) in y
0.091 * [taylor]: Rewrote expression to (+ (* (- (* 0.5 (/ 1 y))) (/ 1 z)) (/ 1 t))
0.091 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 y))) (/ 1 z)) in y
0.091 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.091 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.091 * [taylor]: Taking taylor expansion of 0.5 in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.092 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.092 * [taylor]: Taking taylor expansion of t in y
0.092 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
0.092 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
0.092 * [taylor]: Taking taylor expansion of 0.5 in z
0.092 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.093 * [taylor]: Taking taylor expansion of (- 0.5) in t
0.093 * [taylor]: Taking taylor expansion of 0.5 in t
0.095 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.095 * [taylor]: Taking taylor expansion of t in z
0.096 * [taylor]: Taking taylor expansion of 0 in t
0.099 * [taylor]: Taking taylor expansion of 0 in z
0.099 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.099 * [taylor]: Taking taylor expansion of t in t
0.100 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in z
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.104 * [taylor]: Taking taylor expansion of 0 in t
0.105 * [taylor]: Taking taylor expansion of 0 in t
0.106 * [approximate]: Taking taylor expansion of (fma (* 0.5 (/ 1 y)) (/ -1 z) (/ -1 t)) in (y z t) around 0
0.106 * [taylor]: Taking taylor expansion of (fma (* 0.5 (/ 1 y)) (/ -1 z) (/ -1 t)) in t
0.106 * [taylor]: Rewrote expression to (+ (* (* 0.5 (/ 1 y)) (/ -1 z)) (/ -1 t))
0.106 * [taylor]: Taking taylor expansion of (* (* 0.5 (/ 1 y)) (/ -1 z)) in t
0.106 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in t
0.107 * [taylor]: Taking taylor expansion of 0.5 in t
0.107 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.107 * [taylor]: Taking taylor expansion of y in t
0.107 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.107 * [taylor]: Taking taylor expansion of -1 in t
0.107 * [taylor]: Taking taylor expansion of z in t
0.107 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.107 * [taylor]: Taking taylor expansion of -1 in t
0.107 * [taylor]: Taking taylor expansion of t in t
0.107 * [taylor]: Taking taylor expansion of (fma (* 0.5 (/ 1 y)) (/ -1 z) (/ -1 t)) in z
0.107 * [taylor]: Rewrote expression to (+ (* (* 0.5 (/ 1 y)) (/ -1 z)) (/ -1 t))
0.107 * [taylor]: Taking taylor expansion of (* (* 0.5 (/ 1 y)) (/ -1 z)) in z
0.107 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in z
0.107 * [taylor]: Taking taylor expansion of 0.5 in z
0.107 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.107 * [taylor]: Taking taylor expansion of y in z
0.107 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.107 * [taylor]: Taking taylor expansion of -1 in z
0.107 * [taylor]: Taking taylor expansion of z in z
0.108 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.108 * [taylor]: Taking taylor expansion of -1 in z
0.108 * [taylor]: Taking taylor expansion of t in z
0.108 * [taylor]: Taking taylor expansion of (fma (* 0.5 (/ 1 y)) (/ -1 z) (/ -1 t)) in y
0.108 * [taylor]: Rewrote expression to (+ (* (* 0.5 (/ 1 y)) (/ -1 z)) (/ -1 t))
0.108 * [taylor]: Taking taylor expansion of (* (* 0.5 (/ 1 y)) (/ -1 z)) in y
0.108 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.108 * [taylor]: Taking taylor expansion of 0.5 in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.108 * [taylor]: Taking taylor expansion of -1 in y
0.108 * [taylor]: Taking taylor expansion of z in y
0.108 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.108 * [taylor]: Taking taylor expansion of -1 in y
0.108 * [taylor]: Taking taylor expansion of t in y
0.108 * [taylor]: Taking taylor expansion of (fma (* 0.5 (/ 1 y)) (/ -1 z) (/ -1 t)) in y
0.108 * [taylor]: Rewrote expression to (+ (* (* 0.5 (/ 1 y)) (/ -1 z)) (/ -1 t))
0.108 * [taylor]: Taking taylor expansion of (* (* 0.5 (/ 1 y)) (/ -1 z)) in y
0.108 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.108 * [taylor]: Taking taylor expansion of 0.5 in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.109 * [taylor]: Taking taylor expansion of -1 in y
0.109 * [taylor]: Taking taylor expansion of z in y
0.109 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.109 * [taylor]: Taking taylor expansion of -1 in y
0.109 * [taylor]: Taking taylor expansion of t in y
0.109 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
0.109 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
0.109 * [taylor]: Taking taylor expansion of 0.5 in z
0.109 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.109 * [taylor]: Taking taylor expansion of z in z
0.110 * [taylor]: Taking taylor expansion of (- 0.5) in t
0.110 * [taylor]: Taking taylor expansion of 0.5 in t
0.111 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
0.111 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.111 * [taylor]: Taking taylor expansion of t in z
0.113 * [taylor]: Taking taylor expansion of 0 in t
0.115 * [taylor]: Taking taylor expansion of 0 in z
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.115 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.115 * [taylor]: Taking taylor expansion of t in t
0.117 * [taylor]: Taking taylor expansion of 0 in t
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in t
0.119 * [taylor]: Taking taylor expansion of 0 in t
0.121 * [taylor]: Taking taylor expansion of 0 in t
0.122 * * * [progress]: simplifying candidates
0.122 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (- (/ y 2.0)) z t))
  (log1p (fma (- (/ y 2.0)) z t))
  (* (- (/ y 2.0)) z)
  (log (fma (- (/ y 2.0)) z t))
  (exp (fma (- (/ y 2.0)) z t))
  (* (cbrt (fma (- (/ y 2.0)) z t)) (cbrt (fma (- (/ y 2.0)) z t)))
  (cbrt (fma (- (/ y 2.0)) z t))
  (* (* (fma (- (/ y 2.0)) z t) (fma (- (/ y 2.0)) z t)) (fma (- (/ y 2.0)) z t))
  (sqrt (fma (- (/ y 2.0)) z t))
  (sqrt (fma (- (/ y 2.0)) z t))
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
0.125 * * [simplify]: iteration  0 :  34  enodes  (cost  60 )
0.127 * * [simplify]: iteration  1 :  79  enodes  (cost  53 )
0.129 * * [simplify]: iteration  2 :  236  enodes  (cost  53 )
0.133 * * [simplify]: iteration  3 :  836  enodes  (cost  53 )
0.153 * * [simplify]: iteration  4 :  4416  enodes  (cost  53 )
0.240 * * [simplify]: iteration  5 :  5001  enodes  (cost  53 )
0.241 * [simplify]: Simplified to:
   (expm1 (fma (- (/ y 2.0)) z t))
  (log1p (fma (- (/ y 2.0)) z t))
  (* (- (/ y 2.0)) z)
  (log (fma (- (/ y 2.0)) z t))
  (exp (fma (- (/ y 2.0)) z t))
  (* (cbrt (fma (- (/ y 2.0)) z t)) (cbrt (fma (- (/ y 2.0)) z t)))
  (cbrt (fma (- (/ y 2.0)) z t))
  (pow (fma (- (/ y 2.0)) z t) 3)
  (sqrt (fma (- (/ y 2.0)) z t))
  (sqrt (fma (- (/ y 2.0)) z t))
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
0.241 * * * [progress]: adding candidates to table
0.278 * * [progress]: iteration 2 / 4
0.278 * * * [progress]: picking best candidate
0.280 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (* 0.5 (* z y)))))>
0.280 * * * [progress]: localizing error
0.289 * * * [progress]: generating rewritten candidates
0.289 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
0.291 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 2)
0.298 * * * [progress]: generating series expansions
0.298 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
0.298 * [approximate]: Taking taylor expansion of (- t (* 0.5 (* z y))) in (t z y) around 0
0.298 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in y
0.298 * [taylor]: Taking taylor expansion of t in y
0.298 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
0.298 * [taylor]: Taking taylor expansion of 0.5 in y
0.298 * [taylor]: Taking taylor expansion of (* z y) in y
0.298 * [taylor]: Taking taylor expansion of z in y
0.298 * [taylor]: Taking taylor expansion of y in y
0.298 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in z
0.298 * [taylor]: Taking taylor expansion of t in z
0.298 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
0.298 * [taylor]: Taking taylor expansion of 0.5 in z
0.298 * [taylor]: Taking taylor expansion of (* z y) in z
0.298 * [taylor]: Taking taylor expansion of z in z
0.298 * [taylor]: Taking taylor expansion of y in z
0.298 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
0.298 * [taylor]: Taking taylor expansion of t in t
0.298 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
0.298 * [taylor]: Taking taylor expansion of 0.5 in t
0.298 * [taylor]: Taking taylor expansion of (* z y) in t
0.298 * [taylor]: Taking taylor expansion of z in t
0.298 * [taylor]: Taking taylor expansion of y in t
0.298 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in t
0.298 * [taylor]: Taking taylor expansion of t in t
0.298 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t
0.298 * [taylor]: Taking taylor expansion of 0.5 in t
0.298 * [taylor]: Taking taylor expansion of (* z y) in t
0.298 * [taylor]: Taking taylor expansion of z in t
0.298 * [taylor]: Taking taylor expansion of y in t
0.299 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in z
0.299 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
0.299 * [taylor]: Taking taylor expansion of 0.5 in z
0.299 * [taylor]: Taking taylor expansion of (* z y) in z
0.299 * [taylor]: Taking taylor expansion of z in z
0.299 * [taylor]: Taking taylor expansion of y in z
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [taylor]: Taking taylor expansion of 1 in z
0.300 * [taylor]: Taking taylor expansion of 1 in y
0.301 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.301 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.301 * [taylor]: Taking taylor expansion of 0.5 in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.303 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of 0 in y
0.303 * [taylor]: Taking taylor expansion of 0 in y
0.304 * [taylor]: Taking taylor expansion of 0 in y
0.304 * [approximate]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in (t z y) around 0
0.304 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y
0.304 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.304 * [taylor]: Taking taylor expansion of t in y
0.304 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
0.304 * [taylor]: Taking taylor expansion of 0.5 in y
0.304 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.304 * [taylor]: Taking taylor expansion of (* z y) in y
0.304 * [taylor]: Taking taylor expansion of z in y
0.304 * [taylor]: Taking taylor expansion of y in y
0.305 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.305 * [taylor]: Taking taylor expansion of t in z
0.305 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
0.305 * [taylor]: Taking taylor expansion of 0.5 in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.305 * [taylor]: Taking taylor expansion of (* z y) in z
0.305 * [taylor]: Taking taylor expansion of z in z
0.305 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
0.305 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.305 * [taylor]: Taking taylor expansion of t in t
0.305 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
0.305 * [taylor]: Taking taylor expansion of 0.5 in t
0.305 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.305 * [taylor]: Taking taylor expansion of (* z y) in t
0.305 * [taylor]: Taking taylor expansion of z in t
0.305 * [taylor]: Taking taylor expansion of y in t
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in t
0.306 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.306 * [taylor]: Taking taylor expansion of t in t
0.306 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
0.306 * [taylor]: Taking taylor expansion of 0.5 in t
0.306 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.306 * [taylor]: Taking taylor expansion of (* z y) in t
0.306 * [taylor]: Taking taylor expansion of z in t
0.306 * [taylor]: Taking taylor expansion of y in t
0.306 * [taylor]: Taking taylor expansion of 1 in z
0.307 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
0.307 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
0.307 * [taylor]: Taking taylor expansion of 0.5 in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.307 * [taylor]: Taking taylor expansion of (* z y) in z
0.307 * [taylor]: Taking taylor expansion of z in z
0.307 * [taylor]: Taking taylor expansion of y in z
0.307 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.307 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.307 * [taylor]: Taking taylor expansion of 0.5 in y
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of 1 in y
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.311 * [taylor]: Taking taylor expansion of 0 in y
0.311 * [taylor]: Taking taylor expansion of 0 in y
0.314 * [taylor]: Taking taylor expansion of 0 in z
0.314 * [taylor]: Taking taylor expansion of 0 in y
0.315 * [taylor]: Taking taylor expansion of 0 in y
0.315 * [taylor]: Taking taylor expansion of 0 in y
0.322 * [taylor]: Taking taylor expansion of 0 in z
0.322 * [taylor]: Taking taylor expansion of 0 in y
0.322 * [taylor]: Taking taylor expansion of 0 in y
0.324 * [taylor]: Taking taylor expansion of 0 in y
0.324 * [taylor]: Taking taylor expansion of 0 in y
0.325 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) in (t z y) around 0
0.325 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) in y
0.325 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (/ 1 t)) in y
0.325 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y
0.325 * [taylor]: Taking taylor expansion of 0.5 in y
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.325 * [taylor]: Taking taylor expansion of (* z y) in y
0.325 * [taylor]: Taking taylor expansion of z in y
0.325 * [taylor]: Taking taylor expansion of y in y
0.325 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.325 * [taylor]: Taking taylor expansion of t in y
0.325 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) in z
0.325 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (/ 1 t)) in z
0.325 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
0.325 * [taylor]: Taking taylor expansion of 0.5 in z
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.325 * [taylor]: Taking taylor expansion of (* z y) in z
0.325 * [taylor]: Taking taylor expansion of z in z
0.325 * [taylor]: Taking taylor expansion of y in z
0.326 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.326 * [taylor]: Taking taylor expansion of t in z
0.326 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) in t
0.326 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (/ 1 t)) in t
0.326 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
0.326 * [taylor]: Taking taylor expansion of 0.5 in t
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.326 * [taylor]: Taking taylor expansion of (* z y) in t
0.326 * [taylor]: Taking taylor expansion of z in t
0.326 * [taylor]: Taking taylor expansion of y in t
0.326 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.326 * [taylor]: Taking taylor expansion of t in t
0.326 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) in t
0.326 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (/ 1 t)) in t
0.326 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t
0.326 * [taylor]: Taking taylor expansion of 0.5 in t
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.326 * [taylor]: Taking taylor expansion of (* z y) in t
0.326 * [taylor]: Taking taylor expansion of z in t
0.326 * [taylor]: Taking taylor expansion of y in t
0.326 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.326 * [taylor]: Taking taylor expansion of t in t
0.327 * [taylor]: Taking taylor expansion of -1 in z
0.328 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in z
0.328 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z
0.328 * [taylor]: Taking taylor expansion of 0.5 in z
0.328 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.328 * [taylor]: Taking taylor expansion of (* z y) in z
0.328 * [taylor]: Taking taylor expansion of z in z
0.328 * [taylor]: Taking taylor expansion of y in z
0.328 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
0.328 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.328 * [taylor]: Taking taylor expansion of 0.5 in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.329 * [taylor]: Taking taylor expansion of -1 in y
0.330 * [taylor]: Taking taylor expansion of 0 in z
0.332 * [taylor]: Taking taylor expansion of 0 in y
0.332 * [taylor]: Taking taylor expansion of 0 in y
0.334 * [taylor]: Taking taylor expansion of 0 in z
0.334 * [taylor]: Taking taylor expansion of 0 in y
0.336 * [taylor]: Taking taylor expansion of 0 in y
0.336 * [taylor]: Taking taylor expansion of 0 in y
0.339 * [taylor]: Taking taylor expansion of 0 in z
0.339 * [taylor]: Taking taylor expansion of 0 in y
0.339 * [taylor]: Taking taylor expansion of 0 in y
0.341 * [taylor]: Taking taylor expansion of 0 in y
0.341 * [taylor]: Taking taylor expansion of 0 in y
0.342 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 2)
0.342 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (z y) around 0
0.342 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y
0.342 * [taylor]: Taking taylor expansion of 0.5 in y
0.342 * [taylor]: Taking taylor expansion of (* z y) in y
0.342 * [taylor]: Taking taylor expansion of z in y
0.342 * [taylor]: Taking taylor expansion of y in y
0.342 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
0.342 * [taylor]: Taking taylor expansion of 0.5 in z
0.342 * [taylor]: Taking taylor expansion of (* z y) in z
0.342 * [taylor]: Taking taylor expansion of z in z
0.342 * [taylor]: Taking taylor expansion of y in z
0.342 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z
0.342 * [taylor]: Taking taylor expansion of 0.5 in z
0.342 * [taylor]: Taking taylor expansion of (* z y) in z
0.342 * [taylor]: Taking taylor expansion of z in z
0.342 * [taylor]: Taking taylor expansion of y in z
0.343 * [taylor]: Taking taylor expansion of 0 in y
0.343 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.343 * [taylor]: Taking taylor expansion of 0.5 in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.344 * [taylor]: Taking taylor expansion of 0 in y
0.347 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (z y) around 0
0.349 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [taylor]: Taking taylor expansion of (* z y) in y
0.349 * [taylor]: Taking taylor expansion of z in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
0.350 * [taylor]: Taking taylor expansion of 0.5 in z
0.350 * [taylor]: Taking taylor expansion of (* z y) in z
0.350 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of y in z
0.350 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
0.350 * [taylor]: Taking taylor expansion of 0.5 in z
0.350 * [taylor]: Taking taylor expansion of (* z y) in z
0.350 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of y in z
0.350 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
0.351 * [taylor]: Taking taylor expansion of 0.5 in y
0.351 * [taylor]: Taking taylor expansion of y in y
0.351 * [taylor]: Taking taylor expansion of 0 in y
0.353 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.355 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (z y) around 0
0.355 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y
0.355 * [taylor]: Taking taylor expansion of 0.5 in y
0.355 * [taylor]: Taking taylor expansion of (* z y) in y
0.355 * [taylor]: Taking taylor expansion of z in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
0.355 * [taylor]: Taking taylor expansion of 0.5 in z
0.355 * [taylor]: Taking taylor expansion of (* z y) in z
0.355 * [taylor]: Taking taylor expansion of z in z
0.355 * [taylor]: Taking taylor expansion of y in z
0.356 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z
0.356 * [taylor]: Taking taylor expansion of 0.5 in z
0.356 * [taylor]: Taking taylor expansion of (* z y) in z
0.356 * [taylor]: Taking taylor expansion of z in z
0.356 * [taylor]: Taking taylor expansion of y in z
0.356 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
0.356 * [taylor]: Taking taylor expansion of 0.5 in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.357 * [taylor]: Taking taylor expansion of 0 in y
0.358 * [taylor]: Taking taylor expansion of 0 in y
0.360 * [taylor]: Taking taylor expansion of 0 in y
0.361 * * * [progress]: simplifying candidates
0.361 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* (* z y) 0.5)))
  (fma (- (* z y)) 0.5 (* (* z y) 0.5))
  (fma (sqrt t) (sqrt t) (- (* (* z y) 0.5)))
  (fma (- (* z y)) 0.5 (* (* z y) 0.5))
  (fma 1 t (- (* (* z y) 0.5)))
  (fma (- (* z y)) 0.5 (* (* z y) 0.5))
  (expm1 (- t (* 0.5 (* z y))))
  (log1p (- t (* 0.5 (* z y))))
  (- (* 0.5 (* z y)))
  (- (* 0.5 (* z y)))
  (- (* 0.5 (* z y)))
  (/ (exp t) (exp (* 0.5 (* z y))))
  (log (- t (* 0.5 (* z y))))
  (exp (- t (* 0.5 (* z y))))
  (* (cbrt (- t (* 0.5 (* z y)))) (cbrt (- t (* 0.5 (* z y)))))
  (cbrt (- t (* 0.5 (* z y))))
  (* (* (- t (* 0.5 (* z y))) (- t (* 0.5 (* z y)))) (- t (* 0.5 (* z y))))
  (sqrt (- t (* 0.5 (* z y))))
  (sqrt (- t (* 0.5 (* z y))))
  (- (pow t 3) (pow (* 0.5 (* z y)) 3))
  (+ (* t t) (+ (* (* 0.5 (* z y)) (* 0.5 (* z y))) (* t (* 0.5 (* z y)))))
  (- (* 0.5 (* z y)))
  (- (* t t) (* (* 0.5 (* z y)) (* 0.5 (* z y))))
  (+ t (* 0.5 (* z y)))
  (- (* 0.5 (* z y)))
  (expm1 (* 0.5 (* z y)))
  (log1p (* 0.5 (* z y)))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (+ (log 0.5) (+ (log z) (log y)))
  (+ (log 0.5) (log (* z y)))
  (log (* 0.5 (* z y)))
  (exp (* 0.5 (* z y)))
  (* (* (* 0.5 0.5) 0.5) (* (* (* z z) z) (* (* y y) y)))
  (* (* (* 0.5 0.5) 0.5) (* (* (* z y) (* z y)) (* z y)))
  (* (cbrt (* 0.5 (* z y))) (cbrt (* 0.5 (* z y))))
  (cbrt (* 0.5 (* z y)))
  (* (* (* 0.5 (* z y)) (* 0.5 (* z y))) (* 0.5 (* z y)))
  (sqrt (* 0.5 (* z y)))
  (sqrt (* 0.5 (* z y)))
  (* 0.5 z)
  (* (cbrt 0.5) (* z y))
  (* (sqrt 0.5) (* z y))
  (* 0.5 (* z y))
  t
  (- t (* 0.5 (* z y)))
  (- t (* 0.5 (* z y)))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
  (* 0.5 (* z y))
0.365 * * [simplify]: iteration  0 :  172  enodes  (cost  201 )
0.369 * * [simplify]: iteration  1 :  614  enodes  (cost  174 )
0.383 * * [simplify]: iteration  2 :  3113  enodes  (cost  173 )
0.454 * * [simplify]: iteration  3 :  5001  enodes  (cost  156 )
0.456 * [simplify]: Simplified to:
   (- t (* (* z y) 0.5))
  0
  (- t (* (* z y) 0.5))
  0
  (- t (* (* z y) 0.5))
  0
  (expm1 (- t (* 0.5 (* z y))))
  (log1p (- t (* 0.5 (* z y))))
  (- (* 0.5 (* z y)))
  (- (* 0.5 (* z y)))
  (- (* 0.5 (* z y)))
  (exp (- t (* 0.5 (* z y))))
  (log (- t (* 0.5 (* z y))))
  (exp (- t (* 0.5 (* z y))))
  (* (cbrt (- t (* 0.5 (* z y)))) (cbrt (- t (* 0.5 (* z y)))))
  (cbrt (- t (* 0.5 (* z y))))
  (pow (- t (* 0.5 (* z y))) 3)
  (sqrt (- t (* 0.5 (* z y))))
  (sqrt (- t (* 0.5 (* z y))))
  (- (pow t 3) (pow (* 0.5 (* z y)) 3))
  (fma t t (* (* 0.5 z) (* y (fma (* 0.5 z) y t))))
  (- (* 0.5 (* z y)))
  (* (- t (* 0.5 (* z y))) (fma (* 0.5 z) y t))
  (fma (* 0.5 z) y t)
  (- (* 0.5 (* z y)))
  (expm1 (* 0.5 (* z y)))
  (log1p (* 0.5 (* z y)))
  (* (* z y) 0.5)
  (* (* z y) 0.5)
  (log (* 0.5 (* z y)))
  (log (* 0.5 (* z y)))
  (log (* 0.5 (* z y)))
  (exp (* 0.5 (* z y)))
  (pow (* 0.5 (* z y)) 3)
  (pow (* 0.5 (* z y)) 3)
  (* (cbrt (* 0.5 (* z y))) (cbrt (* 0.5 (* z y))))
  (cbrt (* 0.5 (* z y)))
  (pow (* 0.5 (* z y)) 3)
  (sqrt (* 0.5 (* z y)))
  (sqrt (* 0.5 (* z y)))
  (* 0.5 z)
  (* (cbrt 0.5) (* z y))
  (* (sqrt 0.5) (* z y))
  (* (* z y) 0.5)
  t
  (- t (* (* z y) 0.5))
  (- t (* (* z y) 0.5))
  (* (* z y) 0.5)
  (* (* z y) 0.5)
  (* (* z y) 0.5)
0.456 * * * [progress]: adding candidates to table
0.560 * [progress]: [Phase 3 of 3] Extracting.
0.560 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (* 0.5 (* z y)))))> #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t)))>)
0.561 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
0.561 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (* 0.5 (* z y)))))> #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t)))>)
0.578 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (* 0.5 (* z y)))))> #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t)))>)
0.593 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (* 0.5 (* z y)))))> #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t)))>)
0.608 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (- t (* 0.5 (* z y)))))> #<alt (λ (x y z t) (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t)))>)
0.626 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.627 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t))
0.627 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.628 * * [simplify]: iteration  1 :  14  enodes  (cost  5 )
0.628 * [simplify]: Simplified to:
   (fma (/ x 8.0) 1.0 (fma (- (/ y 2.0)) z t))
1.505 * [regime-testing]: Baseline error score: 0.004691031623460059
1.506 * [regime-testing]: Oracle error score: 0.004566015996506689
1.507 * [regime-testing]: End program error score: 0.004691031623460059
1.529 * [regime-testing]: Target error score: 0.00796268120483802