Details

sample266.0ms

Algorithm

intervals

Results

135.0ms	62×	body	1280	valid
59.0ms	51×	body	640	valid
36.0ms	154×	body	80	valid
16.0ms	22×	body	320	valid
7.0ms	14×	body	160	valid

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
44	704
43	704
42	684
41	661
40	645
39	631
38	625
37	612
36	594
35	582
34	563
33	540
32	524
31	510
30	504
29	491
28	473
27	461
26	442
25	419
24	403
23	389
22	383
21	370
20	352
19	340
18	321
17	298
16	282
15	268
14	262
13	250
12	238
11	220
10	206
9	191
8	186
7	176
6	151
5	102
4	69
3	40
2	32
1	18
0	10

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ 1 (sin B))
0.2b	(/ x (tan B))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
8×	`add-exp-log`
6×	`associate-/r` `add-cbrt-cube` `associate-/l`
3×	`pow1` `div-exp`
2×	`expm1-log1p-u` `cbrt-undiv` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`rec-exp` `1-exp` `tan-quot` `associate-/r/` `pow-flip` `inv-pow`

Counts

2 → 65

Calls

2 calls:

5.0ms	(/ 1 (sin B))
5.0ms	(/ x (tan B))

series197.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(/ 1 (sin B))
173.0ms	(/ x (tan B))

simplify1.5s

Counts

71 → 71

Iterations

Iter	Nodes
5	3083
4	1563
3	743
2	398
1	204
0	119

prune521.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (cos B))
0.1b	(/ 1 (sin B))
0.2b	(/ (* x (cos B)) (sin B))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
14×	`add-exp-log`
12×	`times-frac` `add-cbrt-cube`
6×	`pow1` `associate-/r*`
4×	`div-exp` `associate-/l*`
3×	`expm1-log1p-u` `cbrt-undiv` `associate-r` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `div-inv`
1×	`rec-exp` `1-exp` `pow-prod-down` `*-commutative` `pow-flip` `inv-pow` `unswap-sqr`

Counts

3 → 79

Calls

3 calls:

11.0ms	(* x (cos B))
9.0ms	(/ 1 (sin B))
21.0ms	(/ (* x (cos B)) (sin B))

series181.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(* x (cos B))
15.0ms	(/ 1 (sin B))
126.0ms	(/ (* x (cos B)) (sin B))

simplify1.2s

Counts

88 → 88

Iterations

Iter	Nodes
3	2653
2	696
1	246
0	124

prune684.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ 1 (sin B))
0.2b	(/ (cos B) (sin B))
0.3b	(* x (/ (cos B) (sin B)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
28×	`times-frac`
27×	`*-un-lft-identity` `add-cube-cbrt`
14×	`add-exp-log`
13×	`associate-r`
12×	`add-cbrt-cube`
6×	`pow1` `associate-/r` `associate-/l`
4×	`div-exp`
3×	`expm1-log1p-u` `cbrt-undiv` `associate-l` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`rec-exp` `1-exp` `pow-prod-down` `associate-r/` `-commutative` `pow-flip` `inv-pow`

Counts

3 → 99

Calls

3 calls:

9.0ms	(/ 1 (sin B))
9.0ms	(/ (cos B) (sin B))
16.0ms	(* x (/ (cos B) (sin B)))

series212.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(/ 1 (sin B))
26.0ms	(/ (cos B) (sin B))
171.0ms	(* x (/ (cos B) (sin B)))

simplify3.1s

Counts

108 → 108

Iterations

Iter	Nodes
3	2957
2	916
1	308
0	148

prune801.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ 1 (sin B))
0.2b	(/ (tan B) x)
0.3b	(/ 1 (/ (tan B) x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

93×	`times-frac`
61×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
20×	`add-exp-log`
19×	`associate-/r*`
12×	`add-cbrt-cube`
10×	`div-exp`
9×	`associate-/l*`
7×	`div-inv`
5×	`pow1` `cbrt-undiv`
3×	`expm1-log1p-u` `rec-exp` `clear-num` `frac-2neg` `1-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-flip` `inv-pow`
1×	`tan-quot` `associate-/r/` `associate-/l/`

Counts

3 → 144

Calls

3 calls:

7.0ms	(/ 1 (sin B))
16.0ms	(/ (tan B) x)
13.0ms	(/ 1 (/ (tan B) x))

series179.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(/ 1 (sin B))
56.0ms	(/ (tan B) x)
108.0ms	(/ 1 (/ (tan B) x))

simplify6.2s

Counts

153 → 153

Iterations

Iter	Nodes
3	3204
2	1178
1	484
0	219

prune1.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes164.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
2	10
1	10
0	9

end0.0ms

sample8.4s

Algorithm

intervals

Results

3.5s	1727×	body	1280	valid
2.1s	4957×	body	80	valid
1.8s	1459×	body	640	valid
571.0ms	690×	body	320	valid
178.0ms	328×	body	160	valid

Iter	Nodes
44	704
43	704
42	684
41	661
40	645
39	631
38	625
37	612
36	594
35	582
34	563
33	540
32	524
31	510
30	504
29	491
28	473
27	461
26	442
25	419
24	403
23	389
22	383
21	370
20	352
19	340
18	321
17	298
16	282
15	268
14	262
13	250
12	238
11	220
10	206
9	191
8	186
7	176
6	151
5	102
4	69
3	40
2	32
1	18
0	10

Iter	Nodes
44	704
43	704
42	684
41	661
40	645
39	631
38	625
37	612
36	594
35	582
34	563
33	540
32	524
31	510
30	504
29	491
28	473
27	461
26	442
25	419
24	403
23	389
22	383
21	370
20	352
19	340
18	321
17	298
16	282
15	268
14	262
13	250
12	238
11	220
10	206
9	191
8	186
7	176
6	151
5	102
4	69
3	40
2	32
1	18
0	10

Iter	Nodes
44	704
43	704
42	684
41	661
40	645
39	631
38	625
37	612
36	594
35	582
34	563
33	540
32	524
31	510
30	504
29	491
28	473
27	461
26	442
25	419
24	403
23	389
22	383
21	370
20	352
19	340
18	321
17	298
16	282
15	268
14	262
13	250
12	238
11	220
10	206
9	191
8	186
7	176
6	151
5	102
4	69
3	40
2	32
1	18
0	10