Details

Time bar (total: 23.5s)

sample97.0ms

Algorithm
intervals
Results
41.0ms391×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01819
13719
29319
328419
479719
5184219
done500017

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.2b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.2b
(* (* a 4.0) t)
3.9b
(/ (+ (* (* x 9.0) y) b) z)
11.0b
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* a 4.0) t)) c)

rewrite561.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×add-exp-log times-frac add-cbrt-cube
14×pow1
6×associate-*r* pow-prod-down prod-exp associate-/r* cbrt-unprod associate-/l*
4×associate-/l/ add-log-exp
2×cbrt-undiv frac-2neg div-exp associate-*l* clear-num *-commutative div-inv
1×flip3-- flip3-+ div-sub flip-- flip-+
Counts
4 → 95
Calls
4 calls:
26.0ms
(* (* x 9.0) y)
28.0ms
(* (* a 4.0) t)
74.0ms
(/ (+ (* (* x 9.0) y) b) z)
428.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* a 4.0) t)) c)

series421.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* x 9.0) y)
33.0ms
(* (* a 4.0) t)
100.0ms
(/ (+ (* (* x 9.0) y) b) z)
255.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* a 4.0) t)) c)

simplify1.9s

Counts
107 → 107
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02031664
15011628
226451470
done50011464

prune810.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.9b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 9.0 (/ (* x y) (* z c)))
4.6b
(/ b (* z c))
8.2b
(/ (* t a) c)
11.4b
(/ (* x y) (* z c))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
44×add-exp-log add-cbrt-cube
15×prod-exp cbrt-unprod
12×cbrt-undiv add-sqr-sqrt div-exp
10×add-cube-cbrt *-un-lft-identity
8×times-frac
6×pow1
5×associate-*r* associate-/r* associate-/l*
4×div-inv add-log-exp
3×frac-2neg associate-*l* clear-num
1×associate-*r/ pow-prod-down *-commutative unswap-sqr
Counts
4 → 92
Calls
4 calls:
40.0ms
(* 9.0 (/ (* x y) (* z c)))
11.0ms
(/ b (* z c))
15.0ms
(/ (* t a) c)
27.0ms
(/ (* x y) (* z c))

series196.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* 9.0 (/ (* x y) (* z c)))
33.0ms
(/ b (* z c))
35.0ms
(/ (* t a) c)
56.0ms
(/ (* x y) (* z c))

simplify1.6s

Counts
104 → 104
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01601082
14311049
22449827
done5000815

prune757.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.5b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 9.0 (/ (* x y) (* z c)))
4.6b
(/ b (* z c))
5.8b
(/ t (/ c a))
11.4b
(/ (* x y) (* z c))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
52×add-sqr-sqrt
50×add-cube-cbrt *-un-lft-identity
44×add-exp-log add-cbrt-cube
15×associate-/r*
14×prod-exp cbrt-unprod
13×cbrt-undiv div-exp
8×div-inv
7×associate-/l*
6×pow1
5×associate-*r*
4×add-log-exp
3×frac-2neg associate-*l* clear-num
1×associate-*r/ pow-prod-down associate-/r/ *-commutative unswap-sqr
Counts
4 → 141
Calls
4 calls:
40.0ms
(* 9.0 (/ (* x y) (* z c)))
11.0ms
(/ b (* z c))
13.0ms
(/ t (/ c a))
26.0ms
(/ (* x y) (* z c))

series179.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* 9.0 (/ (* x y) (* z c)))
31.0ms
(/ b (* z c))
32.0ms
(/ t (/ c a))
48.0ms
(/ (* x y) (* z c))

simplify1.8s

Counts
153 → 153
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02601776
16851699
234351449
done50011435

prune1.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 9.0 (/ x z))
4.6b
(/ b (* z c))
5.8b
(/ t (/ c a))
11.2b
(* (* 9.0 (/ x z)) (/ y c))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
68×add-sqr-sqrt
63×add-cube-cbrt *-un-lft-identity
40×add-exp-log add-cbrt-cube
26×associate-*r*
14×associate-/r*
13×prod-exp cbrt-unprod
11×pow1 cbrt-undiv div-exp
8×div-inv
6×associate-/l*
4×associate-*r/ associate-*l* pow-prod-down add-log-exp
2×frac-2neg clear-num *-commutative unswap-sqr
1×frac-times associate-*l/ associate-/r/
Counts
4 → 162
Calls
4 calls:
20.0ms
(* 9.0 (/ x z))
12.0ms
(/ b (* z c))
13.0ms
(/ t (/ c a))
57.0ms
(* (* 9.0 (/ x z)) (/ y c))

series168.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 9.0 (/ x z))
30.0ms
(/ b (* z c))
33.0ms
(/ t (/ c a))
77.0ms
(* (* 9.0 (/ x z)) (/ y c))

simplify3.2s

Counts
174 → 174
Iterations

Useful iterations: 2 (800.0ms)

IterNodesCost
03171915
18671823
248011597
done50001597

prune1.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0b

regimes3.4s

Accuracy

66.1% (3.4b remaining)

Error of 3.5b against oracle of 0.0b and baseline of 10.1b

bsearch5.0ms

simplify14.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
056202
176202
done76202

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.7s12943×body80valid