Details

analyze529.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
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

sample46.0ms

Algorithm

intervals

Results

9.0ms	181×	body	80	valid
7.0ms	27×	body	1280	valid
5.0ms	28×	body	1280	nan
4.0ms	17×	body	320	nan
4.0ms	22×	body	640	valid
3.0ms	21×	body	640	nan
3.0ms	21×	body	320	valid
1.0ms	14×	body	160	nan
0.0ms	5×	body	160	valid
0.0ms	10×	body	80	nan

simplify136.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (133.0ms)

Iter	Nodes	Cost
0	5039	12

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 1.0 y))
1.9b	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
3.3b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
27×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64` `difference-of-squares_binary64`
14×	`distribute-lft-out--_binary64`
6×	`log-prod_binary64` `add-exp-log_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `add-cbrt-cube_binary64` `associate-/l_binary64`
4×	`pow1_binary64` `flip3--_binary64` `flip--_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64` `div-sub_binary64` `log-div_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `associate--r-_binary64` `rem-log-exp_binary64` `log-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

3 → 84

Calls

3 calls:

10.0ms	(/.f64 (-.f64 x y) (-.f64 1.0 y))
14.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
13.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

series32.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/.f64 (-.f64 x y) (-.f64 1.0 y))
11.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

simplify54.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5909	1253

prune128.0ms

Filtered

69 candidates to 93 candidates (-34.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	88	5	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	5	94

Merged error: 0.1b

Counts

94 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 1.0 y))
0.1b	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y)))
3.3b	(log.f64 (-.f64 1.0 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y)))))
5.3b	(-.f64 1.0 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
32×	`times-frac_binary64`
25×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`
18×	`add-exp-log_binary64`
11×	`add-cbrt-cube_binary64`
8×	`pow1_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`add-log-exp_binary64` `flip3--_binary64` `flip--_binary64`
5×	`associate-/r_binary64` `associate-l*_binary64`
4×	`associate-/r/_binary64` `prod-exp_binary64` `div-exp_binary64`
3×	`log-prod_binary64` `unswap-sqr_binary64` `associate-/l*_binary64`
2×	`cbrt-unprod_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `div-inv_binary64` `log-div_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `rem-log-exp_binary64` `associate-r/_binary64` `log-pow_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `pow-flip_binary64` `-commutative_binary64`

Counts

4 → 116

Calls

4 calls:

6.0ms	(/.f64 1 (-.f64 1.0 y))
14.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y)))
3.0ms	(log.f64 (-.f64 1.0 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y)))))
4.0ms	(-.f64 1.0 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y))))

series37.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/.f64 1 (-.f64 1.0 y))
7.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y)))
14.0ms	(log.f64 (-.f64 1.0 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y)))))
11.0ms	(-.f64 1.0 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1.0 y))))

simplify47.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5232	1322

prune118.0ms

Filtered

85 candidates to 128 candidates (-50.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	128	5	133

Merged error: 0.1b

Counts

133 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

1.9b	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
3.3b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
3.3b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
3.3b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
18×	`log-prod_binary64`
15×	`*-un-lft-identity_binary64`
8×	`difference-of-squares_binary64`
7×	`pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64`
6×	`add-log-exp_binary64` `log-div_binary64`
4×	`flip3--_binary64` `add-cbrt-cube_binary64` `distribute-lft-out--_binary64` `times-frac_binary64` `flip--_binary64`
3×	`rem-log-exp_binary64` `log-pow_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64` `div-sub_binary64`

Counts

4 → 66

Calls

4 calls:

14.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
16.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

series54.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

simplify49.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4974	1222
1	4974	1222

prune135.0ms

Filtered

63 candidates to 78 candidates (-23.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	78	5	83

Merged error: 0.1b

Counts

83 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

3.3b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
3.3b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
3.3b	(log.f64 (/.f64 (-.f64 (.f64 1.0 1.0) (.f64 (/.f64 (-.f64 x y) (-.f64 1.0 y)) (/.f64 (-.f64 x y) (-.f64 1.0 y)))) (+.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
6.9b	(/.f64 (-.f64 (.f64 1.0 1.0) (.f64 (/.f64 (-.f64 x y) (-.f64 1.0 y)) (/.f64 (-.f64 x y) (-.f64 1.0 y)))) (+.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

47×	`*-un-lft-identity_binary64`
35×	`add-sqr-sqrt_binary64`
34×	`log-prod_binary64` `times-frac_binary64`
25×	`add-cube-cbrt_binary64`
13×	`difference-of-squares_binary64`
11×	`add-exp-log_binary64`
9×	`distribute-lft-out_binary64`
7×	`pow1_binary64`
6×	`add-cbrt-cube_binary64`
5×	`log-div_binary64`
4×	`associate-/r_binary64` `add-log-exp_binary64` `rem-log-exp_binary64` `associate-/r/_binary64` `associate-/l_binary64`
3×	`flip3--_binary64` `log-pow_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`
1×	`cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 108

Calls

4 calls:

14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
18.0ms	(log.f64 (/.f64 (-.f64 (.f64 1.0 1.0) (.f64 (/.f64 (-.f64 x y) (-.f64 1.0 y)) (/.f64 (-.f64 x y) (-.f64 1.0 y)))) (+.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
19.0ms	(/.f64 (-.f64 (.f64 1.0 1.0) (.f64 (/.f64 (-.f64 x y) (-.f64 1.0 y)) (/.f64 (-.f64 x y) (-.f64 1.0 y)))) (+.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

series117.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
16.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
47.0ms	(log.f64 (/.f64 (-.f64 (.f64 1.0 1.0) (.f64 (/.f64 (-.f64 x y) (-.f64 1.0 y)) (/.f64 (-.f64 x y) (-.f64 1.0 y)))) (+.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
40.0ms	(/.f64 (-.f64 (.f64 1.0 1.0) (.f64 (/.f64 (-.f64 x y) (-.f64 1.0 y)) (/.f64 (-.f64 x y) (-.f64 1.0 y)))) (+.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

simplify62.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	6107	2803

prune283.0ms

Filtered

97 candidates to 120 candidates (-23.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	119	6	125

Merged error: 0.1b

Counts

125 → 6

regimes236.0ms

Accuracy

99.8% (0.0b remaining)

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

bsearch1.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	193	40
1	193	40

end0.0ms

sample1.2s

Algorithm

intervals

Results

272.0ms	5729×	body	80	valid
196.0ms	816×	body	1280	valid
143.0ms	780×	body	640	valid
132.0ms	717×	body	1280	nan
118.0ms	791×	body	640	nan
54.0ms	428×	body	320	valid
46.0ms	437×	body	320	nan
21.0ms	247×	body	160	valid
15.0ms	218×	body	160	nan
12.0ms	356×	body	80	nan

Details

analyze529.0ms

sample46.0ms

simplify136.0ms

prune3.0ms

localize8.0ms

rewrite40.0ms

series32.0ms

simplify54.0ms

prune128.0ms

localize9.0ms

rewrite31.0ms

series37.0ms

simplify47.0ms

prune118.0ms

localize12.0ms

rewrite59.0ms

series54.0ms

simplify49.0ms

prune135.0ms

localize24.0ms

rewrite68.0ms

series117.0ms

simplify62.0ms

prune283.0ms

regimes236.0ms

bsearch1.0ms

simplify4.0ms

end0.0ms

sample1.2s

Profiling