Details

sample91.0ms

Algorithm

intervals

Results

28.0ms	31×	body	1280	valid
27.0ms	188×	body	80	valid
12.0ms	18×	body	640	valid
8.0ms	14×	body	320	valid
2.0ms	5×	body	160	valid

simplify1.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
100	1998
99	1982
98	1962
97	1946
96	1926
95	1910
94	1890
93	1874
92	1854
91	1838
90	1818
89	1802
88	1782
87	1766
86	1746
85	1730
84	1710
83	1694
82	1674
81	1658
80	1638
79	1622
78	1602
77	1586
76	1566
75	1550
74	1530
73	1514
72	1494
71	1478
70	1458
69	1442
68	1422
67	1406
66	1386
65	1370
64	1350
63	1334
62	1314
61	1298
60	1278
59	1262
58	1242
57	1226
56	1206
55	1190
54	1170
53	1154
52	1134
51	1118
50	1098
49	1082
48	1062
47	1046
46	1026
45	1010
44	990
43	974
42	954
41	938
40	918
39	902
38	882
37	866
36	846
35	830
34	810
33	794
32	774
31	758
30	738
29	722
28	702
27	686
26	666
25	650
24	630
23	614
22	594
21	578
20	558
19	542
18	522
17	506
16	486
15	470
14	450
13	434
12	340
11	210
10	171
9	128
8	107
7	87
6	63
5	53
4	51
3	39
2	28
1	14
0	8

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.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))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 64

Calls

3 calls:

38.0ms	(- (+ x (cos y)) (* z (sin y)))
8.0ms	(+ x (cos y))
13.0ms	(* z (sin y))

series136.0ms

Counts

3 → 9

Calls

3 calls:

64.0ms	(- (+ x (cos y)) (* z (sin y)))
28.0ms	(+ x (cos y))
43.0ms	(* z (sin y))

simplify507.0ms

Counts

73 → 73

Iterations

Iter	Nodes
done	2002
2	644
1	231
0	98

prune334.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize38.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)))

rewrite55.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×	`expm1-log1p-u` `add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `insert-posit16` `log1p-expm1-u` `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 → 70

Calls

4 calls:

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

series649.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
130.0ms	(cbrt (* z (sin y)))
162.0ms	(cbrt (* z (sin y)))
179.0ms	(cbrt (* z (sin y)))

simplify671.0ms

Counts

82 → 82

Iterations

Iter	Nodes
done	2000
3	1514
2	545
1	217
0	93

prune437.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize26.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)

rewrite11.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×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `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 → 85

Calls

4 calls:

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

288.0ms	(* (cbrt z) (cbrt z))
266.0ms	(cbrt z)
277.0ms	(cbrt z)
232.0ms	(cbrt z)

simplify672.0ms

Counts

97 → 97

Iterations

Iter	Nodes
done	2004
3	1110
2	364
1	141
0	67

prune355.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize24.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))

rewrite20.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×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `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 → 85

Calls

4 calls:

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

series568.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
147.0ms	(cbrt (sin y))
132.0ms	(cbrt (sin y))
135.0ms	(cbrt (sin y))

simplify740.0ms

Counts

97 → 97

Iterations

Iter	Nodes
done	2006
3	1352
2	474
1	182
0	81

prune342.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes155.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	10
1	10
0	8

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.3s	1021×	body	1280	valid
813.0ms	5598×	body	80	valid
503.0ms	750×	body	640	valid
265.0ms	436×	body	320	valid
51.0ms	195×	body	160	valid