Details

Time bar (total: 35.6s)

sample109.0ms

Algorithm
intervals
Results
72.0ms177×body1280valid
12.0ms46×body640valid
11.0ms264×body80valid
3.0ms20×body320valid
1.0ms7×body160valid

simplify17.8s

Counts
1 → 1
Iterations
IterNodes
2582008
2571999
2561994
2551985
2541980
2531971
2521966
2511957
2501952
2491943
2481938
2471929
2461924
2451915
2441910
2431901
2421896
2411887
2401882
2391873
2381868
2371859
2361854
2351845
2341840
2331831
2321826
2311817
2301812
2291803
2281798
2271789
2261784
2251775
2241770
2231761
2221756
2211747
2201742
2191733
2181728
2171719
2161714
2151705
2141700
2131691
2121686
2111677
2101672
2091663
2081658
2071649
2061644
2051635
2041630
2031621
2021616
2011607
2001602
1991593
1981588
1971579
1961574
1951565
1941560
1931551
1921546
1911537
1901532
1891523
1881518
1871509
1861504
1851495
1841490
1831481
1821476
1811467
1801462
1791453
1781448
1771439
1761434
1751425
1741420
1731411
1721406
1711397
1701392
1691383
1681378
1671369
1661364
1651355
1641350
1631341
1621336
1611327
1601322
1591313
1581308
1571299
1561294
1551285
1541280
1531271
1521266
1511257
1501252
1491243
1481238
1471229
1461224
1451215
1441210
1431201
1421196
1411187
1401182
1391173
1381168
1371159
1361154
1351145
1341140
1331131
1321126
1311117
1301112
1291103
1281098
1271089
1261084
1251075
1241070
1231061
1221056
1211047
1201042
1191033
1181028
1171019
1161014
1151005
1141000
113991
112986
111977
110972
109963
108958
107949
106944
105935
104930
103921
102916
101907
100902
99893
98888
97879
96874
95865
94860
93851
92846
91837
90832
89823
88818
87809
86804
85795
84790
83781
82776
81767
80762
79753
78748
77739
76734
75725
74720
73711
72706
71697
70692
69683
68678
67669
66664
65655
64650
63641
62636
61627
60622
59613
58608
57599
56594
55585
54580
53571
52566
51557
50552
49543
48538
47529
46524
45515
44510
43501
42496
41487
40482
39473
38468
37459
36454
35445
34440
33431
32426
31417
30412
29403
28398
27389
26384
25375
24370
23361
22356
21347
20342
19331
18326
17319
16314
15303
14301
13283
12269
11246
10212
9158
8101
773
664
560
457
343
227
115
07

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.1b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (exp x) 2)
0.0b
(/ -1 (exp x))
3.1b
(- (- (exp x) 2) (/ -1 (exp x)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
108×add-sqr-sqrt *-un-lft-identity
83×prod-diff
73×add-cube-cbrt
55×times-frac
18×distribute-lft-out--
17×difference-of-squares
11×associate--l+
10×add-log-exp
8×fma-neg
6×div-inv
5×add-cbrt-cube
4×diff-log add-exp-log
3×expm1-log1p-u pow1 associate-/r* sub-neg flip3-- insert-posit16 log1p-expm1-u flip-- associate-/l*
2×frac-sub
1×associate--l- cbrt-undiv clear-num frac-2neg div-exp
Counts
3 → 163
Calls
3 calls:
13.0ms
(- (exp x) 2)
10.0ms
(/ -1 (exp x))
87.0ms
(- (- (exp x) 2) (/ -1 (exp x)))

series123.0ms

Counts
3 → 9
Calls
3 calls:
20.0ms
(- (exp x) 2)
16.0ms
(/ -1 (exp x))
87.0ms
(- (- (exp x) 2) (/ -1 (exp x)))

simplify3.9s

Counts
172 → 172
Iterations
IterNodes
34872
21600
1621
0263

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
589×pow1
290×pow-prod-up
203×pow-plus
100×pow-prod-down
90×pow-sqr
57×pow2
55×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
24×pow3
10×add-sqr-sqrt
8×associate-*r*
7×*-un-lft-identity add-cube-cbrt
6×associate-*l*
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×unswap-sqr
1×swap-sqr
Counts
4 → 278
Calls
4 calls:
78.0ms
(* (* (* x x) x) (* (* x x) x))
29.0ms
(* (* x x) x)
30.0ms
(* (* x x) x)
28.0ms
(* 1/12 (* x x))

series160.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (* (* x x) x) (* (* x x) x))
39.0ms
(* (* x x) x)
35.0ms
(* (* x x) x)
27.0ms
(* 1/12 (* x x))

simplify933.0ms

Counts
290 → 290
Iterations
IterNodes
32021
2675
1332
0111

prune2.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 2 (/ -1 (exp x)))
0.0b
(/ -1 (exp x))
3.6b
(- (exp x) (+ 2 (/ -1 (exp x))))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
22×add-sqr-sqrt
20×add-cube-cbrt
12×prod-diff
10×add-log-exp
9×times-frac
5×add-cbrt-cube distribute-lft-out
4×add-exp-log
3×expm1-log1p-u pow1 associate-/r* fma-def fma-neg insert-posit16 log1p-expm1-u associate-/l*
2×sum-log diff-log distribute-lft-out--
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- associate--r+ difference-of-squares
Counts
3 → 83
Calls
3 calls:
8.0ms
(+ 2 (/ -1 (exp x)))
5.0ms
(/ -1 (exp x))
60.0ms
(- (exp x) (+ 2 (/ -1 (exp x))))

series133.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(+ 2 (/ -1 (exp x)))
17.0ms
(/ -1 (exp x))
98.0ms
(- (exp x) (+ 2 (/ -1 (exp x))))

simplify1.3s

Counts
92 → 92
Iterations
IterNodes
32784
2806
1334
0142

prune696.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes34.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
211
111
09

end0.0ms

sample5.6s

Algorithm
intervals
Results
4.1s5680×body1280valid
619.0ms8148×body80valid
466.0ms1248×body640valid
136.0ms598×body320valid
82.0ms286×body160valid