Details

sample66.0ms

Algorithm

intervals

Results

21.0ms	31×	body	1280	valid
19.0ms	188×	body	80	valid
11.0ms	18×	body	640	valid
5.0ms	14×	body	320	valid
1.0ms	5×	body	160	valid

simplify1.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
108	1990
107	1974
106	1954
105	1938
104	1918
103	1902
102	1882
101	1866
100	1846
99	1830
98	1810
97	1794
96	1774
95	1758
94	1738
93	1722
92	1702
91	1686
90	1666
89	1650
88	1630
87	1614
86	1594
85	1578
84	1558
83	1542
82	1522
81	1506
80	1486
79	1470
78	1450
77	1434
76	1414
75	1398
74	1378
73	1362
72	1342
71	1326
70	1306
69	1290
68	1270
67	1254
66	1234
65	1218
64	1198
63	1182
62	1162
61	1146
60	1126
59	1110
58	1090
57	1074
56	1054
55	1038
54	1018
53	1002
52	982
51	966
50	946
49	930
48	910
47	894
46	874
45	858
44	838
43	822
42	802
41	786
40	766
39	750
38	730
37	714
36	694
35	678
34	658
33	642
32	622
31	606
30	586
29	570
28	550
27	534
26	514
25	498
24	478
23	462
22	442
21	426
20	406
19	390
18	370
17	354
16	334
15	318
14	298
13	282
12	258
11	168
10	135
9	99
8	83
7	63
6	49
5	39
4	37
3	35
2	28
1	14
0	8

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ x (cos y)) (* z (sin y)))
0.0b	(+ x (cos y))
0.1b	(* z (sin y))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
3×	`associate-r` `associate-l` `insert-posit16`
2×	`sum-log` `diff-log`
1×	`+-commutative` `sub-neg` `flip3-+` `flip3--` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `flip-+` `flip--` `distribute-lft-out` `unswap-sqr`

Counts

3 → 47

Calls

3 calls:

40.0ms	(- (+ x (cos y)) (* z (sin y)))
7.0ms	(+ x (cos y))
9.0ms	(* z (sin y))

series151.0ms

Counts

3 → 9

Calls

3 calls:

67.0ms	(- (+ x (cos y)) (* z (sin y)))
37.0ms	(+ x (cos y))
47.0ms	(* z (sin y))

simplify767.0ms

Counts

56 → 56

Iterations

Iter	Nodes
done	2000
3	1917
2	535
1	200
0	85

prune233.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
7.9b	(cbrt (* z (sin y)))
7.9b	(cbrt (* z (sin y)))
7.9b	(cbrt (* z (sin y)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 62

Calls

4 calls:

25.0ms	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
6.0ms	(cbrt (* z (sin y)))
7.0ms	(cbrt (* z (sin y)))
6.0ms	(cbrt (* z (sin y)))

series694.0ms

Counts

4 → 12

Calls

4 calls:

199.0ms	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
160.0ms	(cbrt (* z (sin y)))
167.0ms	(cbrt (* z (sin y)))
168.0ms	(cbrt (* z (sin y)))

simplify684.0ms

Counts

74 → 74

Iterations

Iter	Nodes
done	2001
3	1449
2	590
1	213
0	89

prune427.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 77

Calls

4 calls:

11.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series1.1s

Counts

4 → 12

Calls

4 calls:

300.0ms	(* (cbrt z) (cbrt z))
256.0ms	(cbrt z)
236.0ms	(cbrt z)
276.0ms	(cbrt z)

simplify548.0ms

Counts

89 → 89

Iterations

Iter	Nodes
done	2000
3	1039
2	380
1	138
0	63

prune413.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sin y)) (cbrt (sin y)))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 77

Calls

4 calls:

15.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))

series555.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
142.0ms	(cbrt (sin y))
124.0ms	(cbrt (sin y))
135.0ms	(cbrt (sin y))

simplify673.0ms

Counts

89 → 89

Iterations

Iter	Nodes
done	2003
3	1407
2	456
1	176
0	77

prune393.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes194.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	10
1	10
0	8

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.0s	5598×	body	80	valid
976.0ms	1021×	body	1280	valid
931.0ms	750×	body	640	valid
186.0ms	436×	body	320	valid
60.0ms	195×	body	160	valid