Details

sample296.0ms

Algorithm

intervals

Results

26.0ms	256×	body	80	valid
6.0ms	256×	pre	80	true

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	10
1	71	10
2	154	10
3	469	10
4	1812	10
5	5001	10

prune6.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.4b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
0.1b	(pow (* -2.0 (log u1)) 0.5)
0.2b	(* (* 2.0 PI) u2)
0.4b	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log`
22×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `prod-exp` `add-cbrt-cube`
12×	`pow1`
11×	`times-frac`
8×	`associate-r`
6×	`pow-exp` `add-log-exp`
5×	`cbrt-unprod`
4×	`div-exp` `pow-prod-down` `unswap-sqr` `sqr-pow`
3×	`pow-to-exp` `pow-unpow`
2×	`unpow-prod-down` `pow-pow` `*-commutative`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `associate-*l/` `sum-log` `flip-+` `div-inv`

Counts

4 → 87

Calls

4 calls:

9.0ms	(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
4.0ms	(pow (* -2.0 (log u1)) 0.5)
19.0ms	(* (* 2.0 PI) u2)
10.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

series1.4s

Counts

4 → 12

Calls

4 calls:

442.0ms	(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
251.0ms	(pow (* -2.0 (log u1)) 0.5)
36.0ms	(* (* 2.0 PI) u2)
669.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

simplify60.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	507	728
1	2155	656
2	5001	656

prune415.0ms

Filtered

99 candidates to 71 candidates (71.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	93	6	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	6	100

Merged error: 0b

Counts

100 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5)
0.1b	(pow (* -2.0 (log u1)) 0.5)
0.2b	(* (* 2.0 PI) u2)
0.2b	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 84

Calls

4 calls:

8.0ms	(+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5)
4.0ms	(pow (* -2.0 (log u1)) 0.5)
5.0ms	(* (* 2.0 PI) u2)
5.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

series1.4s

Counts

4 → 12

Calls

4 calls:

445.0ms	(+ (* (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2))) 0.5)
252.0ms	(pow (* -2.0 (log u1)) 0.5)
37.0ms	(* (* 2.0 PI) u2)
669.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

simplify54.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	438	710
1	1838	655
2	5001	655

prune395.0ms

Filtered

96 candidates to 72 candidates (75.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	96	6	102

Merged error: 0b

Counts

102 → 6

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 2.0 PI) u2)
0.4b	(* (/ 1.0 6.0) (cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3)))
0.5b	(cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3))
0.7b	(pow (pow (* -2.0 (log u1)) 0.5) 3)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
44×	`cbrt-prod`
25×	`unpow-prod-down`
22×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
19×	`cube-prod`
18×	`add-exp-log`
16×	`times-frac`
15×	`sqr-pow`
14×	`associate-l` `unswap-sqr`
13×	`add-cbrt-cube`
11×	`pow1`
6×	`pow-exp` `prod-exp`
5×	`cbrt-unprod`
4×	`pow-prod-down` `add-log-exp`
3×	`cube-mult` `pow-unpow` `unpow3`
2×	`pow-to-exp` `*-commutative`
1×	`cbrt-undiv` `pow-pow` `pow1/3` `div-exp` `associate-*l/` `rem-cbrt-cube` `div-inv` `rem-cube-cbrt`

Counts

4 → 133

Calls

4 calls:

5.0ms	(* (* 2.0 PI) u2)
13.0ms	(* (/ 1.0 6.0) (cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3)))
3.0ms	(cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3))
4.0ms	(pow (pow (* -2.0 (log u1)) 0.5) 3)

series1.7s

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (* 2.0 PI) u2)
678.0ms	(* (/ 1.0 6.0) (cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3)))
660.0ms	(cbrt (pow (pow (* -2.0 (log u1)) 0.5) 3))
312.0ms	(pow (pow (* -2.0 (log u1)) 0.5) 3)

simplify70.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	614	1030
1	2541	987
2	5001	962

prune508.0ms

Filtered

145 candidates to 88 candidates (60.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	145	6	151

Merged error: 0b

Counts

151 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 2.0 PI) u2)
0.4b	(* (/ 1.0 6.0) (cbrt (pow (* -2.0 (log u1)) (* 0.5 3))))
0.4b	(pow (* -2.0 (log u1)) (* 0.5 3))
0.5b	(cbrt (pow (* -2.0 (log u1)) (* 0.5 3)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
17×	`add-exp-log`
15×	`add-cube-cbrt` `*-un-lft-identity`
14×	`pow1` `cbrt-prod` `associate-l`
12×	`times-frac` `add-cbrt-cube`
11×	`associate-r`
6×	`prod-exp` `unswap-sqr`
5×	`pow-prod-down` `cbrt-unprod` `sqr-pow`
4×	`add-log-exp`
3×	`unpow-prod-down`
2×	`pow-pow` `pow-exp` `*-commutative`
1×	`cbrt-undiv` `pow-to-exp` `pow-unpow` `pow1/3` `div-exp` `associate-*l/` `div-inv`

Counts

4 → 87

Calls

4 calls:

5.0ms	(* (* 2.0 PI) u2)
9.0ms	(* (/ 1.0 6.0) (cbrt (pow (* -2.0 (log u1)) (* 0.5 3))))
4.0ms	(pow (* -2.0 (log u1)) (* 0.5 3))
2.0ms	(cbrt (pow (* -2.0 (log u1)) (* 0.5 3)))

series1.6s

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (* 2.0 PI) u2)
683.0ms	(* (/ 1.0 6.0) (cbrt (pow (* -2.0 (log u1)) (* 0.5 3))))
266.0ms	(pow (* -2.0 (log u1)) (* 0.5 3))
645.0ms	(cbrt (pow (* -2.0 (log u1)) (* 0.5 3)))

simplify44.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	470	754
1	1625	704
2	5001	699

prune432.0ms

Filtered

99 candidates to 77 candidates (77.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Merged error: 0b

Counts

105 → 6

regimes664.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample1.2s

Algorithm

intervals

Results

771.0ms	8000×	body	80	valid
175.0ms	8000×	pre	80	true

Details

sample296.0ms

simplify62.0ms

prune6.0ms

localize21.0ms

rewrite47.0ms

series1.4s

simplify60.0ms

prune415.0ms

localize18.0ms

rewrite24.0ms

series1.4s

simplify54.0ms

prune395.0ms

localize27.0ms

rewrite30.0ms

series1.7s

simplify70.0ms

prune508.0ms

localize21.0ms

rewrite22.0ms

series1.6s

simplify44.0ms

prune432.0ms

regimes664.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling