Details

Time bar (total: 21.0s)

sample137.0ms

Algorithm
intervals
Results
93.0ms171×body1280valid
14.0ms45×body640valid
12.0ms231×body80valid
5.0ms22×body320valid
2.0ms15×body160valid

simplify7.5s

Counts
1 → 1
Iterations
IterNodes
done5000
4104992
4094980
4084967
4074961
4064942
4054934
4044921
4034915
4024896
4014886
4004873
3994867
3984848
3974838
3964825
3954819
3944800
3934790
3924777
3914771
3904752
3894744
3884731
3874725
3864706
3854696
3844683
3834677
3824658
3814648
3804635
3794629
3784610
3774600
3764587
3754581
3744562
3734552
3724539
3714533
3704514
3694504
3684491
3674485
3664466
3654456
3644443
3634437
3624418
3614410
3604397
3594391
3584372
3574362
3564349
3554343
3544324
3534314
3524301
3514295
3504276
3494268
3484255
3474249
3464230
3454220
3444207
3434201
3424182
3414172
3404159
3394153
3384134
3374126
3364113
3354107
3344088
3334078
3324065
3314059
3304040
3294032
3284019
3274013
3263994
3253986
3243973
3233967
3223948
3213938
3203925
3193919
3183900
3173892
3163879
3153873
3143854
3133844
3123831
3113825
3103806
3093794
3083781
3073775
3063756
3053746
3043733
3033727
3023708
3013696
3003683
2993677
2983658
2973648
2963635
2953629
2943610
2933600
2923587
2913581
2903562
2893552
2883539
2873533
2863514
2853504
2843491
2833485
2823466
2813456
2803443
2793437
2783418
2773410
2763397
2753391
2743372
2733364
2723351
2713345
2703326
2693316
2683303
2673297
2663278
2653268
2643255
2633249
2623230
2613220
2603207
2593201
2583182
2573172
2563159
2553153
2543134
2533124
2523111
2513105
2503086
2493078
2483065
2473059
2463040
2453032
2443019
2433013
2422994
2412984
2402971
2392965
2382946
2372938
2362925
2352919
2342900
2332894
2322881
2312875
2302856
2292846
2282833
2272827
2262808
2252800
2242787
2232781
2222762
2212752
2202739
2192733
2182714
2172704
2162691
2152685
2142666
2132658
2122645
2112639
2102620
2092610
2082597
2072591
2062572
2052564
2042551
2032545
2022526
2012516
2002503
1992497
1982478
1972468
1962455
1952449
1942430
1932420
1922407
1912401
1902382
1892372
1882359
1872353
1862334
1852324
1842311
1832305
1822286
1812274
1802261
1792255
1782236
1772226
1762213
1752207
1742188
1732180
1722167
1712161
1702142
1692134
1682121
1672115
1662096
1652086
1642073
1632067
1622048
1612040
1602027
1592021
1582002
1571992
1561979
1551973
1541954
1531946
1521933
1511927
1501908
1491900
1481887
1471881
1461862
1451854
1441841
1431835
1421816
1411806
1401793
1391787
1381768
1371756
1361743
1351737
1341718
1331706
1321693
1311687
1301666
1291656
1281639
1271633
1261618
1251604
1241591
1231585
1221566
1211558
1201545
1191539
1181520
1171510
1161497
1151491
1141472
1131462
1121449
1111443
1101424
1091414
1081401
1071395
1061376
1051366
1041353
1031347
1021328
1011318
1001305
991299
981280
971270
961257
951251
941232
931222
921209
911203
901184
891174
881161
871155
861136
851130
841117
831111
821092
811082
801069
791063
781044
771036
761023
751017
74998
73990
72977
71971
70952
69942
68929
67923
66904
65894
64881
63875
62856
61846
60833
59827
58808
57798
56785
55779
54760
53750
52737
51731
50712
49702
48689
47683
46664
45654
44641
43635
42616
41606
40593
39587
38568
37556
36543
35537
34518
33510
32497
31491
30472
29462
28449
27443
26424
25414
24401
23395
22376
21368
20355
19349
18330
17320
16307
15301
14284
13274
12253
11246
10215
9173
8101
773
664
560
457
343
227
115
07

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.8b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (exp x) 2)
5.1b
(+ (- (exp x) 2) (exp (- x)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity add-log-exp
4×add-sqr-sqrt frac-add
3×flip3-- flip--
2×neg-sub0 exp-neg pow1 associate-+l+ sum-log sub-neg add-cbrt-cube exp-diff diff-log add-exp-log add-cube-cbrt insert-posit16 distribute-lft-out distribute-lft-out--
1×+-commutative flip3-+ associate-+l- flip-+ difference-of-squares
Counts
2 → 37
Calls
2 calls:
8.0ms
(- (exp x) 2)
50.0ms
(+ (- (exp x) 2) (exp (- x)))

series104.0ms

Counts
2 → 6
Calls
2 calls:
15.0ms
(- (exp x) 2)
89.0ms
(+ (- (exp x) 2) (exp (- x)))

simplify2.0s

Counts
43 → 43
Iterations
IterNodes
done5000
32486
2650
1218
093

prune220.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(* (* (* x x) (* x x)) 1/12)
0.1b
(* 1/360 (* x (* x x)))
0.2b
(* (* x x) (* x x))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
156×pow1
48×add-cbrt-cube add-exp-log
45×pow-prod-down
41×pow-prod-up
30×prod-exp cbrt-unprod
23×pow-sqr
19×pow-plus
14×pow2
9×add-sqr-sqrt
8×associate-*l*
7×*-un-lft-identity add-cube-cbrt
6×associate-*r*
4×*-commutative insert-posit16 add-log-exp
3×unswap-sqr
1×cube-unmult swap-sqr
Counts
4 → 140
Calls
4 calls:
14.0ms
(* x (* x x))
75.0ms
(* (* (* x x) (* x x)) 1/12)
70.0ms
(* 1/360 (* x (* x x)))
47.0ms
(* (* x x) (* x x))

series189.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* x (* x x))
43.0ms
(* (* (* x x) (* x x)) 1/12)
45.0ms
(* 1/360 (* x (* x x)))
38.0ms
(* (* x x) (* x x))

simplify2.2s

Counts
152 → 152
Iterations
IterNodes
done5003
32416
2806
1318
0123

prune296.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
3.2b
(- (+ (exp x) (exp (- x))) 2)

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity add-log-exp
4×add-sqr-sqrt
2×pow1 sum-log add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- associate--l+ flip-+ flip-- difference-of-squares
Counts
2 → 31
Calls
2 calls:
16.0ms
(+ (exp x) (exp (- x)))
97.0ms
(- (+ (exp x) (exp (- x))) 2)

series127.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(+ (exp x) (exp (- x)))
82.0ms
(- (+ (exp x) (exp (- x))) 2)

simplify1.9s

Counts
37 → 37
Iterations
IterNodes
done5012
32801
2585
1182
072

prune145.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes24.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done17
117
011

end0.0ms

sample5.6s

Algorithm
intervals
Results
3.7s5625×body1280valid
789.0ms1242×body640valid
669.0ms7657×body80valid
178.0ms649×body320valid
41.0ms324×body160valid