Details

sample86.0ms

Algorithm

intervals

Results

26.0ms

331×

body

valid

simplify9.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
58	4975
57	4886
56	4782
55	4689
54	4584
53	4495
52	4389
51	4298
50	4193
49	4098
48	3994
47	3903
46	3792
45	3703
44	3599
43	3506
42	3401
41	3312
40	3206
39	3115
38	3010
37	2919
36	2815
35	2724
34	2615
33	2526
32	2422
31	2329
30	2224
29	2135
28	2029
27	1938
26	1833
25	1740
24	1636
23	1545
22	1436
21	1347
20	1243
19	1150
18	1037
17	959
16	828
15	660
14	504
13	421
12	378
11	340
10	298
9	266
8	238
7	209
6	188
5	138
4	95
3	67
2	48
1	24
0	11

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.3b

localize42.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))
8.3b	(/ t (* (* z 3.0) y))

rewrite253.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-r` `pow-prod-down`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip--` `flip-+` `distribute-lft-out--`

Counts

4 → 81

Calls

4 calls:

154.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
34.0ms	(* (* z 3.0) y)
24.0ms	(/ y (* z 3.0))
36.0ms	(/ t (* (* z 3.0) y))

series340.0ms

Counts

4 → 12

Calls

4 calls:

186.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
41.0ms	(* (* z 3.0) y)
55.0ms	(/ y (* z 3.0))
58.0ms	(/ t (* (* z 3.0) y))

simplify5.4s

Counts

93 → 93

Iterations

Iter	Nodes
done	5008
2	1594
1	406
0	149

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize45.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.5b	(/ (/ t (* z 3.0)) y)

rewrite632.0ms

Algorithm

rewrite-expression-head

Rules

39×	`times-frac`
29×	`*-un-lft-identity`
24×	`add-sqr-sqrt` `add-cube-cbrt`
23×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
7×	`div-inv`
5×	`associate-/r*`
4×	`pow1`
3×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod`
2×	`associate-+l+` `frac-add` `sum-log` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `associate-/l/` `distribute-lft-out--`

Counts

4 → 109

Calls

4 calls:

516.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
15.0ms	(/ y (* z 3.0))
15.0ms	(/ t (* z 3.0))
38.0ms	(/ (/ t (* z 3.0)) y)

series513.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
110.0ms	(/ y (* z 3.0))
92.0ms	(/ t (* z 3.0))
163.0ms	(/ (/ t (* z 3.0)) y)

simplify5.3s

Counts

121 → 121

Iterations

Iter	Nodes
done	5045
2	1811
1	492
0	195

prune2.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite433.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac`
237×	`*-un-lft-identity`
232×	`add-sqr-sqrt` `add-cube-cbrt`
59×	`associate-/l*`
23×	`add-exp-log` `add-cbrt-cube` `div-inv`
11×	`cbrt-undiv` `div-exp`
9×	`add-log-exp`
7×	`associate-/r*`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`associate-+l+` `frac-add` `sum-log` `associate-/l/` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `prod-exp` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--`

Counts

4 → 302

Calls

4 calls:

307.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y))
32.0ms	(/ (/ t z) 3.0)
16.0ms	(/ y (* z 3.0))
45.0ms	(/ (/ (/ t z) 3.0) y)

series277.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y))
31.0ms	(/ (/ t z) 3.0)
42.0ms	(/ y (* z 3.0))
55.0ms	(/ (/ (/ t z) 3.0) y)

simplify3.9s

Counts

314 → 314

Iterations

Iter	Nodes
done	5001
2	3469
1	1240
0	536

prune4.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ t z) 3.0)
0.2b	(/ y (* z 3.0))
0.8b	(/ 1 (/ y (/ (/ t z) 3.0)))
3.5b	(/ y (/ (/ t z) 3.0))

rewrite548.0ms

Algorithm

rewrite-expression-head

Rules

2181×	`times-frac`
963×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
181×	`associate-/r*`
76×	`div-inv`
57×	`add-exp-log`
37×	`div-exp` `add-cbrt-cube`
22×	`associate-/l*`
21×	`cbrt-undiv`
6×	`associate-/r/`
5×	`pow1`
4×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `prod-exp` `cbrt-unprod` `associate-/l/` `inv-pow`

Counts

4 → 851

Calls

4 calls:

23.0ms	(/ (/ t z) 3.0)
15.0ms	(/ y (* z 3.0))
200.0ms	(/ 1 (/ y (/ (/ t z) 3.0)))
39.0ms	(/ y (/ (/ t z) 3.0))

series386.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(/ (/ t z) 3.0)
37.0ms	(/ y (* z 3.0))
56.0ms	(/ 1 (/ y (/ (/ t z) 3.0)))
253.0ms	(/ y (/ (/ t z) 3.0))

simplify8.8s

Counts

863 → 863

Iterations

Iter	Nodes
done	5000
1	3743
0	1283

prune11.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes1.4s

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations

Iter	Nodes
done	18
1	18
0	14

end0.0ms

sample6.4s

Algorithm

intervals

Results

5.3s

11136×

body

valid