Details

sample77.0ms

Algorithm

intervals

Results

61.0ms

310×

body

valid

simplify466.0ms

Counts: 1 → 1

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.4b

localize36.0ms

Local error

Found 4 expressions with local error:

4.9b	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) b)
3.5b	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a)
0.2b	(/ (/ PI 2) (- b a))
0.2b	(/ (/ PI 2) (- b a))

rewrite282.0ms

Algorithm

rewrite-expression-head

Rules

7770×	`times-frac`
4866×	`*-un-lft-identity`
3730×	`add-sqr-sqrt`
2842×	`add-cube-cbrt`
606×	`associate-/l*`
568×	`distribute-lft-out`
444×	`distribute-lft-out--` `difference-of-squares`
216×	`div-inv`
84×	`associate-/r/`
42×	`add-cbrt-cube` `add-exp-log`
34×	`flip3--` `flip--`
26×	`cbrt-undiv` `div-exp`
16×	`associate-/r*`
8×	`flip3-+` `flip-+`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`

Counts

4 → 2568

Calls

4 calls:

Slowest

48.0ms	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) b)
34.0ms	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a)
28.0ms	(/ (/ PI 2) (- b a))
23.0ms	(/ (/ PI 2) (- b a))

series358.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

111.0ms	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) b)
103.0ms	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a)
73.0ms	(/ (/ PI 2) (- b a))
70.0ms	(/ (/ PI 2) (- b a))

simplify5.4s

Counts: 4454 → 2580

prune34.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite213.0ms

Algorithm

rewrite-expression-head

Rules

4295×	`times-frac`
2669×	`*-un-lft-identity`
2101×	`add-sqr-sqrt`
1577×	`add-cube-cbrt`
387×	`associate-/l*`
284×	`distribute-lft-out`
262×	`distribute-lft-out--` `difference-of-squares`
128×	`div-inv`
50×	`associate-/r/`
49×	`add-cbrt-cube` `add-exp-log`
28×	`cbrt-undiv` `div-exp`
20×	`flip3--` `flip--`
14×	`associate-/r*`
5×	`flip3-+` `flip-+`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`
3×	`prod-exp` `cbrt-unprod`
2×	`associate-*r/`

Counts

4 → 1554

Calls

4 calls:

Slowest

40.0ms	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a)
35.0ms	(/ (/ (/ PI 2) (- b a)) (* b (+ a b)))
14.0ms	(/ (/ PI 2) (- b a))
11.0ms	(/ (/ PI 2) (- b a))

series380.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

134.0ms	(/ (/ (/ (/ PI 2) (- b a)) (+ a b)) a)
96.0ms	(/ (/ (/ PI 2) (- b a)) (* b (+ a b)))
77.0ms	(/ (/ PI 2) (- b a))
72.0ms	(/ (/ PI 2) (- b a))

simplify3.3s

Counts: 2641 → 1566

prune19.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite465.0ms

Algorithm

rewrite-expression-head

Rules

1056×	`times-frac`
683×	`add-sqr-sqrt`
624×	`*-un-lft-identity`
429×	`add-cube-cbrt`
217×	`associate-l`
173×	`add-exp-log`
114×	`div-exp`
73×	`add-cbrt-cube`
67×	`distribute-lft-out--` `difference-of-squares`
58×	`associate-r`
44×	`associate-/l*`
42×	`div-inv`
39×	`cbrt-undiv`
35×	`prod-exp`
28×	`unswap-sqr`
24×	`associate-/r/`
23×	`1-exp`
21×	`distribute-lft-out`
13×	`associate-/r*`
12×	`cbrt-unprod`
8×	`rec-exp`
7×	`flip3-+` `flip-+`
6×	`pow1`
5×	`flip3--` `flip--`
4×	`insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `associate-/l/`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

4 → 658

Calls

4 calls:

Slowest

410.0ms	(* (/ (/ (/ PI 2) (- b a)) 1) (/ (/ 1 (+ a b)) a))
13.0ms	(/ (/ 1 (+ a b)) a)
11.0ms	(/ (/ PI 2) (- b a))
10.0ms	(/ (/ PI 2) (- b a))

series313.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

111.0ms	(* (/ (/ (/ PI 2) (- b a)) 1) (/ (/ 1 (+ a b)) a))
74.0ms	(/ (/ PI 2) (- b a))
68.0ms	(/ (/ PI 2) (- b a))
59.0ms	(/ (/ 1 (+ a b)) a)

simplify2.3s

Counts: 885 → 670

prune7.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

1604×	`times-frac`
1003×	`add-sqr-sqrt`
920×	`*-un-lft-identity`
645×	`add-cube-cbrt`
217×	`associate-l`
185×	`add-exp-log`
123×	`div-exp`
119×	`distribute-lft-out--` `difference-of-squares`
88×	`associate-/r*`
77×	`add-cbrt-cube`
62×	`div-inv`
58×	`associate-r`
42×	`cbrt-undiv`
35×	`prod-exp`
28×	`unswap-sqr`
25×	`1-exp`
21×	`associate-/l*`
20×	`associate-/r/`
12×	`cbrt-unprod`
10×	`rec-exp`
9×	`distribute-lft-out`
7×	`pow1`
5×	`flip3--` `flip--`
4×	`insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `flip3-+` `flip-+` `associate-/l/`
1×	`frac-times` `div-sub` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `pow-flip` `inv-pow`

Counts

4 → 875

Calls

4 calls:

Slowest

55.0ms	(* (/ (/ (/ PI 2) (- b a)) 1) (/ (/ 1 (+ a b)) a))
22.0ms	(/ 1 (/ (- b a) (/ PI 2)))
17.0ms	(/ (/ PI 2) (- b a))
14.0ms	(/ (- b a) (/ PI 2))

series372.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

110.0ms	(/ (- b a) (/ PI 2))
107.0ms	(* (/ (/ (/ PI 2) (- b a)) 1) (/ (/ 1 (+ a b)) a))
78.0ms	(/ 1 (/ (- b a) (/ PI 2)))
78.0ms	(/ (/ PI 2) (- b a))

simplify4.0s

Counts: 1258 → 887

prune10.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

regimes97.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample1.7s

Algorithm

intervals

Results

1.5s

9637×

body

valid