Details

Time bar (total: 19.2s)

sample65.0ms

Algorithm
intervals
Results
28.0ms894×body80nan
10.0ms286×body80valid

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01320
12720
27020
317220
435220
566720
6110220
7185120
8392520
done500020

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
0.1b
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
0.2b
(* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
0.3b
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
26×*-un-lft-identity times-frac
24×add-cube-cbrt associate-*l*
13×add-exp-log add-cbrt-cube
11×pow1
8×associate-*r/ sqrt-prod
6×flip3-- sqrt-div associate-*r* flip--
4×frac-times associate-/r* associate-/r/ add-log-exp
3×flip3-+ pow-prod-down associate-*l/ prod-exp cbrt-unprod flip-+ associate-/l* unswap-sqr
2×cbrt-undiv sqrt-pow1 div-exp *-commutative div-inv difference-of-squares
1×distribute-rgt-in frac-2neg distribute-lft-in pow1/2 clear-num distribute-lft-out--
Counts
4 → 114
Calls
4 calls:
29.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
9.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
37.0ms
(* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
9.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

series572.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
82.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
201.0ms
(* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
153.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

simplify1.1s

Counts
126 → 126
Iterations

Useful iterations: done (1.1s)

IterNodesCost
03032615
18222480
229762274
done50012268

prune392.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0)) (* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand))))
0.2b
(* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand)
0.3b
(/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0))))
0.3b
(* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0)) (* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
161×add-sqr-sqrt
132×times-frac
103×*-un-lft-identity
83×sqrt-prod
76×associate-*l*
75×add-cube-cbrt
59×cbrt-prod
49×add-exp-log
38×add-cbrt-cube
28×difference-of-squares
21×prod-exp cbrt-unprod
14×distribute-lft-out--
13×pow1
11×cbrt-undiv div-exp
9×associate-/r*
7×associate-*r*
6×associate-*l/ associate-/l* unswap-sqr
5×frac-times flip3-- pow-prod-down flip--
4×sqrt-div associate-/r/ add-log-exp
3×flip3-+ associate-*r/ *-commutative flip-+ div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num
Counts
4 → 238
Calls
4 calls:
31.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0)) (* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand))))
47.0ms
(* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand)
18.0ms
(/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0))))
55.0ms
(* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0)) (* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand))

series851.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0)) (* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand))))
236.0ms
(* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand)
114.0ms
(/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0))))
290.0ms
(* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 9.0)) (* (/ (cbrt 1.0) (sqrt (- a (/ 1.0 3.0)))) rand))

simplify1.5s

Counts
250 → 250
Iterations

Useful iterations: 2 (731.0ms)

IterNodesCost
04325683
111705361
245014657
done50004657

prune849.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- a (/ 1.0 3.0)))
0.1b
(* (- a (/ 1.0 3.0)) (+ 1.0 (/ (/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0)))) (sqrt 9.0))))
0.2b
(/ (/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0)))) (sqrt 9.0))
0.2b
(/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0))))

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
173×times-frac
122×add-sqr-sqrt
108×sqrt-prod
88×*-un-lft-identity
64×add-cube-cbrt
32×add-exp-log
22×difference-of-squares
20×add-cbrt-cube
18×sqrt-div
16×associate-/r/ associate-/l*
15×associate-/r*
13×div-exp
12×flip3-- flip--
11×distribute-lft-out--
9×div-inv
7×pow1 cbrt-undiv prod-exp
6×associate-*l*
4×frac-times associate-*r* add-log-exp
3×flip3-+ cbrt-unprod flip-+
2×pow-to-exp frac-2neg associate-*r/ associate-*l/ pow-exp clear-num
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down *-commutative associate-/l/ distribute-lft-out unswap-sqr
Counts
4 → 217
Calls
4 calls:
13.0ms
(sqrt (- a (/ 1.0 3.0)))
219.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (/ (/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0)))) (sqrt 9.0))))
28.0ms
(/ (/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0)))) (sqrt 9.0))
20.0ms
(/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0))))

series582.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(sqrt (- a (/ 1.0 3.0)))
171.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (/ (/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0)))) (sqrt 9.0))))
256.0ms
(/ (/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0)))) (sqrt 9.0))
115.0ms
(/ (* rand (pow (cbrt 1.0) 3)) (sqrt (- a (/ 1.0 3.0))))

simplify1.5s

Counts
229 → 229
Iterations

Useful iterations: done (1.5s)

IterNodesCost
04216051
111334878
238824654
done50004636

prune605.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1 (fabs (cbrt 9.0))) (/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0))))))
0.2b
(/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0))))
0.2b
(* (/ 1 (fabs (cbrt 9.0))) (/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0))))
0.3b
(/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0)))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
498×times-frac
318×sqrt-prod
317×add-sqr-sqrt
216×*-un-lft-identity
168×add-cube-cbrt
142×associate-*r*
96×cbrt-prod
80×add-exp-log
52×add-cbrt-cube
44×difference-of-squares
40×sqrt-div associate-/r/
35×div-exp
23×flip3-- prod-exp flip-- div-inv
22×distribute-lft-out--
21×cbrt-undiv
19×associate-*l*
18×associate-/r*
16×associate-/l*
13×cbrt-unprod unswap-sqr
8×pow1
5×frac-times
4×rec-exp 1-exp add-log-exp
3×flip3-+ associate-*r/ associate-*l/ flip-+
2×frac-2neg pow-prod-down clear-num *-commutative
1×distribute-rgt-in distribute-lft-in associate-/l/
Counts
4 → 442
Calls
4 calls:
31.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1 (fabs (cbrt 9.0))) (/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0))))))
15.0ms
(/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0))))
97.0ms
(* (/ 1 (fabs (cbrt 9.0))) (/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0))))
29.0ms
(/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0)))

series1.5s

Counts
4 → 12
Calls
4 calls:
451.0ms
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1 (fabs (cbrt 9.0))) (/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0))))))
116.0ms
(/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0))))
597.0ms
(* (/ 1 (fabs (cbrt 9.0))) (/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0))))
355.0ms
(/ (/ (* rand 1.0) (sqrt (- a (/ 1.0 3.0)))) (sqrt (cbrt 9.0)))

simplify898.0ms

Counts
454 → 454
Iterations

Useful iterations: done (880.0ms)

IterNodesCost
073112268
1230110986
done500110954

prune1.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes96.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01724
12024
done2024

end0.0ms

sample1.8s

Algorithm
intervals
Results
864.0ms27187×body80nan
319.0ms9111×body80valid