Details

Time bar (total: 1.4min)

sample54.0ms

Algorithm
intervals
Results
16.0ms36×body1280valid
11.0ms172×body80valid
8.0ms29×body640valid
2.0ms10×body320valid
1.0ms9×body160valid

simplify1.3min

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
089
1149
2279
3339
4399
5489
6619
7749
81019
91249
101599
111919
122079
132219
142339
152459
162579
172699
182819
192939
203059
213179
223299
233419
243539
253659
263779
273899
284019
294139
304259
314379
324499
334619
344739
354859
364979
375099
385219
395339
405459
415579
425699
435819
445939
456059
466179
476299
486419
496539
506659
516779
526899
537019
547139
557259
567379
577499
587619
597739
607859
617979
628099
638219
648339
658459
668579
678699
688819
698939
709059
719179
729299
739419
749539
759659
769779
779899
7810019
7910139
8010259
8110379
8210499
8310619
8410739
8510859
8610979
8711099
8811219
8911339
9011459
9111579
9211699
9311819
9411939
9512059
9612179
9712299
9812419
9912539
10012659
10112779
10212899
10313019
10413139
10513259
10613379
10713499
10813619
10913739
11013859
11113979
11214099
11314219
11414339
11514459
11614579
11714699
11814819
11914939
12015059
12115179
12215299
12315419
12415539
12515659
12615779
12715899
12816019
12916139
13016259
13116379
13216499
13316619
13416739
13516859
13616979
13717099
13817219
13917339
14017459
14117579
14217699
14317819
14417939
14518059
14618179
14718299
14818419
14918539
15018659
15118779
15218899
15319019
15419139
15519259
15619379
15719499
15819619
15919739
16019859
16119979
16220099
16320219
16420339
16520459
16620579
16720699
16820819
16920939
17021059
17121179
17221299
17321419
17421539
17521659
17621779
17721899
17822019
17922139
18022259
18122379
18222499
18322619
18422739
18522859
18622979
18723099
18823219
18923339
19023459
19123579
19223699
19323819
19423939
19524059
19624179
19724299
19824419
19924539
20024659
20124779
20224899
20325019
20425139
20525259
20625379
20725499
20825619
20925739
21025859
21125979
21226099
21326219
21426339
21526459
21626579
21726699
21826819
21926939
22027059
22127179
22227299
22327419
22427539
22527659
22627779
22727899
22828019
22928139
23028259
23128379
23228499
23328619
23428739
23528859
23628979
23729099
23829219
23929339
24029459
24129579
24229699
24329819
24429939
24530059
24630179
24730299
24830419
24930539
25030659
25130779
25230899
25331019
25431139
25531259
25631379
25731499
25831619
25931739
26031859
26131979
26232099
26332219
26432339
26532459
26632579
26732699
26832819
26932939
27033059
27133179
27233299
27333419
27433539
27533659
27633779
27733899
27834019
27934139
28034259
28134379
28234499
28334619
28434739
28534859
28634979
28735099
28835219
28935339
29035459
29135579
29235699
29335819
29435939
29536059
29636179
29736299
29836419
29936539
30036659
30136779
30236899
30337019
30437139
30537259
30637379
30737499
30837619
30937739
31037859
31137979
31238099
31338219
31438339
31538459
31638579
31738699
31838819
31938939
32039059
32139179
32239299
32339419
32439539
32539659
32639779
32739899
32840019
32940139
33040259
33140379
33240499
33340619
33440739
33540859
33640979
33741099
33841219
33941339
34041459
34141579
34241699
34341819
34441939
34542059
34642179
34742299
34842419
34942539
35042659
35142779
35242899
35343019
35443139
35543259
35643379
35743499
35843619
35943739
36043859
36143979
36244099
36344219
36444339
36544459
36644579
36744699
36844819
36944939
37045059
37145179
37245299
37345419
37445539
37545659
37645779
37745899
37846019
37946139
38046259
38146379
38246499
38346619
38446739
38546859
38646979
38747099
38847219
38947339
39047459
39147579
39247699
39347819
39447939
39548059
39648179
39748299
39848419
39948539
40048659
40148779
40248899
40349019
40449139
40549259
40649379
40749499
40849619
40949739
41049859
41149979
done50019

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x (cos y)) (* z (sin y)))
0.1b
(* z (sin y))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
7×add-log-exp
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×associate-*r* associate-*l*
2×diff-log
1×sub-neg flip3-- pow-prod-down prod-exp associate--l+ sum-log *-commutative flip-- cbrt-unprod unswap-sqr
Counts
2 → 32
Calls
2 calls:
7.0ms
(- (+ x (cos y)) (* z (sin y)))
6.0ms
(* z (sin y))

series23.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(- (+ x (cos y)) (* z (sin y)))
9.0ms
(* z (sin y))

simplify587.0ms

Counts
38 → 38
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
069365
1160348
2450320
31458320
done5000320

prune55.0ms

Filtered
26 candidates to 38 candidates (-46.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New33538
Fresh000
Picked011
Done000
Total33639

Merged error: 0.0b

Counts
39 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
6.3b
(cbrt (* z (sin y)))
6.3b
(cbrt (* z (sin y)))
6.3b
(cbrt (* z (sin y)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log
4×swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
6.0ms
(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
3.0ms
(cbrt (* z (sin y)))
3.0ms
(cbrt (* z (sin y)))
9.0ms
(cbrt (* z (sin y)))

series124.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
26.0ms
(cbrt (* z (sin y)))
27.0ms
(cbrt (* z (sin y)))
27.0ms
(cbrt (* z (sin y)))

simplify1.4s

Counts
70 → 70
Iterations

Useful iterations: 4 (544.0ms)

IterNodesCost
090814
1200737
2559633
31626570
44827502
done5000502

prune111.0ms

Filtered
56 candidates to 70 candidates (-25.0%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New68270
Fresh044
Picked011
Done011
Total68876

Merged error: 0.0b

Counts
76 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt z) (cbrt z))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
6.3b
(cbrt (* z (sin y)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
23×cbrt-prod
22×add-sqr-sqrt
14×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 71
Calls
4 calls:
7.0ms
(* (cbrt z) (cbrt z))
2.0ms
(cbrt (sin y))
2.0ms
(cbrt (sin y))
3.0ms
(cbrt (* z (sin y)))

series104.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (cbrt z) (cbrt z))
21.0ms
(cbrt (sin y))
28.0ms
(cbrt (sin y))
26.0ms
(cbrt (* z (sin y)))

simplify1.4s

Counts
83 → 83
Iterations

Useful iterations: 4 (582.0ms)

IterNodesCost
0117691
1235627
2663552
31817494
44971475
done5000475

prune107.0ms

Filtered
54 candidates to 83 candidates (-53.7%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New82183
Fresh055
Picked011
Done022
Total82991

Merged error: 0.0b

Counts
91 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (sin y)) (cbrt (sin y)))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
7.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
2.0ms
(cbrt (sin y))
2.0ms
(cbrt (sin y))
2.0ms
(cbrt (sin y))

series96.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (cbrt (sin y)) (cbrt (sin y)))
21.0ms
(cbrt (sin y))
28.0ms
(cbrt (sin y))
21.0ms
(cbrt (sin y))

simplify810.0ms

Counts
85 → 85
Iterations

Useful iterations: done (808.0ms)

IterNodesCost
076792
1164715
2507586
32000521
done5001515

prune88.0ms

Filtered
56 candidates to 85 candidates (-51.8%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New83285
Fresh235
Picked101
Done123
Total87794

Merged error: 0b

Counts
94 → 7

regimes271.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1109
done109

end0.0ms

sample1.6s

Algorithm
intervals
Results
442.0ms997×body1280valid
383.0ms5571×body80valid
238.0ms839×body640valid
82.0ms380×body320valid
37.0ms213×body160valid

Profiling

Loading profile data...