Details

Time bar (total: 21.5s)

sample63.0ms

Algorithm
intervals
Results
19.0ms241×body80valid
4.0ms11×body1280valid
3.0ms9×body640valid
2.0ms8×body320valid
1.0ms9×body160valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011245
122245
250245
3101245
4176245
5342245
6873245
72087245
done5005245

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.6b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
1.9b
(- (+ x y) (/ (* (- z t) y) (- a t)))
10.6b
(/ (* (- z t) y) (- a t))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
10×add-cbrt-cube add-exp-log
8×add-log-exp
7×add-cube-cbrt
5×pow1 associate-/r* times-frac associate-*l* distribute-lft-out--
4×flip3-- associate-*l/ flip-- difference-of-squares
3×associate-*r*
2×cbrt-undiv diff-log div-exp prod-exp associate-/r/ frac-sub cbrt-unprod associate-/l/
1×clear-num sum-log sub-neg frac-2neg flip3-+ pow-prod-down associate--l+ *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 70
Calls
3 calls:
22.0ms
(* (- z t) y)
51.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
22.0ms
(/ (* (- z t) y) (- a t))

series269.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(* (- z t) y)
155.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
80.0ms
(/ (* (- z t) y) (- a t))

simplify1.5s

Counts
79 → 79
Iterations

Useful iterations: done (1.5s)

IterNodesCost
015019548
139217529
2136617209
done500217129

prune585.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.9b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
2.6b
(- (+ x y) (/ (- z t) (/ (- a t) y)))
12.7b
(/ (- z t) (/ (- a t) y))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
203×times-frac
180×add-sqr-sqrt
176×*-un-lft-identity
87×add-cube-cbrt
45×difference-of-squares
44×distribute-lft-out--
22×associate-/r*
10×add-cbrt-cube add-exp-log associate-/l*
8×div-inv add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 flip3-- div-sub flip--
2×clear-num frac-2neg diff-log frac-sub
1×sum-log sub-neg flip3-+ associate--l+ associate-/r/ flip-+ distribute-lft-out associate--r-
Counts
3 → 197
Calls
3 calls:
23.0ms
(/ (- a t) y)
104.0ms
(- (+ x y) (/ (- z t) (/ (- a t) y)))
36.0ms
(/ (- z t) (/ (- a t) y))

series301.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(/ (- a t) y)
135.0ms
(- (+ x y) (/ (- z t) (/ (- a t) y)))
123.0ms
(/ (- z t) (/ (- a t) y))

simplify2.6s

Counts
206 → 206
Iterations

Useful iterations: done (2.6s)

IterNodesCost
030379408
193174880
2266073167
done500373046

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.9b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- z t) (- a t))
1.7b
(* (/ (- z t) (- a t)) y)
1.9b
(- (+ x y) (* (/ (- z t) (- a t)) y))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×*-un-lft-identity
51×times-frac
31×associate-*l*
27×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 associate-/r* associate-/l*
4×flip3-- associate-/r/ flip--
3×associate-*r* associate-*l/
2×cbrt-undiv diff-log div-exp prod-exp frac-sub cbrt-unprod div-inv unswap-sqr associate-/l/
1×clear-num sum-log sub-neg frac-2neg flip3-+ div-sub pow-prod-down associate--l+ *-commutative flip-+
Counts
3 → 118
Calls
3 calls:
21.0ms
(/ (- z t) (- a t))
58.0ms
(* (/ (- z t) (- a t)) y)
34.0ms
(- (+ x y) (* (/ (- z t) (- a t)) y))

series333.0ms

Counts
3 → 9
Calls
3 calls:
61.0ms
(/ (- z t) (- a t))
119.0ms
(* (/ (- z t) (- a t)) y)
153.0ms
(- (+ x y) (* (/ (- z t) (- a t)) y))

simplify1.7s

Counts
127 → 127
Iterations

Useful iterations: done (1.6s)

IterNodesCost
019034301
149932219
2163231938
done500531778

prune818.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.9b

localize53.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- z t))
0.5b
(* (cbrt (- z t)) (cbrt (- z t)))
1.7b
(* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))) y)
5.3b
(- (+ x y) (* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))) y))

rewrite526.0ms

Algorithm
rewrite-expression-head
Rules
89×associate-*l/
86×cbrt-div
52×frac-times
44×flip3-- flip--
34×frac-sub
33×cbrt-prod
32×add-sqr-sqrt
30×*-un-lft-identity
24×add-exp-log
20×pow1
17×flip3-+ associate-*r/ flip-+
16×add-cbrt-cube
14×add-cube-cbrt
12×prod-exp cbrt-unprod
11×associate-*r*
10×swap-sqr
9×associate-*l* add-log-exp
8×pow-prod-down
7×pow1/3 distribute-lft-out--
5×difference-of-squares
4×unswap-sqr
2×cbrt-undiv diff-log div-exp pow-sqr *-commutative pow-prod-up
1×pow2 sum-log sub-neg pow-plus associate--l+
Counts
4 → 161
Calls
4 calls:
6.0ms
(cbrt (- z t))
31.0ms
(* (cbrt (- z t)) (cbrt (- z t)))
358.0ms
(* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))) y)
114.0ms
(- (+ x y) (* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))) y))

series779.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(cbrt (- z t))
195.0ms
(* (cbrt (- z t)) (cbrt (- z t)))
160.0ms
(* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))) y)
214.0ms
(- (+ x y) (* (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))) y))

simplify4.8s

Counts
173 → 173
Iterations

Useful iterations: done (4.8s)

IterNodesCost
0382123657
11081100615
24045100114
done500292763

prune1.2s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.9b

regimes738.0ms

Accuracy

32.5% (5.1b remaining)

Error of 9.2b against oracle of 4.1b and baseline of 11.7b

bsearch137.0ms

Steps
ItersRangePoint
10
3.049148805707964e-158
3.010138754300118e-146
2.03673924264327e-146
9
-9.508957084505752e-194
-1.1856327996312082e-200
-9.38630846549751e-194

simplify9.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0291067
1361067
done361067

end0.0ms

sample1.3s

Algorithm
intervals
Results
558.0ms7309×body80valid
184.0ms463×body640valid
68.0ms257×body1280valid
57.0ms399×body320valid
26.0ms262×body160valid
6.0ms16×body2560valid