Details

analyze653.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
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
12.5%	85.8%	1.7%	9
16.4%	79.2%	4.4%	10
20.7%	72.4%	7%	11
32.6%	53.3%	14.1%	12
36%	45.5%	18.5%	13
38.3%	41.1%	20.6%	14

sample26.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
4.0ms	89×	body	80	invalid

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5100	13

prune10.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

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x z) y)
0.0b	(+ y (* (+ x z) (/ (- x z) y)))
0.2b	(* (+ x z) (/ (- x z) y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
19×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-/l*` `add-log-exp`
4×	`associate-l`
3×	`flip3-+` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip--` `distribute-lft-out`

Counts

3 → 92

Calls

3 calls:

5.0ms	(/ (- x z) y)
4.0ms	(+ y (* (+ x z) (/ (- x z) y)))
11.0ms	(* (+ x z) (/ (- x z) y))

series31.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/ (- x z) y)
12.0ms	(+ y (* (+ x z) (/ (- x z) y)))
11.0ms	(* (+ x z) (/ (- x z) y))

simplify49.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5087	1084

prune112.0ms

Filtered

70 candidates to 101 candidates (-44.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	93	8	101
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	94	9	103

Merged error: 0.0b

Counts

103 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ y (* (+ x z) (* (- x z) (/ 1 y))))
0.2b	(* (+ x z) (* (- x z) (/ 1 y)))
0.3b	(* (- x z) (/ 1 y))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log`
21×	`add-sqr-sqrt`
20×	`frac-times`
17×	`*-un-lft-identity` `add-cbrt-cube`
14×	`associate-r`
13×	`prod-exp`
12×	`add-cube-cbrt`
11×	`times-frac`
10×	`pow1` `associate-r/` `associate-l/`
9×	`associate-l`
8×	`flip3--` `flip3-+` `flip--` `flip-+`
7×	`cbrt-unprod`
5×	`add-log-exp`
4×	`div-exp` `pow-prod-down` `un-div-inv`
3×	`unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `*-commutative`
1×	`+-commutative` `sum-log` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 96

Calls

3 calls:

4.0ms	(+ y (* (+ x z) (* (- x z) (/ 1 y))))
12.0ms	(* (+ x z) (* (- x z) (/ 1 y)))
10.0ms	(* (- x z) (/ 1 y))

series31.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ y (* (+ x z) (* (- x z) (/ 1 y))))
13.0ms	(* (+ x z) (* (- x z) (/ 1 y)))
6.0ms	(* (- x z) (/ 1 y))

simplify41.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4986	1209
1	4986	1209

prune111.0ms

Filtered

68 candidates to 105 candidates (-54.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	105	9	114

Merged error: 0.0b

Counts

114 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (* (+ x z) (/ (- x z) y))) (cbrt (* (+ x z) (/ (- x z) y))))
9.6b	(cbrt (* (+ x z) (/ (- x z) y)))
9.6b	(cbrt (* (+ x z) (/ (- x z) y)))
9.6b	(cbrt (* (+ x z) (/ (- x z) y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

75×	`cbrt-div`
55×	`frac-times`
35×	`associate-*l/`
30×	`flip3-+` `flip-+`
20×	`associate-*r/`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

7.0ms	(* (cbrt (* (+ x z) (/ (- x z) y))) (cbrt (* (+ x z) (/ (- x z) y))))
8.0ms	(cbrt (* (+ x z) (/ (- x z) y)))
8.0ms	(cbrt (* (+ x z) (/ (- x z) y)))
8.0ms	(cbrt (* (+ x z) (/ (- x z) y)))

series135.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* (cbrt (* (+ x z) (/ (- x z) y))) (cbrt (* (+ x z) (/ (- x z) y))))
29.0ms	(cbrt (* (+ x z) (/ (- x z) y)))
30.0ms	(cbrt (* (+ x z) (/ (- x z) y)))
33.0ms	(cbrt (* (+ x z) (/ (- x z) y)))

simplify68.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4896	2271
1	4896	2271

prune148.0ms

Filtered

90 candidates to 120 candidates (-33.3%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	119	10	129

Merged error: 0.0b

Counts

129 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ x z))
4.0b	(cbrt (/ (- x z) y))
9.6b	(cbrt (* (+ x z) (/ (- x z) y)))
9.6b	(cbrt (* (+ x z) (/ (- x z) y)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
22×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
15×	`times-frac`
14×	`add-cube-cbrt`
13×	`cbrt-div`
5×	`flip3-+` `flip-+`
4×	`pow1` `add-exp-log` `frac-times` `pow1/3` `associate-*l/` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`associate-*r/`
1×	`div-inv` `distribute-lft-out`

Counts

4 → 70

Calls

4 calls:

3.0ms	(cbrt (+ x z))
4.0ms	(cbrt (/ (- x z) y))
8.0ms	(cbrt (* (+ x z) (/ (- x z) y)))
8.0ms	(cbrt (* (+ x z) (/ (- x z) y)))

series120.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt (+ x z))
30.0ms	(cbrt (/ (- x z) y))
31.0ms	(cbrt (* (+ x z) (/ (- x z) y)))
30.0ms	(cbrt (* (+ x z) (/ (- x z) y)))

simplify46.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4911	977
1	4911	977

prune100.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	6	6
Picked	0	1	1
Done	2	1	3
Total	83	9	92

Merged error: 0b

Counts

92 → 9

regimes317.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	13
1	23	13

end0.0ms

sample676.0ms

Algorithm

intervals

Results

326.0ms	8000×	body	80	valid
119.0ms	2889×	body	80	invalid

Details

analyze653.0ms

sample26.0ms

simplify62.0ms

prune10.0ms

localize8.0ms

rewrite24.0ms

series31.0ms

simplify49.0ms

prune112.0ms

localize9.0ms

rewrite30.0ms

series31.0ms

simplify41.0ms

prune111.0ms

localize13.0ms

rewrite35.0ms

series135.0ms

simplify68.0ms

prune148.0ms

localize16.0ms

rewrite25.0ms

series120.0ms

simplify46.0ms

prune100.0ms

regimes317.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample676.0ms

Profiling