Details

sample49.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
15.0ms	259×	body	80	nan

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	14
1	165	14
2	826	14
3	3867	14
4	5002	14

prune3.0ms

Filtered

1 candidates to 0 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.6b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.3b	(* PI t)
0.5b	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.5b	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
18×	`associate-*r/`
16×	`pow1`
13×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`flip3--` `sqrt-div` `associate-r` `associate-/r/` `flip--`
7×	`associate-l` `pow-prod-down`
4×	`cbrt-undiv` `frac-times` `div-exp` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l`
2×	`associate-*l/` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `div-sub` `clear-num` `associate-/r*` `sqrt-prod` `div-inv`

Counts

4 → 94

Calls

4 calls:

5.0ms	(* 5.0 (* v v))
3.0ms	(* PI t)
14.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
8.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series828.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* 5.0 (* v v))
20.0ms	(* PI t)
591.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
192.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify113.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	772	1158
1	4350	1002
2	5003	1002

prune283.0ms

Filtered

106 candidates to 72 candidates (67.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	97	9	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	9	107

Merged error: 0.3b

Counts

107 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.3b	(* PI t)
0.4b	(/ (- 1.0 (* 5.0 (* v v))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
0.5b	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-exp-log` `add-cbrt-cube`
16×	`pow1`
13×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp` `cbrt-unprod`
8×	`associate-r/` `associate-r*`
7×	`associate-l` `pow-prod-down`
4×	`sqrt-div` `add-log-exp`
3×	`cbrt-undiv` `flip3--` `times-frac` `div-exp` `-commutative` `flip--` `associate-/l`
2×	`associate-/r/` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `div-sub` `clear-num` `associate-/r*` `sqrt-prod` `div-inv`

Counts

4 → 86

Calls

4 calls:

5.0ms	(* 5.0 (* v v))
3.0ms	(* PI t)
11.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
8.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series935.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* 5.0 (* v v))
23.0ms	(* PI t)
697.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
190.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify77.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	612	872
1	3214	756
2	5001	756

prune239.0ms

Filtered

98 candidates to 66 candidates (67.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	93	5	98
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	98	9	107

Merged error: 0.0b

Counts

107 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.3b	(/ (- 1.0 (* 5.0 (* v v))) (* PI t))
0.3b	(* PI t)
0.4b	(/ (/ (- 1.0 (* 5.0 (* v v))) (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

46×	`times-frac`
30×	`add-sqr-sqrt`
27×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
10×	`associate-/l*`
8×	`sqrt-prod`
7×	`cbrt-undiv` `div-exp` `div-inv`
6×	`associate-l` `prod-exp` `cbrt-unprod`
5×	`associate-/r*`
4×	`associate-r` `pow-prod-down` `add-log-exp`
3×	`div-sub` `associate-/l/`
2×	`flip3--` `frac-2neg` `sqrt-div` `associate-r/` `clear-num` `associate-/r/` `-commutative` `flip--` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

6.0ms	(* 5.0 (* v v))
6.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* PI t))
3.0ms	(* PI t)
11.0ms	(/ (/ (- 1.0 (* 5.0 (* v v))) (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series628.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* 5.0 (* v v))
82.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* PI t))
26.0ms	(* PI t)
495.0ms	(/ (/ (- 1.0 (* 5.0 (* v v))) (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify88.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	704	1489
1	3382	1354
2	5001	1354

prune362.0ms

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	127	5	132
Fresh	7	1	8
Picked	1	0	1
Done	0	0	0
Total	135	6	141

Merged error: 0b

Counts

141 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 3.0 (* v v))
0.2b	(* 5.0 (* v v))
0.4b	(/ (/ (- 1.0 (* 5.0 (* v v))) PI) t)
0.4b	(/ (/ (/ (- 1.0 (* 5.0 (* v v))) PI) t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

577×	`times-frac`
269×	`add-sqr-sqrt`
267×	`add-cube-cbrt` `*-un-lft-identity`
56×	`associate-/l*`
44×	`sqrt-prod`
28×	`add-exp-log` `add-cbrt-cube`
26×	`div-inv`
14×	`pow1`
9×	`cbrt-undiv` `div-exp`
7×	`associate-/r*`
6×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`div-sub`
4×	`add-log-exp`
2×	`frac-2neg` `sqrt-div` `associate-r/` `associate-r` `clear-num` `associate-/r/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`flip3--` `flip--`

Counts

4 → 348

Calls

4 calls:

6.0ms	(* 3.0 (* v v))
6.0ms	(* 5.0 (* v v))
7.0ms	(/ (/ (- 1.0 (* 5.0 (* v v))) PI) t)
19.0ms	(/ (/ (/ (- 1.0 (* 5.0 (* v v))) PI) t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series644.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* 3.0 (* v v))
24.0ms	(* 5.0 (* v v))
85.0ms	(/ (/ (- 1.0 (* 5.0 (* v v))) PI) t)
511.0ms	(/ (/ (/ (- 1.0 (* 5.0 (* v v))) PI) t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify96.0ms

Algorithm

egg-herbie

Counts

360 → 360

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1600	6427
1	5002	6272

prune1.1s

Filtered

360 candidates to 300 candidates (83.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	358	2	360
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	361	5	366

Merged error: 0b

Counts

366 → 5

regimes76.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	14
1	23	14

end0.0ms

sample1.2s

Algorithm

intervals

Results

488.0ms	8000×	body	80	valid
476.0ms	7847×	body	80	nan

Details

sample49.0ms

simplify74.0ms

prune3.0ms

localize15.0ms

rewrite35.0ms

series828.0ms

simplify113.0ms

prune283.0ms

localize20.0ms

rewrite31.0ms

series935.0ms

simplify77.0ms

prune239.0ms

localize15.0ms

rewrite30.0ms

series628.0ms

simplify88.0ms

prune362.0ms

localize15.0ms

rewrite64.0ms

series644.0ms

simplify96.0ms

prune1.1s

regimes76.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling