Details

Time bar (total: 1.3s)

analyze240.0ms (19%)

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
9.4%65.5%25.1%6
14%60.8%25.1%7
14%56.2%29.8%8
14%36.7%49.3%9
14.8%30.4%54.8%10
15.5%28.3%56.2%11
16.4%18.3%65.2%12
17.2%15.2%67.6%13
17.7%14.2%68.1%14

sample31.0ms (2.5%)

Algorithm
1×intervals
Results
11.0ms256×body80valid
6.0ms83×body80nan
2.0ms52×body80invalid

simplify59.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
052078

prune8.0ms (0.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0b

Counts
2 → 1

localize8.0ms (0.6%)

Local error

Found 2 expressions with local error:

0.0b
(+ x (* y (log y)))
0.3b
(* y (log y))

rewrite9.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
12×log-prod
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×distribute-rgt-in associate-+r+ distribute-lft-in
5×pow1
4×add-exp-log associate-*r* add-cbrt-cube add-log-exp
3×associate-*l*
1×+-commutative flip3-+ pow-prod-down prod-exp sum-log log-pow *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
2 → 42
Calls

2 calls:

4.0ms
(* y (log y))
4.0ms
(+ x (* y (log y)))

series25.0ms (2%)

Counts
2 → 6
Calls

2 calls:

16.0ms
(* y (log y))
9.0ms
(+ x (* y (log y)))

simplify44.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
04945338
14945338

prune61.0ms (4.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New48048
Fresh000
Picked011
Done000
Total48149

Merged error: 0b

Counts
49 → 1

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0209
1209

end0.0ms (0%)

sample773.0ms (61.4%)

Algorithm
1×intervals
Results
344.0ms8000×body80valid
81.0ms1795×body80invalid
80.0ms2383×body80nan

Profiling

Loading profile data...