Details

Time bar (total: 20.5s)

sample19.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify12.8s

Counts
1 → 1
Iterations
IterNodes
done5000
3684993
3674980
3664967
3654954
3644941
3634928
3624915
3614902
3604889
3594876
3584863
3574850
3564837
3554824
3544811
3534798
3524785
3514772
3504759
3494746
3484733
3474720
3464707
3454694
3444681
3434668
3424655
3414642
3404629
3394616
3384603
3374590
3364577
3354564
3344551
3334538
3324525
3314512
3304499
3294486
3284473
3274460
3264447
3254434
3244421
3234408
3224395
3214382
3204369
3194356
3184343
3174330
3164317
3154304
3144291
3134278
3124265
3114252
3104239
3094226
3084213
3074200
3064187
3054174
3044161
3034148
3024135
3014122
3004109
2994096
2984083
2974070
2964057
2954044
2944031
2934018
2924005
2913992
2903979
2893966
2883953
2873940
2863927
2853914
2843901
2833888
2823875
2813862
2803849
2793836
2783823
2773810
2763797
2753784
2743771
2733758
2723745
2713732
2703719
2693706
2683693
2673680
2663667
2653654
2643641
2633628
2623615
2613602
2603589
2593576
2583563
2573550
2563537
2553524
2543511
2533498
2523485
2513472
2503459
2493446
2483433
2473420
2463407
2453394
2443381
2433368
2423355
2413342
2403329
2393316
2383303
2373290
2363277
2353264
2343251
2333238
2323225
2313212
2303199
2293186
2283173
2273160
2263147
2253134
2243121
2233108
2223095
2213082
2203069
2193056
2183043
2173030
2163017
2153004
2142991
2132978
2122965
2112952
2102939
2092926
2082913
2072900
2062887
2052874
2042861
2032848
2022835
2012822
2002809
1992796
1982783
1972770
1962757
1952744
1942731
1932718
1922705
1912692
1902679
1892666
1882653
1872640
1862627
1852614
1842601
1832588
1822575
1812562
1802549
1792536
1782523
1772510
1762497
1752484
1742471
1732458
1722445
1712432
1702419
1692406
1682393
1672380
1662367
1652354
1642341
1632328
1622315
1612302
1602289
1592276
1582263
1572250
1562237
1552224
1542211
1532198
1522185
1512172
1502159
1492146
1482133
1472120
1462107
1452094
1442081
1432068
1422055
1412042
1402029
1392016
1382003
1371990
1361977
1351964
1341951
1331938
1321925
1311912
1301899
1291886
1281873
1271860
1261847
1251834
1241821
1231808
1221795
1211782
1201769
1191756
1181743
1171730
1161717
1151704
1141691
1131678
1121665
1111652
1101639
1091626
1081613
1071600
1061587
1051574
1041561
1031548
1021535
1011522
1001509
991496
981483
971470
961457
951444
941431
931418
921405
911392
901379
891366
881353
871340
861327
851314
841301
831288
821275
811262
801249
791236
781223
771210
761197
751184
741171
731158
721145
711132
701119
691106
681093
671080
661067
651054
641041
631028
621015
611002
60989
59976
58963
57950
56937
55924
54911
53898
52885
51872
50859
49846
48833
47820
46807
45794
44781
43768
42755
41742
40729
39716
38703
37690
36677
35664
34651
33638
32625
31612
30599
29586
28573
27560
26547
25534
24521
23508
22495
21482
20469
19456
18443
17430
16417
15404
14391
13378
12365
11352
10339
9326
8308
7282
6257
5220
4180
3105
247
118
07

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite54.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:
25.0ms
(/ (- x y) x)
21.0ms
(/ (/ (- x y) x) (* 2.0 y))

series144.0ms

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

simplify869.0ms

Counts
103 → 103
Iterations
IterNodes
done5002
21883
1391
0156

prune430.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite43.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:
42.0ms
(- (/ 0.5 y) (/ 0.5 x))

series59.0ms

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

simplify2.6s

Counts
25 → 25
Iterations
IterNodes
done5000
33567
2404
1134
061

prune100.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ (/ 1 x) y)
13.0b
(* (/ (- x y) 2.0) (/ (/ 1 x) y))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
170×times-frac
122×add-sqr-sqrt
96×*-un-lft-identity
88×add-cube-cbrt
46×add-exp-log
43×associate-*r*
28×add-cbrt-cube
23×div-exp
19×associate-*l*
13×associate-/l*
12×cbrt-undiv
10×prod-exp div-inv
8×unswap-sqr
6×cbrt-unprod
4×pow1
3×rec-exp associate-/r* 1-exp distribute-lft-out-- difference-of-squares
2×add-log-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
2 → 170
Calls
2 calls:
9.0ms
(/ (/ 1 x) y)
60.0ms
(* (/ (- x y) 2.0) (/ (/ 1 x) y))

series93.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(/ (/ 1 x) y)
79.0ms
(* (/ (- x y) 2.0) (/ (/ 1 x) y))

simplify1.8s

Counts
176 → 176
Iterations
IterNodes
done5001
24337
1843
0271

prune590.0ms

Pruning

2 alts after pruning (0 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
IterNodes
done6
06

end0.0ms

sample670.0ms

Algorithm
intervals
Results
411.0ms8002×body80valid