Details

Time bar (total: 37.0s)

sample62.0ms

Algorithm
intervals
Results
48.0ms305×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
55056
41336
3350
292
130
015

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.8b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
363×times-frac
240×add-sqr-sqrt
216×*-un-lft-identity
132×add-cube-cbrt
53×associate-/l*
45×distribute-lft-out--
27×difference-of-squares
23×div-inv
19×add-cbrt-cube add-exp-log
8×cbrt-undiv div-exp associate-/r/
7×associate-/r*
6×add-log-exp
5×flip3-- flip-- associate-/l/
4×frac-times pow1
3×clear-num frac-2neg flip3-+ flip-+
2×associate-*l/ associate-*r/ frac-sub
1×sub-neg diff-log div-sub prod-exp cbrt-unprod
Counts
4 → 258
Calls
4 calls:
20.0ms
(- (/ (/ PI 2) a) (/ (/ PI 2) b))
11.0ms
(/ (/ PI 2) a)
7.0ms
(/ (/ PI 2) b)
56.0ms
(/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (* (+ a b) (- b a)))

series302.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- (/ (/ PI 2) a) (/ (/ PI 2) b))
45.0ms
(/ (/ PI 2) a)
41.0ms
(/ (/ PI 2) b)
129.0ms
(/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (* (+ a b) (- b a)))

simplify1.2s

Counts
270 → 270
Iterations
IterNodes
23158
11066
0434

prune2.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
3274×times-frac
2256×*-un-lft-identity
2108×add-sqr-sqrt
834×add-cube-cbrt
550×distribute-lft-out--
376×difference-of-squares
190×distribute-lft-out
167×associate-/l*
134×div-inv
21×add-cbrt-cube add-exp-log
16×associate-/r/
15×associate-/r*
10×cbrt-undiv div-exp
7×flip3-+ flip-+
6×associate-/l/
4×pow1 clear-num frac-2neg add-log-exp
3×div-sub
2×flip3-- flip--
1×frac-sub
Counts
4 → 1004
Calls
4 calls:
75.0ms
(/ (/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (+ a b)) (- b a))
8.0ms
(/ (/ PI 2) a)
57.0ms
(/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (+ a b))
19.0ms
(/ (/ PI 2) b)

series436.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(/ (/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (+ a b)) (- b a))
60.0ms
(/ (/ PI 2) a)
151.0ms
(/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (+ a b))
63.0ms
(/ (/ PI 2) b)

simplify1.5s

Counts
1016 → 1016
Iterations
IterNodes
13027
01249

prune12.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite242.0ms

Algorithm
rewrite-expression-head
Rules
1121×times-frac
840×add-sqr-sqrt
743×*-un-lft-identity
317×add-cube-cbrt
220×distribute-lft-out--
154×difference-of-squares
141×associate-*r*
57×div-inv
53×associate-/l*
38×add-exp-log
28×add-cbrt-cube
18×associate-*l*
15×div-exp
11×cbrt-undiv associate-/r*
8×prod-exp
6×pow1 associate-/r/ unswap-sqr
5×associate-/l/
4×cbrt-unprod add-log-exp
3×clear-num frac-2neg flip3-- flip-- distribute-lft-out
2×rec-exp 1-exp
1×frac-times flip3-+ div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative frac-sub flip-+
Counts
4 → 514
Calls
4 calls:
13.0ms
(/ (/ PI 2) a)
71.0ms
(/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (- b a))
125.0ms
(* (/ 1 (+ a b)) (/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (- b a)))
11.0ms
(/ (/ PI 2) b)

series371.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(/ (/ PI 2) a)
96.0ms
(/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (- b a))
150.0ms
(* (/ 1 (+ a b)) (/ (- (/ (/ PI 2) a) (/ (/ PI 2) b)) (- b a)))
69.0ms
(/ (/ PI 2) b)

simplify1.3s

Counts
526 → 526
Iterations
IterNodes
12153
0732

prune6.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
288×add-sqr-sqrt
268×times-frac
242×*-un-lft-identity
85×distribute-lft-out--
82×add-cube-cbrt
73×difference-of-squares
66×associate-*r*
28×div-inv
20×add-cbrt-cube add-exp-log
18×associate-*l*
15×associate-/l*
9×associate-/r*
8×associate-/r/
7×distribute-lft-out
6×pow1 cbrt-undiv div-exp add-log-exp
4×flip3-- prod-exp cbrt-unprod flip-- unswap-sqr
3×associate-/l/
2×clear-num frac-2neg flip3-+ frac-sub flip-+
1×frac-times sub-neg diff-log div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 258
Calls
4 calls:
11.0ms
(- (/ 1/2 a) (/ 1/2 b))
66.0ms
(* (/ PI (+ a b)) (/ (- (/ 1/2 a) (/ 1/2 b)) (- b a)))
22.0ms
(/ PI (+ a b))
29.0ms
(/ (- (/ 1/2 a) (/ 1/2 b)) (- b a))

series301.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (/ 1/2 a) (/ 1/2 b))
141.0ms
(* (/ PI (+ a b)) (/ (- (/ 1/2 a) (/ 1/2 b)) (- b a)))
56.0ms
(/ PI (+ a b))
53.0ms
(/ (- (/ 1/2 a) (/ 1/2 b)) (- b a))

simplify1.3s

Counts
270 → 270
Iterations
IterNodes
23316
11028
0336

prune2.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes109.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
214
114
012

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.6s9559×body80valid