Details

Time bar (total: 33.1s)

sample239.0ms

Algorithm
intervals
Results
123.0ms256×body80valid
13.0ms256×pre80true

simplify3.5s

Counts
1 → 1

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
0.2b
(* u2 (* 2 PI))
0.1b
(pow (* -2 (log u1)) 0.5)
0.0b
(cos (* u2 (* 2 PI)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log
18×prod-exp
14×add-cbrt-cube
12×pow1
8×associate-*l*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow-exp cbrt-unprod
4×pow-prod-down insert-posit16 add-log-exp
3×pow-to-exp pow-unpow
2×unpow-prod-down pow-pow associate-*r* *-commutative sqr-pow
Counts
4 → 70
Calls
4 calls:
Slowest
104.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
30.0ms
(cos (* u2 (* 2 PI)))
17.0ms
(* u2 (* 2 PI))
10.0ms
(pow (* -2 (log u1)) 0.5)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
658.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
454.0ms
(pow (* -2 (log u1)) 0.5)
56.0ms
(* u2 (* 2 PI))
48.0ms
(cos (* u2 (* 2 PI)))

simplify2.6s

Counts
82 → 82

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
0.4b
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
0.2b
(* u2 (* 2 PI))
0.1b
(pow (* -2 (log u1)) 0.5)

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log
18×prod-exp
14×add-cbrt-cube
12×pow1
8×associate-*l*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow-exp cbrt-unprod add-log-exp
4×pow-prod-down insert-posit16
3×pow-to-exp pow-unpow
2×unpow-prod-down pow-pow associate-*r* *-commutative sqr-pow
1×exp-prod exp-to-pow rem-exp-log
Counts
4 → 73
Calls
4 calls:
Slowest
119.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
85.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
26.0ms
(* u2 (* 2 PI))
10.0ms
(pow (* -2 (log u1)) 0.5)

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
639.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
639.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
358.0ms
(pow (* -2 (log u1)) 0.5)
40.0ms
(* u2 (* 2 PI))

simplify2.5s

Counts
85 → 85

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
1.0b
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
0.5b
(* (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))))
0.4b
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))

rewrite490.0ms

Algorithm
rewrite-expression-head
Rules
32×sqrt-pow1
26×add-exp-log
25×add-sqr-sqrt
20×add-log-exp
19×pow1
18×sqrt-prod
15×prod-exp
14×exp-prod exp-to-pow
13×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube associate-*l*
9×pow-prod-up
8×pow1/2 swap-sqr
7×associate-*r* pow-prod-down pow-sqr
4×pow-exp cbrt-unprod insert-posit16 unswap-sqr
2×pow-to-exp *-commutative rem-exp-log
1×pow2 rem-square-sqrt unpow-prod-down pow-plus sqrt-unprod sqr-pow
Counts
4 → 109
Calls
4 calls:
Slowest
139.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
122.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
116.0ms
(* (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))))
110.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))

series2.6s

Counts
4 → 12
Calls
4 calls:
Slowest
692.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
691.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
602.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
592.0ms
(* (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))))

simplify2.3s

Counts
121 → 121

prune2.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0b

localize108.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
1.0b
(exp (exp (+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))))
0.6b
(+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))
0.5b
(* (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (sqrt (exp (exp (+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))))))

rewrite503.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
10×sqrt-prod
9×*-un-lft-identity add-cube-cbrt
8×pow1 add-log-exp
6×add-cbrt-cube associate-*r* associate-*l* add-exp-log
5×exp-prod
4×insert-posit16 unswap-sqr
3×pow-prod-down
2×sqrt-pow1 pow1/2 rem-exp-log
1×+-commutative associate-+r+ log-prod sum-log flip3-+ exp-to-pow sqrt-unprod exp-sum prod-exp *-commutative cbrt-unprod flip-+
Counts
4 → 68
Calls
4 calls:
Slowest
188.0ms
(* (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (sqrt (exp (exp (+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))))))
156.0ms
(exp (exp (+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))))
91.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
67.0ms
(+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
Slowest
1.3s
(* (sqrt (exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (sqrt (exp (exp (+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))))))
629.0ms
(exp (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
352.0ms
(exp (exp (+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))))
228.0ms
(+ (* (log (* -2 (log u1))) 0.5) (log (* 1/6 (cos (* u2 (* 2 PI))))))

simplify2.3s

Counts
80 → 80

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes529.0ms

Accuracy

0% (0.5b remaining)

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

bsearch15.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.3s8000×body80valid
377.0ms8000×pre80true