Details

Time bar (total: 3.8m)

sample32.0ms

Algorithm
intervals
Results
15.0ms303×body80valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (15.0ms)

IterNodesCost
08164
116164
238124
39683
435283
5174583
done502783

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.9b

localize12.0ms

Local error

Found 1 expressions with local error:

7.6b
(* x (/ y z))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
11.0ms
(* x (/ y z))

series29.0ms

Counts
1 → 3
Calls
1 calls:
29.0ms
(* x (/ y z))

simplify2.1s

Counts
35 → 35
Iterations

Useful iterations: 3 (824.0ms)

IterNodesCost
0695754
11735218
25195138
321874978
done50034978

prune233.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
3.6b
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
28×times-frac
25×add-exp-log
22×*-un-lft-identity associate-*r* add-cube-cbrt
20×cbrt-prod
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 unswap-sqr
4×add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 92
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
41.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

series1.0s

Counts
4 → 12
Calls
4 calls:
335.0ms
(cbrt z)
265.0ms
(cbrt z)
333.0ms
(cbrt z)
69.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify2.8s

Counts
104 → 104
Iterations

Useful iterations: done (2.8s)

IterNodesCost
014030298
144127744
2185627303
done500323023

prune634.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize96.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
12.9b
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
12.9b
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
12.9b
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
28×times-frac
25×add-exp-log
22×associate-*r*
19×*-un-lft-identity add-cube-cbrt
18×add-cbrt-cube
14×cbrt-prod
9×cbrt-div
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 unswap-sqr
4×frac-times associate-*l/ associate-*r/ add-log-exp
3×pow1/3
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 95
Calls
4 calls:
35.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
24.0ms
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
39.0ms
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
31.0ms
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))

series408.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
104.0ms
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
106.0ms
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
102.0ms
(cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))

simplify2.9s

Counts
107 → 107
Iterations

Useful iterations: done (2.9s)

IterNodesCost
016840375
147738885
2177238400
done500029760

prune891.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.4b
(* (/ 1 (cbrt z)) (* (/ x (cbrt z)) (/ y (cbrt z))))
3.6b
(* (/ x (cbrt z)) (/ y (cbrt z)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
93×add-exp-log
75×add-sqr-sqrt
66×times-frac
45×*-un-lft-identity add-cube-cbrt
44×associate-*l*
40×add-cbrt-cube prod-exp
39×cbrt-prod
30×div-exp
23×associate-*r*
22×cbrt-unprod
17×cbrt-undiv
11×pow1
9×unswap-sqr
6×frac-times associate-*r/
5×rec-exp 1-exp
4×pow-prod-down associate-*l/ add-log-exp
3×div-inv
2×pow1/3 *-commutative
Counts
4 → 165
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
45.0ms
(* (/ 1 (cbrt z)) (* (/ x (cbrt z)) (/ y (cbrt z))))
32.0ms
(* (/ x (cbrt z)) (/ y (cbrt z)))

series979.0ms

Counts
4 → 12
Calls
4 calls:
314.0ms
(cbrt z)
310.0ms
(cbrt z)
86.0ms
(* (/ 1 (cbrt z)) (* (/ x (cbrt z)) (/ y (cbrt z))))
269.0ms
(* (/ x (cbrt z)) (/ y (cbrt z)))

simplify3.8s

Counts
177 → 177
Iterations

Useful iterations: done (3.7s)

IterNodesCost
023960624
174753670
2270150289
done500049206

prune1.1s

Pruning

10 alts after pruning (6 fresh and 4 done)

Merged error: 0.0b

regimes710.0ms

Accuracy

83.2% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 5.3b

bsearch2.0ms

simplify3.5m

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
019687
124687
227687
333687
436687
539687
640687
743687
844687
954687
1061687
1169687
1276687
1384687
1491687
1599687
16106687
17114687
18121687
19129687
20136687
21144687
22151687
23159687
24166687
25174687
26181687
27189687
28196687
29204687
30211687
31219687
32226687
33234687
34241687
35249687
36256687
37264687
38271687
39279687
40286687
41294687
42301687
43309687
44316687
45324687
46331687
47339687
48346687
49354687
50361687
51369687
52376687
53384687
54391687
55399687
56406687
57414687
58421687
59429687
60436687
61444687
62451687
63459687
64466687
65474687
66481687
67489687
68496687
69504687
70511687
71519687
72526687
73534687
74541687
75549687
76556687
77564687
78571687
79579687
80586687
81594687
82601687
83609687
84616687
85624687
86631687
87639687
88646687
89654687
90661687
91669687
92676687
93684687
94691687
95699687
96706687
97714687
98721687
99729687
100736687
101744687
102751687
103759687
104766687
105774687
106781687
107789687
108796687
109804687
110811687
111819687
112826687
113834687
114841687
115849687
116856687
117864687
118871687
119879687
120886687
121894687
122901687
123909687
124916687
125924687
126931687
127939687
128946687
129954687
130961687
131969687
132976687
133984687
134991687
135999687
1361006687
1371014687
1381021687
1391029687
1401036687
1411044687
1421051687
1431059687
1441066687
1451074687
1461081687
1471089687
1481096687
1491104687
1501111687
1511119687
1521126687
1531134687
1541141687
1551149687
1561156687
1571164687
1581171687
1591179687
1601186687
1611194687
1621201687
1631209687
1641216687
1651224687
1661231687
1671239687
1681246687
1691254687
1701261687
1711269687
1721276687
1731284687
1741291687
1751299687
1761306687
1771314687
1781321687
1791329687
1801336687
1811344687
1821351687
1831359687
1841366687
1851374687
1861381687
1871389687
1881396687
1891404687
1901411687
1911419687
1921426687
1931434687
1941441687
1951449687
1961456687
1971464687
1981471687
1991479687
2001486687
2011494687
2021501687
2031509687
2041516687
2051524687
2061531687
2071539687
2081546687
2091554687
2101561687
2111569687
2121576687
2131584687
2141591687
2151599687
2161606687
2171614687
2181621687
2191629687
2201636687
2211644687
2221651687
2231659687
2241666687
2251674687
2261681687
2271689687
2281696687
2291704687
2301711687
2311719687
2321726687
2331734687
2341741687
2351749687
2361756687
2371764687
2381771687
2391779687
2401786687
2411794687
2421801687
2431809687
2441816687
2451824687
2461831687
2471839687
2481846687
2491854687
2501861687
2511869687
2521876687
2531884687
2541891687
2551899687
2561906687
2571914687
2581921687
2591929687
2601936687
2611944687
2621951687
2631959687
2641966687
2651974687
2661981687
2671989687
2681996687
2692004687
2702011687
2712019687
2722026687
2732034687
2742041687
2752049687
2762056687
2772064687
2782071687
2792079687
2802086687
2812094687
2822101687
2832109687
2842116687
2852124687
2862131687
2872139687
2882146687
2892154687
2902161687
2912169687
2922176687
2932184687
2942191687
2952199687
2962206687
2972214687
2982221687
2992229687
3002236687
3012244687
3022251687
3032259687
3042266687
3052274687
3062281687
3072289687
3082296687
3092304687
3102311687
3112319687
3122326687
3132334687
3142341687
3152349687
3162356687
3172364687
3182371687
3192379687
3202386687
3212394687
3222401687
3232409687
3242416687
3252424687
3262431687
3272439687
3282446687
3292454687
3302461687
3312469687
3322476687
3332484687
3342491687
3352499687
3362506687
3372514687
3382521687
3392529687
3402536687
3412544687
3422551687
3432559687
3442566687
3452574687
3462581687
3472589687
3482596687
3492604687
3502611687
3512619687
3522626687
3532634687
3542641687
3552649687
3562656687
3572664687
3582671687
3592679687
3602686687
3612694687
3622701687
3632709687
3642716687
3652724687
3662731687
3672739687
3682746687
3692754687
3702761687
3712769687
3722776687
3732784687
3742791687
3752799687
3762806687
3772814687
3782821687
3792829687
3802836687
3812844687
3822851687
3832859687
3842866687
3852874687
3862881687
3872889687
3882896687
3892904687
3902911687
3912919687
3922926687
3932934687
3942941687
3952949687
3962956687
3972964687
3982971687
3992979687
4002986687
4012994687
4023001687
4033009687
4043016687
4053024687
4063031687
4073039687
4083046687
4093054687
4103061687
4113069687
4123076687
4133084687
4143091687
4153099687
4163106687
4173114687
4183121687
4193129687
4203136687
4213144687
4223151687
4233159687
4243166687
4253174687
4263181687
4273189687
4283196687
4293204687
4303211687
4313219687
4323226687
4333234687
4343241687
4353249687
4363256687
4373264687
4383271687
4393279687
4403286687
4413294687
4423301687
4433309687
4443316687
4453324687
4463331687
4473339687
4483346687
4493354687
4503361687
4513369687
4523376687
4533384687
4543391687
4553399687
4563406687
4573414687
4583421687
4593429687
4603436687
4613444687
4623451687
4633459687
4643466687
4653474687
4663481687
4673489687
4683496687
4693504687
4703511687
4713519687
4723526687
4733534687
4743541687
4753549687
4763556687
4773564687
4783571687
4793579687
4803586687
4813594687
4823601687
4833609687
4843616687
4853624687
4863631687
4873639687
4883646687
4893654687
4903661687
4913669687
4923676687
4933684687
4943691687
4953699687
4963706687
4973714687
4983721687
4993729687
5003736687
5013744687
5023751687
5033759687
5043766687
5053774687
5063781687
5073789687
5083796687
5093804687
5103811687
5113819687
5123826687
5133834687
5143841687
5153849687
5163856687
5173864687
5183871687
5193879687
5203886687
5213894687
5223901687
5233909687
5243916687
5253924687
5263931687
5273939687
5283946687
5293954687
5303961687
5313969687
5323976687
5333984687
5343991687
5353999687
5364006687
5374014687
5384021687
5394029687
5404036687
5414044687
5424051687
5434059687
5444066687
5454074687
5464081687
5474089687
5484096687
5494104687
5504111687
5514119687
5524126687
5534134687
5544141687
5554149687
5564156687
5574164687
5584171687
5594179687
5604186687
5614194687
5624201687
5634209687
5644216687
5654224687
5664231687
5674239687
5684246687
5694254687
5704261687
5714269687
5724276687
5734284687
5744291687
5754299687
5764306687
5774314687
5784321687
5794329687
5804336687
5814344687
5824351687
5834359687
5844366687
5854374687
5864381687
5874389687
5884396687
5894404687
5904411687
5914419687
5924426687
5934434687
5944441687
5954449687
5964456687
5974464687
5984471687
5994479687
6004486687
6014494687
6024501687
6034509687
6044516687
6054524687
6064531687
6074539687
6084546687
6094554687
6104561687
6114569687
6124576687
6134584687
6144591687
6154599687
6164606687
6174614687
6184621687
6194629687
6204636687
6214644687
6224651687
6234659687
6244666687
6254674687
6264681687
6274689687
6284696687
6294704687
6304711687
6314719687
6324726687
6334734687
6344741687
6354749687
6364756687
6374764687
6384771687
6394779687
6404786687
6414794687
6424801687
6434809687
6444816687
6454824687
6464831687
6474839687
6484846687
6494854687
6504861687
6514869687
6524876687
6534884687
6544891687
6554899687
6564906687
6574914687
6584921687
6594929687
6604936687
6614944687
6624951687
6634959687
6644966687
6654974687
6664981687
6674989687
6684996687
done5001687

end0.0ms

sample640.0ms

Algorithm
intervals
Results
363.0ms9625×body80valid