Details

analyze996.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
26.2%	73.6%	0.2%	14

sample32.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
1.0ms	28×	body	80	invalid

simplify85.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5121	16

prune8.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: 10.9b

Counts

2 → 1

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)))
0.0b	(*.f64 y (-.f64 z t))
11.5b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_5068` `add-sqr-sqrt_binary64_5053`
10×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
7×	`add-cube-cbrt_binary64_5039`
5×	`associate-/r_binary64_5131` `add-log-exp_binary64_5033` `pow1_binary64_5014` `associate-r*_binary64_5127` `times-frac_binary64_5063`
4×	`associate-*r/_binary64_5129`
3×	`associate-l_binary64_5128` `distribute-lft-out--_binary64_5113` `flip3--_binary64_5067` `difference-of-squares_binary64_5097` `flip--_binary64_5094`
2×	`associate-/l/_binary64_5134` `cbrt-undiv_binary64_5038` `associate-/r/_binary64_5133` `prod-exp_binary64_5019` `cbrt-unprod_binary64_5037` `div-exp_binary64_5021` `sub-neg_binary64_5072`
1×	`pow-prod-down_binary64_4995` `associate-/l_binary64_5132` `distribute-lft-in_binary64_5110` `flip3-+_binary64_5066` `frac-2neg_binary64_5061` `flip-+_binary64_5093` `distribute-lft-out_binary64_5112` `clear-num_binary64_5071` `unswap-sqr_binary64_5096` `distribute-rgt-in_binary64_5111` `sum-log_binary64_4983` `div-inv_binary64_5069` `-commutative_binary64_5136` `+-commutative_binary64_5135`

Counts

3 → 65

Calls

3 calls:

8.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)))
6.0ms	(*.f64 y (-.f64 z t))
10.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))

series222.0ms

Counts

3 → 9

Calls

3 calls:

110.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t)))
31.0ms	(*.f64 y (-.f64 z t))
81.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))

simplify70.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5051	1037

prune276.0ms

Filtered

53 candidates to 74 candidates (-39.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	69	5	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	6	75

Merged error: 0.0b

Counts

75 → 6

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
0.0b	(/.f64 (-.f64 a t) (-.f64 z t))
2.5b	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac_binary64_5063`
197×	`*-un-lft-identity_binary64_5068`
195×	`add-sqr-sqrt_binary64_5053`
91×	`add-cube-cbrt_binary64_5039`
52×	`distribute-lft-out--_binary64_5113` `difference-of-squares_binary64_5097`
36×	`associate-/r*_binary64_5131`
11×	`associate-/r/_binary64_5133`
10×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
8×	`associate-/l*_binary64_5132`
6×	`flip3--_binary64_5067` `flip--_binary64_5094` `div-inv_binary64_5069`
5×	`add-log-exp_binary64_5033`
4×	`cbrt-undiv_binary64_5038` `div-exp_binary64_5021`
3×	`pow1_binary64_5014`
2×	`associate-/l/_binary64_5134` `frac-2neg_binary64_5061` `clear-num_binary64_5071`
1×	`flip3-+_binary64_5066` `flip-+_binary64_5093` `distribute-lft-out_binary64_5112` `div-sub_binary64_5062` `sum-log_binary64_4983` `+-commutative_binary64_5135`

Counts

3 → 206

Calls

3 calls:

32.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
8.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
12.0ms	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))

series324.0ms

Counts

3 → 9

Calls

3 calls:

139.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
45.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
139.0ms	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))

simplify106.0ms

Algorithm

egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4996	5210
1	4996	5210

prune575.0ms

Filtered

147 candidates to 215 candidates (-46.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	214	1	215
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	216	5	221

Merged error: 0b

Counts

221 → 5

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
2.5b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt_binary64_5053`
71×	`*-un-lft-identity_binary64_5068`
51×	`times-frac_binary64_5063`
31×	`associate-r_binary64_5127`
27×	`add-cube-cbrt_binary64_5039`
22×	`distribute-lft-out--_binary64_5113` `difference-of-squares_binary64_5097`
10×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
5×	`associate-/l_binary64_5132` `associate-/r_binary64_5131` `add-log-exp_binary64_5033` `pow1_binary64_5014`
4×	`associate-/r/_binary64_5133`
3×	`associate-l_binary64_5128` `flip3--_binary64_5067` `flip--_binary64_5094`
2×	`associate-/l/_binary64_5134` `cbrt-undiv_binary64_5038` `prod-exp_binary64_5019` `unswap-sqr_binary64_5096` `cbrt-unprod_binary64_5037` `div-exp_binary64_5021` `div-inv_binary64_5069`
1×	`pow-prod-down_binary64_4995` `flip3-+_binary64_5066` `frac-2neg_binary64_5061` `flip-+_binary64_5093` `clear-num_binary64_5071` `div-sub_binary64_5062` `associate-r/_binary64_5129` `sum-log_binary64_4983` `-commutative_binary64_5136` `+-commutative_binary64_5135`

Counts

3 → 113

Calls

3 calls:

4.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
8.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
14.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

series231.0ms

Counts

3 → 9

Calls

3 calls:

108.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
39.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
84.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

simplify94.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5022	2072

prune345.0ms

Filtered

81 candidates to 122 candidates (-50.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	122	5	127

Merged error: 0b

Counts

127 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 a t))
0.0b	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))))
0.2b	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))
2.5b	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 a t))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_5053`
42×	`*-un-lft-identity_binary64_5068`
32×	`times-frac_binary64_5063`
26×	`add-exp-log_binary64_5032`
25×	`add-cube-cbrt_binary64_5039`
22×	`associate-r_binary64_5127`
20×	`add-cbrt-cube_binary64_5040`
12×	`pow1_binary64_5014`
10×	`prod-exp_binary64_5019`
8×	`associate-l_binary64_5128` `distribute-lft-out--_binary64_5113` `difference-of-squares_binary64_5097` `associate-*r/_binary64_5129`
7×	`cbrt-unprod_binary64_5037`
6×	`add-log-exp_binary64_5033` `flip3--_binary64_5067` `flip--_binary64_5094`
5×	`associate-/r*_binary64_5131`
4×	`pow-prod-down_binary64_4995` `associate-*l/_binary64_5130` `associate-/r/_binary64_5133` `frac-times_binary64_5060`
3×	`associate-/l*_binary64_5132` `cbrt-undiv_binary64_5038` `rec-exp_binary64_5020` `unswap-sqr_binary64_5096` `div-exp_binary64_5021`
2×	`un-div-inv_binary64_5070` `div-inv_binary64_5069` `*-commutative_binary64_5136`
1×	`flip3-+_binary64_5066` `frac-2neg_binary64_5061` `flip-+_binary64_5093` `clear-num_binary64_5071` `pow-flip_binary64_4998` `inv-pow_binary64_4990` `sum-log_binary64_4983` `+-commutative_binary64_5135`

Counts

4 → 127

Calls

4 calls:

10.0ms	(/.f64 1 (-.f64 a t))
4.0ms	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))))
13.0ms	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))
13.0ms	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 a t))))

series243.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/.f64 1 (-.f64 a t))
107.0ms	(+.f64 x (.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))))
38.0ms	(*.f64 (-.f64 z t) (/.f64 1 (-.f64 a t)))
74.0ms	(.f64 y (.f64 (-.f64 z t) (/.f64 1 (-.f64 a t))))

simplify101.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	5159	1882

prune583.0ms

Filtered

87 candidates to 139 candidates (-59.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	139	5	144

Merged error: 0b

Counts

144 → 5

regimes793.0ms

Accuracy

38.7% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 1.1b

bsearch1.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	89
1	45	89

end0.0ms

sample730.0ms

Algorithm

intervals

Results

328.0ms	7998×	body	80	valid
32.0ms	742×	body	80	invalid
0.0ms	1×	body	2560	valid
0.0ms	1×	body	640	valid

Details

analyze996.0ms

sample32.0ms

simplify85.0ms

prune8.0ms

localize20.0ms

rewrite26.0ms

series222.0ms

simplify70.0ms

prune276.0ms

localize13.0ms

rewrite66.0ms

series324.0ms

simplify106.0ms

prune575.0ms

localize13.0ms

rewrite31.0ms

series231.0ms

simplify94.0ms

prune345.0ms

localize14.0ms

rewrite45.0ms

series243.0ms

simplify101.0ms

prune583.0ms

regimes793.0ms

bsearch1.0ms

simplify4.0ms

end0.0ms

sample730.0ms

Profiling