Details

Time bar (total: 5.6s)

sample24.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
3.0ms256×pre80true
3.0ms257×pre80false

simplify56.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0197
1487
21107
32847
415807
550017

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

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* a a) (* b b))
0.0b
(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
14.4b
(/ (- (* a a) (* b b)) (* a a))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
1326×add-sqr-sqrt
549×*-un-lft-identity
495×times-frac
425×difference-of-squares
399×swap-sqr
345×add-cube-cbrt
263×associate-*l*
235×*-commutative unswap-sqr
225×prod-diff
195×associate-*r*
85×distribute-lft-out--
33×associate-/l*
15×fma-neg associate-/r*
8×add-exp-log add-cbrt-cube
5×add-log-exp
4×pow1
3×expm1-log1p-u sqrt-prod log1p-expm1-u
2×cbrt-undiv flip3-- div-exp flip-- associate-/l/
1×sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 diff-log div-sub prod-exp clear-num cbrt-unprod div-inv
Counts
3 → 861
Calls
3 calls:
22.0ms
(- (* a a) (* b b))
1.0ms
(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
52.0ms
(/ (- (* a a) (* b b)) (* a a))

series100.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(- (* a a) (* b b))
17.0ms
(sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))
49.0ms
(/ (- (* a a) (* b b)) (* a a))

simplify114.0ms

Algorithm
egg-herbie
Counts
870 → 870
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
014587985
150026951

prune529.0ms

Filtered
870 candidates to 155 candidates (17.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New8673870
Fresh000
Picked011
Done000
Total8674871

Merged error: 0b

Counts
871 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
0.0b
(/ (- a b) a)
0.0b
(/ (+ a b) a)
0.1b
(* (/ (+ a b) a) (/ (- a b) a))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity
156×frac-times
148×add-sqr-sqrt
132×associate-/l*
95×add-cube-cbrt
87×associate-/r*
58×times-frac associate-/l/
30×clear-num
29×frac-2neg
21×distribute-lft-out distribute-lft-out--
20×add-exp-log add-cbrt-cube difference-of-squares
19×associate-*r*
16×associate-*l*
15×flip3-+ flip-+
14×flip3-- flip--
13×associate-*r/
12×associate-*l/
7×pow1
6×cbrt-undiv div-exp
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp unswap-sqr
3×sqrt-prod un-div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2 div-sub pow-prod-down *-commutative
Counts
4 → 332
Calls
4 calls:
1.0ms
(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
7.0ms
(/ (- a b) a)
6.0ms
(/ (+ a b) a)
25.0ms
(* (/ (+ a b) a) (/ (- a b) a))

series131.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))
35.0ms
(/ (- a b) a)
21.0ms
(/ (+ a b) a)
59.0ms
(* (/ (+ a b) a) (/ (- a b) a))

simplify60.0ms

Algorithm
egg-herbie
Counts
344 → 344
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
012812581
150012498

prune701.0ms

Filtered
344 candidates to 211 candidates (61.3%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New3422344
Fresh202
Picked101
Done101
Total3462348

Merged error: 0b

Counts
348 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ a (- a b))
0.0b
(/ (+ a b) a)
0.1b
(* (/ (+ a b) a) (/ 1 (/ a (- a b))))
0.1b
(/ 1 (/ a (- a b)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
536×*-un-lft-identity
493×add-sqr-sqrt
482×times-frac
396×associate-/r*
328×add-cube-cbrt
324×frac-times
169×associate-/l*
78×associate-*r*
66×distribute-lft-out-- difference-of-squares
64×add-exp-log associate-/r/
58×associate-/l/
48×clear-num
46×frac-2neg
35×distribute-lft-out
34×add-cbrt-cube
30×div-exp
29×flip3-+ flip-+
27×associate-*r/
25×div-inv
21×flip3-- flip--
16×associate-*l*
14×cbrt-undiv prod-exp
12×associate-*l/
10×unswap-sqr
7×pow1
6×rec-exp 1-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×un-div-inv
2×remove-double-div
1×pow-flip pow-prod-down *-commutative inv-pow
Counts
4 → 697
Calls
4 calls:
5.0ms
(/ a (- a b))
6.0ms
(/ (+ a b) a)
56.0ms
(* (/ (+ a b) a) (/ 1 (/ a (- a b))))
10.0ms
(/ 1 (/ a (- a b)))

series162.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(/ a (- a b))
21.0ms
(/ (+ a b) a)
64.0ms
(* (/ (+ a b) a) (/ 1 (/ a (- a b))))
30.0ms
(/ 1 (/ a (- a b)))

simplify124.0ms

Algorithm
egg-herbie
Counts
709 → 709
Iterations

Useful iterations: 1 (53.0ms)

IterNodesCost
026496413
150016134

prune1.4s

Filtered
709 candidates to 416 candidates (58.7%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New7090709
Fresh011
Picked011
Done000
Total7092711

Merged error: 0b

Counts
711 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (log1p (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))))
0.0b
(/ (- a b) a)
0.0b
(/ (+ a b) a)
0.1b
(* (/ (+ a b) a) (/ (- a b) a))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
179×*-un-lft-identity
156×frac-times
146×add-sqr-sqrt
132×associate-/l*
94×add-cube-cbrt
87×associate-/r*
58×times-frac associate-/l/
30×clear-num
29×frac-2neg
21×distribute-lft-out distribute-lft-out--
20×add-exp-log add-cbrt-cube difference-of-squares
19×associate-*r*
16×associate-*l*
15×flip3-+ flip-+
14×flip3-- flip--
13×associate-*r/
12×associate-*l/
6×pow1 cbrt-undiv div-exp
5×log1p-expm1-u
4×expm1-log1p-u prod-exp cbrt-unprod div-inv add-log-exp unswap-sqr
3×un-div-inv
2×expm1-log1p
1×div-sub pow-prod-down *-commutative expm1-udef
Counts
4 → 329
Calls
4 calls:
1.0ms
(expm1 (log1p (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))))
7.0ms
(/ (- a b) a)
6.0ms
(/ (+ a b) a)
30.0ms
(* (/ (+ a b) a) (/ (- a b) a))

series176.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(expm1 (log1p (sqrt (fabs (* (/ (+ a b) a) (/ (- a b) a))))))
29.0ms
(/ (- a b) a)
21.0ms
(/ (+ a b) a)
65.0ms
(* (/ (+ a b) a) (/ (- a b) a))

simplify59.0ms

Algorithm
egg-herbie
Counts
341 → 341
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
012772579
150012484

prune826.0ms

Filtered
341 candidates to 209 candidates (61.3%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New3410341
Fresh000
Picked011
Done011
Total3412343

Merged error: 0b

Counts
343 → 2

regimes29.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0158
1158

end0.0ms

sample618.0ms

Algorithm
intervals
Results
189.0ms8000×body80valid
98.0ms8161×pre80false
96.0ms8000×pre80true