Details

sample271.0ms

Algorithm

intervals

Results

199.0ms	256×	pre	80	true
24.0ms	52×	body	1280	valid
12.0ms	37×	body	640	valid
9.0ms	144×	body	80	valid
3.0ms	17×	body	320	valid
1.0ms	6×	body	160	valid

simplify264.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	14	6
1	18	6
2	21	6
3	22	6
4	22	6

prune5.0ms

Filtered

1 candidates to 0 candidates (100.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.2b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
0.1b	(* e (cos v))
0.1b	(* e (sin v))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 59

Calls

3 calls:

5.0ms	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
4.0ms	(* e (cos v))
6.0ms	(* e (sin v))

series43.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
7.0ms	(* e (cos v))
16.0ms	(* e (sin v))

simplify44.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	295	396
1	1372	344
2	5001	344

prune101.0ms

Filtered

68 candidates to 48 candidates (29.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	63	5	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	6	69

Merged error: 0.0b

Counts

69 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(* e (cos v))
0.1b	(/ (+ 1.0 (* e (cos v))) (sin v))
0.2b	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
57×	`add-sqr-sqrt`
55×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
12×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`cbrt-undiv` `div-exp`
3×	`associate-r` `associate-l` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 117

Calls

3 calls:

4.0ms	(* e (cos v))
5.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
6.0ms	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

series42.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* e (cos v))
14.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
21.0ms	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

simplify67.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	518	1298
1	2327	1224
2	5002	1224

prune171.0ms

Filtered

126 candidates to 101 candidates (19.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	125	7	132

Merged error: 0.0b

Counts

132 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (sqrt e) (+ 1.0 (* e (cos v))))
0.1b	(* e (cos v))
0.2b	(* (sqrt e) (sin v))
0.3b	(* (/ (sqrt e) (+ 1.0 (* e (cos v)))) (* (sqrt e) (sin v)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
37×	`add-cube-cbrt` `*-un-lft-identity`
36×	`times-frac`
33×	`associate-l`
25×	`sqrt-prod`
22×	`add-exp-log` `add-cbrt-cube`
13×	`pow1`
8×	`prod-exp` `cbrt-unprod`
7×	`associate-r`
6×	`associate-/l*`
5×	`pow-prod-down`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-/r` `-commutative` `unswap-sqr`
2×	`flip3-+` `flip-+` `div-inv`
1×	`frac-2neg` `associate-*l/` `clear-num`

Counts

4 → 125

Calls

4 calls:

5.0ms	(/ (sqrt e) (+ 1.0 (* e (cos v))))
4.0ms	(* e (cos v))
5.0ms	(* (sqrt e) (sin v))
11.0ms	(* (/ (sqrt e) (+ 1.0 (* e (cos v)))) (* (sqrt e) (sin v)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (sqrt e) (+ 1.0 (* e (cos v))))
6.0ms	(* e (cos v))
13.0ms	(* (sqrt e) (sin v))
31.0ms	(* (/ (sqrt e) (+ 1.0 (* e (cos v)))) (* (sqrt e) (sin v)))

simplify101.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (89.0ms)

Iter	Nodes	Cost
0	757	1264
1	3821	1122
2	5002	1119

prune174.0ms

Filtered

137 candidates to 98 candidates (28.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	134	3	137
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	136	8	144

Merged error: 0b

Counts

144 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sqrt e) (sin v))
0.2b	(/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e)))
0.3b	(* (/ (sqrt (sqrt e)) (/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e)))) (* (sqrt e) (sin v)))
0.3b	(/ (sqrt (sqrt e)) (/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e))))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

1120×	`sqrt-prod`
1098×	`times-frac`
584×	`add-sqr-sqrt`
580×	`add-cube-cbrt` `*-un-lft-identity`
290×	`associate-l`
40×	`associate-/r*`
34×	`add-exp-log` `add-cbrt-cube`
22×	`div-inv`
12×	`associate-/l*`
11×	`pow1`
10×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
4×	`associate-r` `pow-prod-down` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/r/` `*-commutative` `associate-/l/` `unswap-sqr`
1×	`flip3-+` `associate-*l/` `flip-+`

Counts

4 → 717

Calls

4 calls:

5.0ms	(* (sqrt e) (sin v))
7.0ms	(/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e)))
47.0ms	(* (/ (sqrt (sqrt e)) (/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e)))) (* (sqrt e) (sin v)))
15.0ms	(/ (sqrt (sqrt e)) (/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e))))

series91.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (sqrt e) (sin v))
26.0ms	(/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e)))
28.0ms	(* (/ (sqrt (sqrt e)) (/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e)))) (* (sqrt e) (sin v)))
25.0ms	(/ (sqrt (sqrt e)) (/ (+ 1.0 (* e (cos v))) (sqrt (sqrt e))))

simplify139.0ms

Algorithm

egg-herbie

Counts

729 → 729

Iterations

Useful iterations: 1 (44.0ms)

Iter	Nodes	Cost
0	1913	12487
1	5001	11922

prune703.0ms

Filtered

729 candidates to 374 candidates (48.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	729	0	729
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	729	8	737

Merged error: 0b

Counts

737 → 8

regimes189.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	6
1	12	6

end0.0ms

sample1.9s

Algorithm

intervals

Results

663.0ms	1447×	body	1280	valid
375.0ms	1253×	body	640	valid
269.0ms	4353×	body	80	valid
144.0ms	8000×	pre	80	true
135.0ms	649×	body	320	valid
42.0ms	298×	body	160	valid

Details

sample271.0ms

simplify264.0ms

prune5.0ms

localize13.0ms

rewrite18.0ms

series43.0ms

simplify44.0ms

prune101.0ms

localize10.0ms

rewrite19.0ms

series42.0ms

simplify67.0ms

prune171.0ms

localize13.0ms

rewrite29.0ms

series74.0ms

simplify101.0ms

prune174.0ms

localize18.0ms

rewrite135.0ms

series91.0ms

simplify139.0ms

prune703.0ms

regimes189.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling