Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
7.8%	92%	0.2%	11
11.7%	88.1%	0.2%	12
17.9%	81.8%	0.2%	13
22.6%	77.2%	0.2%	14

sample24.0ms

Algorithm

intervals

Results

9.0ms	252×	body	80	valid
1.0ms	19×	body	80	invalid
0.0ms	2×	body	640	valid
0.0ms	1×	body	2560	valid
0.0ms	1×	body	1280	valid

simplify101.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5178	13

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

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) (- z t))
0.3b	(* 60.0 (/ (- x y) (- z t)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
26×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 102

Calls

2 calls:

8.0ms	(/ (- x y) (- z t))
13.0ms	(* 60.0 (/ (- x y) (- z t)))

series32.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(/ (- x y) (- z t))
16.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify48.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5392	1163

prune124.0ms

Filtered

70 candidates to 108 candidates (-54.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	104	6	110

Merged error: 0.0b

Counts

110 → 6

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- z t))
0.3b	(* (sqrt 60.0) (* (/ (- x y) (- z t)) (sqrt 60.0)))
0.3b	(* (/ (- x y) (- z t)) (sqrt 60.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

84×	`add-sqr-sqrt`
74×	`*-un-lft-identity`
52×	`times-frac`
37×	`associate-l`
30×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
19×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
8×	`sqrt-prod`
7×	`associate-r` `prod-exp` `cbrt-unprod`
5×	`associate-/r` `associate-/l`
4×	`pow-prod-down` `associate-/r/` `unswap-sqr`
3×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `add-log-exp`
2×	`associate-l/` `-commutative` `div-inv` `associate-/l/`
1×	`frac-2neg` `div-sub` `associate-*r/` `clear-num`

Counts

3 → 131

Calls

3 calls:

10.0ms	(/ (- x y) (- z t))
13.0ms	(* (sqrt 60.0) (* (/ (- x y) (- z t)) (sqrt 60.0)))
14.0ms	(* (/ (- x y) (- z t)) (sqrt 60.0))

series58.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(/ (- x y) (- z t))
26.0ms	(* (sqrt 60.0) (* (/ (- x y) (- z t)) (sqrt 60.0)))
19.0ms	(* (/ (- x y) (- z t)) (sqrt 60.0))

simplify62.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4972	1569
1	4972	1569

prune164.0ms

Filtered

89 candidates to 140 candidates (-57.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	140	6	146

Merged error: 0.0b

Counts

146 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- x y) (- z t))
0.3b	(* (* (cbrt 60.0) (cbrt 60.0)) (* (/ (- x y) (- z t)) (cbrt 60.0)))
0.3b	(* (/ (- x y) (- z t)) (cbrt 60.0))
1.0b	(* (cbrt 60.0) (cbrt 60.0))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt`
81×	`*-un-lft-identity`
52×	`times-frac`
38×	`associate-l`
37×	`add-cube-cbrt`
34×	`add-exp-log`
25×	`pow1`
22×	`distribute-lft-out--` `difference-of-squares`
21×	`cbrt-prod`
20×	`add-cbrt-cube`
16×	`prod-exp` `cbrt-unprod`
13×	`associate-r`
11×	`pow-prod-down`
8×	`unswap-sqr`
6×	`pow1/3` `swap-sqr`
5×	`associate-/r` `associate-/l`
4×	`cbrt-undiv` `div-exp` `associate-/r/` `add-log-exp`
3×	`flip3--` `*-commutative` `flip--`
2×	`associate-*l/` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l/`
1×	`pow2` `frac-2neg` `pow-plus` `div-sub` `associate-*r/` `clear-num`

Counts

4 → 174

Calls

4 calls:

8.0ms	(/ (- x y) (- z t))
15.0ms	(* (* (cbrt 60.0) (cbrt 60.0)) (* (/ (- x y) (- z t)) (cbrt 60.0)))
13.0ms	(* (/ (- x y) (- z t)) (cbrt 60.0))
5.0ms	(* (cbrt 60.0) (cbrt 60.0))

series58.0ms

Counts

4 → 10

Calls

4 calls:

13.0ms	(/ (- x y) (- z t))
25.0ms	(* (* (cbrt 60.0) (cbrt 60.0)) (* (/ (- x y) (- z t)) (cbrt 60.0)))
20.0ms	(* (/ (- x y) (- z t)) (cbrt 60.0))
0.0ms	(* (cbrt 60.0) (cbrt 60.0))

simplify88.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4974	1843
1	4974	1843

prune250.0ms

Filtered

116 candidates to 184 candidates (-58.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	184	6	190

Merged error: 0.0b

Counts

190 → 6

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- z t))
0.0b	(* 60.0 (- x y))
1.3b	(* (* 60.0 (- x y)) (/ 1 (- z t)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
31×	`add-exp-log`
30×	`times-frac`
26×	`associate-r`
24×	`add-cube-cbrt`
19×	`add-cbrt-cube`
13×	`prod-exp`
11×	`pow1`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`associate-*r/` `cbrt-unprod`
6×	`div-exp`
5×	`flip3--` `associate-/r*` `flip--`
4×	`associate-l` `pow-prod-down` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `add-log-exp`
2×	`frac-times` `sub-neg` `associate-l/` `-commutative` `div-inv`
1×	`distribute-rgt-in` `pow-flip` `frac-2neg` `distribute-lft-in` `clear-num` `un-div-inv` `inv-pow` `unswap-sqr`

Counts

3 → 115

Calls

3 calls:

5.0ms	(/ 1 (- z t))
6.0ms	(* 60.0 (- x y))
15.0ms	(* (* 60.0 (- x y)) (/ 1 (- z t)))

series24.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ 1 (- z t))
4.0ms	(* 60.0 (- x y))
15.0ms	(* (* 60.0 (- x y)) (/ 1 (- z t)))

simplify41.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5908	1043

prune98.0ms

Filtered

68 candidates to 124 candidates (-82.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	124	6	130

Merged error: 0.0b

Counts

130 → 6

regimes662.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	13
1	34	13

end0.0ms

sample639.0ms

Algorithm

intervals

Results

316.0ms	7860×	body	80	valid
26.0ms	686×	body	80	invalid
15.0ms	49×	body	1280	valid
6.0ms	28×	body	2560	valid
5.0ms	33×	body	640	valid
2.0ms	19×	body	320	valid
1.0ms	11×	body	160	valid

Details

analyze1.0s

sample24.0ms

simplify101.0ms

prune13.0ms

localize9.0ms

rewrite25.0ms

series32.0ms

simplify48.0ms

prune124.0ms

localize11.0ms

rewrite42.0ms

series58.0ms

simplify62.0ms

prune164.0ms

localize15.0ms

rewrite49.0ms

series58.0ms

simplify88.0ms

prune250.0ms

localize11.0ms

rewrite30.0ms

series24.0ms

simplify41.0ms

prune98.0ms

regimes662.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample639.0ms

Profiling