Details

Time bar (total: 22.7s)

sample188.0ms

Algorithm
intervals
Results
102.0ms873×body80nan
45.0ms289×body80valid

simplify2.9s

Counts
1 → 1

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (/ rand (sqrt (* 9 (- a (/ 1.0 3.0))))) (- a (/ 1.0 3.0)))
0.6b
(sqrt (* 9 (- a (/ 1.0 3.0))))
0.2b
(/ rand (sqrt (* 9 (- a (/ 1.0 3.0)))))
0.0b
(* 9 (- a (/ 1.0 3.0)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
28×*-un-lft-identity
27×times-frac
24×add-cube-cbrt
21×associate-*l*
13×add-cbrt-cube add-exp-log
12×associate-*r*
11×pow1
10×associate-*r/
8×sqrt-prod
6×flip3-- sqrt-div flip--
4×distribute-rgt-in associate-/r* sub-neg distribute-lft-in associate-/r/ insert-posit16 add-log-exp difference-of-squares
3×pow-prod-down prod-exp cbrt-unprod associate-/l* unswap-sqr
2×frac-times cbrt-undiv sqrt-pow1 div-exp *-commutative div-inv distribute-lft-out--
1×clear-num frac-2neg pow1/2 associate-*l/
Counts
4 → 125
Calls
4 calls:
Slowest
80.0ms
(* (/ rand (sqrt (* 9 (- a (/ 1.0 3.0))))) (- a (/ 1.0 3.0)))
26.0ms
(* 9 (- a (/ 1.0 3.0)))
21.0ms
(/ rand (sqrt (* 9 (- a (/ 1.0 3.0)))))
12.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))

series465.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
170.0ms
(/ rand (sqrt (* 9 (- a (/ 1.0 3.0)))))
141.0ms
(* (/ rand (sqrt (* 9 (- a (/ 1.0 3.0))))) (- a (/ 1.0 3.0)))
100.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))
53.0ms
(* 9 (- a (/ 1.0 3.0)))

simplify926.0ms

Counts
137 → 137

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(sqrt (* (- a (/ 1.0 3.0)) 9))
0.2b
(/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9)))
0.2b
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9))))
0.0b
(* (- a (/ 1.0 3.0)) 9)

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
87×add-sqr-sqrt
59×times-frac
50×*-un-lft-identity
33×associate-*r*
30×add-cube-cbrt
20×difference-of-squares
14×sqrt-prod
13×add-cbrt-cube add-exp-log
11×pow1
10×distribute-lft-out--
9×associate-*l*
8×associate-*l/
6×sqrt-div associate-/l*
5×flip3-- flip--
4×associate-/r* associate-/r/ insert-posit16 add-log-exp
3×pow-prod-down prod-exp cbrt-unprod unswap-sqr
2×cbrt-undiv sqrt-pow1 div-exp *-commutative div-inv associate-/l/
1×clear-num frac-2neg pow1/2 div-sub associate-*r/
Counts
4 → 140
Calls
4 calls:
Slowest
67.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9))))
31.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9)))
25.0ms
(* (- a (/ 1.0 3.0)) 9)
7.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9))

series366.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
120.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9))))
109.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9)))
72.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9))
65.0ms
(* (- a (/ 1.0 3.0)) 9)

simplify797.0ms

Counts
152 → 152

prune1.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(sqrt (* (- a (/ 1.0 3.0)) 9))
0.2b
(/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9)))
0.2b
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9))))
0.0b
(* (- a (/ 1.0 3.0)) 9)

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
87×add-sqr-sqrt
59×times-frac
50×*-un-lft-identity
33×associate-*r*
30×add-cube-cbrt
20×difference-of-squares
14×sqrt-prod
13×add-cbrt-cube add-exp-log
11×pow1
10×distribute-lft-out--
9×associate-*l*
8×associate-*l/
6×sqrt-div associate-/l*
5×flip3-- flip--
4×associate-/r* associate-/r/ insert-posit16 add-log-exp
3×pow-prod-down prod-exp cbrt-unprod unswap-sqr
2×cbrt-undiv sqrt-pow1 div-exp *-commutative div-inv associate-/l/
1×clear-num frac-2neg pow1/2 div-sub associate-*r/
Counts
4 → 140
Calls
4 calls:
Slowest
73.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9))))
32.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9)))
29.0ms
(* (- a (/ 1.0 3.0)) 9)
16.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9))

series433.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
154.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9))))
111.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* (- a (/ 1.0 3.0)) 9)))
87.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9))
81.0ms
(* (- a (/ 1.0 3.0)) 9)

simplify928.0ms

Counts
152 → 152

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(sqrt (* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9)))
0.3b
(* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9)))
0.3b
(* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9))
0.2b
(/ (- a (/ 1.0 3.0)) (sqrt (* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9))))

rewrite352.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
31×*-un-lft-identity
30×times-frac
28×pow1
20×add-exp-log
19×add-cube-cbrt
15×pow-prod-down
14×associate-*l/
13×add-cbrt-cube
12×difference-of-squares
9×prod-exp cbrt-unprod
8×sqrt-prod
7×associate-*r* associate-*l*
6×associate-/l* distribute-lft-out--
5×flip3-- flip--
4×associate-/r* sqrt-pow1 sqrt-div insert-posit16 add-log-exp
3×cbrt-prod
2×associate-/r/ *-commutative associate-/l/
1×cbrt-undiv clear-num frac-2neg pow1/2 div-sub div-exp div-inv unswap-sqr
Counts
4 → 120
Calls
4 calls:
Slowest
110.0ms
(* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9))
102.0ms
(sqrt (* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9)))
89.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9))))
47.0ms
(* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9)))

series737.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
251.0ms
(* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9))
196.0ms
(* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9)))
164.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9))))
125.0ms
(sqrt (* (* (- a (/ 1.0 3.0)) (* (cbrt 9) (cbrt 9))) (cbrt 9)))

simplify770.0ms

Counts
132 → 132

prune2.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes170.0ms

Accuracy

0% (0.1b remaining)

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

bsearch5.0ms

end0.0ms

sample6.6s

Algorithm
intervals
Results
3.9s27401×body80nan
1.8s9145×body80valid