Details

analyze428.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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
35.9%	55.4%	8.7%	10
42.9%	47.6%	9.5%	11
51.5%	38.2%	10.3%	12
55%	30%	15%	13
59.5%	25.3%	15.3%	14

sample19.0ms

Algorithm

intervals

Results

9.0ms	237×	body	128	valid
1.0ms	8×	body	512	valid
1.0ms	17×	body	128	invalid
1.0ms	8×	body	256	valid
0.0ms	3×	body	1024	valid

simplify189.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	2426	16
1	2426	16

prune4.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.4b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 2/3 z)
0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
0.0b	(*.f64 (-.f64 y x) 6)
0.3b	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`associate-*l/_binary64`
8×	`add-log-exp_binary64` `flip3--_binary64` `associate-r_binary64` `flip--_binary64`
7×	`add-cube-cbrt_binary64`
6×	`associate-l_binary64`
5×	`sub-neg_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
2×	`associate-r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `associate-+r+_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `diff-log_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 78

Calls

4 calls:

4.0ms	(-.f64 2/3 z)
4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
7.0ms	(*.f64 (-.f64 y x) 6)
12.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

series231.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(-.f64 2/3 z)
86.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
40.0ms	(*.f64 (-.f64 y x) 6)
81.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

simplify50.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5747	1296

prune87.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	10	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Merged error: 0.0b

Counts

91 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (neg.f64 z) (*.f64 (-.f64 y x) 6)))
0.0b	(*.f64 (-.f64 y x) 6)
0.0b	(+.f64 x (*.f64 (-.f64 y x) 4))
0.3b	(.f64 (neg.f64 z) (.f64 (-.f64 y x) 6))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-l_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-cube-cbrt_binary64`
8×	`associate-*l/_binary64`
6×	`associate-*r/_binary64`
4×	`pow-prod-down_binary64` `flip3-+_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `frac-add_binary64` `prod-exp_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64`
3×	`distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`
2×	`distribute-lft-neg-out_binary64` `+-commutative_binary64` `*-commutative_binary64`
1×	`associate-+l+_binary64` `neg-mul-1_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `unsub-neg_binary64`

Counts

4 → 79

Calls

4 calls:

9.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (neg.f64 z) (*.f64 (-.f64 y x) 6)))
7.0ms	(*.f64 (-.f64 y x) 6)
4.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))
12.0ms	(.f64 (neg.f64 z) (.f64 (-.f64 y x) 6))

series251.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (neg.f64 z) (*.f64 (-.f64 y x) 6)))
37.0ms	(*.f64 (-.f64 y x) 6)
45.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))
77.0ms	(.f64 (neg.f64 z) (.f64 (-.f64 y x) 6))

simplify61.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5000	1544

prune83.0ms

Filtered

68 candidates to 91 candidates (-33.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	88	3	91
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	90	11	101

Merged error: 0.0b

Counts

101 → 11

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
0.2b	(.f64 (.f64 6 z) (-.f64 x y))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp_binary64`
8×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-*r/_binary64` `add-sqr-sqrt_binary64`
5×	`flip3--_binary64` `associate-r_binary64` `flip--_binary64`
4×	`sub-neg_binary64` `frac-add_binary64` `add-cube-cbrt_binary64` `associate-*l/_binary64` `sum-log_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `associate-+r+_binary64`
2×	`flip3-+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `+-commutative_binary64` `flip-+_binary64`
1×	`distribute-lft-out_binary64` `associate-l_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `*-commutative_binary64`

Counts

3 → 55

Calls

3 calls:

10.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
10.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
9.0ms	(.f64 (.f64 6 z) (-.f64 x y))

series262.0ms

Counts

3 → 9

Calls

3 calls:

88.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
99.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
74.0ms	(.f64 (.f64 6 z) (-.f64 x y))

simplify71.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4970	1435
1	4970	1435

prune61.0ms

Filtered

46 candidates to 64 candidates (-39.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	64	11	75

Merged error: 0.0b

Counts

75 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (*.f64 (neg.f64 z) (-.f64 y x)) 6))
0.0b	(*.f64 (neg.f64 z) (-.f64 y x))
0.0b	(+.f64 x (*.f64 (-.f64 y x) 4))
0.3b	(.f64 (.f64 (neg.f64 z) (-.f64 y x)) 6)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
11×	`-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
9×	`add-cube-cbrt_binary64`
8×	`associate-r_binary64` `associate-*r/_binary64`
6×	`associate-*l/_binary64`
5×	`distribute-lft-neg-out_binary64`
4×	`pow-prod-down_binary64` `flip3-+_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `frac-add_binary64` `prod-exp_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64`
3×	`distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`
2×	`sub-neg_binary64` `+-commutative_binary64` `*-commutative_binary64`
1×	`associate-+l+_binary64` `neg-mul-1_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `unsub-neg_binary64`

Counts

4 → 82

Calls

4 calls:

9.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (*.f64 (neg.f64 z) (-.f64 y x)) 6))
9.0ms	(*.f64 (neg.f64 z) (-.f64 y x))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))
9.0ms	(.f64 (.f64 (neg.f64 z) (-.f64 y x)) 6)

series277.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(+.f64 (+.f64 x (.f64 (-.f64 y x) 4)) (.f64 (*.f64 (neg.f64 z) (-.f64 y x)) 6))
68.0ms	(*.f64 (neg.f64 z) (-.f64 y x))
50.0ms	(+.f64 x (*.f64 (-.f64 y x) 4))
74.0ms	(.f64 (.f64 (neg.f64 z) (-.f64 y x)) 6)

simplify62.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5373	1560

prune66.0ms

Filtered

71 candidates to 94 candidates (-32.4%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	94	11	105

Merged error: 0.0b

Counts

105 → 11

regimes81.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify9.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	257	22
1	257	22

end0.0ms

sample566.0ms

Algorithm

intervals

Results

282.0ms	7328×	body	128	valid
36.0ms	242×	body	1024	valid
26.0ms	245×	body	512	valid
23.0ms	615×	body	128	invalid
13.0ms	185×	body	256	valid

Details

analyze428.0ms

sample19.0ms

simplify189.0ms

prune4.0ms

localize8.0ms

rewrite34.0ms

series231.0ms

simplify50.0ms

prune87.0ms

localize10.0ms

rewrite38.0ms

series251.0ms

simplify61.0ms

prune83.0ms

localize10.0ms

rewrite34.0ms

series262.0ms

simplify71.0ms

prune61.0ms

localize14.0ms

rewrite39.0ms

series277.0ms

simplify62.0ms

prune66.0ms

regimes81.0ms

bsearch0.0ms

simplify9.0ms

end0.0ms

sample566.0ms

Profiling