31.659 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 0.032 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 0.033 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 0.036 * * [simplify]: iteration 2 : 45 enodes (cost 13 ) 0.041 * * [simplify]: iteration 3 : 70 enodes (cost 13 ) 0.050 * * [simplify]: iteration 4 : 94 enodes (cost 13 ) 0.065 * * [simplify]: iteration 5 : 113 enodes (cost 13 ) 0.077 * * [simplify]: iteration 6 : 126 enodes (cost 13 ) 0.092 * * [simplify]: iteration 7 : 165 enodes (cost 13 ) 0.114 * * [simplify]: iteration 8 : 254 enodes (cost 13 ) 0.149 * * [simplify]: iteration 9 : 360 enodes (cost 13 ) 0.185 * * [simplify]: iteration 10 : 486 enodes (cost 13 ) 0.229 * * [simplify]: iteration 11 : 577 enodes (cost 13 ) 0.292 * * [simplify]: iteration 12 : 686 enodes (cost 13 ) 0.331 * * [simplify]: iteration 13 : 811 enodes (cost 13 ) 0.373 * * [simplify]: iteration 14 : 902 enodes (cost 13 ) 0.438 * * [simplify]: iteration 15 : 1011 enodes (cost 13 ) 0.473 * * [simplify]: iteration 16 : 1136 enodes (cost 13 ) 0.518 * * [simplify]: iteration 17 : 1227 enodes (cost 13 ) 0.580 * * [simplify]: iteration 18 : 1336 enodes (cost 13 ) 0.620 * * [simplify]: iteration 19 : 1461 enodes (cost 13 ) 0.665 * * [simplify]: iteration 20 : 1552 enodes (cost 13 ) 0.728 * * [simplify]: iteration 21 : 1661 enodes (cost 13 ) 0.766 * * [simplify]: iteration 22 : 1786 enodes (cost 13 ) 0.812 * * [simplify]: iteration 23 : 1877 enodes (cost 13 ) 0.875 * * [simplify]: iteration 24 : 1986 enodes (cost 13 ) 0.914 * * [simplify]: iteration 25 : 2111 enodes (cost 13 ) 0.958 * * [simplify]: iteration 26 : 2202 enodes (cost 13 ) 1.023 * * [simplify]: iteration 27 : 2311 enodes (cost 13 ) 1.057 * * [simplify]: iteration 28 : 2436 enodes (cost 13 ) 1.102 * * [simplify]: iteration 29 : 2527 enodes (cost 13 ) 1.165 * * [simplify]: iteration 30 : 2636 enodes (cost 13 ) 1.203 * * [simplify]: iteration 31 : 2761 enodes (cost 13 ) 1.248 * * [simplify]: iteration 32 : 2852 enodes (cost 13 ) 1.310 * * [simplify]: iteration 33 : 2961 enodes (cost 13 ) 1.348 * * [simplify]: iteration 34 : 3086 enodes (cost 13 ) 1.392 * * [simplify]: iteration 35 : 3177 enodes (cost 13 ) 1.455 * * [simplify]: iteration 36 : 3286 enodes (cost 13 ) 1.493 * * [simplify]: iteration 37 : 3411 enodes (cost 13 ) 1.538 * * [simplify]: iteration 38 : 3502 enodes (cost 13 ) 1.599 * * [simplify]: iteration 39 : 3611 enodes (cost 13 ) 1.633 * * [simplify]: iteration 40 : 3736 enodes (cost 13 ) 1.678 * * [simplify]: iteration 41 : 3827 enodes (cost 13 ) 1.741 * * [simplify]: iteration 42 : 3936 enodes (cost 13 ) 1.779 * * [simplify]: iteration 43 : 4061 enodes (cost 13 ) 1.823 * * [simplify]: iteration 44 : 4152 enodes (cost 13 ) 1.885 * * [simplify]: iteration 45 : 4261 enodes (cost 13 ) 1.924 * * [simplify]: iteration 46 : 4386 enodes (cost 13 ) 1.968 * * [simplify]: iteration 47 : 4477 enodes (cost 13 ) 2.031 * * [simplify]: iteration 48 : 4586 enodes (cost 13 ) 2.069 * * [simplify]: iteration 49 : 4711 enodes (cost 13 ) 2.113 * * [simplify]: iteration 50 : 4802 enodes (cost 13 ) 2.175 * * [simplify]: iteration 51 : 4911 enodes (cost 13 ) 2.207 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 2.207 * [simplify]: Simplified to: (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 2.207 * * [progress]: iteration 1 / 4 2.207 * * * [progress]: picking best candidate 2.211 * * * * [pick]: Picked # 2.211 * * * [progress]: localizing error 2.225 * * * [progress]: generating rewritten candidates 2.225 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.231 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 2.237 * * * [progress]: generating series expansions 2.237 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.237 * [approximate]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in (x y z) around 0 2.237 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in z 2.237 * [taylor]: Taking taylor expansion of (* 0.125 x) in z 2.237 * [taylor]: Taking taylor expansion of 0.125 in z 2.237 * [taylor]: Taking taylor expansion of x in z 2.237 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z 2.237 * [taylor]: Taking taylor expansion of 0.5 in z 2.237 * [taylor]: Taking taylor expansion of (* z y) in z 2.237 * [taylor]: Taking taylor expansion of z in z 2.237 * [taylor]: Taking taylor expansion of y in z 2.237 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in y 2.237 * [taylor]: Taking taylor expansion of (* 0.125 x) in y 2.237 * [taylor]: Taking taylor expansion of 0.125 in y 2.237 * [taylor]: Taking taylor expansion of x in y 2.237 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 2.237 * [taylor]: Taking taylor expansion of 0.5 in y 2.237 * [taylor]: Taking taylor expansion of (* z y) in y 2.237 * [taylor]: Taking taylor expansion of z in y 2.237 * [taylor]: Taking taylor expansion of y in y 2.237 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x 2.237 * [taylor]: Taking taylor expansion of (* 0.125 x) in x 2.237 * [taylor]: Taking taylor expansion of 0.125 in x 2.237 * [taylor]: Taking taylor expansion of x in x 2.237 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x 2.237 * [taylor]: Taking taylor expansion of 0.5 in x 2.237 * [taylor]: Taking taylor expansion of (* z y) in x 2.237 * [taylor]: Taking taylor expansion of z in x 2.237 * [taylor]: Taking taylor expansion of y in x 2.237 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x 2.238 * [taylor]: Taking taylor expansion of (* 0.125 x) in x 2.238 * [taylor]: Taking taylor expansion of 0.125 in x 2.238 * [taylor]: Taking taylor expansion of x in x 2.238 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x 2.238 * [taylor]: Taking taylor expansion of 0.5 in x 2.238 * [taylor]: Taking taylor expansion of (* z y) in x 2.238 * [taylor]: Taking taylor expansion of z in x 2.238 * [taylor]: Taking taylor expansion of y in x 2.238 * [taylor]: Taking taylor expansion of (neg (* 0.5 (* z y))) in y 2.238 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 2.238 * [taylor]: Taking taylor expansion of 0.5 in y 2.238 * [taylor]: Taking taylor expansion of (* z y) in y 2.238 * [taylor]: Taking taylor expansion of z in y 2.238 * [taylor]: Taking taylor expansion of y in y 2.238 * [taylor]: Taking taylor expansion of 0 in z 2.238 * [taylor]: Taking taylor expansion of 0.125 in y 2.238 * [taylor]: Taking taylor expansion of 0.125 in z 2.238 * [taylor]: Taking taylor expansion of (neg (* 0.5 z)) in z 2.238 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 2.238 * [taylor]: Taking taylor expansion of 0.5 in z 2.238 * [taylor]: Taking taylor expansion of z in z 2.238 * [taylor]: Taking taylor expansion of 0 in y 2.239 * [taylor]: Taking taylor expansion of 0 in z 2.239 * [taylor]: Taking taylor expansion of 0 in z 2.239 * [taylor]: Taking taylor expansion of 0 in z 2.239 * [approximate]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in (x y z) around 0 2.239 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in z 2.239 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z 2.239 * [taylor]: Taking taylor expansion of 0.125 in z 2.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.239 * [taylor]: Taking taylor expansion of x in z 2.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z 2.239 * [taylor]: Taking taylor expansion of 0.5 in z 2.239 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.239 * [taylor]: Taking taylor expansion of (* z y) in z 2.239 * [taylor]: Taking taylor expansion of z in z 2.239 * [taylor]: Taking taylor expansion of y in z 2.239 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in y 2.239 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y 2.239 * [taylor]: Taking taylor expansion of 0.125 in y 2.239 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.239 * [taylor]: Taking taylor expansion of x in y 2.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 2.239 * [taylor]: Taking taylor expansion of 0.5 in y 2.239 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.239 * [taylor]: Taking taylor expansion of (* z y) in y 2.239 * [taylor]: Taking taylor expansion of z in y 2.239 * [taylor]: Taking taylor expansion of y in y 2.239 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x 2.239 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 2.239 * [taylor]: Taking taylor expansion of 0.125 in x 2.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 2.240 * [taylor]: Taking taylor expansion of 0.5 in x 2.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.240 * [taylor]: Taking taylor expansion of (* z y) in x 2.240 * [taylor]: Taking taylor expansion of z in x 2.240 * [taylor]: Taking taylor expansion of y in x 2.240 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x 2.240 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 2.240 * [taylor]: Taking taylor expansion of 0.125 in x 2.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.240 * [taylor]: Taking taylor expansion of x in x 2.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 2.240 * [taylor]: Taking taylor expansion of 0.5 in x 2.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.240 * [taylor]: Taking taylor expansion of (* z y) in x 2.240 * [taylor]: Taking taylor expansion of z in x 2.240 * [taylor]: Taking taylor expansion of y in x 2.240 * [taylor]: Taking taylor expansion of 0.125 in y 2.240 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 (* z y)))) in y 2.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 2.240 * [taylor]: Taking taylor expansion of 0.5 in y 2.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.240 * [taylor]: Taking taylor expansion of (* z y) in y 2.240 * [taylor]: Taking taylor expansion of z in y 2.240 * [taylor]: Taking taylor expansion of y in y 2.240 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 z))) in z 2.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 2.240 * [taylor]: Taking taylor expansion of 0.5 in z 2.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.241 * [taylor]: Taking taylor expansion of z in z 2.241 * [taylor]: Taking taylor expansion of 0.125 in z 2.241 * [taylor]: Taking taylor expansion of 0 in y 2.241 * [taylor]: Taking taylor expansion of 0 in z 2.241 * [taylor]: Taking taylor expansion of 0 in z 2.241 * [taylor]: Taking taylor expansion of 0 in y 2.241 * [taylor]: Taking taylor expansion of 0 in z 2.242 * [taylor]: Taking taylor expansion of 0 in z 2.242 * [taylor]: Taking taylor expansion of 0 in z 2.242 * [taylor]: Taking taylor expansion of 0 in y 2.242 * [taylor]: Taking taylor expansion of 0 in z 2.242 * [taylor]: Taking taylor expansion of 0 in z 2.242 * [taylor]: Taking taylor expansion of 0 in z 2.242 * [taylor]: Taking taylor expansion of 0 in z 2.243 * [approximate]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in (x y z) around 0 2.243 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in z 2.243 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in z 2.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z 2.243 * [taylor]: Taking taylor expansion of 0.5 in z 2.243 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.243 * [taylor]: Taking taylor expansion of (* z y) in z 2.243 * [taylor]: Taking taylor expansion of z in z 2.243 * [taylor]: Taking taylor expansion of y in z 2.243 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z 2.243 * [taylor]: Taking taylor expansion of 0.125 in z 2.243 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.243 * [taylor]: Taking taylor expansion of x in z 2.243 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in y 2.243 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in y 2.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 2.243 * [taylor]: Taking taylor expansion of 0.5 in y 2.243 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.243 * [taylor]: Taking taylor expansion of (* z y) in y 2.243 * [taylor]: Taking taylor expansion of z in y 2.243 * [taylor]: Taking taylor expansion of y in y 2.243 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y 2.243 * [taylor]: Taking taylor expansion of 0.125 in y 2.243 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.244 * [taylor]: Taking taylor expansion of x in y 2.244 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x 2.244 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x 2.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 2.244 * [taylor]: Taking taylor expansion of 0.5 in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.244 * [taylor]: Taking taylor expansion of (* z y) in x 2.244 * [taylor]: Taking taylor expansion of z in x 2.244 * [taylor]: Taking taylor expansion of y in x 2.244 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 2.244 * [taylor]: Taking taylor expansion of 0.125 in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.244 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x 2.244 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x 2.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 2.244 * [taylor]: Taking taylor expansion of 0.5 in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.244 * [taylor]: Taking taylor expansion of (* z y) in x 2.244 * [taylor]: Taking taylor expansion of z in x 2.244 * [taylor]: Taking taylor expansion of y in x 2.244 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 2.244 * [taylor]: Taking taylor expansion of 0.125 in x 2.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.244 * [taylor]: Taking taylor expansion of (neg 0.125) in y 2.244 * [taylor]: Taking taylor expansion of 0.125 in y 2.244 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 (* z y)))) in y 2.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 2.245 * [taylor]: Taking taylor expansion of 0.5 in y 2.245 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.245 * [taylor]: Taking taylor expansion of (* z y) in y 2.245 * [taylor]: Taking taylor expansion of z in y 2.245 * [taylor]: Taking taylor expansion of y in y 2.245 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 z))) in z 2.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 2.245 * [taylor]: Taking taylor expansion of 0.5 in z 2.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.245 * [taylor]: Taking taylor expansion of z in z 2.245 * [taylor]: Taking taylor expansion of (neg 0.125) in z 2.245 * [taylor]: Taking taylor expansion of 0.125 in z 2.245 * [taylor]: Taking taylor expansion of 0 in y 2.245 * [taylor]: Taking taylor expansion of 0 in z 2.245 * [taylor]: Taking taylor expansion of 0 in z 2.246 * [taylor]: Taking taylor expansion of 0 in y 2.246 * [taylor]: Taking taylor expansion of 0 in z 2.246 * [taylor]: Taking taylor expansion of 0 in z 2.246 * [taylor]: Taking taylor expansion of 0 in z 2.247 * [taylor]: Taking taylor expansion of 0 in y 2.247 * [taylor]: Taking taylor expansion of 0 in z 2.247 * [taylor]: Taking taylor expansion of 0 in z 2.247 * [taylor]: Taking taylor expansion of 0 in z 2.247 * [taylor]: Taking taylor expansion of 0 in z 2.247 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 2.248 * [approximate]: Taking taylor expansion of (* 0.5 (* z y)) in (y z) around 0 2.248 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z 2.248 * [taylor]: Taking taylor expansion of 0.5 in z 2.248 * [taylor]: Taking taylor expansion of (* z y) in z 2.248 * [taylor]: Taking taylor expansion of z in z 2.248 * [taylor]: Taking taylor expansion of y in z 2.248 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 2.248 * [taylor]: Taking taylor expansion of 0.5 in y 2.248 * [taylor]: Taking taylor expansion of (* z y) in y 2.248 * [taylor]: Taking taylor expansion of z in y 2.248 * [taylor]: Taking taylor expansion of y in y 2.248 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 2.248 * [taylor]: Taking taylor expansion of 0.5 in y 2.248 * [taylor]: Taking taylor expansion of (* z y) in y 2.248 * [taylor]: Taking taylor expansion of z in y 2.248 * [taylor]: Taking taylor expansion of y in y 2.248 * [taylor]: Taking taylor expansion of 0 in z 2.248 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 2.248 * [taylor]: Taking taylor expansion of 0.5 in z 2.248 * [taylor]: Taking taylor expansion of z in z 2.248 * [taylor]: Taking taylor expansion of 0 in z 2.248 * [taylor]: Taking taylor expansion of 0 in z 2.248 * [taylor]: Taking taylor expansion of 0 in z 2.249 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0 2.249 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z 2.249 * [taylor]: Taking taylor expansion of 0.5 in z 2.249 * [taylor]: Taking taylor expansion of (* z y) in z 2.249 * [taylor]: Taking taylor expansion of z in z 2.249 * [taylor]: Taking taylor expansion of y in z 2.249 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y 2.249 * [taylor]: Taking taylor expansion of 0.5 in y 2.249 * [taylor]: Taking taylor expansion of (* z y) in y 2.249 * [taylor]: Taking taylor expansion of z in y 2.249 * [taylor]: Taking taylor expansion of y in y 2.249 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y 2.249 * [taylor]: Taking taylor expansion of 0.5 in y 2.249 * [taylor]: Taking taylor expansion of (* z y) in y 2.249 * [taylor]: Taking taylor expansion of z in y 2.249 * [taylor]: Taking taylor expansion of y in y 2.249 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 2.249 * [taylor]: Taking taylor expansion of 0.5 in z 2.249 * [taylor]: Taking taylor expansion of z in z 2.249 * [taylor]: Taking taylor expansion of 0 in z 2.249 * [taylor]: Taking taylor expansion of 0 in z 2.250 * [taylor]: Taking taylor expansion of 0 in z 2.250 * [approximate]: Taking taylor expansion of (/ 0.5 (* z y)) in (y z) around 0 2.250 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in z 2.250 * [taylor]: Taking taylor expansion of 0.5 in z 2.250 * [taylor]: Taking taylor expansion of (* z y) in z 2.250 * [taylor]: Taking taylor expansion of z in z 2.250 * [taylor]: Taking taylor expansion of y in z 2.250 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y 2.250 * [taylor]: Taking taylor expansion of 0.5 in y 2.250 * [taylor]: Taking taylor expansion of (* z y) in y 2.250 * [taylor]: Taking taylor expansion of z in y 2.250 * [taylor]: Taking taylor expansion of y in y 2.250 * [taylor]: Taking taylor expansion of (/ 0.5 (* z y)) in y 2.250 * [taylor]: Taking taylor expansion of 0.5 in y 2.250 * [taylor]: Taking taylor expansion of (* z y) in y 2.250 * [taylor]: Taking taylor expansion of z in y 2.250 * [taylor]: Taking taylor expansion of y in y 2.250 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 2.250 * [taylor]: Taking taylor expansion of 0.5 in z 2.250 * [taylor]: Taking taylor expansion of z in z 2.251 * [taylor]: Taking taylor expansion of 0 in z 2.251 * [taylor]: Taking taylor expansion of 0 in z 2.251 * [taylor]: Taking taylor expansion of 0 in z 2.251 * * * [progress]: simplifying candidates 2.252 * [simplify]: Simplifying using # : (/ (exp (* (/ 1.0 8.0) x)) (exp (/ (* y z) 2.0))) (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (* 1.0 x) 2.0) (* 8.0 (* y z))) (* 8.0 2.0) (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3)) (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (* (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (neg (/ (* y z) 2.0)) (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0))) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (neg (/ (* y z) 2.0)) (- (+ (log y) (log z)) (log 2.0)) (- (log (* y z)) (log 2.0)) (log (/ (* y z) 2.0)) (exp (/ (* y z) 2.0)) (/ (* (* (* y y) y) (* (* z z) z)) (* (* 2.0 2.0) 2.0)) (/ (* (* (* y z) (* y z)) (* y z)) (* (* 2.0 2.0) 2.0)) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (cbrt (/ (* y z) 2.0)) (* (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (/ (* y z) 2.0)) (sqrt (/ (* y z) 2.0)) (sqrt (/ (* y z) 2.0)) (neg (* y z)) (neg 2.0) (/ y (* (cbrt 2.0) (cbrt 2.0))) (/ z (cbrt 2.0)) (/ y (sqrt 2.0)) (/ z (sqrt 2.0)) (/ y 1) (/ z 2.0) (/ 1 2.0) (/ 2.0 (* y z)) (/ (* y z) (* (cbrt 2.0) (cbrt 2.0))) (/ (* y z) (sqrt 2.0)) (/ (* y z) 1) (/ 2.0 z) (* 0.125 x) (- (* 0.125 x) (* 0.5 (* z y))) (- (* 0.125 x) (* 0.5 (* z y))) (* 0.5 (* z y)) (* 0.5 (* z y)) (* 0.5 (* z y)) 2.254 * * [simplify]: iteration 0 : 85 enodes (cost 450 ) 2.266 * * [simplify]: iteration 1 : 214 enodes (cost 426 ) 2.310 * * [simplify]: iteration 2 : 757 enodes (cost 384 ) 2.534 * * [simplify]: iteration 3 : 3582 enodes (cost 384 ) 3.040 * * [simplify]: iteration done : 5000 enodes (cost 384 ) 3.040 * [simplify]: Simplified to: (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (* 1.0 x) 2.0) (* 8.0 (* y z))) (* 8.0 2.0) (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3)) (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (neg (/ (* y z) 2.0)) (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0))) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (neg (/ (* y z) 2.0)) (log (/ (* y z) 2.0)) (log (/ (* y z) 2.0)) (log (/ (* y z) 2.0)) (exp (/ (* y z) 2.0)) (pow (/ (* y z) 2.0) 3) (pow (/ (* y z) 2.0) 3) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (cbrt (/ (* y z) 2.0)) (pow (/ (* y z) 2.0) 3) (sqrt (/ (* y z) 2.0)) (sqrt (/ (* y z) 2.0)) (neg (* y z)) (neg 2.0) (/ y (* (cbrt 2.0) (cbrt 2.0))) (/ z (cbrt 2.0)) (/ y (sqrt 2.0)) (/ z (sqrt 2.0)) y (/ z 2.0) (/ 1 2.0) (/ 2.0 (* y z)) (/ (* y z) (* (cbrt 2.0) (cbrt 2.0))) (/ (* y z) (sqrt 2.0)) (* y z) (/ 2.0 z) (* 0.125 x) (- (* 0.125 x) (* 0.5 (* z y))) (- (* 0.125 x) (* 0.5 (* z y))) (* 0.5 (* z y)) (* 0.5 (* z y)) (* 0.5 (* z y)) 3.040 * * * [progress]: adding candidates to table 3.094 * [progress]: [Phase 3 of 3] Extracting. 3.097 * [simplify]: Simplifying using # : (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 3.098 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 3.098 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 3.098 * * [simplify]: iteration done : 16 enodes (cost 13 ) 3.099 * [simplify]: Simplified to: (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 4.248 * [regime-testing]: End program error score: 0.020377547193399174 4.346 * [regime-testing]: Target error score: 0.004625578197274659