Details

analyze1.7s

Algorithm: search

sample200.0ms

Algorithm

intervals

Results

85.0ms	85×	body	2560	valid
56.0ms	97×	body	1280	valid
11.0ms	32×	body	640	valid
10.0ms	22×	body	1280	overflowed
7.0ms	12×	body	640	overflowed
6.0ms	309×	pre	80	true
4.0ms	16×	body	320	valid
3.0ms	5×	body	2560	overflowed
1.0ms	20×	body	80	valid
1.0ms	5×	body	320	overflowed
1.0ms	6×	body	160	valid
0.0ms	6×	body	80	overflowed
0.0ms	3×	body	160	overflowed

simplify98.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	13
1	101	13
2	245	13
3	697	13
4	3463	13
5	5001	13

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* a eps))
2.8b	(- (exp (* b eps)) 1.0)
4.2b	(- (exp (* a eps)) 1.0)
5.6b	(- (exp (* (+ a b) eps)) 1.0)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-log-exp`
10×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
3×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`exp-prod` `exp-to-pow` `rem-exp-log`

Counts

4 → 52

Calls

4 calls:

2.0ms	(exp (* a eps))
4.0ms	(- (exp (* b eps)) 1.0)
4.0ms	(- (exp (* a eps)) 1.0)
6.0ms	(- (exp (* (+ a b) eps)) 1.0)

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(exp (* a eps))
7.0ms	(- (exp (* b eps)) 1.0)
7.0ms	(- (exp (* a eps)) 1.0)
14.0ms	(- (exp (* (+ a b) eps)) 1.0)

simplify68.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (62.0ms)

Iter	Nodes	Cost
0	246	355
1	721	326
2	2405	322
3	5001	320

prune130.0ms

Filtered

46 candidates to 64 candidates (-39.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	55	9	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	9	65

Merged error: 49.4b

Counts

65 → 9

localize29.0ms

Local error

Found 4 expressions with local error:

4.2b	(- (exp (* a eps)) 1.0)
5.6b	(- (exp (* (+ a b) eps)) 1.0)
6.9b	(* (* 1/2 (pow eps 2)) b)
13.5b	(* (* 1/6 (pow eps 3)) (pow b 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-exp-log`
28×	`prod-exp`
14×	`add-cbrt-cube`
11×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*`
8×	`pow-to-exp` `pow-exp` `add-log-exp`
7×	`add-cube-cbrt`
6×	`pow1` `cbrt-unprod`
3×	`unpow-prod-down`
2×	`sub-neg` `flip3--` `diff-log` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`pow-prod-down` `unpow2` `sqr-pow`

Counts

4 → 78

Calls

4 calls:

4.0ms	(- (exp (* a eps)) 1.0)
4.0ms	(- (exp (* (+ a b) eps)) 1.0)
6.0ms	(* (* 1/2 (pow eps 2)) b)
7.0ms	(* (* 1/6 (pow eps 3)) (pow b 2))

series32.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (exp (* a eps)) 1.0)
13.0ms	(- (exp (* (+ a b) eps)) 1.0)
4.0ms	(* (* 1/2 (pow eps 2)) b)
8.0ms	(* (* 1/6 (pow eps 3)) (pow b 2))

simplify60.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	420	506
1	1954	440
2	5002	437

prune196.0ms

Filtered

51 candidates to 90 candidates (-76.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	86	4	90
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	88	11	99

Merged error: 48.8b

Counts

99 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

4.5b	(* (* 1/6 (pow eps 3)) b)
4.5b	(* (* (* 1/6 (pow eps 3)) b) b)
5.6b	(- (exp (* (+ a b) eps)) 1.0)
6.9b	(* (* 1/2 (pow eps 2)) b)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-exp-log`
26×	`prod-exp`
23×	`add-cbrt-cube`
13×	`pow1`
12×	`cbrt-unprod`
9×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*`
7×	`add-cube-cbrt`
6×	`add-log-exp`
5×	`pow-prod-down`
3×	`pow-to-exp` `associate-l` `pow-exp` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 74

Calls

4 calls:

8.0ms	(* (* 1/6 (pow eps 3)) b)
8.0ms	(* (* (* 1/6 (pow eps 3)) b) b)
4.0ms	(- (exp (* (+ a b) eps)) 1.0)
6.0ms	(* (* 1/2 (pow eps 2)) b)

series29.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* 1/6 (pow eps 3)) b)
8.0ms	(* (* (* 1/6 (pow eps 3)) b) b)
13.0ms	(- (exp (* (+ a b) eps)) 1.0)
4.0ms	(* (* 1/2 (pow eps 2)) b)

simplify58.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	370	462
1	1904	390
2	5001	388

prune159.0ms

Filtered

48 candidates to 86 candidates (-79.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	86	11	97

Merged error: 48.8b

Counts

97 → 11

localize32.0ms

Local error

Found 4 expressions with local error:

4.2b	(- (exp (* a eps)) 1.0)
5.7b	(- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
6.9b	(* (* 1/2 (pow eps 2)) b)
13.5b	(* (* 1/6 (pow eps 3)) (pow b 2))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-exp-log`
28×	`prod-exp`
17×	`add-sqr-sqrt`
14×	`add-cbrt-cube`
13×	`*-un-lft-identity`
11×	`associate-r`
8×	`pow-to-exp` `pow-exp` `add-log-exp`
7×	`add-cube-cbrt`
6×	`pow1` `sqrt-prod` `cbrt-unprod`
5×	`difference-of-squares`
3×	`unpow-prod-down` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `diff-log` `associate-l` `*-commutative` `flip--`
1×	`pow-prod-down` `unpow2` `sqr-pow`

Counts

4 → 82

Calls

4 calls:

4.0ms	(- (exp (* a eps)) 1.0)
9.0ms	(- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
6.0ms	(* (* 1/2 (pow eps 2)) b)
8.0ms	(* (* 1/6 (pow eps 3)) (pow b 2))

series32.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (exp (* a eps)) 1.0)
14.0ms	(- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
4.0ms	(* (* 1/2 (pow eps 2)) b)
8.0ms	(* (* 1/6 (pow eps 3)) (pow b 2))

simplify62.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	445	582
1	2086	525
2	5001	523

prune163.0ms

Filtered

52 candidates to 94 candidates (-80.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	94	11	105

Merged error: 48.8b

Counts

105 → 11

regimes338.0ms

Accuracy

55% (3.5b remaining)

Error of 52.9b against oracle of 49.4b and baseline of 57.2b

bsearch1.2s

Steps

Iters	Range		Point
5	18524431.035785	51338554.88691672	50590990.43667693
10	-4.9483026103676196e+82	-8.228636004839271e+70	-6.980595139214233e+74

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	40
1	73	40

end0.0ms

analyze1.8s

Algorithm: search

sample6.3s

Algorithm

intervals

Results

2.8s	2640×	body	2560	valid
1.9s	3429×	body	1280	valid
349.0ms	1033×	body	640	valid
284.0ms	669×	body	1280	overflowed
204.0ms	9758×	pre	80	true
109.0ms	391×	body	640	overflowed
100.0ms	163×	body	2560	overflowed
78.0ms	337×	body	320	valid
41.0ms	207×	body	320	overflowed
31.0ms	423×	body	80	valid
21.0ms	138×	body	160	valid
16.0ms	225×	body	80	overflowed
13.0ms	100×	body	160	overflowed
3.0ms	3×	body	2560	invalid

Details

analyze1.7s

sample200.0ms

simplify98.0ms

prune4.0ms

localize17.0ms

rewrite16.0ms

series31.0ms

simplify68.0ms

prune130.0ms

localize29.0ms

rewrite23.0ms

series32.0ms

simplify60.0ms

prune196.0ms

localize26.0ms

rewrite28.0ms

series29.0ms

simplify58.0ms

prune159.0ms

localize32.0ms

rewrite29.0ms

series32.0ms

simplify62.0ms

prune163.0ms

regimes338.0ms

bsearch1.2s

simplify2.0ms

end0.0ms

analyze1.8s

sample6.3s

Profiling