Details

analyze1.4s

Algorithm: search

sample40.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
8.0ms	150×	body	80	invalid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	10
1	112	10
2	384	10
3	1568	10
4	5001	10

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.0b	(* (- y 1.0) z)
0.0b	(* (- t 1.0) a)
0.0b	(* (- (+ y t) 2.0) b)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate-*l/`
22×	`add-sqr-sqrt`
19×	`flip3--` `*-un-lft-identity` `flip--`
16×	`associate-l`
13×	`add-log-exp`
12×	`frac-add`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
9×	`associate-r`
8×	`frac-sub`
4×	`associate-+l+` `distribute-lft-out--`
3×	`diff-log` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
2×	`sub-neg` `associate--l+`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `distribute-lft-out`

Counts

4 → 97

Calls

4 calls:

12.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
6.0ms	(* (- y 1.0) z)
6.0ms	(* (- t 1.0) a)
9.0ms	(* (- (+ y t) 2.0) b)

series65.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
4.0ms	(* (- y 1.0) z)
4.0ms	(* (- t 1.0) a)
7.0ms	(* (- (+ y t) 2.0) b)

simplify108.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	886	1273
1	4545	1219
2	5001	1219

prune164.0ms

Filtered

75 candidates to 109 candidates (-45.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	106	3	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	3	110

Merged error: 0b

Counts

110 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- y 1.0) z)
0.0b	(- (neg (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b	(* (- t 1.0) a)
0.0b	(* (- (+ y t) 2.0) b)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
16×	`associate-l`
14×	`associate-*l/`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
9×	`associate-r`
8×	`flip3--` `flip--` `add-log-exp`
4×	`frac-sub` `distribute-neg-frac` `distribute-lft-out--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
2×	`diff-log`
1×	`associate--l-` `neg-sub0` `sub-neg` `neg-log` `distribute-lft-out`

Counts

4 → 85

Calls

4 calls:

6.0ms	(* (- y 1.0) z)
6.0ms	(- (neg (* (- y 1.0) z)) (* (- t 1.0) a))
7.0ms	(* (- t 1.0) a)
8.0ms	(* (- (+ y t) 2.0) b)

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (- y 1.0) z)
15.0ms	(- (neg (* (- y 1.0) z)) (* (- t 1.0) a))
4.0ms	(* (- t 1.0) a)
7.0ms	(* (- (+ y t) 2.0) b)

simplify60.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	516	552
1	2223	494
2	5001	492

prune120.0ms

Filtered

65 candidates to 97 candidates (-49.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	97	3	100

Merged error: 0b

Counts

100 → 3

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (+ (* 1.0 z) (* 1.0 a)) (* z y)) (* (- (+ y t) 2.0) b))
0.0b	(- (+ (* 1.0 z) (* 1.0 a)) (* z y))
0.0b	(* (- (+ y t) 2.0) b)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-log-exp`
10×	`*-un-lft-identity`
9×	`add-sqr-sqrt`
6×	`flip3--` `associate-l` `associate-*l/` `flip--`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `sum-log` `add-cbrt-cube`
4×	`diff-log` `frac-add`
3×	`associate-+l+` `associate-r`
2×	`sub-neg` `associate--l+` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `difference-of-squares` `unswap-sqr`

Counts

3 → 58

Calls

3 calls:

11.0ms	(+ (- (+ (* 1.0 z) (* 1.0 a)) (* z y)) (* (- (+ y t) 2.0) b))
6.0ms	(- (+ (* 1.0 z) (* 1.0 a)) (* z y))
9.0ms	(* (- (+ y t) 2.0) b)

series41.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(+ (- (+ (* 1.0 z) (* 1.0 a)) (* z y)) (* (- (+ y t) 2.0) b))
8.0ms	(- (+ (* 1.0 z) (* 1.0 a)) (* z y))
6.0ms	(* (- (+ y t) 2.0) b)

simplify56.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	405	663
1	2019	621
2	5002	617

prune88.0ms

Filtered

47 candidates to 67 candidates (-42.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	67	3	70

Merged error: 0b

Counts

70 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (+ y t) 2.0) b)
0.0b	(sqrt (* (- (+ y t) 2.0) b))
0.0b	(sqrt (* (- (+ y t) 2.0) b))
0.3b	(* (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`pow-prod-down`
20×	`associate-*l/`
16×	`add-sqr-sqrt` `sqrt-div`
15×	`*-un-lft-identity`
12×	`pow1/2`
10×	`add-cube-cbrt` `associate-l` `pow-prod-up`
9×	`flip3--` `flip--`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-r`
6×	`sqrt-prod` `pow-sqr`
4×	`frac-times` `swap-sqr` `add-log-exp`
2×	`associate-r/` `prod-exp` `-commutative` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `distribute-lft-out` `difference-of-squares`

Counts

4 → 106

Calls

4 calls:

8.0ms	(* (- (+ y t) 2.0) b)
7.0ms	(sqrt (* (- (+ y t) 2.0) b))
7.0ms	(sqrt (* (- (+ y t) 2.0) b))
19.0ms	(* (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (- (+ y t) 2.0) b)
19.0ms	(sqrt (* (- (+ y t) 2.0) b))
22.0ms	(sqrt (* (- (+ y t) 2.0) b))
7.0ms	(* (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)))

simplify48.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	268	683
1	1201	618
2	5001	596

prune145.0ms

Filtered

69 candidates to 118 candidates (-71.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	118	3	121

Merged error: 0b

Counts

121 → 3

regimes399.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	11
1	31	11
2	31	11

end0.0ms

analyze1.5s

Algorithm: search

sample1.1s

Algorithm

intervals

Results

435.0ms	7997×	body	80	valid
252.0ms	4632×	body	80	invalid
2.0ms	3×	body	640	valid

Details

analyze1.4s

sample40.0ms

simplify38.0ms

prune7.0ms

localize14.0ms

rewrite37.0ms

series65.0ms

simplify108.0ms

prune164.0ms

localize18.0ms

rewrite30.0ms

series31.0ms

simplify60.0ms

prune120.0ms

localize14.0ms

rewrite28.0ms

series41.0ms

simplify56.0ms

prune88.0ms

localize17.0ms

rewrite45.0ms

series54.0ms

simplify48.0ms

prune145.0ms

regimes399.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze1.5s

sample1.1s

Profiling