Details

sample39.0ms

Algorithm

intervals

Results

22.0ms

322×

body

valid

simplify5.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
124	4958
123	4925
122	4883
121	4845
120	4798
119	4765
118	4716
117	4684
116	4637
115	4598
114	4556
113	4524
112	4471
111	4438
110	4396
109	4358
108	4311
107	4278
106	4229
105	4197
104	4150
103	4113
102	4071
101	4039
100	3986
99	3953
98	3911
97	3869
96	3822
95	3789
94	3744
93	3712
92	3665
91	3628
90	3586
89	3554
88	3501
87	3468
86	3426
85	3384
84	3337
83	3304
82	3257
81	3225
80	3178
79	3139
78	3097
77	3065
76	3012
75	2979
74	2937
73	2899
72	2852
71	2819
70	2770
69	2738
68	2691
67	2654
66	2612
65	2580
64	2527
63	2494
62	2452
61	2410
60	2363
59	2330
58	2283
57	2251
56	2204
55	2167
54	2125
53	2093
52	2040
51	2007
50	1965
49	1927
48	1880
47	1847
46	1800
45	1768
44	1721
43	1684
42	1642
41	1610
40	1557
39	1524
38	1482
37	1444
36	1397
35	1364
34	1317
33	1285
32	1238
31	1201
30	1159
29	1127
28	1074
27	1041
26	999
25	961
24	914
23	881
22	836
21	804
20	757
19	718
18	670
17	633
16	596
15	570
14	503
13	459
12	375
11	327
10	275
9	235
8	183
7	143
6	93
5	54
4	38
3	28
2	19
1	12
0	6

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (- y x) z))
0.0b	(/ (- y x) z)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`add-cbrt-cube` `add-exp-log` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-/r*`
2×	`pow1` `div-sub` `insert-posit16` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `clear-num` `associate-+r-` `sum-log` `frac-2neg` `flip3-+` `flip3--` `div-exp` `flip-+` `div-inv` `flip--` `distribute-lft-out`

Counts

2 → 53

Calls

2 calls:

12.0ms	(+ x (/ (- y x) z))
13.0ms	(/ (- y x) z)

series73.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(+ x (/ (- y x) z))
40.0ms	(/ (- y x) z)

simplify2.1s

Counts

59 → 59

Iterations

Iter	Nodes
done	5025
3	3040
2	667
1	232
0	96

prune208.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (/ y z) (/ x z))
0.0b	(+ x (- (/ y z) (/ x z)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-sqr-sqrt`
10×	`times-frac`
9×	`add-log-exp`
5×	`distribute-lft-out--`
4×	`add-cube-cbrt` `difference-of-squares`
2×	`pow1` `associate-+r+` `sum-log` `sub-neg` `add-cbrt-cube` `diff-log` `add-exp-log` `insert-posit16` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+r-` `flip3-+` `flip3--` `distribute-rgt-out--` `frac-sub` `flip-+` `flip--` `sub-div`

Counts

2 → 42

Calls

2 calls:

24.0ms	(- (/ y z) (/ x z))
58.0ms	(+ x (- (/ y z) (/ x z)))

series79.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(- (/ y z) (/ x z))
41.0ms	(+ x (- (/ y z) (/ x z)))

simplify1.4s

Counts

48 → 48

Iterations

Iter	Nodes
done	5012
3	1687
2	459
1	182
0	79

prune214.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (/ 1 z) (- y x)))
0.3b	(* (/ 1 z) (- y x))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
13×	`-un-lft-identity` `associate-l*`
11×	`times-frac` `add-exp-log`
10×	`add-cube-cbrt`
7×	`add-cbrt-cube`
5×	`associate-r`
4×	`distribute-rgt-in` `pow1` `associate-+r+` `sub-neg` `distribute-lft-in` `prod-exp` `add-log-exp`
3×	`unswap-sqr`
2×	`frac-times` `flip3--` `div-exp` `associate-*r/` `cbrt-unprod` `insert-posit16` `flip--`
1×	`cbrt-undiv` `+-commutative` `rec-exp` `sum-log` `flip3-+` `1-exp` `pow-prod-down` `associate-l/` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 62

Calls

2 calls:

13.0ms	(+ x (* (/ 1 z) (- y x)))
22.0ms	(* (/ 1 z) (- y x))

series71.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(+ x (* (/ 1 z) (- y x)))
47.0ms	(* (/ 1 z) (- y x))

simplify1.8s

Counts

68 → 68

Iterations

Iter	Nodes
done	5004
3	2892
2	893
1	332
0	123

prune291.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ 1 (/ z (- y x))))
0.0b	(/ z (- y x))
0.3b	(/ 1 (/ z (- y x)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
106×	`*-un-lft-identity`
103×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`add-exp-log` `distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp`
7×	`div-inv`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`pow1` `cbrt-undiv`
3×	`insert-posit16`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `distribute-lft-out`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `pow-flip` `inv-pow`

Counts

3 → 161

Calls

3 calls:

18.0ms	(+ x (/ 1 (/ z (- y x))))
8.0ms	(/ z (- y x))
20.0ms	(/ 1 (/ z (- y x)))

series125.0ms

Counts

3 → 9

Calls

3 calls:

30.0ms	(+ x (/ 1 (/ z (- y x))))
52.0ms	(/ z (- y x))
43.0ms	(/ 1 (/ z (- y x)))

simplify1.6s

Counts

170 → 170

Iterations

Iter	Nodes
done	5001
2	1685
1	559
0	227

prune553.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes105.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	8
1	8
0	7

end0.0ms

sample1.3s

Algorithm

intervals

Results

1.0s

9995×

body

valid