Details

Time bar (total: 50.8s)

sample203.0ms

Algorithm
intervals
Results
36.0ms256×body80valid
7.0ms256×pre80true

simplify6.5s

Counts
1 → 1
Iterations
IterNodes
done5000
51408
4387
3148
272
135
018

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
25×add-sqr-sqrt
16×associate-*l*
15×*-un-lft-identity add-cube-cbrt
12×prod-exp
11×times-frac add-cbrt-cube
9×pow1
8×associate-*r*
6×pow-exp
5×unswap-sqr
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×pow-to-exp pow-unpow cbrt-unprod
2×unpow-prod-down pow-pow pow-prod-down *-commutative
1×cbrt-undiv associate-*l/ fma-udef div-inv
Counts
4 → 96
Calls
4 calls:
1.0ms
(fma (cos (* 2.0 (* PI u2))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 0.5)
9.0ms
(pow (* -2.0 (log u1)) 0.5)
9.0ms
(* PI u2)
62.0ms
(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

series3.2s

Counts
4 → 12
Calls
4 calls:
966.0ms
(fma (cos (* 2.0 (* PI u2))) (* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5)) 0.5)
546.0ms
(pow (* -2.0 (log u1)) 0.5)
26.0ms
(* PI u2)
1.7s
(* (/ 1.0 6.0) (pow (* -2.0 (log u1)) 0.5))

simplify3.2s

Counts
108 → 108
Iterations
IterNodes
done5000
21376
1472
0198

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
17×*-un-lft-identity add-exp-log add-cube-cbrt
15×times-frac
9×pow1
8×add-cbrt-cube
5×unpow-prod-down associate-/l* sqr-pow
4×expm1-log1p-u div-exp pow-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow associate-/r* associate-*r* associate-*l* prod-exp
2×pow-to-exp pow-pow pow-prod-down
1×cbrt-undiv clear-num frac-2neg *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
4 → 93
Calls
4 calls:
1.0ms
(fma (cos (* 2.0 (* PI u2))) (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) 0.5)
9.0ms
(pow (* -2.0 (log u1)) 0.5)
9.0ms
(* PI u2)
26.0ms
(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

series3.0s

Counts
4 → 12
Calls
4 calls:
922.0ms
(fma (cos (* 2.0 (* PI u2))) (* 1.0 (/ (pow (* -2.0 (log u1)) 0.5) 6.0)) 0.5)
524.0ms
(pow (* -2.0 (log u1)) 0.5)
47.0ms
(* PI u2)
1.5s
(/ (pow (* -2.0 (log u1)) 0.5) 6.0)

simplify6.0s

Counts
105 → 105
Iterations
IterNodes
done5126
33768
21078
1408
0190

prune1.7s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
75×add-sqr-sqrt
73×*-un-lft-identity add-cube-cbrt
49×add-exp-log
26×div-exp
24×associate-/r*
17×unpow-prod-down sqr-pow
13×add-cbrt-cube
10×pow1 pow-exp
6×prod-exp div-inv associate-/l*
5×pow-to-exp rec-exp 1-exp
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow associate-*r* associate-*l*
2×clear-num pow-pow frac-2neg pow-prod-down
1×associate-/r/ *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 194
Calls
4 calls:
8.0ms
(pow (* -2.0 (log u1)) 0.5)
9.0ms
(* PI u2)
10.0ms
(/ 6.0 (pow (* -2.0 (log u1)) 0.5))
20.0ms
(/ 1 (/ 6.0 (pow (* -2.0 (log u1)) 0.5)))

series3.9s

Counts
4 → 12
Calls
4 calls:
572.0ms
(pow (* -2.0 (log u1)) 0.5)
31.0ms
(* PI u2)
1.7s
(/ 6.0 (pow (* -2.0 (log u1)) 0.5))
1.6s
(/ 1 (/ 6.0 (pow (* -2.0 (log u1)) 0.5)))

simplify3.9s

Counts
206 → 206
Iterations
IterNodes
done5001
21786
1744
0306

prune3.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize83.0ms

Local error

Found 4 expressions with local error:

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

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
428×add-exp-log
268×prod-exp
214×pow-exp
168×div-exp
94×pow-to-exp
84×rec-exp 1-exp
21×add-sqr-sqrt
18×add-cbrt-cube
14×*-un-lft-identity associate-*r* add-cube-cbrt
9×times-frac
8×pow1 unpow-prod-down
6×associate-*l* associate-/l*
4×expm1-log1p-u cbrt-undiv cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×div-inv pow-flip
2×clear-num associate-/r* frac-2neg pow-prod-down *-commutative inv-pow sqr-pow
Counts
4 → 264
Calls
4 calls:
19.0ms
(* PI u2)
69.0ms
(/ 1 (* 6.0 (pow (/ 1 (* (pow -2.0 1.0) (pow (log u1) 1.0))) 0.5)))
97.0ms
(* 6.0 (pow (/ 1 (* (pow -2.0 1.0) (pow (log u1) 1.0))) 0.5))
63.0ms
(/ 1 (* (pow -2.0 1.0) (pow (log u1) 1.0)))

series5.1s

Counts
4 → 12
Calls
4 calls:
32.0ms
(* PI u2)
1.5s
(/ 1 (* 6.0 (pow (/ 1 (* (pow -2.0 1.0) (pow (log u1) 1.0))) 0.5)))
1.9s
(* 6.0 (pow (/ 1 (* (pow -2.0 1.0) (pow (log u1) 1.0))) 0.5))
1.7s
(/ 1 (* (pow -2.0 1.0) (pow (log u1) 1.0)))

simplify3.8s

Counts
276 → 276
Iterations
IterNodes
done5001
21615
1741
0316

prune1.6s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes1.2s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done21
121
017

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.5s8000×body80valid
344.0ms8000×pre80true