Details

sample298.0ms

Algorithm

intervals

Results

23.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true

simplify68.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	35	9
1	74	9
2	160	9
3	483	9
4	1845	9
5	5001	9

prune13.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.4b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (* (/ 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))

rewrite40.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`
5×	`cbrt-unprod`
4×	`expm1-log1p-u` `div-exp` `pow-prod-down` `log1p-expm1-u` `add-log-exp` `unswap-sqr` `sqr-pow`
3×	`pow-to-exp` `pow-unpow`
2×	`unpow-prod-down` `pow-pow` `*-commutative`
1×	`cbrt-undiv` `associate-*l/` `fma-udef` `div-inv`

Counts

4 → 92

Calls

4 calls:

1.0ms	(fma (* (/ 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)
20.0ms	(* (* 2.0 PI) u2)
11.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

series1.5s

Counts

4 → 12

Calls

4 calls:

473.0ms	(fma (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2)) 0.5)
275.0ms	(pow (* -2.0 (log u1)) 0.5)
33.0ms	(* (* 2.0 PI) u2)
720.0ms	(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

simplify54.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	456	686
1	1839	619
2	5001	619

prune334.0ms

Filtered

104 candidates to 77 candidates (74.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 0.0b

Counts

105 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (* 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.3b	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

rewrite18.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`
5×	`unpow-prod-down` `prod-exp` `associate-/l*` `sqr-pow`
4×	`expm1-log1p-u` `div-exp` `pow-prod-down` `pow-exp` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `associate-r` `associate-/r*` `cbrt-unprod`
2×	`pow-to-exp` `pow-pow`
1×	`cbrt-undiv` `frac-2neg` `associate-l` `clear-num` `*-commutative` `fma-udef` `div-inv`

Counts

4 → 89

Calls

4 calls:

1.0ms	(fma (* 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.5s

Counts

4 → 12

Calls

4 calls:

476.0ms	(fma (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) (cos (* (* 2.0 PI) u2)) 0.5)
267.0ms	(pow (* -2.0 (log u1)) 0.5)
32.0ms	(* (* 2.0 PI) u2)
715.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

simplify47.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	387	666
1	1508	612
2	5001	612

prune310.0ms

Filtered

101 candidates to 78 candidates (77.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	101	8	109

Merged error: 0.0b

Counts

109 → 8

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0))
0.2b	(* (* 2.0 PI) u2)
0.3b	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
0.5b	(expm1 (log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
11×	`add-cbrt-cube`
9×	`pow1`
5×	`expm1-log1p-u` `associate-/l*`
4×	`unpow-prod-down` `div-exp` `prod-exp` `log1p-expm1-u` `add-log-exp` `sqr-pow`
3×	`associate-r` `pow-prod-down` `associate-/r*` `cbrt-unprod`
2×	`pow-exp`
1×	`cbrt-undiv` `pow-to-exp` `log1p-udef` `expm1-log1p` `frac-2neg` `log1p-expm1` `associate-l` `clear-num` `*-commutative` `div-inv` `expm1-udef`

Counts

4 → 82

Calls

4 calls:

1.0ms	(log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0))
5.0ms	(* (* 2.0 PI) u2)
5.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
1.0ms	(expm1 (log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0)))

series2.5s

Counts

4 → 12

Calls

4 calls:

839.0ms	(log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0))
32.0ms	(* (* 2.0 PI) u2)
722.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
891.0ms	(expm1 (log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0)))

simplify122.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	324	595
1	1110	542
2	4865	542
3	5001	542

prune328.0ms

Filtered

94 candidates to 71 candidates (75.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	95	7	102

Merged error: 0.0b

Counts

102 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0))
0.2b	(* (* 2.0 PI) u2)
0.3b	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
0.3b	(exp (log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`times-frac`
11×	`add-cbrt-cube`
9×	`pow1`
5×	`expm1-log1p-u` `associate-/l*` `add-log-exp`
4×	`unpow-prod-down` `div-exp` `prod-exp` `log1p-expm1-u` `sqr-pow`
3×	`exp-prod` `associate-r` `pow-prod-down` `associate-/r*` `cbrt-unprod`
2×	`log1p-udef` `pow-exp` `rem-exp-log`
1×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `log1p-expm1` `associate-l` `clear-num` `*-commutative` `div-inv`

Counts

4 → 85

Calls

4 calls:

1.0ms	(log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0))
10.0ms	(* (* 2.0 PI) u2)
5.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
2.0ms	(exp (log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0)))

series2.5s

Counts

4 → 12

Calls

4 calls:

858.0ms	(log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0))
39.0ms	(* (* 2.0 PI) u2)
720.0ms	(/ (pow (* -2.0 (log u1)) 0.5) 6.0)
900.0ms	(exp (log1p (/ (pow (* -2.0 (log u1)) 0.5) 6.0)))

simplify118.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	332	631
1	1133	575
2	4903	575
3	5001	575

prune323.0ms

Filtered

97 candidates to 74 candidates (76.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	97	7	104

Merged error: 0b

Counts

104 → 7

regimes315.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	21	9
1	21	9

end0.0ms

sample1.1s

Algorithm

intervals

Results

773.0ms	8000×	body	80	valid
136.0ms	8000×	pre	80	true

Details

sample298.0ms

simplify68.0ms

prune13.0ms

localize19.0ms

rewrite40.0ms

series1.5s

simplify54.0ms

prune334.0ms

localize16.0ms

rewrite18.0ms

series1.5s

simplify47.0ms

prune310.0ms

localize25.0ms

rewrite13.0ms

series2.5s

simplify122.0ms

prune328.0ms

localize22.0ms

rewrite20.0ms

series2.5s

simplify118.0ms

prune323.0ms

regimes315.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling