Details

analyze67.0ms

Algorithm: search

sample15.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify283.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	13	7
1	23	6
2	35	4
3	45	4
4	54	4
5	87	4
6	156	4
7	206	4
8	219	4
9	314	4
10	644	4
11	3183	4
12	5001	4

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.1b

Counts

2 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (* x x) (* y y)) (* y y))
0.0b	(+ (* x x) (* y y))
0.1b	(+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

5.0ms	(+ (+ (* x x) (* y y)) (* y y))
4.0ms	(+ (* x x) (* y y))
8.0ms	(+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))

series21.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(+ (+ (* x x) (* y y)) (* y y))
5.0ms	(+ (* x x) (* y y))
7.0ms	(+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))

simplify125.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 3 (120.0ms)

Iter	Nodes	Cost
0	218	352
1	1048	312
2	4094	291
3	5002	280

prune70.0ms

Filtered

35 candidates to 47 candidates (-34.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	41	6	47
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	43	6	49

Merged error: 0.1b

Counts

49 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* y y))
0.1b	(+ (+ (* x x) (* y y)) (* y (+ y y)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
6×	`flip3-+` `flip-+`
4×	`associate-*r/` `frac-add` `sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r+` `*-un-lft-identity` `add-cbrt-cube`
1×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`

Counts

2 → 30

Calls

2 calls:

3.0ms	(+ (* x x) (* y y))
7.0ms	(+ (+ (* x x) (* y y)) (* y (+ y y)))

series12.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(+ (* x x) (* y y))
7.0ms	(+ (+ (* x x) (* y y)) (* y (+ y y)))

simplify54.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	276	338
1	1408	275
2	5001	242

prune59.0ms

Filtered

27 candidates to 36 candidates (-33.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	36	6	42

Merged error: 0.0b

Counts

42 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* (* 3 y) y))
0.2b	(* (* 3 y) y)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

3.0ms	(+ (* x x) (* (* 3 y) y))
5.0ms	(* (* 3 y) y)

series11.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ (* x x) (* (* 3 y) y))
3.0ms	(* (* 3 y) y)

simplify140.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 3 (136.0ms)

Iter	Nodes	Cost
0	173	161
1	862	143
2	4332	138
3	5002	137

prune46.0ms

Filtered

22 candidates to 35 candidates (-59.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	35	6	41

Merged error: 0.0b

Counts

41 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
8.3b	(cbrt (+ (* x x) (* y y)))
8.3b	(cbrt (+ (* x x) (* y y)))
8.3b	(cbrt (+ (* x x) (* y y)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

10.0ms	(* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
3.0ms	(cbrt (+ (* x x) (* y y)))
3.0ms	(cbrt (+ (* x x) (* y y)))
3.0ms	(cbrt (+ (* x x) (* y y)))

series87.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
20.0ms	(cbrt (+ (* x x) (* y y)))
21.0ms	(cbrt (+ (* x x) (* y y)))
21.0ms	(cbrt (+ (* x x) (* y y)))

simplify122.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 3 (111.0ms)

Iter	Nodes	Cost
0	264	1051
1	906	986
2	3837	912
3	5002	878

prune99.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	98	7	105

Merged error: 0b

Counts

105 → 7

regimes229.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	6
1	11	6

end0.0ms

analyze64.0ms

Algorithm: search

sample365.0ms

Algorithm

intervals

Results

235.0ms	8000×	body	80	valid
0.0ms	3×	body	80	invalid

Details

analyze67.0ms

sample15.0ms

simplify283.0ms

prune7.0ms

localize6.0ms

rewrite18.0ms

series21.0ms

simplify125.0ms

prune70.0ms

localize8.0ms

rewrite12.0ms

series12.0ms

simplify54.0ms

prune59.0ms

localize5.0ms

rewrite9.0ms

series11.0ms

simplify140.0ms

prune46.0ms

localize14.0ms

rewrite23.0ms

series87.0ms

simplify122.0ms

prune99.0ms

regimes229.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze64.0ms

sample365.0ms

Profiling