Details

Time bar (total: 26.3s)

sample71.0ms

Algorithm
intervals
Results
56.0ms312×body80valid

simplify2.3s

Counts
1 → 1

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.3b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
303×times-frac
253×add-sqr-sqrt
241×*-un-lft-identity
217×add-cube-cbrt
169×prod-diff
36×div-inv
18×associate-/l*
17×add-cbrt-cube add-exp-log
15×distribute-lft-out--
13×fma-neg
12×difference-of-squares
8×associate-*r/ associate-/r/
7×associate-/r*
6×add-log-exp
5×cbrt-undiv flip3-- div-exp flip--
4×expm1-log1p-u frac-times pow1 insert-posit16 log1p-expm1-u
3×clear-num frac-2neg flip3-+ prod-exp cbrt-unprod flip-+ associate-/l/
2×associate-*l/ frac-sub
1×sub-neg diff-log div-sub
Counts
4 → 323
Calls
4 calls:
Slowest
82.0ms
(/ (- (/ PI a) (/ PI b)) (* (+ a b) (* 2 (- b a))))
18.0ms
(- (/ PI a) (/ PI b))
7.0ms
(/ PI b)
7.0ms
(/ PI a)

series202.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
121.0ms
(/ (- (/ PI a) (/ PI b)) (* (+ a b) (* 2 (- b a))))
31.0ms
(- (/ PI a) (/ PI b))
25.0ms
(/ PI a)
24.0ms
(/ PI b)

simplify1.7s

Counts
335 → 335

prune3.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite254.0ms

Algorithm
rewrite-expression-head
Rules
378×times-frac
323×add-sqr-sqrt
300×*-un-lft-identity
222×add-cube-cbrt
169×prod-diff
47×div-inv
36×difference-of-squares
32×add-cbrt-cube add-exp-log
28×distribute-lft-out--
25×associate-*r*
22×associate-/l*
18×associate-*l*
13×fma-neg
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r/
7×distribute-lft-out
6×pow1 add-log-exp
5×associate-/r* associate-*r/
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/l/
2×clear-num frac-2neg flip3-+ frac-sub flip-+ unswap-sqr
1×frac-times sub-neg diff-log div-sub pow-prod-down associate-*l/ *-commutative
Counts
4 → 384
Calls
4 calls:
Slowest
126.0ms
(* (/ PI (+ a b)) (/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a))))
74.0ms
(/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a)))
29.0ms
(- (/ 1 a) (/ 1 b))
16.0ms
(/ PI (+ a b))

series272.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
139.0ms
(* (/ PI (+ a b)) (/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a))))
65.0ms
(/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a)))
53.0ms
(/ PI (+ a b))
14.0ms
(- (/ 1 a) (/ 1 b))

simplify728.0ms

Counts
396 → 396

prune5.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
367×times-frac
317×add-sqr-sqrt
285×*-un-lft-identity
214×add-cube-cbrt
169×prod-diff
78×add-exp-log
50×add-cbrt-cube
46×div-inv
43×associate-*r*
37×prod-exp
36×difference-of-squares
28×distribute-lft-out--
21×cbrt-unprod
20×div-exp
19×associate-/l*
13×fma-neg
12×cbrt-undiv
11×pow1
8×associate-*r/
6×associate-/r/ add-log-exp
4×expm1-log1p-u rec-exp flip3-- 1-exp associate-*l* pow-prod-down insert-posit16 log1p-expm1-u flip--
3×un-div-inv distribute-lft-out unswap-sqr associate-/l/
2×frac-times associate-*l/ *-commutative frac-sub
1×clear-num associate-/r* sub-neg frac-2neg flip3-+ diff-log div-sub flip-+
Counts
4 → 388
Calls
4 calls:
Slowest
82.0ms
(* (* PI (/ 1 (+ a b))) (/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a))))
57.0ms
(/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a)))
36.0ms
(* PI (/ 1 (+ a b)))
15.0ms
(- (/ 1 a) (/ 1 b))

series278.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
121.0ms
(* (* PI (/ 1 (+ a b))) (/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a))))
68.0ms
(/ (- (/ 1 a) (/ 1 b)) (* 2 (- b a)))
65.0ms
(* PI (/ 1 (+ a b)))
23.0ms
(- (/ 1 a) (/ 1 b))

simplify773.0ms

Counts
400 → 400

prune4.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
86×times-frac
81×add-sqr-sqrt
69×*-un-lft-identity
52×add-exp-log
38×add-cube-cbrt
34×add-cbrt-cube
18×div-exp associate-*r* associate-*l* associate-/l*
17×prod-exp
15×distribute-lft-out--
12×difference-of-squares
11×cbrt-undiv div-inv
9×cbrt-unprod
7×associate-/r*
6×pow1 associate-/r/
5×associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×rec-exp clear-num frac-2neg flip3-- 1-exp flip-- distribute-lft-out unswap-sqr associate-/l/
1×frac-times flip3-+ div-sub pow-prod-down associate-*l/ *-commutative frac-sub flip-+
Counts
4 → 180
Calls
4 calls:
Slowest
65.0ms
(* (/ 1 (+ a b)) (/ (- (/ PI a) (/ PI b)) (* 2 (- b a))))
65.0ms
(/ (- (/ PI a) (/ PI b)) (* 2 (- b a)))
7.0ms
(/ PI a)
4.0ms
(/ PI b)

series307.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
136.0ms
(* (/ 1 (+ a b)) (/ (- (/ PI a) (/ PI b)) (* 2 (- b a))))
89.0ms
(/ (- (/ PI a) (/ PI b)) (* 2 (- b a)))
44.0ms
(/ PI b)
37.0ms
(/ PI a)

simplify1.1s

Counts
192 → 192

prune1.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes207.0ms

Accuracy

0% (0.3b remaining)

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

bsearch2.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.9s9545×body80valid