Details

Time bar (total: 21.0s)

sample84.0ms

Algorithm
intervals
Results
31.0ms426×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
51885
4805
3287
293
137
018

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.2b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.3b
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
2.0b
(/ (+ (* (* x 9.0) y) b) z)
10.6b
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

rewrite418.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
13×add-cbrt-cube add-exp-log
9×pow1
6×associate-/r* associate-/l* add-log-exp
4×associate-/l/
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
1×sub-neg flip3-+ diff-log div-sub associate-*l* *-commutative flip-+
Counts
4 → 89
Calls
4 calls:
14.0ms
(* (* x 9.0) y)
123.0ms
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
51.0ms
(/ (+ (* (* x 9.0) y) b) z)
227.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

series521.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* x 9.0) y)
203.0ms
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
88.0ms
(/ (+ (* (* x 9.0) y) b) z)
205.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

simplify1.6s

Counts
101 → 101
Iterations
IterNodes
done5001
22407
1459
0182

prune787.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.9b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
2.0b
(/ (+ (* (* x 9.0) y) b) z)
7.7b
(/ (/ (+ (* (* x 9.0) y) b) z) c)
7.9b
(/ (* (* 4.0 a) t) c)

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
87×times-frac
57×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
25×add-cbrt-cube add-exp-log
17×associate-/l*
9×pow1 associate-/r*
7×cbrt-undiv div-exp div-inv
6×prod-exp cbrt-unprod
4×add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down associate-/l/
1×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 140
Calls
4 calls:
26.0ms
(* (* x 9.0) y)
43.0ms
(/ (+ (* (* x 9.0) y) b) z)
45.0ms
(/ (/ (+ (* (* x 9.0) y) b) z) c)
17.0ms
(/ (* (* 4.0 a) t) c)

series206.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (* x 9.0) y)
77.0ms
(/ (+ (* (* x 9.0) y) b) z)
72.0ms
(/ (/ (+ (* (* x 9.0) y) b) z) c)
32.0ms
(/ (* (* 4.0 a) t) c)

simplify1.6s

Counts
152 → 152
Iterations
IterNodes
done5000
23768
1685
0268

prune1.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.4b

localize80.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt c)
2.0b
(/ (+ (* (* x 9.0) y) b) z)
4.2b
(* (/ (* 4.0 a) (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
7.7b
(/ (/ (+ (* (* x 9.0) y) b) z) c)

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
105×times-frac
77×add-sqr-sqrt
69×*-un-lft-identity add-cube-cbrt
52×add-exp-log
39×add-cbrt-cube
22×associate-*r*
18×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
16×associate-/l*
13×cbrt-prod
8×div-inv
6×pow1 associate-/r*
5×associate-*l*
4×add-log-exp
3×unswap-sqr associate-/l/
2×clear-num frac-2neg
1×frac-times flip3-+ pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative flip-+
Counts
4 → 172
Calls
4 calls:
1.0ms
(cbrt c)
39.0ms
(/ (+ (* (* x 9.0) y) b) z)
44.0ms
(* (/ (* 4.0 a) (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
57.0ms
(/ (/ (+ (* (* x 9.0) y) b) z) c)

series480.0ms

Counts
4 → 12
Calls
4 calls:
273.0ms
(cbrt c)
71.0ms
(/ (+ (* (* x 9.0) y) b) z)
74.0ms
(* (/ (* 4.0 a) (* (cbrt c) (cbrt c))) (/ t (cbrt c)))
62.0ms
(/ (/ (+ (* (* x 9.0) y) b) z) c)

simplify995.0ms

Counts
184 → 184
Iterations
IterNodes
done5001
1949
0327

prune1.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 2.9b

localize105.0ms

Local error

Found 4 expressions with local error:

3.9b
(cbrt (+ (* (* x 9.0) y) b))
3.9b
(cbrt (+ (* (* x 9.0) y) b))
3.9b
(cbrt (+ (* (* x 9.0) y) b))
4.2b
(* (/ (* 4.0 a) (* (cbrt c) (cbrt c))) (/ t (cbrt c)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
32×add-cbrt-cube
29×add-sqr-sqrt
22×associate-*r*
21×*-un-lft-identity times-frac add-cube-cbrt
19×cbrt-prod
18×prod-exp cbrt-unprod
13×cbrt-undiv div-exp
6×pow1 cbrt-div
5×associate-*l*
4×add-log-exp
3×flip3-+ pow1/3 flip-+ unswap-sqr
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 101
Calls
4 calls:
12.0ms
(cbrt (+ (* (* x 9.0) y) b))
12.0ms
(cbrt (+ (* (* x 9.0) y) b))
21.0ms
(cbrt (+ (* (* x 9.0) y) b))
78.0ms
(* (/ (* 4.0 a) (* (cbrt c) (cbrt c))) (/ t (cbrt c)))

series709.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(cbrt (+ (* (* x 9.0) y) b))
187.0ms
(cbrt (+ (* (* x 9.0) y) b))
214.0ms
(cbrt (+ (* (* x 9.0) y) b))
107.0ms
(* (/ (* 4.0 a) (* (cbrt c) (cbrt c))) (/ t (cbrt c)))

simplify2.1s

Counts
113 → 113
Iterations
IterNodes
done5000
23444
1621
0206

prune1.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 2.9b

regimes2.6s

Accuracy

35.3% (4.9b remaining)

Error of 8.3b against oracle of 3.4b and baseline of 11.0b

bsearch5.0ms

simplify23.0ms

Iterations
IterNodes
done69
169
053

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.8s12837×body80valid