Details

sample33.0ms

Algorithm

intervals

Results

10.0ms

280×

body

valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

prune4.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: 1.3b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- a t))))
0.0b	(/ (- z t) (- a t))
1.8b	(* y (/ (- z t) (- a t)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* y (/ (- z t) (- a t))))
7.0ms	(/ (- z t) (- a t))
12.0ms	(* y (/ (- z t) (- a t)))

series53.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(+ x (* y (/ (- z t) (- a t))))
12.0ms	(/ (- z t) (- a t))
16.0ms	(* y (/ (- z t) (- a t)))

simplify44.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	421	747
1	1657	704
2	5001	704

prune123.0ms

Filtered

83 candidates to 122 candidates (-47.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	116	6	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	7	123

Merged error: 0.0b

Counts

123 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (* (- z t) (/ 1 (- a t)))))
0.2b	(* (- z t) (/ 1 (- a t)))
1.8b	(* y (* (- z t) (/ 1 (- a t))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
27×	`add-exp-log`
23×	`*-un-lft-identity`
22×	`associate-r`
17×	`times-frac` `add-cbrt-cube`
14×	`add-cube-cbrt`
13×	`prod-exp`
10×	`pow1`
8×	`associate-r/` `associate-l*`
7×	`cbrt-unprod`
5×	`flip3--` `flip--` `add-log-exp`
4×	`frac-times` `div-exp` `pow-prod-down` `associate-*l/` `distribute-lft-out--` `difference-of-squares`
3×	`unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/r/` `un-div-inv` `*-commutative`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `div-inv`

Counts

3 → 89

Calls

3 calls:

3.0ms	(+ x (* y (* (- z t) (/ 1 (- a t)))))
12.0ms	(* (- z t) (/ 1 (- a t)))
11.0ms	(* y (* (- z t) (/ 1 (- a t))))

series53.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(+ x (* y (* (- z t) (/ 1 (- a t)))))
9.0ms	(* (- z t) (/ 1 (- a t)))
16.0ms	(* y (* (- z t) (/ 1 (- a t))))

simplify48.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	430	597
1	1897	510
2	5001	487

prune99.0ms

Filtered

66 candidates to 98 candidates (-48.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	98	7	105

Merged error: 0.0b

Counts

105 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

1.8b	(* y (/ (- z t) (- a t)))
6.9b	(cbrt (* y (/ (- z t) (- a t))))
6.9b	(cbrt (* y (/ (- z t) (- a t))))
6.9b	(cbrt (* y (/ (- z t) (- a t))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`associate-r`
26×	`times-frac`
16×	`add-cube-cbrt`
10×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`associate-*r/` `add-log-exp`
3×	`cbrt-prod` `cbrt-div` `pow1/3` `associate-l`
2×	`prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `flip3--` `div-exp` `pow-prod-down` `*-commutative` `flip--` `div-inv`

Counts

4 → 80

Calls

4 calls:

12.0ms	(* y (/ (- z t) (- a t)))
7.0ms	(cbrt (* y (/ (- z t) (- a t))))
7.0ms	(cbrt (* y (/ (- z t) (- a t))))
8.0ms	(cbrt (* y (/ (- z t) (- a t))))

series258.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* y (/ (- z t) (- a t)))
93.0ms	(cbrt (* y (/ (- z t) (- a t))))
73.0ms	(cbrt (* y (/ (- z t) (- a t))))
65.0ms	(cbrt (* y (/ (- z t) (- a t))))

simplify49.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	335	608
1	1360	548
2	5002	542

prune108.0ms

Filtered

70 candidates to 92 candidates (-31.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	92	7	99

Merged error: 0.0b

Counts

99 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* y (- z t)) (- a t)))
0.0b	(* y (- z t))
10.4b	(/ (* y (- z t)) (- a t))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-/r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

8.0ms	(+ x (/ (* y (- z t)) (- a t)))
6.0ms	(* y (- z t))
8.0ms	(/ (* y (- z t)) (- a t))

series49.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(+ x (/ (* y (- z t)) (- a t)))
7.0ms	(* y (- z t))
16.0ms	(/ (* y (- z t)) (- a t))

simplify39.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	334	381
1	1437	342
2	5001	342

prune61.0ms

Filtered

50 candidates to 76 candidates (-52.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	2	1	3
Picked	0	1	1
Done	1	2	3
Total	78	5	83

Merged error: 0.0b

Counts

83 → 5

regimes677.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample841.0ms

Algorithm

intervals

Results

324.0ms	8728×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Details

sample33.0ms

simplify43.0ms

prune4.0ms

localize8.0ms

rewrite26.0ms

series53.0ms

simplify44.0ms

prune123.0ms

localize11.0ms

rewrite29.0ms

series53.0ms

simplify48.0ms

prune99.0ms

localize15.0ms

rewrite38.0ms

series258.0ms

simplify49.0ms

prune108.0ms

localize8.0ms

rewrite25.0ms

series49.0ms

simplify39.0ms

prune61.0ms

regimes677.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample841.0ms

Profiling

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5