Details

Time bar (total: 698.0ms)

analyze121.0ms (17.4%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
49.9%49.9%0.1%5
74.9%25%0.1%6
74.9%25%0.1%7
74.9%25%0.1%8
81.1%18.7%0.1%9
81.1%18.7%0.1%10
81.1%15.6%3.3%11
84.3%10.9%4.8%12
84.3%10.9%4.8%13
84.3%8.6%7.2%14

sample17.0ms (2.4%)

Algorithm
intervals
Results
8.0ms256×body80valid
1.0ms17×body80invalid

simplify22.0ms (3.1%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
03669
13669

prune6.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms (0.9%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 (/.f64 (*.f64 x y) 2.0) (/.f64 z 8.0))

rewrite11.0ms (1.6%)

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64
*-un-lft-identity_binary64 add-log-exp_binary64
difference-of-squares_binary64
sub-neg_binary64 pow1_binary64 flip3--_binary64 diff-log_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64 times-frac_binary64 flip--_binary64 frac-sub_binary64
Counts
1 → 15
Calls

1 calls:

11.0ms
(-.f64 (/.f64 (*.f64 x y) 2.0) (/.f64 z 8.0))

series10.0ms (1.4%)

Counts
1 → 3
Calls

1 calls:

10.0ms
(-.f64 (/.f64 (*.f64 x y) 2.0) (/.f64 z 8.0))

simplify42.0ms (6%)

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05081254

prune27.0ms (3.9%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New18018
Fresh000
Picked011
Done000
Total18119

Merged error: 0.0b

Counts
19 → 1

simplify2.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0279
1279

end0.0ms (0%)

sample432.0ms (62%)

Algorithm
intervals
Results
248.0ms8000×body80valid
15.0ms517×body80invalid

Profiling

Loading profile data...