Details

Time bar (total: 20.2s)

sample52.0ms

Algorithm
intervals
Results
28.0ms362×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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

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

series177.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(- x (/ y (* z 3.0)))
47.0ms
(* (* z 3.0) y)
30.0ms
(/ y (* z 3.0))
52.0ms
(/ t (* (* z 3.0) y))

simplify1.3s

Counts
124 → 124
Iterations
IterNodes
done5009
21609
1477
0190

prune668.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

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

series164.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(- x (/ y (* z 3.0)))
23.0ms
(/ t (* z 3.0))
26.0ms
(/ y (* z 3.0))
60.0ms
(/ (/ t (* z 3.0)) y)

simplify1.5s

Counts
152 → 152
Iterations
IterNodes
done5002
21751
1569
0236

prune882.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ y 3.0) z)
0.2b
(/ (/ y 3.0) z)
0.2b
(/ (/ y 3.0) z)
5.2b
(/ (/ t (* z 3.0)) y)

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
258×times-frac
146×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
46×associate-/l*
28×add-cbrt-cube add-exp-log
20×div-inv
14×cbrt-undiv div-exp
12×associate-/r*
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×prod-exp cbrt-unprod
Counts
4 → 270
Calls
4 calls:
11.0ms
(/ (/ y 3.0) z)
11.0ms
(/ (/ y 3.0) z)
19.0ms
(/ (/ y 3.0) z)
36.0ms
(/ (/ t (* z 3.0)) y)

series131.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ (/ y 3.0) z)
32.0ms
(/ (/ y 3.0) z)
28.0ms
(/ (/ y 3.0) z)
40.0ms
(/ (/ t (* z 3.0)) y)

simplify1.5s

Counts
282 → 282
Iterations
IterNodes
done5150
22060
1604
0256

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize36.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)
5.2b
(/ (/ (/ t z) 3.0) y)

rewrite296.0ms

Algorithm
rewrite-expression-head
Rules
480×times-frac
253×*-un-lft-identity
248×add-sqr-sqrt
246×add-cube-cbrt
59×associate-/l*
26×div-inv
23×associate-+l+ add-cbrt-cube add-exp-log
21×prod-diff
11×cbrt-undiv div-exp
9×add-log-exp
7×associate-/r*
5×fma-def
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×clear-num frac-2neg
2×sum-log frac-add distribute-lft-out distribute-lft-out-- associate-/l/
1×+-commutative sub-neg flip3-+ flip3-- diff-log prod-exp associate-+l- cbrt-unprod flip-+ flip-- difference-of-squares
Counts
4 → 340
Calls
4 calls:
213.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y))
14.0ms
(/ y (* z 3.0))
23.0ms
(/ (/ t z) 3.0)
25.0ms
(/ (/ (/ t z) 3.0) y)

series251.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y))
41.0ms
(/ y (* z 3.0))
40.0ms
(/ (/ t z) 3.0)
38.0ms
(/ (/ (/ t z) 3.0) y)

simplify2.8s

Counts
352 → 352
Iterations
IterNodes
done5004
23814
11360
0575

prune2.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes356.0ms

Accuracy

70.6% (0.5b remaining)

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

bsearch191.0ms

Steps
ItersRangePoint
9
1.58797268375469e-15
1.7877411926250683e-07
6.041072736026979e-09
9
-1.1375194732999505
-2.6313330459521487e-09
-2.055519881012369e-07

simplify10.0ms

Iterations
IterNodes
done46
146
036

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.3s11083×body80valid