Details

sample53.0ms

Algorithm

intervals

Results

39.0ms

304×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Iter	Nodes
5	4677
4	1387
3	359
2	94
1	32
0	15

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ (+ (/ PI a) (- (/ PI b))) (+ a b)) (* (- b a) 2))
0.2b	(/ (+ (/ PI a) (- (/ PI b))) (+ a b))
0.2b	(/ PI a)
0.3b	(/ PI b)

rewrite169.0ms

Algorithm

rewrite-expression-head

Rules

275×	`*-un-lft-identity`
246×	`times-frac`
106×	`distribute-lft-out`
89×	`add-sqr-sqrt` `add-cube-cbrt`
65×	`distribute-rgt-neg-in`
57×	`associate-/l*`
32×	`div-inv`
22×	`add-cbrt-cube` `add-exp-log`
11×	`associate-/r*`
9×	`cbrt-undiv` `div-sub` `div-exp`
8×	`associate-/r/`
4×	`pow1` `clear-num` `frac-2neg` `flip3-+` `flip-+` `insert-posit16` `add-log-exp` `associate-/l/`
2×	`neg-sub0` `associate-+r-` `unsub-neg` `associate-*l/` `prod-exp` `cbrt-unprod`
1×	`flip3--` `frac-add` `flip--` `distribute-neg-frac`

Counts

4 → 236

Calls

4 calls:

74.0ms	(/ (/ (+ (/ PI a) (- (/ PI b))) (+ a b)) (* (- b a) 2))
75.0ms	(/ (+ (/ PI a) (- (/ PI b))) (+ a b))
4.0ms	(/ PI a)
5.0ms	(/ PI b)

series336.0ms

Counts

4 → 12

Calls

4 calls:

117.0ms	(/ (/ (+ (/ PI a) (- (/ PI b))) (+ a b)) (* (- b a) 2))
113.0ms	(/ (+ (/ PI a) (- (/ PI b))) (+ a b))
43.0ms	(/ PI a)
63.0ms	(/ PI b)

simplify750.0ms

Counts

248 → 248

Iterations

Iter	Nodes
2	2323
1	722
0	310

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1 a) (/ 1 b))
0.2b	(/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a))
0.2b	(* (/ PI (- b a)) (/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a)))
0.3b	(/ PI (- b a))

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

1544×	`times-frac`
1118×	`*-un-lft-identity`
1117×	`add-sqr-sqrt`
410×	`add-cube-cbrt`
259×	`difference-of-squares`
250×	`associate-r`
203×	`distribute-lft-out--`
125×	`div-inv`
123×	`distribute-lft-out`
64×	`associate-/l*`
32×	`add-cbrt-cube` `add-exp-log`
21×	`associate-l`
13×	`cbrt-undiv` `div-exp`
9×	`associate-/r*`
8×	`associate-/r/`
6×	`pow1` `prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
4×	`insert-posit16`
3×	`flip3--` `flip--`
2×	`clear-num` `frac-2neg` `flip3-+` `div-sub` `flip-+`
1×	`frac-times` `sub-neg` `diff-log` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `frac-sub` `associate-/l/`

Counts

4 → 698

Calls

4 calls:

11.0ms	(- (/ 1 a) (/ 1 b))
44.0ms	(/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a))
97.0ms	(* (/ PI (- b a)) (/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a)))
22.0ms	(/ PI (- b a))

series334.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(- (/ 1 a) (/ 1 b))
98.0ms	(/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a))
141.0ms	(* (/ PI (- b a)) (/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a)))
71.0ms	(/ PI (- b a))

simplify1.1s

Counts

710 → 710

Iterations

Iter	Nodes
1	2399
0	799

prune8.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a))
0.2b	(* (/ 1 (/ (- b a) PI)) (/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a)))
0.2b	(/ (- b a) PI)
0.3b	(/ 1 (/ (- b a) PI))

rewrite215.0ms

Algorithm

rewrite-expression-head

Rules

1754×	`times-frac`
1257×	`add-sqr-sqrt`
1236×	`*-un-lft-identity`
502×	`add-cube-cbrt`
268×	`difference-of-squares`
250×	`associate-r`
214×	`distribute-lft-out--`
129×	`div-inv`
123×	`distribute-lft-out`
100×	`add-exp-log`
69×	`associate-/l*`
62×	`associate-l`
53×	`div-exp`
52×	`add-cbrt-cube`
26×	`associate-/r*`
25×	`cbrt-undiv`
21×	`prod-exp`
15×	`unswap-sqr`
9×	`cbrt-unprod`
8×	`rec-exp` `1-exp`
7×	`pow1`
6×	`associate-/r/`
4×	`insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `div-sub` `associate-/l/`
2×	`flip3-+` `flip-+`
1×	`frac-times` `flip3--` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `pow-flip` `flip--` `inv-pow`

Counts

4 → 838

Calls

4 calls:

31.0ms	(/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a))
128.0ms	(* (/ 1 (/ (- b a) PI)) (/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a)))
16.0ms	(/ (- b a) PI)
10.0ms	(/ 1 (/ (- b a) PI))

series321.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a))
105.0ms	(* (/ 1 (/ (- b a) PI)) (/ (/ (- (/ 1 a) (/ 1 b)) 2) (+ b a)))
56.0ms	(/ (- b a) PI)
59.0ms	(/ 1 (/ (- b a) PI))

simplify1.5s

Counts

850 → 850

Iterations

Iter	Nodes
1	2929
0	950

prune10.4s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1 a) (/ 1 b))
0.2b	(/ (/ (- (/ 1 a) (/ 1 b)) (* (+ a b) 2)) (/ (- b a) PI))
0.2b	(/ (- (/ 1 a) (/ 1 b)) (* (+ a b) 2))
0.2b	(/ (- b a) PI)

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

1693×	`times-frac`
1052×	`add-sqr-sqrt`
868×	`*-un-lft-identity`
336×	`add-cube-cbrt`
289×	`difference-of-squares`
243×	`distribute-lft-out--`
141×	`div-inv`
49×	`associate-/l*`
43×	`associate-/r/`
42×	`associate-*l/`
32×	`add-cbrt-cube` `add-exp-log`
23×	`associate-/r*`
21×	`flip3-+` `flip-+`
16×	`cbrt-undiv` `div-exp`
6×	`add-log-exp` `associate-/l/`
4×	`pow1` `div-sub` `insert-posit16`
3×	`clear-num` `frac-2neg` `flip3--` `prod-exp` `cbrt-unprod` `flip--`
2×	`frac-sub`
1×	`sub-neg` `diff-log`

Counts

4 → 674

Calls

4 calls:

11.0ms	(- (/ 1 a) (/ 1 b))
42.0ms	(/ (/ (- (/ 1 a) (/ 1 b)) (* (+ a b) 2)) (/ (- b a) PI))
38.0ms	(/ (- (/ 1 a) (/ 1 b)) (* (+ a b) 2))
16.0ms	(/ (- b a) PI)

series355.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- (/ 1 a) (/ 1 b))
142.0ms	(/ (/ (- (/ 1 a) (/ 1 b)) (* (+ a b) 2)) (/ (- b a) PI))
105.0ms	(/ (- (/ 1 a) (/ 1 b)) (* (+ a b) 2))
92.0ms	(/ (- b a) PI)

simplify938.0ms

Counts

686 → 686

Iterations

Iter	Nodes
1	3107
0	927

prune7.8s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes138.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
2	18
1	18
0	14

end0.0ms

sample2.3s

Algorithm

intervals

Results

2.0s

9531×

body

valid