Details

Time bar (total: 52.4s)

sample445.0ms

Algorithm
intervals
Results
183.0ms256×body80valid
20.0ms256×pre80true

simplify4.0s

Counts
1 → 1

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize40.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.1b
(+ 0.5 (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))

rewrite138.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×+-commutative sum-log flip3-+ flip-+
Counts
4 → 74
Calls
4 calls:
Slowest
85.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
29.0ms
(+ 0.5 (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
12.0ms
(* u2 (* 2 PI))
7.0ms
(pow (* -2 (log u1)) 0.5)

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
572.0ms
(+ 0.5 (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
550.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
373.0ms
(pow (* -2 (log u1)) 0.5)
62.0ms
(* u2 (* 2 PI))

simplify2.5s

Counts
86 → 86

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log
12×pow1
11×add-sqr-sqrt add-cbrt-cube
9×prod-exp
8×*-un-lft-identity associate-*l* add-cube-cbrt
6×add-log-exp
4×associate-*r* pow-prod-down pow-exp cbrt-unprod insert-posit16
3×pow-unpow sqr-pow
2×pow-to-exp unpow-prod-down pow-pow *-commutative unswap-sqr
1×+-commutative sum-log flip3-+ flip-+
Counts
4 → 73
Calls
4 calls:
Slowest
17.0ms
(+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) 1/6) (cos (* u2 (* 2 PI)))))
12.0ms
(* u2 (* 2 PI))
11.0ms
(* (pow (* -2 (log u1)) 0.5) 1/6)
5.0ms
(pow (* -2 (log u1)) 0.5)

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.0s
(* (pow (* -2 (log u1)) 0.5) 1/6)
552.0ms
(+ 0.5 (* (* (pow (* -2 (log u1)) 0.5) 1/6) (cos (* u2 (* 2 PI)))))
379.0ms
(pow (* -2 (log u1)) 0.5)
54.0ms
(* u2 (* 2 PI))

simplify2.4s

Counts
85 → 85

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
0.5b
(/ (- (* 0.5 0.5) (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (- 0.5 (* (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.4b
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))

rewrite582.0ms

Algorithm
rewrite-expression-head
Rules
424×add-exp-log
361×prod-exp
80×pow-exp
52×add-cbrt-cube
40×pow-to-exp
33×cbrt-unprod
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×pow1 associate-*l*
4×insert-posit16 associate-/l* add-log-exp difference-of-squares
3×associate-/r* associate-*r* *-commutative
2×unpow-prod-down flip3-- associate-/r/ flip-- sqr-pow associate-/l/
1×pow2 cbrt-undiv clear-num frac-2neg pow-plus div-sub swap-sqr div-exp pow-prod-down pow-sqr pow-prod-up div-inv
Counts
4 → 194
Calls
4 calls:
Slowest
371.0ms
(* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (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)))))
77.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
43.0ms
(/ (- (* 0.5 0.5) (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (- 0.5 (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))))

series3.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.1s
(/ (- (* 0.5 0.5) (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))) (- 0.5 (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))))
678.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))
636.0ms
(* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
595.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))

simplify1.6s

Counts
206 → 206

prune3.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))))
0.5b
(* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (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))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))) (* (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)))))

rewrite2.0s

Algorithm
rewrite-expression-head
Rules
5535×add-exp-log
5230×prod-exp
1052×pow-exp
526×pow-to-exp
216×add-cbrt-cube
171×cbrt-unprod
30×pow1
7×pow-plus associate-*l* pow-prod-up
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow-prod-down insert-posit16 add-log-exp
3×pow2 associate-*r* pow-sqr *-commutative
2×pow3
1×cbrt-prod unpow-prod-down pow1/3 swap-sqr rem-cbrt-cube sqr-pow
Counts
4 → 933
Calls
4 calls:
Slowest
924.0ms
(* (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
591.0ms
(cbrt (* (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))))
353.0ms
(* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
86.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))

series2.6s

Counts
4 → 12
Calls
4 calls:
Slowest
731.0ms
(* (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
679.0ms
(* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))))
628.0ms
(cbrt (* (* (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))) (* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))))
606.0ms
(* (pow (* -2 (log u1)) 0.5) (* 1/6 (cos (* u2 (* 2 PI)))))

simplify4.9s

Counts
945 → 945

prune15.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes604.0ms

Accuracy

0% (0.4b remaining)

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

bsearch5.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
2.0s8000×body80valid
402.0ms8000×pre80true