Details

sample49.0ms

Algorithm

intervals

Results

18.0ms

359×

body

valid

simplify9.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
58	4953
57	4862
56	4757
55	4663
54	4559
53	4468
52	4357
51	4268
50	4164
49	4071
48	3966
47	3877
46	3771
45	3680
44	3575
43	3481
42	3377
41	3286
40	3175
39	3086
38	2982
37	2889
36	2784
35	2695
34	2589
33	2498
32	2393
31	2299
30	2195
29	2104
28	1993
27	1904
26	1800
25	1707
24	1602
23	1513
22	1407
21	1316
20	1211
19	1117
18	1005
17	925
16	789
15	625
14	465
13	385
12	344
11	307
10	277
9	257
8	228
7	201
6	182
5	138
4	95
3	67
2	48
1	24
0	11

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(* (* z 3.0) y)
0.2b	(/ y (* z 3.0))
6.2b	(/ t (* (* z 3.0) y))

rewrite349.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
25×	`add-sqr-sqrt`
23×	`associate-+l+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
21×	`prod-diff`
15×	`times-frac`
9×	`pow1` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*`
5×	`cbrt-undiv` `fma-def` `div-exp` `div-inv`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`associate-r` `pow-prod-down`
2×	`clear-num` `associate-/r*` `sum-log` `frac-2neg` `frac-add` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3-+` `flip3--` `diff-log` `associate-l` `*-commutative` `associate-+l-` `flip-+` `flip--` `difference-of-squares`

Counts

4 → 119

Calls

4 calls:

250.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
45.0ms	(* (* z 3.0) y)
17.0ms	(/ y (* z 3.0))
25.0ms	(/ t (* (* z 3.0) y))

series372.0ms

Counts

4 → 12

Calls

4 calls:

204.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
53.0ms	(* (* z 3.0) y)
42.0ms	(/ y (* z 3.0))
72.0ms	(/ t (* (* z 3.0) y))

simplify3.9s

Counts

131 → 131

Iterations

Iter	Nodes
done	5062
2	2050
1	512
0	188

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z 3.0))
3.6b	(/ (/ t (* z 3.0)) y)

rewrite332.0ms

Algorithm

rewrite-expression-head

Rules

48×	`times-frac`
45×	`*-un-lft-identity`
40×	`add-sqr-sqrt`
38×	`add-cube-cbrt`
23×	`associate-+l+` `add-cbrt-cube` `add-exp-log`
21×	`prod-diff`
13×	`associate-/l*`
10×	`div-inv`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
5×	`associate-/r*` `fma-def`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u`
3×	`clear-num` `frac-2neg` `prod-exp` `cbrt-unprod`
2×	`sum-log` `frac-add` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3-+` `flip3--` `diff-log` `associate-+l-` `flip-+` `flip--` `difference-of-squares` `associate-/l/`

Counts

4 → 147

Calls

4 calls:

236.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
29.0ms	(/ y (* z 3.0))
21.0ms	(/ t (* z 3.0))
25.0ms	(/ (/ t (* z 3.0)) y)

series299.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
38.0ms	(/ y (* z 3.0))
40.0ms	(/ t (* z 3.0))
57.0ms	(/ (/ t (* z 3.0)) y)

simplify3.7s

Counts

159 → 159

Iterations

Iter	Nodes
done	5011
2	2092
1	598
0	234

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z 3.0))
3.6b	(* (/ t (* z 3.0)) (/ 1 y))

rewrite289.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-exp-log`
40×	`add-sqr-sqrt`
35×	`add-cbrt-cube`
34×	`*-un-lft-identity`
31×	`add-cube-cbrt`
29×	`times-frac`
23×	`associate-+l+`
21×	`prod-diff`
18×	`div-exp` `prod-exp`
13×	`associate-r`
11×	`cbrt-undiv`
10×	`cbrt-unprod`
9×	`add-log-exp`
8×	`frac-add`
7×	`associate-l` `div-inv`
6×	`pow1` `associate-/l*`
5×	`fma-def`
4×	`expm1-log1p-u` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--`
3×	`frac-times` `rec-exp` `1-exp` `associate-l/` `associate-r/` `un-div-inv` `unswap-sqr`
2×	`clear-num` `associate-/r*` `sum-log` `frac-2neg`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `*-commutative` `associate-+l-` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 157

Calls

4 calls:

165.0ms	(+ (- x (/ y (* z 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
20.0ms	(/ y (* z 3.0))
15.0ms	(/ t (* z 3.0))
63.0ms	(* (/ t (* z 3.0)) (/ 1 y))

series331.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(+ (- x (/ y (* z 3.0))) (* (/ t (* z 3.0)) (/ 1 y)))
52.0ms	(/ y (* z 3.0))
34.0ms	(/ t (* z 3.0))
61.0ms	(* (/ t (* z 3.0)) (/ 1 y))

simplify5.1s

Counts

169 → 169

Iterations

Iter	Nodes
done	5144
2	3057
1	766
0	265

prune2.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (* (/ (/ t z) 3.0) (/ 1 y)))
0.2b	(/ y (* z 3.0))
0.2b	(/ (/ t z) 3.0)
3.6b	(* (/ (/ t z) 3.0) (/ 1 y))

rewrite379.0ms

Algorithm

rewrite-expression-head

Rules

177×	`times-frac`
136×	`add-sqr-sqrt`
109×	`*-un-lft-identity`
104×	`add-cube-cbrt`
53×	`add-exp-log`
43×	`associate-l`
35×	`add-cbrt-cube`
23×	`associate-+l+` `div-exp`
21×	`prod-diff`
16×	`associate-/l*`
14×	`cbrt-undiv` `div-inv`
13×	`associate-r` `prod-exp`
9×	`add-log-exp` `unswap-sqr`
8×	`frac-add`
7×	`cbrt-unprod`
6×	`pow1`
5×	`fma-def`
4×	`expm1-log1p-u` `associate-/r*` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--`
3×	`frac-times` `rec-exp` `1-exp` `associate-l/` `associate-r/` `un-div-inv`
2×	`clear-num` `sum-log` `frac-2neg`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `*-commutative` `associate-+l-` `flip-+` `distribute-lft-out--` `difference-of-squares` `associate-/l/`

Counts

4 → 248

Calls

4 calls:

189.0ms	(+ (- x (/ y (* z 3.0))) (* (/ (/ t z) 3.0) (/ 1 y)))
15.0ms	(/ y (* z 3.0))
15.0ms	(/ (/ t z) 3.0)
108.0ms	(* (/ (/ t z) 3.0) (/ 1 y))

series289.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(+ (- x (/ y (* z 3.0))) (* (/ (/ t z) 3.0) (/ 1 y)))
37.0ms	(/ y (* z 3.0))
26.0ms	(/ (/ t z) 3.0)
73.0ms	(* (/ (/ t z) 3.0) (/ 1 y))

simplify6.9s

Counts

260 → 260

Iterations

Iter	Nodes
done	5002
2	4514
1	1203
0	412

prune4.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes1.1s

Accuracy

70.4% (0.5b remaining)

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

bsearch181.0ms

Steps

Iters	Range		Point
5	1.5803814198611752e+21	4.366604794392817e+21	2.750296502407607e+21
10	-2.676814349120655e-27	-2.899505988666841e-37	-1.7325840866060487e-30

simplify25.0ms

Iterations

Iter	Nodes
done	40
2	40
1	38
0	32

end0.0ms

sample1.6s

Algorithm

intervals

Results

864.0ms

11127×

body

valid