Details

Time bar (total: 38.0s)

sample65.0ms

Algorithm
intervals
Results
26.0ms359×body80valid

simplify8.8s

Counts
1 → 1
Iterations
IterNodes
done5001
584953
574862
564757
554663
544559
534468
524357
514268
504164
494071
483966
473877
463771
453680
443575
433481
423377
413286
403175
393086
382982
372889
362784
352695
342589
332498
322393
312299
302195
292104
281993
271904
261800
251707
241602
231513
221407
211316
201211
191117
181005
17925
16789
15625
14465
13385
12344
11307
10277
9257
8228
7201
6182
5138
495
367
248
124
011

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize44.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))
6.2b
(/ t (* (* z 3.0) y))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
23×add-cbrt-cube add-exp-log
14×*-un-lft-identity
9×add-sqr-sqrt pow1 add-cube-cbrt add-log-exp
7×prod-exp cbrt-unprod
6×times-frac associate-/l*
5×cbrt-undiv div-exp
4×insert-posit16
3×associate-*r* pow-prod-down
2×associate-+l+ clear-num associate-/r* sum-log frac-2neg frac-add div-inv distribute-lft-out
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative associate-+l- flip-+ flip-- distribute-lft-out--
Counts
4 → 85
Calls
4 calls:
122.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
31.0ms
(* (* z 3.0) y)
17.0ms
(/ y (* z 3.0))
30.0ms
(/ t (* (* z 3.0) y))

series260.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
32.0ms
(* (* z 3.0) y)
37.0ms
(/ y (* z 3.0))
53.0ms
(/ t (* (* z 3.0) y))

simplify3.3s

Counts
97 → 97
Iterations
IterNodes
done5002
21549
1407
0153

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
29×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
23×add-cbrt-cube add-exp-log
13×associate-/l*
9×cbrt-undiv div-exp
7×div-inv
6×add-log-exp
5×associate-/r*
4×pow1 insert-posit16
3×clear-num frac-2neg prod-exp cbrt-unprod
2×difference-of-squares
1×sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out-- associate-/l/
Counts
4 → 110
Calls
4 calls:
93.0ms
(- (/ (/ t (* 3.0 z)) y) (/ y (* 3.0 z)))
12.0ms
(/ y (* 3.0 z))
23.0ms
(/ t (* 3.0 z))
21.0ms
(/ (/ t (* 3.0 z)) y)

series250.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(- (/ (/ t (* 3.0 z)) y) (/ y (* 3.0 z)))
33.0ms
(/ y (* 3.0 z))
33.0ms
(/ t (* 3.0 z))
40.0ms
(/ (/ t (* 3.0 z)) y)

simplify2.5s

Counts
122 → 122
Iterations
IterNodes
done5164
21562
1430
0178

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
122×times-frac
85×add-sqr-sqrt
70×*-un-lft-identity
64×add-cube-cbrt
23×add-cbrt-cube add-exp-log associate-/l*
11×div-inv
10×cbrt-undiv div-exp
7×associate-/r*
6×add-log-exp difference-of-squares
4×pow1 insert-posit16
3×clear-num frac-2neg
2×prod-exp cbrt-unprod distribute-lft-out-- associate-/l/
1×sub-neg flip3-- diff-log frac-sub flip--
Counts
4 → 164
Calls
4 calls:
161.0ms
(- (/ (/ t (* 3.0 z)) y) (/ (/ y 3.0) z))
27.0ms
(/ (/ y 3.0) z)
20.0ms
(/ t (* 3.0 z))
39.0ms
(/ (/ t (* 3.0 z)) y)

series291.0ms

Counts
4 → 12
Calls
4 calls:
180.0ms
(- (/ (/ t (* 3.0 z)) y) (/ (/ y 3.0) z))
31.0ms
(/ (/ y 3.0) z)
28.0ms
(/ t (* 3.0 z))
51.0ms
(/ (/ t (* 3.0 z)) y)

simplify3.8s

Counts
176 → 176
Iterations
IterNodes
done5001
22492
1716
0299

prune2.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
240×times-frac
160×add-sqr-sqrt
133×*-un-lft-identity
130×add-cube-cbrt
53×add-exp-log
43×associate-*r*
35×add-cbrt-cube
26×associate-/l*
24×div-exp
15×cbrt-undiv div-inv
13×associate-*l*
12×prod-exp
9×unswap-sqr
6×pow1 associate-/r* cbrt-unprod add-log-exp
4×insert-posit16
3×rec-exp 1-exp frac-sub
2×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/l/
1×sub-neg flip3-- diff-log pow-prod-down *-commutative flip--
Counts
4 → 254
Calls
4 calls:
41.0ms
(- (* (/ 1 3.0) (/ (/ t z) y)) (/ (/ y 3.0) z))
31.0ms
(/ (/ y 3.0) z)
55.0ms
(* (/ 1 3.0) (/ (/ t z) y))
15.0ms
(/ (/ t z) y)

series300.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(- (* (/ 1 3.0) (/ (/ t z) y)) (/ (/ y 3.0) z))
31.0ms
(/ (/ y 3.0) z)
70.0ms
(* (/ 1 3.0) (/ (/ t z) y))
52.0ms
(/ (/ t z) y)

simplify5.7s

Counts
266 → 266
Iterations
IterNodes
done5009
24218
11257
0432

prune3.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes1.2s

Accuracy

65.4% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 1.8b

bsearch1.0ms

simplify13.0ms

Iterations
IterNodes
done42
142
034

end0.0ms

sample1.5s

Algorithm
intervals
Results
948.0ms11127×body80valid