Details

Time bar (total: 18.0s)

sample66.0ms

Algorithm
intervals
Results
47.0ms357×body80valid

simplify3.4s

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

localize20.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))

rewrite145.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:
102.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
19.0ms
(* (* z 3.0) y)
7.0ms
(/ y (* z 3.0))
15.0ms
(/ t (* (* z 3.0) y))

series189.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
24.0ms
(* (* z 3.0) y)
20.0ms
(/ y (* z 3.0))
53.0ms
(/ t (* (* z 3.0) y))

simplify2.1s

Counts
97 → 97
Iterations
IterNodes
done5002
21596
1410
0153

prune482.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize60.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))

rewrite74.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×insert-posit16 add-log-exp
3×pow1/3 unswap-sqr
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 99
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
67.0ms
(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

series822.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(cbrt t)
280.0ms
(cbrt t)
231.0ms
(cbrt t)
85.0ms
(* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))

simplify1.7s

Counts
111 → 111
Iterations
IterNodes
done5036
22742
1501
0158

prune567.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
53×add-exp-log
35×add-cbrt-cube
24×add-sqr-sqrt
20×times-frac
18×*-un-lft-identity div-exp prod-exp
17×add-cube-cbrt
13×associate-*r*
11×cbrt-undiv
10×cbrt-unprod
9×add-log-exp
8×frac-add
7×associate-*l*
6×pow1 associate-/l*
4×flip3-- insert-posit16 div-inv flip--
3×frac-times rec-exp 1-exp associate-*l/ associate-*r/ un-div-inv unswap-sqr
2×associate-+l+ clear-num associate-/r* sum-log frac-2neg
1×+-commutative sub-neg flip3-+ diff-log pow-prod-down *-commutative associate-+l- flip-+
Counts
4 → 123
Calls
4 calls:
84.0ms
(+ (- x (/ y (* z 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
10.0ms
(/ t (* z 3.0))
12.0ms
(/ y (* z 3.0))
37.0ms
(* (/ t (* z 3.0)) (/ 1 y))

series198.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(+ (- x (/ y (* z 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
33.0ms
(/ t (* z 3.0))
27.0ms
(/ y (* z 3.0))
34.0ms
(* (/ t (* z 3.0)) (/ 1 y))

simplify1.7s

Counts
135 → 135
Iterations
IterNodes
done5016
22481
1656
0230

prune683.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
70×add-exp-log
53×add-sqr-sqrt
42×times-frac add-cbrt-cube
32×*-un-lft-identity
29×add-cube-cbrt
26×associate-*r*
25×prod-exp
24×div-exp
20×associate-*l*
13×cbrt-undiv cbrt-unprod
9×add-log-exp unswap-sqr
8×pow1 frac-add
5×rec-exp 1-exp div-inv
4×frac-times flip3-- associate-*l/ associate-*r/ insert-posit16 flip--
3×un-div-inv associate-/l*
2×associate-+l+ sum-log pow-prod-down *-commutative
1×+-commutative clear-num associate-/r* sub-neg frac-2neg flip3-+ diff-log associate-+l- flip-+
Counts
4 → 158
Calls
4 calls:
19.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
9.0ms
(/ t (* z 3.0))
18.0ms
(* (/ 1 z) (/ y 3.0))
30.0ms
(* (/ t (* z 3.0)) (/ 1 y))

series223.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(+ (- x (* (/ 1 z) (/ y 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
33.0ms
(/ t (* z 3.0))
21.0ms
(* (/ 1 z) (/ y 3.0))
44.0ms
(* (/ t (* z 3.0)) (/ 1 y))

simplify1.8s

Counts
170 → 170
Iterations
IterNodes
done5090
23430
1915
0299

prune833.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes464.0ms

Accuracy

46.9% (1.0b remaining)

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

bsearch2.0ms

simplify11.0ms

Iterations
IterNodes
done41
141
031

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s11145×body80valid