Details

sample263.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.224854%

Guaranteed chance to sample good point: 98.461538%

Results

13.0ms	79×	body	1280	valid
5.0ms	45×	body	640	valid
2.0ms	29×	body	320	valid
2.0ms	90×	body	80	valid
1.0ms	13×	body	160	valid
0.0ms	2×	body	80	invalid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	18	3
2	26	3
3	48	3
4	110	3
5	318	3
6	1623	3
7	5001	3

prune3.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: 30.1b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

3.8b	(- (exp (* a x)) 1.0)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 14

Calls

1 calls:

4.0ms

(- (exp (* a x)) 1.0)

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(- (exp (* a x)) 1.0)

simplify38.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 2 (9.0ms)

Iter	Nodes	Cost
0	103	100
1	300	92
2	1055	90
3	5001	90

prune36.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	13	4	17
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	14	4	18

Merged error: 10.0b

Counts

18 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
0.0b	(+ (exp (* a x)) 1.0)
0.0b	(pow (exp (* a x)) 3)
3.6b	(- (pow (exp (* a x)) 3) (pow 1.0 3))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

157×	`add-sqr-sqrt`
89×	`*-un-lft-identity`
80×	`difference-of-squares`
75×	`times-frac`
63×	`unpow-prod-down` `cube-prod`
41×	`sqr-pow`
37×	`add-cube-cbrt`
25×	`associate-/l*` `distribute-lft-out--`
9×	`add-log-exp`
7×	`add-cbrt-cube`
6×	`add-exp-log`
5×	`pow1` `difference-cubes`
3×	`pow-unpow` `pow-pow` `associate-/r*`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `pow-to-exp` `sub-neg` `exp-prod` `exp-to-pow` `frac-2neg` `diff-log` `unpow3` `div-sub` `div-exp` `pow-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out` `rem-cube-cbrt`

Counts

4 → 191

Calls

4 calls:

22.0ms	(/ (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
4.0ms	(+ (exp (* a x)) 1.0)
3.0ms	(pow (exp (* a x)) 3)
12.0ms	(- (pow (exp (* a x)) 3) (pow 1.0 3))

series71.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/ (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
5.0ms	(+ (exp (* a x)) 1.0)
14.0ms	(pow (exp (* a x)) 3)
16.0ms	(- (pow (exp (* a x)) 3) (pow 1.0 3))

simplify105.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	629	3662
1	2568	3579
2	5001	3500

prune311.0ms

Filtered

106 candidates to 203 candidates (-91.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	200	3	203
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	203	4	207

Merged error: 9.9b

Counts

207 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (exp (* (* a x) 3)) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
0.0b	(+ (exp (* a x)) 1.0)
0.2b	(* (* a x) 3)
3.6b	(- (exp (* (* a x) 3)) (pow 1.0 3))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-sqr-sqrt`
33×	`*-un-lft-identity` `times-frac`
21×	`add-cube-cbrt`
20×	`difference-of-squares`
15×	`difference-cubes`
13×	`add-log-exp`
11×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`pow1`
5×	`unpow-prod-down` `exp-lft-cube` `exp-prod` `exp-to-pow` `cube-prod` `distribute-lft-out--` `sqr-pow`
3×	`associate-r` `pow-prod-down` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `associate-l` `clear-num` `sum-log` `*-commutative` `div-inv` `distribute-lft-out`

Counts

4 → 114

Calls

4 calls:

15.0ms	(/ (- (exp (* (* a x) 3)) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
4.0ms	(+ (exp (* a x)) 1.0)
5.0ms	(* (* a x) 3)
6.0ms	(- (exp (* (* a x) 3)) (pow 1.0 3))

series47.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(/ (- (exp (* (* a x) 3)) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)))
5.0ms	(+ (exp (* a x)) 1.0)
3.0ms	(* (* a x) 3)
8.0ms	(- (exp (* (* a x) 3)) (pow 1.0 3))

simplify75.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	548	1994
1	2362	1891
2	5002	1886

prune247.0ms

Filtered

83 candidates to 126 candidates (-51.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	125	5	130

Merged error: 9.9b

Counts

130 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (+ (exp (* a x)) 1.0))
0.7b	(cbrt (+ (exp (* a x)) 1.0))
0.7b	(cbrt (+ (exp (* a x)) 1.0))
3.6b	(- (exp (* (* a x) 3)) (pow 1.0 3))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
12×	`cbrt-prod`
7×	`add-cube-cbrt` `add-log-exp`
6×	`cbrt-div`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `difference-of-squares`
3×	`difference-cubes` `flip3-+` `pow1/3` `flip-+` `distribute-lft-out`
1×	`sub-neg` `unpow-prod-down` `exp-lft-cube` `exp-prod` `flip3--` `exp-to-pow` `diff-log` `cube-prod` `flip--` `distribute-lft-out--` `sqr-pow`

Counts

4 → 62

Calls

4 calls:

4.0ms	(cbrt (+ (exp (* a x)) 1.0))
4.0ms	(cbrt (+ (exp (* a x)) 1.0))
6.0ms	(cbrt (+ (exp (* a x)) 1.0))
6.0ms	(- (exp (* (* a x) 3)) (pow 1.0 3))

series80.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt (+ (exp (* a x)) 1.0))
24.0ms	(cbrt (+ (exp (* a x)) 1.0))
24.0ms	(cbrt (+ (exp (* a x)) 1.0))
8.0ms	(- (exp (* (* a x) 3)) (pow 1.0 3))

simplify121.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	232	628
1	787	580
2	3714	565
3	5001	565

prune178.0ms

Filtered

55 candidates to 74 candidates (-34.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	73	6	79

Merged error: 9.9b

Counts

79 → 6

regimes244.0ms

Accuracy

94.1% (1.2b remaining)

Error of 9.6b against oracle of 8.4b and baseline of 29.1b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	48
1	51	48

end0.0ms

sample1.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.224854%

Guaranteed chance to sample good point: 98.461538%

Results

478.0ms	2691×	body	1280	valid
156.0ms	1314×	body	640	valid
73.0ms	2858×	body	80	valid
60.0ms	746×	body	320	valid
24.0ms	391×	body	160	valid
2.0ms	61×	body	80	invalid

Details

sample263.0ms

simplify58.0ms

prune3.0ms

localize5.0ms

rewrite4.0ms

series7.0ms

simplify38.0ms

prune36.0ms

localize14.0ms

rewrite50.0ms

series71.0ms

simplify105.0ms

prune311.0ms

localize13.0ms

rewrite34.0ms

series47.0ms

simplify75.0ms

prune247.0ms

localize18.0ms

rewrite21.0ms

series80.0ms

simplify121.0ms

prune178.0ms

regimes244.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling