Details

Time bar (total: 23.2s)

sample18.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify12.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07163
118163
247163
3105163
4180163
5220163
6257163
7282163
8308163
9326163
10339163
11352163
12365163
13378163
14391163
15404163
16417163
17430163
18443163
19456163
20469163
21482163
22495163
23508163
24521163
25534163
26547163
27560163
28573163
29586163
30599163
31612163
32625163
33638163
34651163
35664163
36677163
37690163
38703163
39716163
40729163
41742163
42755163
43768163
44781163
45794163
46807163
47820163
48833163
49846163
50859163
51872163
52885163
53898163
54911163
55924163
56937163
57950163
58963163
59976163
60989163
611002163
621015163
631028163
641041163
651054163
661067163
671080163
681093163
691106163
701119163
711132163
721145163
731158163
741171163
751184163
761197163
771210163
781223163
791236163
801249163
811262163
821275163
831288163
841301163
851314163
861327163
871340163
881353163
891366163
901379163
911392163
921405163
931418163
941431163
951444163
961457163
971470163
981483163
991496163
1001509163
1011522163
1021535163
1031548163
1041561163
1051574163
1061587163
1071600163
1081613163
1091626163
1101639163
1111652163
1121665163
1131678163
1141691163
1151704163
1161717163
1171730163
1181743163
1191756163
1201769163
1211782163
1221795163
1231808163
1241821163
1251834163
1261847163
1271860163
1281873163
1291886163
1301899163
1311912163
1321925163
1331938163
1341951163
1351964163
1361977163
1371990163
1382003163
1392016163
1402029163
1412042163
1422055163
1432068163
1442081163
1452094163
1462107163
1472120163
1482133163
1492146163
1502159163
1512172163
1522185163
1532198163
1542211163
1552224163
1562237163
1572250163
1582263163
1592276163
1602289163
1612302163
1622315163
1632328163
1642341163
1652354163
1662367163
1672380163
1682393163
1692406163
1702419163
1712432163
1722445163
1732458163
1742471163
1752484163
1762497163
1772510163
1782523163
1792536163
1802549163
1812562163
1822575163
1832588163
1842601163
1852614163
1862627163
1872640163
1882653163
1892666163
1902679163
1912692163
1922705163
1932718163
1942731163
1952744163
1962757163
1972770163
1982783163
1992796163
2002809163
2012822163
2022835163
2032848163
2042861163
2052874163
2062887163
2072900163
2082913163
2092926163
2102939163
2112952163
2122965163
2132978163
2142991163
2153004163
2163017163
2173030163
2183043163
2193056163
2203069163
2213082163
2223095163
2233108163
2243121163
2253134163
2263147163
2273160163
2283173163
2293186163
2303199163
2313212163
2323225163
2333238163
2343251163
2353264163
2363277163
2373290163
2383303163
2393316163
2403329163
2413342163
2423355163
2433368163
2443381163
2453394163
2463407163
2473420163
2483433163
2493446163
2503459163
2513472163
2523485163
2533498163
2543511163
2553524163
2563537163
2573550163
2583563163
2593576163
2603589163
2613602163
2623615163
2633628163
2643641163
2653654163
2663667163
2673680163
2683693163
2693706163
2703719163
2713732163
2723745163
2733758163
2743771163
2753784163
2763797163
2773810163
2783823163
2793836163
2803849163
2813862163
2823875163
2833888163
2843901163
2853914163
2863927163
2873940163
2883953163
2893966163
2903979163
2913992163
2924005163
2934018163
2944031163
2954044163
2964057163
2974070163
2984083163
2994096163
3004109163
3014122163
3024135163
3034148163
3044161163
3054174163
3064187163
3074200163
3084213163
3094226163
3104239163
3114252163
3124265163
3134278163
3144291163
3154304163
3164317163
3174330163
3184343163
3194356163
3204369163
3214382163
3224395163
3234408163
3244421163
3254434163
3264447163
3274460163
3284473163
3294486163
3304499163
3314512163
3324525163
3334538163
3344551163
3354564163
3364577163
3374590163
3384603163
3394616163
3404629163
3414642163
3424655163
3434668163
3444681163
3454694163
3464707163
3474720163
3484733163
3494746163
3504759163
3514772163
3524785163
3534798163
3544811163
3554824163
3564837163
3574850163
3584863163
3594876163
3604889163
3614902163
3624915163
3634928163
3644941163
3654954163
3664967163
3674980163
3684993163
done5000163

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.1b

localize17.0ms

Local error

Found 1 expressions with local error:

13.5b
(/ (- x y) (* (* x 2.0) y))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
10×add-cbrt-cube add-exp-log
7×add-sqr-sqrt *-un-lft-identity
5×times-frac associate-/l*
3×cbrt-undiv div-exp prod-exp add-cube-cbrt cbrt-unprod
2×distribute-lft-out-- difference-of-squares associate-/l/
1×pow1 clear-num associate-/r* frac-2neg flip3-- div-sub div-inv flip-- add-log-exp
Counts
1 → 30
Calls
1 calls:
48.0ms
(/ (- x y) (* (* x 2.0) y))

series64.0ms

Counts
1 → 3
Calls
1 calls:
63.0ms
(/ (- x y) (* (* x 2.0) y))

simplify1.3s

Counts
33 → 33
Iterations

Useful iterations: done (1.3s)

IterNodesCost
0828328
12337748
29717105
done50017065

prune109.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 0.5 y) (/ 0.5 x))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
11×*-un-lft-identity
10×times-frac
5×distribute-lft-out--
4×difference-of-squares
3×add-cube-cbrt add-log-exp
2×div-inv
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log frac-sub flip--
Counts
1 → 22
Calls
1 calls:
43.0ms
(- (/ 0.5 y) (/ 0.5 x))

series44.0ms

Counts
1 → 3
Calls
1 calls:
44.0ms
(- (/ 0.5 y) (/ 0.5 x))

simplify2.7s

Counts
25 → 25
Iterations

Useful iterations: 2 (96.0ms)

IterNodesCost
0616317
11345826
24045663
335675663
done50005663

prune115.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) y)
0.2b
(/ 1 (* x 2.0))
8.5b
(* (/ 1 (* x 2.0)) (/ (- x y) y))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
61×add-exp-log
45×add-sqr-sqrt
40×*-un-lft-identity
37×times-frac
31×add-cbrt-cube
26×add-cube-cbrt
23×prod-exp
20×div-exp
19×associate-*r*
10×cbrt-undiv
9×cbrt-unprod
8×pow1 associate-/l*
7×associate-*l* distribute-lft-out-- difference-of-squares
6×rec-exp 1-exp
4×associate-/r* div-inv
3×add-log-exp
2×clear-num frac-2neg pow-prod-down pow-flip unswap-sqr associate-/l/
1×frac-times flip3-- div-sub associate-*l/ associate-*r/ *-commutative flip-- inv-pow
Counts
3 → 126
Calls
3 calls:
18.0ms
(/ (- x y) y)
10.0ms
(/ 1 (* x 2.0))
74.0ms
(* (/ 1 (* x 2.0)) (/ (- x y) y))

series140.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(/ (- x y) y)
22.0ms
(/ 1 (* x 2.0))
74.0ms
(* (/ 1 (* x 2.0)) (/ (- x y) y))

simplify2.2s

Counts
135 → 135
Iterations

Useful iterations: done (2.2s)

IterNodesCost
017532692
151826781
2333525361
done500124959

prune570.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- x y) y)
8.7b
(/ (/ (- x y) y) (* x 2.0))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
64×times-frac
50×add-sqr-sqrt *-un-lft-identity
30×add-cube-cbrt
24×associate-/l*
16×add-cbrt-cube add-exp-log
10×distribute-lft-out-- difference-of-squares
7×cbrt-undiv div-exp
4×associate-/r* div-inv
3×div-sub associate-/l/
2×pow1 clear-num frac-2neg prod-exp cbrt-unprod add-log-exp
1×flip3-- flip--
Counts
2 → 97
Calls
2 calls:
15.0ms
(/ (- x y) y)
21.0ms
(/ (/ (- x y) y) (* x 2.0))

series126.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ (- x y) y)
95.0ms
(/ (/ (- x y) y) (* x 2.0))

simplify1.5s

Counts
103 → 103
Iterations

Useful iterations: done (1.5s)

IterNodesCost
015526097
139224697
2184224133
done500123973

prune358.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes72.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06123
done6123

end0.0ms

sample619.0ms

Algorithm
intervals
Results
418.0ms8002×body80valid