Details

Time bar (total: 2.3s)

sample19.0ms

Algorithm
intervals
Results
6.0ms59×body1280valid
3.0ms139×body80valid
2.0ms24×body640valid
1.0ms24×body320valid
0.0ms10×body160valid

simplify22.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0126
1166
2196
3216
4276
5396
6586
7796
81076
91606
102776
113036
123036

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: 27.6b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x 1.0))
0.0b
(/ (+ x 1.0) (- x 1.0))
3.3b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-/r/
15×frac-sub
10×frac-2neg clear-num
9×flip3-+ prod-diff flip-+ div-inv
8×associate-/l/
5×flip3-- flip--
3×fma-neg
1×sub-neg
Counts
3 → 43
Calls
3 calls:
3.0ms
(/ x (+ x 1.0))
4.0ms
(/ (+ x 1.0) (- x 1.0))
9.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series200.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(/ x (+ x 1.0))
37.0ms
(/ (+ x 1.0) (- x 1.0))
129.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify74.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
0511672
12649577
25001573

prune138.0ms

Filtered
52 candidates to 46 candidates (88.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New49352
Fresh000
Picked101
Done000
Total50353

Merged error: 0.2b

Counts
53 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

15.0b
(/ x (- (* x x) (* 1.0 1.0)))
15.0b
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))
15.0b
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))
28.2b
(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ x 1.0) (- (* x x) (* 1.0 1.0))))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-/r* *-commutative difference-of-squares
6×associate-/r/
4×associate-/l/
3×flip3-- frac-2neg clear-num flip-- div-inv
2×flip3-+ flip-+
1×fma-udef
Counts
4 → 32
Calls
4 calls:
5.0ms
(/ x (- (* x x) (* 1.0 1.0)))
7.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))
6.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))
1.0ms
(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ x 1.0) (- (* x x) (* 1.0 1.0))))))

series320.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(/ x (- (* x x) (* 1.0 1.0)))
36.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))
40.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))
176.0ms
(fma (/ x (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ (+ x 1.0) (- (* x x) (* 1.0 1.0))))))

simplify96.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 3 (91.0ms)

IterNodesCost
0200220
1696204
23451190
35001187

prune116.0ms

Filtered
44 candidates to 31 candidates (70.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New42244
Fresh202
Picked011
Done000
Total44347

Merged error: 0.2b

Counts
47 → 3

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 1.0 (pow x 2) (fma 3.0 x 1.0))
0.1b
(fma 3.0 x 1.0)
15.0b
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/r* *-commutative difference-of-squares
2×associate-/r/ fma-udef associate-/l/
1×flip3-- frac-2neg flip3-+ clear-num flip-- flip-+ div-inv
Counts
3 → 13
Calls
3 calls:
1.0ms
(fma 1.0 (pow x 2) (fma 3.0 x 1.0))
1.0ms
(fma 3.0 x 1.0)
7.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))

series90.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(fma 1.0 (pow x 2) (fma 3.0 x 1.0))
30.0ms
(fma 3.0 x 1.0)
39.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))

simplify64.0ms

Algorithm
egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 3 (61.0ms)

IterNodesCost
013281
146276
2221972
3500270

prune45.0ms

Filtered
22 candidates to 11 candidates (50.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New22022
Fresh011
Picked011
Done011
Total22325

Merged error: 0.2b

Counts
25 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma 3.0 (/ 1 x) (* 3.0 (/ 1 (pow x 3))))
0.4b
(/ (- 1.0) (pow x 2))
6.8b
(- (/ (- 1.0) (pow x 2)) (fma 3.0 (/ 1 x) (* 3.0 (/ 1 (pow x 3)))))
15.0b
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/r*
5×neg-mul-1
4×times-frac *-commutative difference-of-squares
3×fma-neg div-inv unpow2 sqr-pow
2×neg-sub0 flip3-- frac-2neg div-sub clear-num associate-/r/ flip-- fma-udef associate-/l/
1×associate--l- sub-neg flip3-+ distribute-frac-neg flip-+ associate-/l* associate--r+
Counts
4 → 31
Calls
4 calls:
1.0ms
(fma 3.0 (/ 1 x) (* 3.0 (/ 1 (pow x 3))))
3.0ms
(/ (- 1.0) (pow x 2))
6.0ms
(- (/ (- 1.0) (pow x 2)) (fma 3.0 (/ 1 x) (* 3.0 (/ 1 (pow x 3)))))
7.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))

series181.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(fma 3.0 (/ 1 x) (* 3.0 (/ 1 (pow x 3))))
24.0ms
(/ (- 1.0) (pow x 2))
40.0ms
(- (/ (- 1.0) (pow x 2)) (fma 3.0 (/ 1 x) (* 3.0 (/ 1 (pow x 3)))))
36.0ms
(/ (+ x 1.0) (- (* x x) (* 1.0 1.0)))

simplify33.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0221249
1924233
25001221

prune129.0ms

Filtered
43 candidates to 31 candidates (72.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New42143
Fresh000
Picked011
Done022
Total42446

Merged error: 0.0b

Counts
46 → 4

regimes34.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 29.3b

bsearch113.0ms

Steps
ItersRangePoint
9
0.09117784756913819
2697524.489058797
9138.442026599892
9
-39258024566.25627
-1421.6155834850151
-12739.391686969833

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05545
15945
25945

end0.0ms

sample527.0ms

Algorithm
intervals
Results
184.0ms1737×body1280valid
111.0ms1253×body640valid
90.0ms4086×body80valid
36.0ms584×body320valid
15.0ms340×body160valid