Details

Time bar (total: 5.1m)

sample276.0ms

Algorithm
intervals
Results
130.0ms256×body80valid
22.0ms256×pre80true

simplify809.0ms

Calls
1 calls:
Slowest
809.0ms
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 0.5)) (cos (* (* 2 PI) u2))) 0.5)

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
65×unpow-prod-down
63×add-sqr-sqrt
51×times-frac
46×*-un-lft-identity add-cube-cbrt
35×associate-*r*
21×associate-*l*
20×add-exp-log
17×pow1 associate-/l*
11×add-cbrt-cube
9×unswap-sqr
7×*-commutative
5×prod-exp log-pow sqr-pow
4×expm1-log1p-u div-exp pow-prod-down pow-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow associate-/r* cbrt-unprod
2×pow-to-exp pow-pow
1×cbrt-undiv clear-num frac-2neg fma-udef div-inv
Calls
4 calls:
Slowest
39.0ms
(/ (pow (* -2 (log u1)) 0.5) 6)
25.0ms
(pow (* -2 (log u1)) 0.5)
21.0ms
(* u2 (* 2 PI))
0.0ms
(fma (cos (* u2 (* 2 PI))) (/ (pow (* -2 (log u1)) 0.5) 6) 0.5)

series2.2s

Calls
4 calls:
Slowest
1.1s
(/ (pow (* -2 (log u1)) 0.5) 6)
445.0ms
(fma (cos (* u2 (* 2 PI))) (/ (pow (* -2 (log u1)) 0.5) 6) 0.5)
347.0ms
(pow (* -2 (log u1)) 0.5)
259.0ms
(* u2 (* 2 PI))

simplify30.9s

Calls
177 calls:
Slowest
825.0ms
(+ (* 1/6 (* (cos (* 2 (* u2 PI))) (pow (* (pow -1 1.0) (* (pow -2 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))) 0.5)
715.0ms
(/ (pow (* (sqrt -2) (sqrt (log u1))) 0.5) (sqrt 6))
644.0ms
(* 1/6 (pow (* (pow -1 1.0) (* (pow -2 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
530.0ms
(/ (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)) (* (* 6 6) 6))
525.0ms
(/ (pow (* -2 (sqrt (log u1))) 0.5) 1)

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
420×times-frac
270×add-sqr-sqrt
234×unpow-prod-down
228×*-un-lft-identity
227×add-cube-cbrt
89×associate-/r*
87×associate-*r*
60×associate-*l*
52×add-exp-log
31×pow1
26×div-exp
23×associate-/r/
22×unswap-sqr
20×*-commutative
18×log-pow sqr-pow
16×add-cbrt-cube
10×pow-exp associate-/l*
8×prod-exp
6×div-inv
5×pow-to-exp rec-exp 1-exp
4×expm1-log1p-u cbrt-undiv clear-num pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow frac-2neg cbrt-unprod
2×pow-pow remove-double-div
1×pow-flip inv-pow
Calls
4 calls:
Slowest
56.0ms
(/ 1 (/ 6 (pow (* -2 (log u1)) 0.5)))
38.0ms
(* u2 (* 2 PI))
22.0ms
(pow (* -2 (log u1)) 0.5)
14.0ms
(/ 6 (pow (* -2 (log u1)) 0.5))

series2.5s

Calls
4 calls:
Slowest
1.0s
(/ 6 (pow (* -2 (log u1)) 0.5))
968.0ms
(/ 1 (/ 6 (pow (* -2 (log u1)) 0.5)))
399.0ms
(pow (* -2 (log u1)) 0.5)
65.0ms
(* u2 (* 2 PI))

simplify2.3m

Calls
601 calls:
Slowest
1.3s
(/ 1 (/ 1 (pow (* -2 1) 0.5)))
923.0ms
(/ 1 (/ 1 (pow (* -2 (log u1)) (/ 0.5 2))))
878.0ms
(* 6 (pow (/ 1 (* (pow -1 1.0) (* (pow -2 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5))
849.0ms
(/ 1 (/ 1 (pow (* -2 (* (cbrt (log u1)) (cbrt (log u1)))) 0.5)))
843.0ms
(/ (sqrt 1) (/ 1 (pow (* -2 (sqrt (log u1))) 0.5)))

prune4.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
131×unpow-prod-down
97×add-sqr-sqrt
68×add-exp-log unswap-sqr
59×pow-exp prod-exp
50×associate-*l*
38×sqr-pow
31×*-un-lft-identity
29×pow-to-exp associate-*r*
27×pow-prod-down
22×add-cube-cbrt
21×pow-unpow
19×pow1
17×pow-pow
8×add-cbrt-cube
4×distribute-lft-neg-in expm1-log1p-u distribute-rgt-neg-in *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×log-pow cbrt-unprod
1×neg-mul-1 fma-udef
Calls
4 calls:
Slowest
189.0ms
(pow (* (* (pow -2 1.0) (pow (- (log u1)) 1.0)) (pow -1 1.0)) 0.5)
42.0ms
(* 1/6 (cos (* 2 (* u2 PI))))
11.0ms
(* u2 PI)
1.0ms
(fma (* 1/6 (cos (* 2 (* u2 PI)))) (pow (* (* (pow -2 1.0) (pow (- (log u1)) 1.0)) (pow -1 1.0)) 0.5) 0.5)

series2.7s

Calls
4 calls:
Slowest
1.7s
(pow (* (* (pow -2 1.0) (pow (- (log u1)) 1.0)) (pow -1 1.0)) 0.5)
844.0ms
(fma (* 1/6 (cos (* 2 (* u2 PI)))) (pow (* (* (pow -2 1.0) (pow (- (log u1)) 1.0)) (pow -1 1.0)) 0.5) 0.5)
75.0ms
(* 1/6 (cos (* 2 (* u2 PI))))
33.0ms
(* u2 PI)

simplify43.1s

Calls
157 calls:
Slowest
1.0s
(pow (* (* (pow -2 (/ 1.0 2)) (pow (- (log u1)) (/ 1.0 2))) (pow (sqrt -1) 1.0)) 0.5)
822.0ms
(* (log (* (* (pow -2 1.0) (pow (- (log u1)) 1.0)) (pow -1 1.0))) 0.5)
792.0ms
(* (* (pow -2 (* (cbrt 1.0) (cbrt 1.0))) (pow (- (log u1)) (* (cbrt 1.0) (cbrt 1.0)))) (pow -1 (* (cbrt 1.0) (cbrt 1.0))))
772.0ms
(pow (* (* (pow (sqrt -2) 1.0) (pow (- (log u1)) (/ 1.0 2))) (pow -1 (/ 1.0 2))) 0.5)
745.0ms
(pow (* (* (pow -2 (/ 1.0 2)) (pow (sqrt (- (log u1))) 1.0)) (pow -1 (/ 1.0 2))) 0.5)

prune2.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.3b
(exp (- (log (/ 6 (pow (* -2 (log u1)) 0.5)))))
0.3b
(/ 6 (pow (* -2 (log u1)) 0.5))
0.2b
(log (/ 6 (pow (* -2 (log u1)) 0.5)))
0.2b
(* u2 (* 2 PI))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
153×times-frac
143×unpow-prod-down
139×add-sqr-sqrt
111×*-un-lft-identity
110×log-prod add-cube-cbrt
59×associate-*r*
55×distribute-neg-in exp-sum
39×associate-*l*
34×associate-/r*
26×add-exp-log
23×pow1 log-div
15×unswap-sqr
14×log-pow
13×*-commutative
12×exp-prod
11×add-cbrt-cube sqr-pow
8×div-exp
7×associate-/l*
6×add-log-exp
5×rem-log-exp prod-exp
4×distribute-lft-neg-in expm1-log1p-u distribute-rgt-neg-in pow-exp insert-posit16 log1p-expm1-u
3×clear-num pow-prod-down cbrt-unprod div-inv rem-exp-log
2×pow-to-exp frac-2neg log-rec neg-log
1×neg-sub0 exp-neg cbrt-undiv neg-mul-1 exp-diff
Calls
4 calls:
Slowest
43.0ms
(exp (- (log (/ 6 (pow (* -2 (log u1)) 0.5)))))
20.0ms
(/ 6 (pow (* -2 (log u1)) 0.5))
17.0ms
(log (/ 6 (pow (* -2 (log u1)) 0.5)))
17.0ms
(* u2 (* 2 PI))

series3.9s

Calls
4 calls:
Slowest
1.4s
(exp (- (log (/ 6 (pow (* -2 (log u1)) 0.5)))))
1.3s
(log (/ 6 (pow (* -2 (log u1)) 0.5)))
1.2s
(/ 6 (pow (* -2 (log u1)) 0.5))
45.0ms
(* u2 (* 2 PI))

simplify1.0m

Calls
313 calls:
Slowest
1.3s
(log (/ (* (cbrt 6) (cbrt 6)) (pow (* -2 (* (cbrt (log u1)) (cbrt (log u1)))) 0.5)))
1.0s
(exp (- (log (/ (sqrt 6) (pow (* -2 (* (cbrt (log u1)) (cbrt (log u1)))) 0.5)))))
835.0ms
(* 6 (pow (/ 1 (* (pow -1 1.0) (* (pow -2 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5))
687.0ms
(log (/ (* (cbrt 6) (cbrt 6)) (pow (* -2 (sqrt (log u1))) 0.5)))
648.0ms
(log (/ (* (cbrt 6) (cbrt 6)) (pow (* (sqrt -2) (sqrt (log u1))) 0.5)))

prune4.3s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes384.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.3s8000×body80valid
447.0ms8000×pre80true