Details

Time bar (total: 2.5s)

analyze573.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
18.7%81.1%0.2%9
21.8%78%0.2%10
25%74.9%0.2%11
34.7%64.9%0.4%12
47.2%51.9%0.9%13
49%49.2%1.8%14

sample17.0ms

Algorithm
intervals
Results
6.0ms256×body128valid
2.0ms62×body128invalid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06810
16810

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 10.7b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

10.4b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log_binary64 add-cbrt-cube_binary64
4×cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64
1×*-un-lft-identity_binary64 associate-/r*_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64 clear-num_binary64 frac-2neg_binary64 add-sqr-sqrt_binary64 associate-/l*_binary64 times-frac_binary64 div-inv_binary64
Counts
1 → 21
Calls
1 calls:
6.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series61.0ms

Counts
1 → 3
Calls
1 calls:
61.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

simplify72.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
05101280

prune19.0ms

Filtered
13 candidates to 24 candidates (-84.6%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New18624
Fresh000
Picked011
Done000
Total18725

Merged error: 0.1b

Counts
25 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

4.6b
(/.f64 b1 (/.f64 a2 b2))
5.3b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac_binary64
229×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
57×associate-/r*_binary64
22×div-inv_binary64
16×add-exp-log_binary64 add-cbrt-cube_binary64
9×cbrt-undiv_binary64 div-exp_binary64
6×associate-/r/_binary64 associate-/l*_binary64
2×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64
Counts
2 → 266
Calls
2 calls:
6.0ms
(/.f64 b1 (/.f64 a2 b2))
15.0ms
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))

series105.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(/.f64 b1 (/.f64 a2 b2))
60.0ms
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))

simplify123.0ms

Algorithm
egg-herbie
Counts
272 → 272
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049756175
149756175

prune197.0ms

Filtered
228 candidates to 272 candidates (-19.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2684272
Fresh325
Picked011
Done101
Total2727279

Merged error: 0b

Counts
279 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

4.2b
(*.f64 a1 (/.f64 a2 b2))
5.2b
(*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
37×add-exp-log_binary64
28×add-cbrt-cube_binary64
22×add-sqr-sqrt_binary64
19×times-frac_binary64
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64 prod-exp_binary64
16×associate-*l*_binary64
14×associate-*r*_binary64
12×cbrt-unprod_binary64
9×pow1_binary64
7×div-exp_binary64
6×cbrt-undiv_binary64
4×pow-prod-down_binary64 associate-*r/_binary64
3×rec-exp_binary64
2×add-log-exp_binary64 unswap-sqr_binary64 div-inv_binary64 *-commutative_binary64
1×frac-times_binary64 associate-*l/_binary64
Counts
2 → 74
Calls
2 calls:
8.0ms
(*.f64 a1 (/.f64 a2 b2))
10.0ms
(*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))

series100.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(*.f64 a1 (/.f64 a2 b2))
62.0ms
(*.f64 (/.f64 1 b1) (*.f64 a1 (/.f64 a2 b2)))

simplify94.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
05015876

prune38.0ms

Filtered
49 candidates to 80 candidates (-63.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New80080
Fresh055
Picked011
Done011
Total80787

Merged error: 0b

Counts
87 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

9.2b
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
22×times-frac_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
4×cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-exp_binary64
3×pow1_binary64
2×div-inv_binary64
1×pow-prod-down_binary64 add-log-exp_binary64 associate-*r/_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
1 → 50
Calls
1 calls:
11.0ms
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

series63.0ms

Counts
1 → 3
Calls
1 calls:
63.0ms
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

simplify123.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (112.0ms)

IterNodesCost
05179713

prune22.0ms

Filtered
37 candidates to 53 candidates (-43.2%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New53053
Fresh044
Picked011
Done022
Total53760

Merged error: 0b

Counts
60 → 7

regimes232.0ms

Accuracy

51.8% (5.3b remaining)

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

bsearch1.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03992
13992

end0.0ms

sample491.0ms

Algorithm
intervals
Results
208.0ms8000×body128valid
46.0ms1781×body128invalid

Profiling

Loading profile data...