Details

Time bar (total: 6.6s)

sample22.0ms

Algorithm
intervals
Results
13.0ms307×body80valid

simplify39.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03110
19010
238410
3182810
4500110

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 13.7b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
0.5b
(/ 1.0 (- (* b b) (* a a)))
4.6b
(- (* b b) (* a a))
8.2b
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
625×frac-times
368×clear-num
355×frac-2neg
297×frac-sub
224×*-commutative
216×difference-of-squares
212×associate-/r*
102×associate-*r/
71×associate-*l/
37×flip3-- flip--
13×un-div-inv
11×div-inv
8×associate-*l*
7×associate-*r*
6×prod-diff associate-/r/
3×distribute-rgt-in sub-neg distribute-lft-in
2×fma-neg
1×distribute-lft-out--
Counts
4 → 469
Calls
4 calls:
8.0ms
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
4.0ms
(/ 1.0 (- (* b b) (* a a)))
5.0ms
(- (* b b) (* a a))
25.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

series219.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
41.0ms
(/ 1.0 (- (* b b) (* a a)))
30.0ms
(- (* b b) (* a a))
89.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))

simplify108.0ms

Algorithm
egg-herbie
Counts
481 → 481
Iterations

Useful iterations: 1 (47.0ms)

IterNodesCost
023106418
150036107

prune743.0ms

Filtered
481 candidates to 230 candidates (47.8%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New4738481
Fresh000
Picked101
Done000
Total4748482

Merged error: 0.0b

Counts
482 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
577×frac-times
436×clear-num
411×frac-2neg
315×frac-sub
203×associate-/l/
107×associate-*l/
97×associate-*r/
36×flip3-- flip--
25×un-div-inv
20×div-inv
15×associate-*l*
11×associate-*r*
9×associate-/l*
8×associate-/r/
5×*-commutative
3×distribute-rgt-in sub-neg distribute-lft-in flip3-+ prod-diff flip-+ distribute-lft-out--
1×fma-neg
Counts
4 → 471
Calls
4 calls:
5.0ms
(- (/ 1.0 a) (/ 1.0 b))
29.0ms
(/ (* (* (/ PI 2.0) (/ 1.0 (+ b a))) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
5.0ms
(* (/ PI 2.0) (/ 1.0 (+ b a)))
20.0ms
(* (* (/ PI 2.0) (/ 1.0 (+ b a))) (- (/ 1.0 a) (/ 1.0 b)))

series293.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(- (/ 1.0 a) (/ 1.0 b))
104.0ms
(/ (* (* (/ PI 2.0) (/ 1.0 (+ b a))) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
50.0ms
(* (/ PI 2.0) (/ 1.0 (+ b a)))
106.0ms
(* (* (/ PI 2.0) (/ 1.0 (+ b a))) (- (/ 1.0 a) (/ 1.0 b)))

simplify100.0ms

Algorithm
egg-herbie
Counts
483 → 483
Iterations

Useful iterations: 1 (50.0ms)

IterNodesCost
025704747
150014440

prune1.3s

Filtered
483 candidates to 404 candidates (83.6%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New4767483
Fresh527
Picked101
Done000
Total4829491

Merged error: 0.0b

Counts
491 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
585×frac-times
438×clear-num
429×frac-2neg
333×frac-sub
195×associate-/l/
123×associate-*r/
105×associate-*l/
38×flip3-- flip--
21×associate-*r*
17×div-inv
9×un-div-inv associate-/l*
8×associate-/r/
5×associate-*l* *-commutative
4×distribute-lft-out--
3×flip3-+ flip-+
1×sub-neg fma-neg prod-diff
Counts
4 → 481
Calls
4 calls:
5.0ms
(- (/ 1.0 a) (/ 1.0 b))
34.0ms
(/ (* (/ PI 2.0) (* (- (/ 1.0 a) (/ 1.0 b)) (/ 1.0 (+ b a)))) (- b a))
18.0ms
(* (/ PI 2.0) (* (- (/ 1.0 a) (/ 1.0 b)) (/ 1.0 (+ b a))))
9.0ms
(* (- (/ 1.0 a) (/ 1.0 b)) (/ 1.0 (+ b a)))

series324.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- (/ 1.0 a) (/ 1.0 b))
97.0ms
(/ (* (/ PI 2.0) (* (- (/ 1.0 a) (/ 1.0 b)) (/ 1.0 (+ b a)))) (- b a))
106.0ms
(* (/ PI 2.0) (* (- (/ 1.0 a) (/ 1.0 b)) (/ 1.0 (+ b a))))
83.0ms
(* (- (/ 1.0 a) (/ 1.0 b)) (/ 1.0 (+ b a)))

simplify86.0ms

Algorithm
egg-herbie
Counts
493 → 493
Iterations

Useful iterations: 1 (44.0ms)

IterNodesCost
025444752
150014319

prune1.5s

Filtered
493 candidates to 412 candidates (83.6%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New4894493
Fresh538
Picked101
Done000
Total4957502

Merged error: 0.0b

Counts
502 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
122×associate-/r/
81×frac-sub
75×clear-num
73×frac-2neg
72×times-frac
46×div-inv
42×associate-*r*
20×associate-/l/
18×frac-times
14×flip3-+ associate-*l* associate-/r* *-commutative flip-+
11×flip3-- flip--
6×associate-*r/ associate-*l/ associate-/l*
3×distribute-lft-out--
2×un-div-inv
1×sub-neg fma-neg div-sub prod-diff
Counts
4 → 170
Calls
4 calls:
5.0ms
(- (/ 1.0 a) (/ 1.0 b))
15.0ms
(/ (* (/ PI 2.0) (/ 1.0 (+ b a))) (/ (- b a) (- (/ 1.0 a) (/ 1.0 b))))
7.0ms
(/ (- b a) (- (/ 1.0 a) (/ 1.0 b)))
5.0ms
(* (/ PI 2.0) (/ 1.0 (+ b a)))

series233.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- (/ 1.0 a) (/ 1.0 b))
97.0ms
(/ (* (/ PI 2.0) (/ 1.0 (+ b a))) (/ (- b a) (- (/ 1.0 a) (/ 1.0 b))))
53.0ms
(/ (- b a) (- (/ 1.0 a) (/ 1.0 b)))
51.0ms
(* (/ PI 2.0) (/ 1.0 (+ b a)))

simplify50.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011661912
150011730

prune490.0ms

Filtered
182 candidates to 152 candidates (83.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1793182
Fresh246
Picked101
Done000
Total1827189

Merged error: 0b

Counts
189 → 7

regimes53.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01710
11710

end0.0ms

sample559.0ms

Algorithm
intervals
Results
406.0ms9632×body80valid