Details

sample63.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 49.585176%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results

32.0ms	106×	body	1280	valid
14.0ms	73×	body	640	valid
5.0ms	46×	body	320	valid
1.0ms	18×	body	160	valid
0.0ms	13×	body	80	valid

simplify133.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	5
1	23	5
2	31	5
3	36	5
4	41	5
5	65	5
6	103	5
7	243	5
8	1563	5
9	5001	5

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: 57.3b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

5.9b	(- (exp x) (exp (neg x)))

rewrite5.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:

5.0ms

(- (exp x) (exp (neg x)))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(- (exp x) (exp (neg x)))

simplify30.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 3 (28.0ms)

Iter	Nodes	Cost
0	100	120
1	257	106
2	785	105
3	5001	103

prune41.0ms

Filtered

14 candidates to 17 candidates (-21.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	3	18

Merged error: 0.0b

Counts

18 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1/60 (pow x 5)) (* 2 x))
0.0b	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.1b	(* 1/60 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`associate-r`
14×	`add-exp-log`
11×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`unpow-prod-down` `add-cbrt-cube`
7×	`unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`pow1` `cube-prod` `sum-log` `sqr-pow`
2×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`cube-mult` `associate-+r+` `unpow3`

Counts

4 → 80

Calls

4 calls:

4.0ms	(+ (* 1/60 (pow x 5)) (* 2 x))
7.0ms	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
5.0ms	(* 1/60 (pow x 5))
6.0ms	(* 1/3 (pow x 3))

series26.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* 1/60 (pow x 5)) (* 2 x))
6.0ms	(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
4.0ms	(* 1/60 (pow x 5))
4.0ms	(* 1/3 (pow x 3))

simplify52.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	354	458
1	1537	429
2	5002	428

prune135.0ms

Filtered

59 candidates to 92 candidates (-55.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	92	3	95

Merged error: 0b

Counts

95 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1/3 (pow x 3)) (+ (log (exp (* 1/60 (pow x 5)))) (* 2 x)))
0.1b	(* 1/60 (pow x 5))
0.1b	(* 1/3 (pow x 3))
2.0b	(log (exp (* 1/60 (pow x 5))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`associate-r`
14×	`add-exp-log`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-log-exp`
8×	`unpow-prod-down` `add-cbrt-cube`
7×	`unswap-sqr`
6×	`associate-l` `prod-exp`
5×	`pow1`
4×	`cube-prod` `sqr-pow`
3×	`log-prod` `sum-log` `log-pow`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `associate-+r+` `exp-prod` `exp-to-pow` `flip3-+` `unpow3` `rem-log-exp` `flip-+`

Counts

4 → 83

Calls

4 calls:

7.0ms	(+ (* 1/3 (pow x 3)) (+ (log (exp (* 1/60 (pow x 5)))) (* 2 x)))
5.0ms	(* 1/60 (pow x 5))
6.0ms	(* 1/3 (pow x 3))
2.0ms	(log (exp (* 1/60 (pow x 5))))

series19.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (* 1/3 (pow x 3)) (+ (log (exp (* 1/60 (pow x 5)))) (* 2 x)))
4.0ms	(* 1/60 (pow x 5))
4.0ms	(* 1/3 (pow x 3))
5.0ms	(log (exp (* 1/60 (pow x 5))))

simplify46.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	327	471
1	1389	419
2	5002	419

prune156.0ms

Filtered

60 candidates to 95 candidates (-58.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	95	3	98

Merged error: 0b

Counts

98 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (exp x) (- (exp x) (pow (exp x) -3))) (+ (exp x) (exp (neg x))))
0.0b	(* (exp x) (- (exp x) (pow (exp x) -3)))
0.0b	(pow (exp x) -3)
5.8b	(- (exp x) (pow (exp x) -3))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

13.0ms	(/ (* (exp x) (- (exp x) (pow (exp x) -3))) (+ (exp x) (exp (neg x))))
9.0ms	(* (exp x) (- (exp x) (pow (exp x) -3)))
3.0ms	(pow (exp x) -3)
6.0ms	(- (exp x) (pow (exp x) -3))

series62.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (* (exp x) (- (exp x) (pow (exp x) -3))) (+ (exp x) (exp (neg x))))
15.0ms	(* (exp x) (- (exp x) (pow (exp x) -3)))
9.0ms	(pow (exp x) -3)
9.0ms	(- (exp x) (pow (exp x) -3))

simplify63.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	420	889
1	2061	787
2	5001	784

prune115.0ms

Filtered

73 candidates to 103 candidates (-41.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	103	3	106

Merged error: 0b

Counts

106 → 3

regimes49.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	8
1	20	8

end0.0ms

sample1.8s

Algorithm

intervals

sampling

Space saved by range analysis: 49.585176%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results

1.0s	3339×	body	1280	valid
476.0ms	2499×	body	640	valid
151.0ms	1267×	body	320	valid
46.0ms	620×	body	160	valid
12.0ms	275×	body	80	valid
0.0ms	3×	body	80	invalid

Details

sample63.0ms

simplify133.0ms

prune3.0ms

localize6.0ms

rewrite5.0ms

series5.0ms

simplify30.0ms

prune41.0ms

localize10.0ms

rewrite27.0ms

series26.0ms

simplify52.0ms

prune135.0ms

localize15.0ms

rewrite23.0ms

series19.0ms

simplify46.0ms

prune156.0ms

localize11.0ms

rewrite34.0ms

series62.0ms

simplify63.0ms

prune115.0ms

regimes49.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.8s

Profiling