Details

Time bar (total: 19.1s)

sample93.0ms

Algorithm
intervals
Results
54.0ms397×body80valid

simplify5.0s

Counts
1 → 1
Iterations

Useful iterations: 6 (3.2s)

IterNodesCost
01819
13719
29319
328219
468419
5153319
6341217
done500117

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.2b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.9b
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
3.6b
(/ (+ b (* (* x 9.0) y)) z)
9.9b
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) c)

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
13×add-exp-log add-cbrt-cube
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 flip3-- frac-2neg div-exp clear-num flip-- div-inv
1×sub-neg flip3-+ diff-log div-sub associate-*l* *-commutative flip-+
Counts
4 → 89
Calls
4 calls:
19.0ms
(* (* x 9.0) y)
49.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
41.0ms
(/ (+ b (* (* x 9.0) y)) z)
125.0ms
(/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) c)

series520.0ms

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

simplify1.3s

Counts
101 → 101
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01821845
14441785
215781639
done50001631

prune413.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.8b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.9b
(- (* (+ b (* (* x 9.0) y)) (/ 1 z)) (* (* a 4.0) t))
3.8b
(* (+ b (* (* x 9.0) y)) (/ 1 z))
9.9b
(/ (- (* (+ b (* (* x 9.0) y)) (/ 1 z)) (* (* a 4.0) t)) c)

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
21×add-cube-cbrt
20×add-exp-log times-frac
16×associate-*r* add-cbrt-cube
11×pow1
7×prod-exp
6×add-log-exp
5×cbrt-unprod
4×associate-*l* pow-prod-down
3×div-exp associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv frac-times flip3-- flip3-+ associate-*l/ *-commutative flip-- flip-+ div-inv associate-/l/
1×sub-neg rec-exp frac-2neg diff-log 1-exp div-sub associate-*r/ clear-num un-div-inv
Counts
4 → 100
Calls
4 calls:
20.0ms
(* (* x 9.0) y)
34.0ms
(- (* (+ b (* (* x 9.0) y)) (/ 1 z)) (* (* a 4.0) t))
35.0ms
(* (+ b (* (* x 9.0) y)) (/ 1 z))
52.0ms
(/ (- (* (+ b (* (* x 9.0) y)) (/ 1 z)) (* (* a 4.0) t)) c)

series564.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (* x 9.0) y)
217.0ms
(- (* (+ b (* (* x 9.0) y)) (/ 1 z)) (* (* a 4.0) t))
91.0ms
(* (+ b (* (* x 9.0) y)) (/ 1 z))
233.0ms
(/ (- (* (+ b (* (* x 9.0) y)) (/ 1 z)) (* (* a 4.0) t)) c)

simplify1.4s

Counts
112 → 112
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02122161
15481879
219841705
done50001697

prune481.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 8.8b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 1 (/ z (+ b (* (* x 9.0) y))))
0.9b
(- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t))
3.7b
(/ z (+ b (* (* x 9.0) y)))
9.9b
(/ (- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t)) c)

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
64×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
21×associate-/r*
19×add-exp-log
13×add-cbrt-cube
11×associate-/r/
9×div-exp associate-/l*
7×div-inv
6×add-log-exp
5×pow1 cbrt-undiv flip3-+ flip-+
3×frac-2neg clear-num
2×rec-exp flip3-- 1-exp flip-- associate-/l/
1×sub-neg pow-flip diff-log div-sub inv-pow
Counts
4 → 155
Calls
4 calls:
16.0ms
(/ 1 (/ z (+ b (* (* x 9.0) y))))
90.0ms
(- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t))
10.0ms
(/ z (+ b (* (* x 9.0) y)))
171.0ms
(/ (- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t)) c)

series549.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ 1 (/ z (+ b (* (* x 9.0) y))))
176.0ms
(- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t))
64.0ms
(/ z (+ b (* (* x 9.0) y)))
238.0ms
(/ (- (/ 1 (/ z (+ b (* (* x 9.0) y)))) (* (* a 4.0) t)) c)

simplify1.1s

Counts
167 → 167
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02643656
16193366
217142961
done50002927

prune566.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 8.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.9b
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
3.6b
(/ (+ b (* (* x 9.0) y)) z)
9.9b
(* (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) (/ 1 c))

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
21×add-cube-cbrt
20×add-exp-log times-frac
16×associate-*r* add-cbrt-cube
11×pow1
7×prod-exp
6×add-log-exp
5×cbrt-unprod
4×associate-*l* pow-prod-down
3×flip3-- div-exp associate-/r* flip-- associate-/l* unswap-sqr
2×cbrt-undiv frac-times associate-*l/ *-commutative div-inv associate-/l/
1×sub-neg rec-exp frac-2neg flip3-+ diff-log 1-exp associate-*r/ clear-num un-div-inv flip-+
Counts
4 → 99
Calls
4 calls:
30.0ms
(* (* x 9.0) y)
76.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
24.0ms
(/ (+ b (* (* x 9.0) y)) z)
230.0ms
(* (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) (/ 1 c))

series880.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (* x 9.0) y)
547.0ms
(- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t))
76.0ms
(/ (+ b (* (* x 9.0) y)) z)
229.0ms
(* (- (/ (+ b (* (* x 9.0) y)) z) (* (* a 4.0) t)) (/ 1 c))

simplify1.3s

Counts
111 → 111
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02072097
15081951
217241751
done50001743

prune371.0ms

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 8.1b

regimes753.0ms

Accuracy

79.9% (1.4b remaining)

Error of 7.5b against oracle of 6.1b and baseline of 13.1b

bsearch4.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
045175
159175
done59175

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.8s12913×body80valid