Details

sample183.0ms

Algorithm

intervals

Results

126.0ms	181×	body	1280	valid
19.0ms	45×	body	640	valid
15.0ms	217×	body	80	valid
6.0ms	22×	body	320	valid
1.0ms	7×	body	160	valid

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
158	2000
157	1992
156	1979
155	1973
154	1954
153	1946
152	1933
151	1927
150	1908
149	1900
148	1887
147	1881
146	1862
145	1854
144	1841
143	1835
142	1816
141	1806
140	1793
139	1787
138	1768
137	1756
136	1743
135	1737
134	1718
133	1706
132	1693
131	1687
130	1666
129	1656
128	1639
127	1633
126	1618
125	1604
124	1591
123	1585
122	1566
121	1558
120	1545
119	1539
118	1520
117	1510
116	1497
115	1491
114	1472
113	1462
112	1449
111	1443
110	1424
109	1414
108	1401
107	1395
106	1376
105	1366
104	1353
103	1347
102	1328
101	1318
100	1305
99	1299
98	1280
97	1270
96	1257
95	1251
94	1232
93	1222
92	1209
91	1203
90	1184
89	1174
88	1161
87	1155
86	1136
85	1130
84	1117
83	1111
82	1092
81	1082
80	1069
79	1063
78	1044
77	1036
76	1023
75	1017
74	998
73	990
72	977
71	971
70	952
69	942
68	929
67	923
66	904
65	894
64	881
63	875
62	856
61	846
60	833
59	827
58	808
57	798
56	785
55	779
54	760
53	750
52	737
51	731
50	712
49	702
48	689
47	683
46	664
45	654
44	641
43	635
42	616
41	606
40	593
39	587
38	568
37	556
36	543
35	537
34	518
33	510
32	497
31	491
30	472
29	462
28	449
27	443
26	424
25	414
24	401
23	395
22	376
21	368
20	355
19	349
18	330
17	320
16	307
15	301
14	284
13	274
12	253
11	246
10	215
9	173
8	101
7	73
6	64
5	60
4	57
3	43
2	27
1	15
0	7

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.1b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite78.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:

16.0ms	(- (exp x) 2)
58.0ms	(+ (- (exp x) 2) (exp (- x)))

series87.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(- (exp x) 2)
74.0ms	(+ (- (exp x) 2) (exp (- x)))

simplify986.0ms

Counts

43 → 43

Iterations

Iter	Nodes
done	2003
3	2003
2	650
1	218
0	93

prune209.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite174.0ms

Algorithm

rewrite-expression-head

Rules

162×	`pow1`
48×	`pow-prod-up`
35×	`add-cbrt-cube` `pow-prod-down` `add-exp-log`
30×	`pow-plus`
26×	`pow-sqr`
20×	`prod-exp` `cbrt-unprod`
17×	`pow2`
10×	`associate-r`
9×	`add-sqr-sqrt`
7×	`*-un-lft-identity` `add-cube-cbrt`
4×	`associate-l` `*-commutative` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`
2×	`pow3`
1×	`swap-sqr`

Counts

4 → 144

Calls

4 calls:

63.0ms	(* (* (* x x) x) 1/360)
32.0ms	(* (* x x) x)
28.0ms	(* (* x x) x)
47.0ms	(* (* x x) (* x x))

series208.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* (* (* x x) x) 1/360)
45.0ms	(* (* x x) x)
46.0ms	(* (* x x) x)
44.0ms	(* (* x x) (* x x))

simplify1.3s

Counts

156 → 156

Iterations

Iter	Nodes
done	2017
3	2017
2	743
1	259
0	92

prune312.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations

Iter	Nodes
done	17
1	17
0	11

end0.0ms

sample5.4s

Algorithm

intervals

Results

3.9s	5668×	body	1280	valid
445.0ms	7843×	body	80	valid
439.0ms	1207×	body	640	valid
163.0ms	624×	body	320	valid
140.0ms	334×	body	160	valid