Details

Time bar (total: 1.1s)

analyze253.0ms

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
0%99.9%0.1%5
6.2%93.6%0.1%6
15.6%84.3%0.1%7
31.2%68.6%0.1%8
39%56.2%4.8%9
50.7%43.7%5.6%10
60.3%33.7%6%11
64.6%26.5%8.9%12
70.5%20.3%9.2%13
74.6%16.1%9.4%14

sample16.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
0.0ms9×body80invalid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0134
1204
2224
3224

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ x 2.0) (* y x))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ sum-log add-cbrt-cube flip-+
Counts
1 → 11
Calls
1 calls:
9.0ms
(+ (/ x 2.0) (* y x))

series6.0ms

Counts
1 → 3
Calls
1 calls:
6.0ms
(+ (/ x 2.0) (* y x))

simplify94.0ms

Algorithm
egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
09377
129567
280367
3211565
4500165

prune20.0ms

Filtered
11 candidates to 14 candidates (-27.3%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New14014
Fresh000
Picked011
Done000
Total14115

Merged error: 0b

Counts
15 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0114
1114

end0.0ms

analyze268.0ms

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
0%99.9%0.1%5
6.2%93.6%0.1%6
15.6%84.3%0.1%7
31.2%68.6%0.1%8
39%56.2%4.8%9
50.7%43.7%5.6%10
60.3%33.7%6%11
64.6%26.5%8.9%12
70.5%20.3%9.2%13
74.6%16.1%9.4%14

sample422.0ms

Algorithm
intervals
Results
239.0ms7996×body80valid
9.0ms300×body80invalid
0.0ms2×body640valid
0.0ms1×body1280valid
0.0ms1×body320valid

Profiling

Loading profile data...