Details

Time bar (total: 10.6s)

sample299.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
5.0ms256×pre80true

simplify64.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03410
17110
215410
346910
4181210
5500110

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.4b

Counts
2 → 1

localize20.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))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
5×*-commutative
4×unpow-prod-down
3×associate-*r* associate-*l* associate-*l/
2×sqr-pow
1×+-commutative pow-to-exp frac-2neg flip3-+ clear-num flip-+ div-inv
Counts
4 → 18
Calls
4 calls:
10.0ms
(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
2.0ms
(pow (* -2.0 (log u1)) 0.5)
3.0ms
(* (* 2.0 PI) u2)
8.0ms
(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

series1.5s

Counts
4 → 12
Calls
4 calls:
453.0ms
(+ (* (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) (cos (* (* 2.0 PI) u2))) 0.5)
265.0ms
(pow (* -2.0 (log u1)) 0.5)
32.0ms
(* (* 2.0 PI) u2)
722.0ms
(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

simplify134.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0229212
1756212
23943197
35001197

prune123.0ms

Filtered
30 candidates to 27 candidates (90.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New26430
Fresh000
Picked011
Done000
Total26531

Merged error: 0.1b

Counts
31 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.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 1.0))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
6×unpow-prod-down
5×*-commutative div-inv
3×times-frac associate-/r/ associate-/l* sqr-pow
2×frac-2neg associate-*l* clear-num
1×+-commutative pow-to-exp flip3-+ associate-/r* flip-+
Counts
4 → 23
Calls
4 calls:
10.0ms
(+ (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* (* 2.0 PI) u2))) 0.5)
2.0ms
(pow (* -2.0 (log u1)) 0.5)
3.0ms
(* (* 2.0 PI) u2)
5.0ms
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))

series1.4s

Counts
4 → 12
Calls
4 calls:
448.0ms
(+ (* (/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0)) (cos (* (* 2.0 PI) u2))) 0.5)
261.0ms
(pow (* -2.0 (log u1)) 0.5)
31.0ms
(* (* 2.0 PI) u2)
694.0ms
(/ (pow (* -2.0 (log u1)) 0.5) (/ 6.0 1.0))

simplify106.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0239248
1739245
23386230
35002229

prune136.0ms

Filtered
35 candidates to 31 candidates (88.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New32335
Fresh123
Picked011
Done011
Total33740

Merged error: 0.0b

Counts
40 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* -2.0 (log u1)) 0.5)
0.2b
(* (* 2.0 PI) u2)
0.2b
(/ 1 (/ (/ 6.0 1.0) (pow (* -2.0 (log u1)) 0.5)))
0.3b
(/ (/ 6.0 1.0) (pow (* -2.0 (log u1)) 0.5))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
11×div-inv
10×unpow-prod-down associate-/r* associate-/r/
7×clear-num *-commutative associate-/l/
6×times-frac
5×frac-2neg sqr-pow
2×associate-*l* remove-double-div associate-/l*
1×pow-to-exp inv-pow
Counts
4 → 40
Calls
4 calls:
3.0ms
(pow (* -2.0 (log u1)) 0.5)
3.0ms
(* (* 2.0 PI) u2)
5.0ms
(/ 1 (/ (/ 6.0 1.0) (pow (* -2.0 (log u1)) 0.5)))
4.0ms
(/ (/ 6.0 1.0) (pow (* -2.0 (log u1)) 0.5))

series1.7s

Counts
4 → 12
Calls
4 calls:
261.0ms
(pow (* -2.0 (log u1)) 0.5)
31.0ms
(* (* 2.0 PI) u2)
690.0ms
(/ 1 (/ (/ 6.0 1.0) (pow (* -2.0 (log u1)) 0.5)))
752.0ms
(/ (/ 6.0 1.0) (pow (* -2.0 (log u1)) 0.5))

simplify57.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 3 (53.0ms)

IterNodesCost
0199218
1567216
22153207
35002198

prune169.0ms

Filtered
52 candidates to 40 candidates (76.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New51152
Fresh134
Picked101
Done022
Total53659

Merged error: 0.0b

Counts
59 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-/r*
12×associate-*r*
10×sqr-pow
6×*-commutative
4×associate-*l* div-inv
3×pow-to-exp unpow-prod-down inv-pow unswap-sqr
2×frac-2neg pow-prod-down prod-exp clear-num
1×rec-exp pow-flip log-pow
Counts
4 → 30
Calls
4 calls:
3.0ms
(* (* 2.0 PI) u2)
6.0ms
(/ 1 (* 6.0 (pow (/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5)))
10.0ms
(/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))
4.0ms
(* 6.0 (pow (/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5))

series3.0s

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (* 2.0 PI) u2)
945.0ms
(/ 1 (* 6.0 (pow (/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5)))
990.0ms
(/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))
1.0s
(* 6.0 (pow (/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5))

simplify30.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0290284
11005281
25002280

prune181.0ms

Filtered
42 candidates to 35 candidates (83.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New40242
Fresh033
Picked011
Done112
Total41748

Merged error: 0.0b

Counts
48 → 7

regimes509.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03516
13516

end0.0ms

sample957.0ms

Algorithm
intervals
Results
672.0ms8000×body80valid
127.0ms8000×pre80true