Details

Time bar (total: 18.0s)

sample42.0ms

Algorithm
intervals
Results
27.0ms302×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
41772
3378
289
130
015

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
0.3b
(/ 1.0 (- (* b b) (* a a)))
4.4b
(- (* b b) (* a a))
7.6b
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
47×times-frac
39×*-un-lft-identity
36×add-cbrt-cube add-exp-log
31×add-cube-cbrt
30×associate-*r*
14×frac-times associate-*l*
13×prod-exp cbrt-unprod
12×difference-of-squares
11×pow1
9×cbrt-undiv div-exp
8×associate-*l/ associate-*r/
7×flip3-- flip--
6×add-log-exp
5×div-inv distribute-lft-out--
4×associate-/r* pow-prod-down associate-/r/ frac-sub unswap-sqr
3×sub-neg associate-/l*
2×distribute-rgt-in distribute-lft-in *-commutative
1×clear-num frac-2neg diff-log
Counts
4 → 153
Calls
4 calls:
35.0ms
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
17.0ms
(/ 1.0 (- (* b b) (* a a)))
12.0ms
(- (* b b) (* a a))
126.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

series270.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
48.0ms
(/ 1.0 (- (* b b) (* a a)))
34.0ms
(- (* b b) (* a a))
104.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

simplify1.1s

Counts
165 → 165
Iterations
IterNodes
done5001
1873
0258

prune817.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.4b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (- b a))
0.2b
(* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (- b a)))
0.2b
(/ (/ PI 2.0) (+ a b))
7.6b
(* (* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))

rewrite367.0ms

Algorithm
rewrite-expression-head
Rules
234×times-frac
193×*-un-lft-identity
164×add-sqr-sqrt
117×add-cube-cbrt
61×add-cbrt-cube add-exp-log
59×associate-*l*
33×associate-*r*
27×distribute-lft-out
22×cbrt-undiv div-exp
19×prod-exp cbrt-unprod
16×associate-/l*
15×div-inv
14×frac-times
12×distribute-lft-out--
11×pow1 difference-of-squares
9×associate-/r*
8×associate-*l/ associate-*r/ associate-/r/
6×flip3-- flip-- unswap-sqr
4×pow-prod-down frac-sub add-log-exp
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in flip3-+ *-commutative flip-+
1×associate-/l/
Counts
4 → 288
Calls
4 calls:
18.0ms
(/ 1.0 (- b a))
131.0ms
(* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (- b a)))
27.0ms
(/ (/ PI 2.0) (+ a b))
171.0ms
(* (* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))

series378.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(/ 1.0 (- b a))
95.0ms
(* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (- b a)))
95.0ms
(/ (/ PI 2.0) (+ a b))
141.0ms
(* (* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))

simplify1.5s

Counts
300 → 300
Iterations
IterNodes
done5000
11344
0407

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (- b a))
0.2b
(* (/ (/ PI 2.0) (+ a b)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
0.2b
(/ (/ PI 2.0) (+ a b))
0.3b
(* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b)))

rewrite344.0ms

Algorithm
rewrite-expression-head
Rules
226×times-frac
193×*-un-lft-identity
148×add-sqr-sqrt
117×add-cube-cbrt
79×associate-*l*
52×add-cbrt-cube add-exp-log
27×distribute-lft-out
17×cbrt-undiv div-exp prod-exp cbrt-unprod
16×frac-times associate-*r/ associate-/l*
15×div-inv
13×associate-*r*
12×distribute-lft-out--
11×pow1 difference-of-squares
10×distribute-rgt-in distribute-lft-in
9×associate-/r*
8×flip3-- associate-/r/ flip--
6×sub-neg frac-sub
4×pow-prod-down associate-*l/ add-log-exp
2×clear-num frac-2neg flip3-+ *-commutative flip-+ unswap-sqr
1×associate-/l/
Counts
4 → 292
Calls
4 calls:
10.0ms
(/ 1.0 (- b a))
145.0ms
(* (/ (/ PI 2.0) (+ a b)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
27.0ms
(/ (/ PI 2.0) (+ a b))
149.0ms
(* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b)))

series375.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(/ 1.0 (- b a))
157.0ms
(* (/ (/ PI 2.0) (+ a b)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
72.0ms
(/ (/ PI 2.0) (+ a b))
85.0ms
(* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b)))

simplify1.4s

Counts
304 → 304
Iterations
IterNodes
done5001
11345
0415

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (* a b)))
0.2b
(/ (/ PI 2.0) (+ a b))
0.6b
(/ 1.0 (* a b))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
194×times-frac
152×*-un-lft-identity
107×add-sqr-sqrt
98×add-cube-cbrt
58×associate-*l*
49×add-cbrt-cube add-exp-log
27×distribute-lft-out
20×cbrt-undiv div-exp
16×associate-/l*
13×prod-exp cbrt-unprod div-inv
7×associate-*r*
5×pow1 associate-/r*
4×associate-/r/
3×add-log-exp unswap-sqr
2×clear-num frac-2neg flip3-+ flip-+
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
3 → 205
Calls
3 calls:
89.0ms
(* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (* a b)))
27.0ms
(/ (/ PI 2.0) (+ a b))
12.0ms
(/ 1.0 (* a b))

series199.0ms

Counts
3 → 9
Calls
3 calls:
91.0ms
(* (/ (/ PI 2.0) (+ a b)) (/ 1.0 (* a b)))
82.0ms
(/ (/ PI 2.0) (+ a b))
27.0ms
(/ 1.0 (* a b))

simplify2.1s

Counts
214 → 214
Iterations
IterNodes
done5000
24716
1883
0285

prune983.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes100.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
011

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s9578×body80valid