Details

analyze64.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
43.7%	43.7%	12.6%	6
53.1%	31.2%	15.7%	7
59.3%	18.7%	22%	8
62.4%	14%	23.5%	9
64.8%	8.6%	26.6%	10
66%	6.6%	27.4%	11
66.9%	4.1%	29%	12
67.4%	3.2%	29.4%	13
67.9%	2%	30.1%	14

sample26.0ms

Algorithm

intervals

Results

11.0ms	237×	body	80	valid
3.0ms	4×	body	1280	valid
2.0ms	7×	body	640	valid
1.0ms	5×	body	160	valid
1.0ms	3×	body	320	valid
0.0ms	1×	body	80	invalid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5973	9

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

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 1.0 (exp x))
0.5b	(log (+ 1.0 (exp x)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
4×	`log-prod` `add-log-exp`
3×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt`
2×	`log-div` `flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
1×	`+-commutative` `rem-log-exp` `sum-log` `log-pow`

Counts

2 → 27

Calls

2 calls:

3.0ms	(+ 1.0 (exp x))
3.0ms	(log (+ 1.0 (exp x)))

series12.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(+ 1.0 (exp x))
10.0ms	(log (+ 1.0 (exp x)))

simplify36.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4989	255
1	4989	255

prune55.0ms

Filtered

23 candidates to 33 candidates (-43.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	29	4	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	30	4	34

Merged error: 0.2b

Counts

34 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (exp x))
0.5b	(log (+ 1.0 (exp x)))
0.6b	(cbrt (pow (log (+ 1.0 (exp x))) 3))
0.7b	(pow (log (+ 1.0 (exp x))) 3)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
14×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log` `add-log-exp`
5×	`log-pow` `add-cbrt-cube`
4×	`log-prod`
3×	`pow-unpow`
2×	`cube-mult` `log-div` `flip3-+` `unpow3` `flip-+` `distribute-lft-out` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `pow1/3` `rem-log-exp` `pow-exp` `sum-log` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 75

Calls

4 calls:

3.0ms	(+ 1.0 (exp x))
3.0ms	(log (+ 1.0 (exp x)))
2.0ms	(cbrt (pow (log (+ 1.0 (exp x))) 3))
3.0ms	(pow (log (+ 1.0 (exp x))) 3)

series37.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ 1.0 (exp x))
10.0ms	(log (+ 1.0 (exp x)))
10.0ms	(cbrt (pow (log (+ 1.0 (exp x))) 3))
15.0ms	(pow (log (+ 1.0 (exp x))) 3)

simplify50.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5015	744

prune106.0ms

Filtered

47 candidates to 87 candidates (-85.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	87	4	91

Merged error: 0.2b

Counts

91 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (exp x))
0.0b	(+ 1.0 (exp x))
1.1b	(log (sqrt (+ 1.0 (exp x))))
1.1b	(log (sqrt (+ 1.0 (exp x))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
14×	`log-prod`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `sqrt-prod` `add-log-exp`
6×	`add-exp-log` `log-pow`
4×	`log-div` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`+-commutative` `sqrt-pow1` `pow1/2` `rem-log-exp` `sum-log`

Counts

4 → 64

Calls

4 calls:

3.0ms	(+ 1.0 (exp x))
3.0ms	(+ 1.0 (exp x))
4.0ms	(log (sqrt (+ 1.0 (exp x))))
4.0ms	(log (sqrt (+ 1.0 (exp x))))

series29.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ 1.0 (exp x))
2.0ms	(+ 1.0 (exp x))
13.0ms	(log (sqrt (+ 1.0 (exp x))))
13.0ms	(log (sqrt (+ 1.0 (exp x))))

simplify42.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5018	650

prune125.0ms

Filtered

52 candidates to 76 candidates (-46.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	76	4	80

Merged error: 0.2b

Counts

80 → 4

localize25.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (log 2.0) 2)
1.0b	(pow (log 2.0) 2)
6.3b	(+ (+ (* (pow (log 2.0) 2) (+ (log 2.0) (* x 1.5))) (* (* x (* x 0.75)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* (* x x) (/ (pow (log 2.0) 2) (* 2.0 2.0))) -3/2))
8.2b	(cbrt (+ (+ (* (pow (log 2.0) 2) (+ (log 2.0) (* x 1.5))) (* (* x (* x 0.75)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* (* x x) (/ (pow (log 2.0) 2) (* 2.0 2.0))) -3/2)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

28×	`associate-*r/`
20×	`frac-add`
12×	`flip3-+` `associate-*l/` `flip-+`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`pow1` `unpow-prod-down` `cbrt-div`
6×	`add-exp-log` `pow-unpow`
4×	`add-cbrt-cube`
3×	`cbrt-prod` `sum-log`
2×	`pow-to-exp` `pow-pow` `pow-exp` `log-pow` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+l+` `pow1/3`

Counts

4 → 76

Calls

4 calls:

2.0ms	(pow (log 2.0) 2)
2.0ms	(pow (log 2.0) 2)
15.0ms	(+ (+ (* (pow (log 2.0) 2) (+ (log 2.0) (* x 1.5))) (* (* x (* x 0.75)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* (* x x) (/ (pow (log 2.0) 2) (* 2.0 2.0))) -3/2))
13.0ms	(cbrt (+ (+ (* (pow (log 2.0) 2) (+ (log 2.0) (* x 1.5))) (* (* x (* x 0.75)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* (* x x) (/ (pow (log 2.0) 2) (* 2.0 2.0))) -3/2)))

series48.0ms

Counts

4 → 8

Calls

4 calls:

0.0ms	(pow (log 2.0) 2)
0.0ms	(pow (log 2.0) 2)
14.0ms	(+ (+ (* (pow (log 2.0) 2) (+ (log 2.0) (* x 1.5))) (* (* x (* x 0.75)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* (* x x) (/ (pow (log 2.0) 2) (* 2.0 2.0))) -3/2))
34.0ms	(cbrt (+ (+ (* (pow (log 2.0) 2) (+ (log 2.0) (* x 1.5))) (* (* x (* x 0.75)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* (* x x) (/ (pow (log 2.0) 2) (* 2.0 2.0))) -3/2)))

simplify58.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4983	3770
1	4983	3770

prune431.0ms

Filtered

61 candidates to 84 candidates (-37.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	84	4	88

Merged error: 0.2b

Counts

88 → 4

regimes106.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	12
1	39	12

end0.0ms

sample680.0ms

Algorithm

intervals

Results

335.0ms	7314×	body	80	valid
82.0ms	272×	body	640	valid
62.0ms	114×	body	1280	valid
33.0ms	181×	body	320	valid
13.0ms	119×	body	160	valid
3.0ms	57×	body	80	invalid
0.0ms	11×	body	80	overflowed

Details

analyze64.0ms

sample26.0ms

simplify72.0ms

prune3.0ms

localize11.0ms

rewrite7.0ms

series12.0ms

simplify36.0ms

prune55.0ms

localize10.0ms

rewrite13.0ms

series37.0ms

simplify50.0ms

prune106.0ms

localize11.0ms

rewrite15.0ms

series29.0ms

simplify42.0ms

prune125.0ms

localize25.0ms

rewrite35.0ms

series48.0ms

simplify58.0ms

prune431.0ms

regimes106.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample680.0ms

Profiling