Details

sample2.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 92.242432%

Results

11.0ms

256×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	6
1	22	6
2	22	6

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.8b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
0.8b	(- (* 1.1283791670955126 (exp z)) (* x y))
6.7b	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
11×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`times-frac`
7×	`add-log-exp`
5×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-/r` `associate-/l`
2×	`flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `flip-+` `div-inv` `distribute-lft-out`

Counts

3 → 53

Calls

3 calls:

8.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series46.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
11.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
23.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify138.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	287	523
1	981	488
2	4083	484
3	5002	484

prune100.0ms

Filtered

49 candidates to 62 candidates (-26.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	58	4	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	5	63

Merged error: 0b

Counts

63 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
0.5b	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
0.8b	(- (* 1.1283791670955126 (exp z)) (* x y))
6.6b	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
20×	`add-cube-cbrt` `times-frac`
17×	`add-exp-log`
15×	`associate-r`
11×	`add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `sub-neg` `pow-flip` `frac-2neg` `flip3-+` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

4 → 94

Calls

4 calls:

2.0ms	(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
6.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
10.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
16.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
11.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
24.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify58.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	422	884
1	1863	788
2	5001	756

prune113.0ms

Filtered

68 candidates to 106 candidates (-55.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	106	5	111

Merged error: 0b

Counts

111 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

2.2b	(/ y (* (cbrt (- (* 1.1283791670955126 (exp z)) (* x y))) (cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))))
7.4b	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
7.4b	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
7.4b	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
9×	`add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `flip3--` `*-un-lft-identity` `flip--`
8×	`associate-/r/`
7×	`add-cbrt-cube`
4×	`pow1` `frac-times` `add-log-exp`
3×	`times-frac` `pow1/3` `associate-/l*`
2×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/`
1×	`frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 68

Calls

4 calls:

13.0ms	(/ y (* (cbrt (- (* 1.1283791670955126 (exp z)) (* x y))) (cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))))
4.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(/ y (* (cbrt (- (* 1.1283791670955126 (exp z)) (* x y))) (cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))))
29.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
26.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
26.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify95.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 3 (85.0ms)

Iter	Nodes	Cost
0	372	1008
1	1060	917
2	3705	895
3	5002	886

prune178.0ms

Filtered

67 candidates to 80 candidates (-19.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	80	5	85

Merged error: 0b

Counts

85 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

2.2b	(/ (* (cbrt y) (cbrt y)) (* (cbrt (- (* 1.1283791670955126 (exp z)) (* x y))) (cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))))
7.4b	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
7.4b	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
7.4b	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
16×	`add-exp-log`
9×	`cbrt-prod` `flip3--` `flip--`
8×	`associate-/r/` `add-cbrt-cube`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `cbrt-undiv` `frac-times` `div-exp` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`associate-r/` `associate-l/`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 68

Calls

4 calls:

18.0ms	(/ (* (cbrt y) (cbrt y)) (* (cbrt (- (* 1.1283791670955126 (exp z)) (* x y))) (cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))))
4.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ (* (cbrt y) (cbrt y)) (* (cbrt (- (* 1.1283791670955126 (exp z)) (* x y))) (cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))))
26.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
25.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))
26.0ms	(cbrt (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify50.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	530	1143
1	1737	982
2	5001	939

prune177.0ms

Filtered

67 candidates to 80 candidates (-19.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	80	5	85

Merged error: 0b

Counts

85 → 5

regimes329.0ms

Accuracy

65% (1.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	14
1	21	14

end0.0ms

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 92.242432%

Results

341.0ms	8000×	body	80	valid
0.0ms	1×	body	80	invalid

Details

sample2.2s

simplify5.0ms

prune4.0ms

localize8.0ms

rewrite20.0ms

series46.0ms

simplify138.0ms

prune100.0ms

localize10.0ms

rewrite26.0ms

series63.0ms

simplify58.0ms

prune113.0ms

localize15.0ms

rewrite28.0ms

series162.0ms

simplify95.0ms

prune178.0ms

localize17.0ms

rewrite33.0ms

series131.0ms

simplify50.0ms

prune177.0ms

regimes329.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.8s

Profiling