Details

analyze5.0s

Algorithm

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

sample582.0ms

Algorithm

intervals

Results

347.0ms	1709×	body	128	invalid
56.0ms	256×	body	128	valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5138	142

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 25.8b

Counts

2 → 1

localize70.0ms

Local error

Found 4 expressions with local error:

7.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
8.5b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
9.1b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

series1.7s

Counts

4 → 12

Calls

4 calls:

424.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
429.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
435.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
441.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

simplify74.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5010	4152

prune374.0ms

Filtered

101 candidates to 124 candidates (-22.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	100	24	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	24	125

Merged error: 18.2b

Counts

125 → 24

localize68.0ms

Local error

Found 4 expressions with local error:

8.5b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
9.1b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
9.6b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (neg.f64 (.f64 y1 i)))
11.3b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 y0 b))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
15×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
14×	`flip3--_binary64` `flip--_binary64`
13×	`associate-r_binary64`
12×	`associate-l_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`frac-times_binary64` `associate-*l/_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `sub-neg_binary64` `associate-r/_binary64` `-commutative_binary64`
3×	`unswap-sqr_binary64`
2×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
1×	`distribute-rgt-neg-out_binary64` `neg-mul-1_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`

Counts

4 → 100

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
8.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (neg.f64 (.f64 y1 i)))
8.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 y0 b))

series1.4s

Counts

4 → 12

Calls

4 calls:

447.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
438.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
255.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (neg.f64 (.f64 y1 i)))
254.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (.f64 y0 b))

simplify78.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5167	3010

prune285.0ms

Filtered

88 candidates to 112 candidates (-27.3%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	3	20	23
Picked	1	0	1
Done	0	0	0
Total	113	23	136

Merged error: 17.7b

Counts

136 → 23

localize69.0ms

Local error

Found 4 expressions with local error:

7.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
8.5b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
9.1b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
9.6b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (neg.f64 (.f64 y1 i)))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
19×	`flip3--_binary64` `flip--_binary64`
15×	`associate-r_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64` `frac-times_binary64`
8×	`associate-*l/_binary64`
6×	`sub-neg_binary64` `associate-*r/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
3×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
1×	`distribute-rgt-neg-out_binary64` `neg-mul-1_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`

Counts

4 → 108

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
16.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
8.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (neg.f64 (.f64 y1 i)))

series1.6s

Counts

4 → 12

Calls

4 calls:

422.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
438.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
443.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
265.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (neg.f64 (.f64 y1 i)))

simplify68.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4994	3650
1	4994	3650

prune291.0ms

Filtered

98 candidates to 120 candidates (-22.4%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	120	23	143

Merged error: 17.2b

Counts

143 → 23

localize72.0ms

Local error

Found 4 expressions with local error:

7.7b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
7.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
8.5b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
9.1b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

16.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
11.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
11.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

series1.7s

Counts

4 → 12

Calls

4 calls:

424.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
434.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
426.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
427.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))

simplify76.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5012	4152

prune244.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	117	7	124
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	119	28	147

Merged error: 15.9b

Counts

147 → 28

regimes2.3s

Accuracy

2% (10.3b remaining)

Error of 27.5b against oracle of 17.2b and baseline of 27.7b

bsearch688.0ms

Steps

Iters	Range		Point
9	1.3576230116006128e-225	4.9969230906177196e-219	7.183877555708687e-221
7	-2.209169114945209e-11	-1.4129808004787727e-13	-4.1061749762884375e-13

simplify73.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	2121	349
1	2121	349

end0.0ms

sample20.8s

Algorithm

intervals

Results

13.2s	64736×	body	128	invalid
1.6s	8000×	body	128	valid

Details

analyze5.0s

sample582.0ms

simplify43.0ms

prune6.0ms

localize70.0ms

rewrite72.0ms

series1.7s

simplify74.0ms

prune374.0ms

localize68.0ms

rewrite64.0ms

series1.4s

simplify78.0ms

prune285.0ms

localize69.0ms

rewrite75.0ms

series1.6s

simplify68.0ms

prune291.0ms

localize72.0ms

rewrite82.0ms

series1.7s

simplify76.0ms

prune244.0ms

regimes2.3s

bsearch688.0ms

simplify73.0ms

end0.0ms

sample20.8s

Profiling