Details

analyze67.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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

sample11.0ms

Algorithm

intervals

Results

4.0ms	255×	body	80	valid
0.0ms	1×	body	160	valid
0.0ms	1×	body	80	invalid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	5
1	6	5

prune2.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: 0.0b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(* 500.0 (- x y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
5×	`-un-lft-identity` `associate-r*`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`sub-neg` `associate-*r/`
1×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

8.0ms

(* 500.0 (- x y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* 500.0 (- x y))

simplify27.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5155	172

prune25.0ms

Filtered

17 candidates to 27 candidates (-58.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	2	28

Merged error: 0.0b

Counts

28 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.3b	(* (- x y) (sqrt 500.0))
0.3b	(* (sqrt 500.0) (* (- x y) (sqrt 500.0)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
11×	`associate-l`
9×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
7×	`add-cube-cbrt` `associate-r` `sqrt-prod`
4×	`pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-r/` `-commutative` `flip--` `add-log-exp` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

2 → 49

Calls

2 calls:

7.0ms	(* (- x y) (sqrt 500.0))
8.0ms	(* (sqrt 500.0) (* (- x y) (sqrt 500.0)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (- x y) (sqrt 500.0))
10.0ms	(* (sqrt 500.0) (* (- x y) (sqrt 500.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4957	392
1	4957	392

prune67.0ms

Filtered

36 candidates to 55 candidates (-52.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	53	4	57

Merged error: 0b

Counts

57 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0)))))
0.4b	(* (- x y) (sqrt (cbrt 500.0)))
0.4b	(* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0))))
1.0b	(* (cbrt 500.0) (cbrt 500.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
27×	`pow1`
22×	`add-exp-log`
21×	`-un-lft-identity` `associate-l*`
20×	`cbrt-prod` `add-cbrt-cube`
19×	`add-cube-cbrt`
17×	`associate-r`
12×	`pow-prod-down` `sqrt-prod`
11×	`prod-exp` `cbrt-unprod`
7×	`unswap-sqr`
6×	`pow1/3` `associate-r/` `swap-sqr` `associate-l/`
4×	`*-commutative` `add-log-exp`
3×	`flip3--` `flip--`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 117

Calls

4 calls:

15.0ms	(* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0)))))
8.0ms	(* (- x y) (sqrt (cbrt 500.0)))
9.0ms	(* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0))))
5.0ms	(* (cbrt 500.0) (cbrt 500.0))

series41.0ms

Counts

4 → 10

Calls

4 calls:

16.0ms	(* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0)))))
9.0ms	(* (- x y) (sqrt (cbrt 500.0)))
16.0ms	(* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0))))
0.0ms	(* (cbrt 500.0) (cbrt 500.0))

simplify49.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5062	1156

prune225.0ms

Filtered

80 candidates to 127 candidates (-58.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	127	4	131

Merged error: 0b

Counts

131 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt (pow 500.0 2/3)) (* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0)))))
0.4b	(* (- x y) (sqrt (cbrt 500.0)))
0.4b	(* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0))))
1.6b	(pow 500.0 2/3)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
21×	`pow1` `add-exp-log` `associate-l`
20×	`add-cbrt-cube`
18×	`sqrt-prod`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
11×	`associate-r`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`unpow-prod-down` `associate-r/` `associate-l/`
4×	`cbrt-prod` `add-log-exp`
3×	`pow-unpow` `flip3--` `*-commutative` `flip--` `unswap-sqr`
2×	`sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow-exp` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 100

Calls

4 calls:

14.0ms	(* (sqrt (pow 500.0 2/3)) (* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0)))))
8.0ms	(* (- x y) (sqrt (cbrt 500.0)))
10.0ms	(* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0))))
2.0ms	(pow 500.0 2/3)

series52.0ms

Counts

4 → 10

Calls

4 calls:

30.0ms	(* (sqrt (pow 500.0 2/3)) (* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0)))))
9.0ms	(* (- x y) (sqrt (cbrt 500.0)))
13.0ms	(* (sqrt 500.0) (* (- x y) (sqrt (cbrt 500.0))))
0.0ms	(pow 500.0 2/3)

simplify40.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4985	1131
1	4985	1131

prune182.0ms

Filtered

69 candidates to 110 candidates (-59.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	110	4	114

Merged error: 0b

Counts

114 → 4

regimes158.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	6	5

end0.0ms

analyze66.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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

sample251.0ms

Algorithm

intervals

Results

133.0ms	7965×	body	80	valid
1.0ms	77×	body	80	invalid
1.0ms	13×	body	640	valid
1.0ms	10×	body	1280	valid
1.0ms	7×	body	2560	valid
0.0ms	3×	body	320	valid
0.0ms	2×	body	160	valid

Details

analyze67.0ms

sample11.0ms

simplify3.0ms

prune2.0ms

localize3.0ms

rewrite8.0ms

series4.0ms

simplify27.0ms

prune25.0ms

localize5.0ms

rewrite16.0ms

series18.0ms

simplify42.0ms

prune67.0ms

localize11.0ms

rewrite41.0ms

series41.0ms

simplify49.0ms

prune225.0ms

localize14.0ms

rewrite39.0ms

series52.0ms

simplify40.0ms

prune182.0ms

regimes158.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze66.0ms

sample251.0ms

Profiling