Details

Time bar (total: 2.5s)

analyze765.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
5.8%94%0.2%9
7.6%92.2%0.2%10
11.6%88.2%0.2%11
18.5%81.3%0.2%12
32.3%66.9%0.8%13
37%62.2%0.8%14

sample25.0ms

Algorithm
intervals
Results
13.0ms256×body128valid
2.0ms52×body128invalid

simplify186.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (179.0ms)

IterNodesCost
043667
143667

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.8b

Counts
2 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

8.4b
(*.f64 x (/.f64 y z))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
13×associate-*r*_binary64
10×times-frac_binary64
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64
3×pow1_binary64 associate-*l*_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 add-log-exp_binary64 cbrt-undiv_binary64 associate-*r/_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
Counts
1 → 32
Calls
1 calls:
7.0ms
(*.f64 x (/.f64 y z))

series38.0ms

Counts
1 → 3
Calls
1 calls:
38.0ms
(*.f64 x (/.f64 y z))

simplify88.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04907348
14907348

prune35.0ms

Filtered
24 candidates to 35 candidates (-45.8%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New251035
Fresh101
Picked011
Done000
Total261137

Merged error: 0.0b

Counts
37 → 11

localize4.0ms

Local error

Found 1 expressions with local error:

5.0b
(/.f64 (*.f64 x y) z)

rewrite6.0ms

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

series42.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(/.f64 (*.f64 x y) z)

simplify100.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
04672219
14672219

prune18.0ms

Filtered
12 candidates to 24 candidates (-100.0%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New21324
Fresh459
Picked011
Done011
Total251035

Merged error: 0.0b

Counts
35 → 10

localize5.0ms

Local error

Found 1 expressions with local error:

5.0b
(*.f64 (*.f64 x y) (/.f64 1 z))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log_binary64
13×associate-*r*_binary64 add-cbrt-cube_binary64
9×prod-exp_binary64 times-frac_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
6×pow1_binary64 cbrt-unprod_binary64
3×pow-prod-down_binary64
2×cbrt-undiv_binary64 rec-exp_binary64 div-exp_binary64
1×add-log-exp_binary64 associate-*r/_binary64 associate-*l*_binary64 un-div-inv_binary64 div-inv_binary64 *-commutative_binary64
Counts
1 → 36
Calls
1 calls:
9.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))

simplify96.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
04999363
14999363

prune20.0ms

Filtered
19 candidates to 39 candidates (-105.3%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New38139
Fresh167
Picked011
Done022
Total391049

Merged error: 0.0b

Counts
49 → 10

localize5.0ms

Local error

Found 2 expressions with local error:

0.5b
(/.f64 1 (/.f64 z (*.f64 x y)))
4.9b
(/.f64 z (*.f64 x y))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac_binary64
22×add-exp-log_binary64
20×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
16×add-cbrt-cube_binary64
9×div-exp_binary64
8×associate-/r*_binary64
7×cbrt-undiv_binary64
6×associate-/l*_binary64 div-inv_binary64
3×pow1_binary64 prod-exp_binary64 rec-exp_binary64
2×add-log-exp_binary64 cbrt-unprod_binary64 clear-num_binary64 frac-2neg_binary64
1×associate-/r/_binary64 inv-pow_binary64 pow-flip_binary64
Counts
2 → 74
Calls
2 calls:
7.0ms
(/.f64 1 (/.f64 z (*.f64 x y)))
7.0ms
(/.f64 z (*.f64 x y))

series86.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(/.f64 1 (/.f64 z (*.f64 x y)))
43.0ms
(/.f64 z (*.f64 x y))

simplify90.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
05351930

prune33.0ms

Filtered
44 candidates to 80 candidates (-81.8%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New78280
Fresh246
Picked101
Done033
Total81990

Merged error: 0b

Counts
90 → 9

regimes140.0ms

Accuracy

93.4% (0.4b remaining)

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

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03277
13277

end0.0ms

sample586.0ms

Algorithm
intervals
Results
272.0ms8000×body128valid
53.0ms1549×body128invalid

Profiling

Loading profile data...