Details

Time bar (total: 22.3s)

sample80.0ms

Algorithm
intervals
Results
57.0ms357×body80valid

simplify3.6s

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

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

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
25×add-sqr-sqrt
23×associate-+l+ add-cbrt-cube add-exp-log add-cube-cbrt
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 insert-posit16 log1p-expm1-u
3×associate-*r* pow-prod-down
2×clear-num associate-/r* sum-log frac-2neg frac-add distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative associate-+l- flip-+ flip-- difference-of-squares
Counts
4 → 119
Calls
4 calls:
129.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
29.0ms
(* (* z 3.0) y)
13.0ms
(/ y (* z 3.0))
24.0ms
(/ t (* (* z 3.0) y))

series271.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
45.0ms
(* (* z 3.0) y)
44.0ms
(/ y (* z 3.0))
47.0ms
(/ t (* (* z 3.0) y))

simplify1.7s

Counts
131 → 131
Iterations
IterNodes
done5015
22037
1514
0188

prune855.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
1.7b
(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
32×add-cbrt-cube
29×add-sqr-sqrt
22×associate-*r*
21×*-un-lft-identity times-frac add-cube-cbrt
19×cbrt-prod
18×prod-exp cbrt-unprod
13×cbrt-undiv div-exp
6×pow1
5×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 unswap-sqr
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 107
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
33.0ms
(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
322.0ms
(cbrt t)
347.0ms
(cbrt t)
295.0ms
(cbrt t)
89.0ms
(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

simplify1.7s

Counts
119 → 119
Iterations
IterNodes
done5003
22758
1505
0162

prune712.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
177×times-frac
136×add-sqr-sqrt
109×*-un-lft-identity
104×add-cube-cbrt
53×add-exp-log
43×associate-*l*
35×add-cbrt-cube
23×associate-+l+ div-exp
21×prod-diff
16×associate-/l*
14×cbrt-undiv div-inv
13×associate-*r* prod-exp
9×add-log-exp unswap-sqr
8×frac-add
7×cbrt-unprod
6×pow1
5×fma-def
4×expm1-log1p-u associate-/r* flip3-- insert-posit16 log1p-expm1-u flip--
3×frac-times rec-exp 1-exp associate-*l/ associate-*r/ un-div-inv
2×clear-num sum-log frac-2neg
1×+-commutative sub-neg flip3-+ diff-log pow-prod-down *-commutative associate-+l- flip-+ distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 248
Calls
4 calls:
90.0ms
(+ (- x (/ y (* z 3.0))) (* (/ (/ t 3.0) z) (/ 1 y)))
8.0ms
(/ (/ t 3.0) z)
7.0ms
(/ y (* z 3.0))
22.0ms
(* (/ (/ t 3.0) z) (/ 1 y))

series727.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(+ (- x (/ y (* z 3.0))) (* (/ (/ t 3.0) z) (/ 1 y)))
31.0ms
(/ (/ t 3.0) z)
32.0ms
(/ y (* z 3.0))
538.0ms
(* (/ (/ t 3.0) z) (/ 1 y))

simplify2.8s

Counts
260 → 260
Iterations
IterNodes
done5000
24414
11201
0411

prune1.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
190×times-frac
151×add-sqr-sqrt
109×*-un-lft-identity
104×add-cube-cbrt
70×add-exp-log
56×associate-*l*
42×add-cbrt-cube
29×div-exp
26×associate-*r*
20×prod-exp
16×cbrt-undiv
15×unswap-sqr
13×associate-/l*
12×div-inv
10×cbrt-unprod
9×add-log-exp
8×pow1 frac-add
5×rec-exp associate-+l+ 1-exp
4×expm1-log1p-u frac-times flip3-- associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u flip--
3×associate-/r* fma-def prod-diff un-div-inv
2×sum-log pow-prod-down *-commutative
1×+-commutative clear-num sub-neg frac-2neg flip3-+ diff-log associate-+l- flip-+ associate-/l/
Counts
4 → 263
Calls
4 calls:
39.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (* (/ (/ t 3.0) z) (/ 1 y)))
15.0ms
(/ (/ t 3.0) z)
24.0ms
(* (/ 1 z) (/ y 3.0))
19.0ms
(* (/ (/ t 3.0) z) (/ 1 y))

series258.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (* (/ (/ t 3.0) z) (/ 1 y)))
34.0ms
(/ (/ t 3.0) z)
22.0ms
(* (/ 1 z) (/ y 3.0))
65.0ms
(* (/ (/ t 3.0) z) (/ 1 y))

simplify1.7s

Counts
275 → 275
Iterations
IterNodes
done5000
11354
0442

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

regimes509.0ms

Accuracy

44.3% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 1.9b

bsearch2.0ms

simplify11.0ms

Iterations
IterNodes
done39
139
029

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.8s11145×body80valid