Details

Time bar (total: 59.4s)

sample68.0ms

Algorithm
intervals
Results
38.0ms331×body80valid

simplify8.0s

Counts
1 → 1
Iterations
IterNodes
done5001
584975
574886
564782
554689
544584
534495
524389
514298
504193
494098
483994
473903
463792
453703
443599
433506
423401
413312
403206
393115
383010
372919
362815
352724
342615
332526
322422
312329
302224
292135
282029
271938
261833
251740
241636
231545
221436
211347
201243
191150
181037
17959
16828
15660
14504
13421
12378
11340
10298
9266
8238
7209
6188
5138
495
367
248
124
011

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.3b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b
(* (* z 3.0) y)
0.2b
(/ y (* z 3.0))
8.3b
(/ t (* (* z 3.0) y))

rewrite301.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
25×add-sqr-sqrt
23×add-exp-log add-cube-cbrt associate-+l+ add-cbrt-cube
21×prod-diff
15×times-frac
9×pow1 add-log-exp
7×prod-exp cbrt-unprod
6×associate-/l*
5×cbrt-undiv fma-def div-exp div-inv
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* pow-prod-down
2×frac-2neg frac-add clear-num associate-/r* sum-log distribute-lft-out distribute-lft-out--
1×+-commutative associate-+l- sub-neg flip3-- flip3-+ diff-log associate-*l* *-commutative flip-- flip-+ difference-of-squares
Counts
4 → 115
Calls
4 calls:
195.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
37.0ms
(* (* z 3.0) y)
16.0ms
(/ y (* z 3.0))
43.0ms
(/ t (* (* z 3.0) y))

series312.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
43.0ms
(* (* z 3.0) y)
38.0ms
(/ y (* z 3.0))
66.0ms
(/ t (* (* z 3.0) y))

simplify3.0s

Counts
127 → 127
Iterations
IterNodes
done5000
22031
1508
0184

prune2.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize102.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b
(/ y (* z 3.0))
0.2b
(/ t (* z 3.0))
3.5b
(/ (/ t (* z 3.0)) y)

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
45×*-un-lft-identity
40×add-sqr-sqrt
38×add-cube-cbrt
23×add-exp-log associate-+l+ add-cbrt-cube
21×prod-diff
13×associate-/l*
10×div-inv
9×cbrt-undiv div-exp add-log-exp
5×fma-def associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg prod-exp clear-num cbrt-unprod
2×frac-add sum-log distribute-lft-out distribute-lft-out--
1×+-commutative associate-+l- sub-neg flip3-- flip3-+ diff-log flip-- flip-+ associate-/l/ difference-of-squares
Counts
4 → 143
Calls
4 calls:
197.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
25.0ms
(/ y (* z 3.0))
16.0ms
(/ t (* z 3.0))
32.0ms
(/ (/ t (* z 3.0)) y)

series428.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
69.0ms
(/ y (* z 3.0))
41.0ms
(/ t (* z 3.0))
78.0ms
(/ (/ t (* z 3.0)) y)

simplify3.0s

Counts
155 → 155
Iterations
IterNodes
done5021
22091
1595
0230

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
0.2b
(/ t (* z 3.0))
0.3b
(* (/ 1 z) (/ y 3.0))
3.5b
(/ (/ t (* z 3.0)) y)

rewrite628.0ms

Algorithm
rewrite-expression-head
Rules
61×times-frac
55×add-sqr-sqrt
42×*-un-lft-identity
40×add-exp-log
38×add-cube-cbrt
30×add-cbrt-cube
15×div-exp
13×associate-*r* associate-*l*
11×cbrt-undiv
10×prod-exp associate-/l*
9×add-log-exp
8×div-inv
6×pow1 cbrt-unprod unswap-sqr
5×associate-+l+
4×expm1-log1p-u associate-/r* log1p-expm1-u
3×fma-def prod-diff
2×rec-exp frac-2neg 1-exp frac-add clear-num sum-log
1×+-commutative frac-times associate-+l- sub-neg flip3-- flip3-+ diff-log associate-*r/ pow-prod-down associate-*l/ *-commutative flip-- flip-+ associate-/l/ distribute-lft-out
Counts
4 → 157
Calls
4 calls:
72.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
29.0ms
(/ t (* z 3.0))
476.0ms
(* (/ 1 z) (/ y 3.0))
34.0ms
(/ (/ t (* z 3.0)) y)

series573.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
37.0ms
(/ t (* z 3.0))
54.0ms
(* (/ 1 z) (/ y 3.0))
308.0ms
(/ (/ t (* z 3.0)) y)

simplify6.1s

Counts
169 → 169
Iterations
IterNodes
done5027
23016
1799
0283

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (- (/ (/ y 3.0) z) (/ (/ t (* 3.0 z)) y)))
0.2b
(/ (/ y 3.0) z)
0.2b
(/ t (* 3.0 z))
3.5b
(/ (/ t (* 3.0 z)) y)

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
3084×times-frac
1621×add-sqr-sqrt
1579×*-un-lft-identity
1556×add-cube-cbrt
1108×prod-diff
1077×associate--r+
283×div-inv
23×add-exp-log add-cbrt-cube associate-/l*
19×difference-of-squares
10×cbrt-undiv div-exp
9×distribute-lft-out-- add-log-exp
7×associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg fma-neg diff-log clear-num
2×sub-neg prod-exp cbrt-unprod associate-/l/
1×flip3-- flip-- associate--r-
Counts
4 → 1277
Calls
4 calls:
1.0s
(- x (- (/ (/ y 3.0) z) (/ (/ t (* 3.0 z)) y)))
109.0ms
(/ (/ y 3.0) z)
16.0ms
(/ t (* 3.0 z))
31.0ms
(/ (/ t (* 3.0 z)) y)

series276.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(- x (- (/ (/ y 3.0) z) (/ (/ t (* 3.0 z)) y)))
35.0ms
(/ (/ y 3.0) z)
42.0ms
(/ t (* 3.0 z))
63.0ms
(/ (/ t (* 3.0 z)) y)

simplify4.3s

Counts
1289 → 1289
Iterations
IterNodes
done5000
02585

prune21.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes606.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done16
116
014

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.4s11136×body80valid