Details

analyze425.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
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

sample56.0ms

Algorithm

intervals

Results

40.0ms	237×	body	256	valid
3.0ms	33×	body	128	nan
2.0ms	19×	body	128	valid

simplify240.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (233.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

6.9b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
8.9b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

10×	`cbrt-div_binary64`
8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `flip3--_binary64` `associate-*r/_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip--_binary64` `frac-times_binary64` `sqrt-div_binary64`
2×	`flip3-+_binary64` `pow1/2_binary64` `pow1/3_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `difference-of-squares_binary64` `flip-+_binary64` `cbrt-prod_binary64` `associate-*l/_binary64`

Counts

4 → 60

Calls

4 calls:

17.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
14.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.2s

Counts

4 → 12

Calls

4 calls:

533.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
520.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
54.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
54.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify70.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5370	1529

prune186.0ms

Filtered

66 candidates to 72 candidates (-9.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	56	16	72
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	58	16	74

Merged error: 33.4b

Counts

74 → 16

localize19.0ms

Local error

Found 4 expressions with local error:

3.6b	(-.f64 (.f64 g g) (.f64 h h))
6.9b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
5×	`cbrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `difference-of-squares_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `pow1/2_binary64` `associate-*r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64` `frac-times_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `pow1/3_binary64` `cbrt-prod_binary64` `associate-*l/_binary64`

Counts

4 → 58

Calls

4 calls:

4.0ms	(-.f64 (.f64 g g) (.f64 h h))
18.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series694.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(-.f64 (.f64 g g) (.f64 h h))
528.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
63.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
57.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify63.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4931	1249
1	4931	1249

prune144.0ms

Filtered

60 candidates to 70 candidates (-16.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	61	9	70
Fresh	5	10	15
Picked	1	0	1
Done	0	0	0
Total	67	19	86

Merged error: 32.7b

Counts

86 → 19

localize21.0ms

Local error

Found 4 expressions with local error:

3.6b	(-.f64 (.f64 g g) (.f64 h h))
3.6b	(-.f64 (.f64 g g) (.f64 h h))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-log-exp_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`flip3--_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `flip--_binary64` `sqrt-div_binary64`
2×	`sub-neg_binary64` `pow1/2_binary64` `diff-log_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`

Counts

4 → 56

Calls

4 calls:

4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series200.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(-.f64 (.f64 g g) (.f64 h h))
39.0ms	(-.f64 (.f64 g g) (.f64 h h))
64.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
57.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify60.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4955	948
1	4955	948

prune127.0ms

Filtered

54 candidates to 68 candidates (-25.9%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	65	3	68
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	68	19	87

Merged error: 32.7b

Counts

87 → 19

localize19.0ms

Local error

Found 4 expressions with local error:

3.6b	(-.f64 (.f64 g g) (.f64 h h))
3.6b	(-.f64 (.f64 g g) (.f64 h h))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-log-exp_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`flip3--_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `flip--_binary64` `sqrt-div_binary64`
2×	`sub-neg_binary64` `pow1/2_binary64` `diff-log_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`

Counts

4 → 56

Calls

4 calls:

5.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series205.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(-.f64 (.f64 g g) (.f64 h h))
46.0ms	(-.f64 (.f64 g g) (.f64 h h))
59.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
55.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify53.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4955	948
1	4955	948

prune80.0ms

Filtered

54 candidates to 68 candidates (-25.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	1	17	18
Picked	1	0	1
Done	0	0	0
Total	69	18	87

Merged error: 32.7b

Counts

87 → 18

regimes411.0ms

Accuracy

68.8% (1.2b remaining)

Error of 31.5b against oracle of 30.3b and baseline of 34.2b

bsearch66.0ms

Steps

Iters	Range		Point
8	-2.0001287791828426e-164	-1.860509304176872e-167	-1.966026689374136e-164

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	97	122
1	97	122

end0.0ms

sample1.6s

Algorithm

intervals

Results

1.2s	7560×	body	256	valid
96.0ms	1222×	body	128	nan
35.0ms	440×	body	128	valid

Details

analyze425.0ms

sample56.0ms

simplify240.0ms

prune6.0ms

localize19.0ms

rewrite48.0ms

series1.2s

simplify70.0ms

prune186.0ms

localize19.0ms

rewrite38.0ms

series694.0ms

simplify63.0ms

prune144.0ms

localize21.0ms

rewrite27.0ms

series200.0ms

simplify60.0ms

prune127.0ms

localize19.0ms

rewrite24.0ms

series205.0ms

simplify53.0ms

prune80.0ms

regimes411.0ms

bsearch66.0ms

simplify3.0ms

end0.0ms

sample1.6s

Profiling