Details

Time bar (total: 19.1s)

sample59.0ms

Algorithm
intervals
Results
35.0ms311×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5001
41543
3363
288
130
015

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
0.6b
(/ 1.0 (- (* b b) (* a a)))
4.6b
(- (* b b) (* a a))
7.4b
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

rewrite206.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:
43.0ms
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
20.0ms
(/ 1.0 (- (* b b) (* a a)))
12.0ms
(- (* b b) (* a a))
124.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

series299.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
60.0ms
(/ 1.0 (- (* b b) (* a a)))
48.0ms
(- (* b b) (* a a))
121.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

simplify2.5s

Counts
165 → 165
Iterations
IterNodes
done5005
23712
1853
0258

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.7b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite331.0ms

Algorithm
rewrite-expression-head
Rules
146×times-frac
121×add-sqr-sqrt
118×*-un-lft-identity
70×add-cube-cbrt
59×associate-*l*
56×add-cbrt-cube add-exp-log
33×associate-*r*
19×cbrt-undiv div-exp prod-exp cbrt-unprod
14×frac-times
13×distribute-lft-out distribute-lft-out--
11×pow1 difference-of-squares
10×associate-/r/ div-inv
8×associate-*l/ associate-*r/
6×flip3-- flip-- add-log-exp unswap-sqr
5×frac-sub
4×associate-/r* flip3-+ pow-prod-down flip-+
3×sub-neg associate-/l*
2×distribute-rgt-in distribute-lft-in *-commutative
1×clear-num frac-2neg diff-log
Counts
4 → 220
Calls
4 calls:
22.0ms
(- (/ 1.0 a) (/ 1.0 b))
102.0ms
(* (/ (/ PI (+ a b)) 2.0) (/ 1.0 (- b a)))
17.0ms
(/ PI (+ a b))
177.0ms
(* (* (/ (/ PI (+ a b)) 2.0) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))

series344.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (/ 1.0 a) (/ 1.0 b))
89.0ms
(* (/ (/ PI (+ a b)) 2.0) (/ 1.0 (- b a)))
60.0ms
(/ PI (+ a b))
143.0ms
(* (* (/ (/ PI (+ a b)) 2.0) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))

simplify1.6s

Counts
232 → 232
Iterations
IterNodes
done5000
11202
0368

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite311.0ms

Algorithm
rewrite-expression-head
Rules
197×add-cbrt-cube add-exp-log
80×prod-exp cbrt-unprod
74×cbrt-undiv div-exp
32×times-frac
28×*-un-lft-identity
20×add-sqr-sqrt
14×add-cube-cbrt
12×associate-*r/ associate-/l*
11×associate-*l*
10×associate-/r* associate-/r/
9×pow1
8×distribute-rgt-in distribute-lft-in
6×flip3-- div-inv flip-- associate-/l/
4×frac-times sub-neg distribute-lft-out add-log-exp
3×clear-num frac-2neg flip3-+ pow-prod-down flip-+ distribute-lft-out-- difference-of-squares
2×associate-*l/
1×associate-*r* *-commutative
Counts
4 → 194
Calls
4 calls:
78.0ms
(/ (/ (* (/ (* 1.0 PI) (- b a)) (* 1.0 (- b a))) (+ a b)) (* 2.0 (* a b)))
93.0ms
(/ (* (/ (* 1.0 PI) (- b a)) (* 1.0 (- b a))) (+ a b))
23.0ms
(/ (* 1.0 PI) (- b a))
98.0ms
(* (/ (* 1.0 PI) (- b a)) (* 1.0 (- b a)))

series348.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(/ (/ (* (/ (* 1.0 PI) (- b a)) (* 1.0 (- b a))) (+ a b)) (* 2.0 (* a b)))
90.0ms
(/ (* (/ (* 1.0 PI) (- b a)) (* 1.0 (- b a))) (+ a b))
93.0ms
(/ (* 1.0 PI) (- b a))
28.0ms
(* (/ (* 1.0 PI) (- b a)) (* 1.0 (- b a)))

simplify1.7s

Counts
206 → 206
Iterations
IterNodes
done5001
1946
0294

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
187×add-cbrt-cube add-exp-log
137×times-frac
108×*-un-lft-identity
104×add-sqr-sqrt
81×cbrt-undiv div-exp
72×add-cube-cbrt
67×prod-exp cbrt-unprod
27×associate-/r*
16×distribute-lft-out-- difference-of-squares
10×associate-/l*
8×div-inv
7×associate-/l/
4×pow1 clear-num frac-2neg add-log-exp
3×associate-*r/ associate-/r/
2×flip3-- flip-- distribute-lft-out
1×frac-times flip3-+ div-sub associate-*l/ flip-+
Counts
4 → 235
Calls
4 calls:
17.0ms
(/ (* 1.0 (- b a)) (+ a b))
77.0ms
(/ (* (/ 1.0 (/ (- b a) PI)) (/ (* 1.0 (- b a)) (+ a b))) (* 2.0 (* a b)))
24.0ms
(/ (- b a) PI)
28.0ms
(/ 1.0 (/ (- b a) PI))

series386.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(/ (* 1.0 (- b a)) (+ a b))
113.0ms
(/ (* (/ 1.0 (/ (- b a) PI)) (/ (* 1.0 (- b a)) (+ a b))) (* 2.0 (* a b)))
80.0ms
(/ (- b a) PI)
81.0ms
(/ 1.0 (/ (- b a) PI))

simplify1.8s

Counts
247 → 247
Iterations
IterNodes
done5000
11140
0374

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes157.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done21
121
015

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.4s9598×body80valid