Details

Time bar (total: 38.5s)

sample76.0ms

Algorithm
intervals
Results
61.0ms322×body80valid

simplify868.0ms

Counts
1 → 1
Iterations
IterNodes
done2008
41503
3361
295
133
015

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.4b

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ PI 2) (+ a b))
0.3b
(/ (/ PI 2) (+ a b))
4.0b
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) b)
4.6b
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) a)

rewrite407.0ms

Algorithm
rewrite-expression-head
Rules
7810×times-frac
4872×*-un-lft-identity
3776×add-sqr-sqrt
2848×add-cube-cbrt
618×associate-/l*
548×distribute-lft-out
464×distribute-lft-out-- difference-of-squares
222×div-inv
100×associate-/r/
42×flip3-+ add-cbrt-cube add-exp-log flip-+
26×cbrt-undiv div-exp
14×associate-/r*
8×flip3-- flip--
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
Counts
4 → 2596
Calls
4 calls:
23.0ms
(/ (/ PI 2) (+ a b))
19.0ms
(/ (/ PI 2) (+ a b))
56.0ms
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) b)
75.0ms
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) a)

series423.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(/ (/ PI 2) (+ a b))
75.0ms
(/ (/ PI 2) (+ a b))
125.0ms
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) b)
149.0ms
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) a)

simplify2.5s

Counts
2608 → 2608
Iterations
IterNodes
done2863
02863

prune13.8s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
4820×times-frac
3100×*-un-lft-identity
2368×add-sqr-sqrt
1786×add-cube-cbrt
380×associate-/l*
366×distribute-lft-out
291×distribute-lft-out-- difference-of-squares
148×div-inv
66×associate-/r/
37×add-cbrt-cube add-exp-log
28×flip3-+ flip-+
22×cbrt-undiv div-exp
16×associate-/r*
5×flip3-- flip--
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
Counts
4 → 1762
Calls
4 calls:
41.0ms
(/ (/ (/ PI 2) (+ a b)) (- b a))
19.0ms
(/ (/ PI 2) (+ a b))
11.0ms
(/ (/ PI 2) (+ a b))
34.0ms
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) b)

series411.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ (/ (/ PI 2) (+ a b)) (- b a))
78.0ms
(/ (/ PI 2) (+ a b))
102.0ms
(/ (/ PI 2) (+ a b))
139.0ms
(/ (/ (/ (/ PI 2) (+ a b)) (- b a)) b)

simplify1.7s

Counts
1774 → 1774
Iterations
IterNodes
done2000
01843

prune8.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
662×times-frac
430×*-un-lft-identity
270×add-sqr-sqrt add-cube-cbrt
142×associate-/l*
80×distribute-lft-out
56×add-cbrt-cube add-exp-log
34×div-inv
30×cbrt-undiv div-exp
16×associate-/r/
10×associate-/r*
6×flip3-+ prod-exp cbrt-unprod flip-+
4×expm1-log1p-u pow1 clear-num frac-2neg associate-*r/ insert-posit16 log1p-expm1-u add-log-exp associate-/l/
2×flip3-- flip--
Counts
4 → 468
Calls
4 calls:
22.0ms
(/ (/ (/ PI 2) (+ a b)) (* a (- b a)))
25.0ms
(/ (/ (/ PI 2) (+ a b)) (* b (- b a)))
12.0ms
(/ (/ PI 2) (+ a b))
18.0ms
(/ (/ PI 2) (+ a b))

series355.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(/ (/ (/ PI 2) (+ a b)) (* a (- b a)))
113.0ms
(/ (/ (/ PI 2) (+ a b)) (* b (- b a)))
63.0ms
(/ (/ PI 2) (+ a b))
64.0ms
(/ (/ PI 2) (+ a b))

simplify1.0s

Counts
480 → 480
Iterations
IterNodes
done2000
11212
0466

prune2.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
362×times-frac
234×*-un-lft-identity
152×add-sqr-sqrt add-cube-cbrt
84×associate-/l*
56×add-cbrt-cube add-exp-log
41×distribute-lft-out
24×cbrt-undiv div-exp
20×div-inv
16×associate-*l/ associate-/r/
12×prod-exp cbrt-unprod
9×pow1 flip3-+ flip-+
8×frac-times
7×flip3-- flip--
6×associate-/r* associate-*r/
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-prod-down associate-/l/
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative
Counts
4 → 327
Calls
4 calls:
31.0ms
(/ (/ PI 2) (* (* (- b a) a) (+ a b)))
54.0ms
(* (* (- b a) a) (+ a b))
22.0ms
(/ (/ (/ PI 2) (+ a b)) (* b (- b a)))
16.0ms
(/ (/ PI 2) (+ a b))

series391.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(/ (/ PI 2) (* (* (- b a) a) (+ a b)))
100.0ms
(* (* (- b a) a) (+ a b))
115.0ms
(/ (/ (/ PI 2) (+ a b)) (* b (- b a)))
61.0ms
(/ (/ PI 2) (+ a b))

simplify810.0ms

Counts
339 → 339
Iterations
IterNodes
done2001
11294
0453

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes97.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done17
117
014

end0.0ms

sample2.3s

Algorithm
intervals
Results
2.1s9663×body80valid