Details

Time bar (total: 40.0s)

sample155.0ms

Algorithm
intervals
Results
76.0ms256×body80valid
14.0ms256×pre80true

simplify133.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt pow1 *-un-lft-identity associate-*r* add-exp-log add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×unpow-prod-down *-commutative
1×pow-to-exp pow-pow pow-exp fma-udef
Calls
4 calls:
Slowest
8.0ms
(* 1/6 (pow (* -2 (log u1)) 0.5))
2.0ms
(pow (* -2 (log u1)) 0.5)
2.0ms
(* u2 (* 2 PI))
0.0ms
(fma (cos (* u2 (* 2 PI))) (* 1/6 (pow (* -2 (log u1)) 0.5)) 0.5)

series1.8s

Calls
4 calls:
Slowest
1.0s
(* 1/6 (pow (* -2 (log u1)) 0.5))
378.0ms
(fma (cos (* u2 (* 2 PI))) (* 1/6 (pow (* -2 (log u1)) 0.5)) 0.5)
308.0ms
(pow (* -2 (log u1)) 0.5)
72.0ms
(* u2 (* 2 PI))

simplify1.2s

Calls
19 calls:
Slowest
331.0ms
(- (+ 0.5 (* 1/6 (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))) (* 1/3 (* (* (pow u2 2) (pow PI 2)) (pow (* (pow -2 1.0) (pow (log u1) 1.0)) 0.5))))
184.0ms
(+ (* 1/6 (* (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5) (cos (* 2 (* u2 PI))))) 0.5)
142.0ms
(pow (* -2 (- (log -1) (log (/ -1 u1)))) 0.5)
134.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)
112.0ms
(* 1/6 (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5))

prune817.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
0.5b
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))
0.4b
(* 1/6 (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))))
0.4b
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log
66×prod-exp
34×pow-to-exp pow-exp
12×associate-*r*
11×add-cbrt-cube
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×associate-*l*
4×expm1-log1p-u pow1 cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×unpow-prod-down pow-prod-down *-commutative pow-prod-up
2×cbrt-prod pow2 pow3
1×pow-plus pow1/3 rem-cbrt-cube
Calls
4 calls:
Slowest
38.0ms
(* 1/6 (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))))
37.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
24.0ms
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))
16.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))

series3.2s

Calls
4 calls:
Slowest
856.0ms
(* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5))
847.0ms
(* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))
768.0ms
(cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5)))
761.0ms
(* 1/6 (cbrt (* (* (pow (* -2 (log u1)) 0.5) (pow (* -2 (log u1)) 0.5)) (pow (* -2 (log u1)) 0.5))))

simplify12.2s

Calls
80 calls:
Slowest
481.0ms
(+ (+ (log (pow (* -2 (log u1)) 0.5)) (log (pow (* -2 (log u1)) 0.5))) (* (log (* -2 (log u1))) 0.5))
461.0ms
(+ (+ (log (pow (* -2 (log u1)) 0.5)) (log (pow (* -2 (log u1)) 0.5))) (* (log (* -2 (log u1))) 0.5))
422.0ms
(+ (+ (log (pow (* -2 (log u1)) 0.5)) (log (pow (* -2 (log u1)) 0.5))) (log (pow (* -2 (log u1)) 0.5)))
380.0ms
(+ (+ (log (pow (* -2 (log u1)) 0.5)) (* (log (* -2 (log u1))) 0.5)) (* (log (* -2 (log u1))) 0.5))
375.0ms
(+ (+ (* (log (* -2 (log u1))) 0.5) (log (pow (* -2 (log u1)) 0.5))) (log (pow (* -2 (log u1)) 0.5)))

prune1.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* -2 (log u1)) (* -2 (log u1)))
0.5b
(cbrt (pow (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) 0.5))
0.4b
(* 1/6 (cbrt (pow (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) 0.5)))
0.4b
(* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
11×add-cbrt-cube add-exp-log
9×associate-*r*
8×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow-plus pow-prod-up
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow2 *-commutative
2×unpow-prod-down associate-*l*
1×pow1/3 pow3
Calls
4 calls:
Slowest
28.0ms
(* 1/6 (cbrt (pow (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) 0.5)))
27.0ms
(* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1)))
13.0ms
(cbrt (pow (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) 0.5))
12.0ms
(* (* -2 (log u1)) (* -2 (log u1)))

series2.6s

Calls
4 calls:
Slowest
1.2s
(* 1/6 (cbrt (pow (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) 0.5)))
1.1s
(cbrt (pow (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) 0.5))
206.0ms
(* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1)))
182.0ms
(* (* -2 (log u1)) (* -2 (log u1)))

simplify4.7s

Calls
48 calls:
Slowest
788.0ms
(* (* (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1)))) (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))))
724.0ms
(* (* (* (* (* -2 (log u1)) (* -2 (log u1))) (* (* -2 (log u1)) (* -2 (log u1)))) (* (* -2 (log u1)) (* -2 (log u1)))) (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))))
358.0ms
(* 4 (pow (- (log -1) (log (/ -1 u1))) 2))
269.0ms
(* -8 (pow (- (log -1) (log (/ -1 u1))) 3))
265.0ms
(* (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))) (* (* (* -2 (log u1)) (* -2 (log u1))) (* -2 (log u1))))

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5)))
0.5b
(cbrt (* (* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5))) (* 1/6 (pow (* -2 (log u1)) 0.5))))
0.4b
(* 1/6 (pow (* -2 (log u1)) 0.5))
0.4b
(* 1/6 (pow (* -2 (log u1)) 0.5))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 associate-*r*
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×unpow-prod-down
1×cbrt-prod pow2 pow-plus pow1/3 associate-*l* pow3 pow-prod-down prod-exp pow-prod-up rem-cbrt-cube cbrt-unprod
Calls
4 calls:
Slowest
37.0ms
(cbrt (* (* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5))) (* 1/6 (pow (* -2 (log u1)) 0.5))))
13.0ms
(* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5)))
3.0ms
(* 1/6 (pow (* -2 (log u1)) 0.5))
3.0ms
(* 1/6 (pow (* -2 (log u1)) 0.5))

series3.5s

Calls
4 calls:
Slowest
949.0ms
(cbrt (* (* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5))) (* 1/6 (pow (* -2 (log u1)) 0.5))))
853.0ms
(* 1/6 (pow (* -2 (log u1)) 0.5))
848.0ms
(* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5)))
826.0ms
(* 1/6 (pow (* -2 (log u1)) 0.5))

simplify2.0s

Calls
28 calls:
Slowest
437.0ms
(* 1/6 (pow (* (pow -1 1.0) (* (pow -2 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5))
387.0ms
(* (* (* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5))) (* 1/6 (pow (* -2 (log u1)) 0.5))) (* (* (* 1/6 (pow (* -2 (log u1)) 0.5)) (* 1/6 (pow (* -2 (log u1)) 0.5))) (* 1/6 (pow (* -2 (log u1)) 0.5))))
152.0ms
(* 1/6 (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5))
145.0ms
(+ (log (* 1/6 (pow (* -2 (log u1)) 0.5))) (log (* 1/6 (pow (* -2 (log u1)) 0.5))))
138.0ms
(* 1/6 (pow (* (pow (- (log -1) (log (/ -1 u1))) 1.0) (pow -2 1.0)) 0.5))

prune1.1s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes543.0ms

Accuracy

0% (0.5b remaining)

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

bsearch4.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.9s8000×body80valid
390.0ms8000×pre80true