Details

analyze322.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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
25%	74.9%	0.1%	8
37.4%	62.4%	0.1%	9
46.8%	53%	0.1%	10
55%	44.9%	0.1%	11
64.2%	35.7%	0.1%	12
70.3%	29.5%	0.1%	13
75.4%	24.4%	0.1%	14

sample19.0ms

Algorithm

intervals

Results

6.0ms	232×	body	80	valid
1.0ms	7×	body	1280	valid
1.0ms	6×	body	640	valid
0.0ms	3×	body	2560	valid
0.0ms	5×	body	160	valid
0.0ms	3×	body	320	valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	148	9
1	148	9

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp_binary64`
3×	`*-un-lft-identity_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `pow1_binary64` `distribute-lft-out_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64` `associate-+r+_binary64`

Counts

1 → 14

Calls

1 calls:

8.0ms

(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))

simplify47.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5080	204

prune30.0ms

Filtered

11 candidates to 17 candidates (-54.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	13	4	17
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	14	4	18

Merged error: 0.0b

Counts

18 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (+.f64 x y) 2))
0.0b	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp_binary64`
4×	`*-un-lft-identity_binary64` `sum-log_binary64`
2×	`flip3-+_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64`
1×	`distribute-lft-out_binary64` `associate-+l+_binary64`

Counts

2 → 25

Calls

2 calls:

4.0ms	(+.f64 x (*.f64 (+.f64 x y) 2))
6.0ms	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+.f64 x (*.f64 (+.f64 x y) 2))
7.0ms	(+.f64 (+.f64 x (*.f64 (+.f64 x y) 2)) z)

simplify54.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5598	346

prune38.0ms

Filtered

22 candidates to 31 candidates (-40.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	29	2	31
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	31	4	35

Merged error: 0.0b

Counts

35 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod_binary64`
35×	`*-un-lft-identity_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`flip3-+_binary64` `swap-sqr_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `flip-+_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 95

Calls

4 calls:

19.0ms	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
7.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

series232.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 (+.f64 x y) 2) z))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z))))
52.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
54.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
54.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

simplify64.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4848	1864
1	4848	1864

prune139.0ms

Filtered

80 candidates to 107 candidates (-33.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	104	7	111

Merged error: 0.0b

Counts

111 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64` `cbrt-prod_binary64`
8×	`cbrt-div_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`

Counts

4 → 56

Calls

4 calls:

7.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
7.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
10.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
7.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

series214.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
53.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
54.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))
51.0ms	(cbrt.f64 (+.f64 x (+.f64 (*.f64 (+.f64 x y) 2) z)))

simplify30.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5416	1040

prune114.0ms

Filtered

60 candidates to 68 candidates (-13.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	68	7	75

Merged error: 0.0b

Counts

75 → 7

regimes171.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	9
1	12	9

end0.0ms

sample414.0ms

Algorithm

intervals

Results

194.0ms	7417×	body	80	valid
23.0ms	179×	body	1280	valid
21.0ms	189×	body	640	valid
8.0ms	111×	body	320	valid
4.0ms	32×	body	2560	valid
3.0ms	72×	body	160	valid
0.0ms	9×	body	80	invalid

Details

analyze322.0ms

sample19.0ms

simplify7.0ms

prune7.0ms

localize6.0ms

rewrite9.0ms

series7.0ms

simplify47.0ms

prune30.0ms

localize6.0ms

rewrite10.0ms

series14.0ms

simplify54.0ms

prune38.0ms

localize10.0ms

rewrite45.0ms

series232.0ms

simplify64.0ms

prune139.0ms

localize14.0ms

rewrite33.0ms

series214.0ms

simplify30.0ms

prune114.0ms

regimes171.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample414.0ms

Profiling