Details

Time bar (total: 767.0ms)

analyze252.0ms (32.9%)

Algorithm
1×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

sample18.0ms (2.3%)

Algorithm
1×intervals
Results
7.0ms256×body80valid
0.0ms6×body80invalid

simplify3.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0199
1199

prune5.0ms (0.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize6.0ms (0.8%)

Local error

Found 1 expressions with local error:

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

rewrite6.0ms (0.8%)

Algorithm
1×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:

6.0ms
(+ (/ x 2.0) (* y x))

series5.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

5.0ms
(+ (/ x 2.0) (* y x))

simplify44.0ms (5.7%)

Algorithm
1×egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05278137

prune22.0ms (2.9%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New14014
Fresh000
Picked011
Done000
Total14115

Merged error: 0.0b

Counts
15 → 1

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0119
1119

end0.0ms (0%)

sample404.0ms (52.7%)

Algorithm
1×intervals
Results
233.0ms7999×body80valid
8.0ms300×body80invalid
0.0ms1×body1280valid

Profiling

Loading profile data...