Details

Time bar (total: 9.6s)

analyze695.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
31.2%68.7%0.1%5
31.2%59.3%9.5%6
34.3%54.6%11%7
34.3%49.2%16.5%8
35.9%46.4%17.7%9
35.9%42.1%22%10
36.7%40.6%22.7%11
36.7%39.1%24.2%12
37.1%38.3%24.7%13
37.1%36.7%26.2%14

sample218.0ms

Algorithm
intervals
Results
70.0ms44×body5120exit
12.0ms212×body80valid

simplify72.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
048917
148917

prune12.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: 0.2b

Counts
2 → 2

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (pow l (exp w)) (exp w))
0.2b
(pow l (exp w))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
21×times-frac
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
15×unpow-prod-down
7×associate-/l*
5×add-exp-log sqr-pow
4×add-cbrt-cube
3×pow1 pow-unpow div-exp associate-/r*
2×pow-to-exp pow-exp add-log-exp
1×cbrt-undiv pow-pow frac-2neg clear-num div-inv
Counts
2 → 62
Calls
2 calls:
5.0ms
(/ (pow l (exp w)) (exp w))
2.0ms
(pow l (exp w))

series39.0ms

Counts
2 → 6
Calls
2 calls:
23.0ms
(/ (pow l (exp w)) (exp w))
16.0ms
(pow l (exp w))

simplify45.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05129793

prune81.0ms

Filtered
49 candidates to 68 candidates (-38.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New64468
Fresh101
Picked101
Done000
Total66470

Merged error: 0.0b

Counts
70 → 4

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (exp w) (pow l (exp w)))
0.1b
(/ 1 (/ (exp w) (pow l (exp w))))
0.2b
(pow l (exp w))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
103×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
51×unpow-prod-down
32×associate-/r*
20×div-exp
19×add-exp-log
17×sqr-pow
10×add-cbrt-cube
6×div-inv associate-/l*
5×pow1 pow-to-exp pow-exp
4×cbrt-undiv rec-exp 1-exp
3×pow-unpow add-log-exp
2×frac-2neg clear-num
1×pow-flip pow-pow associate-/r/ inv-pow
Counts
3 → 192
Calls
3 calls:
5.0ms
(/ (exp w) (pow l (exp w)))
9.0ms
(/ 1 (/ (exp w) (pow l (exp w))))
2.0ms
(pow l (exp w))

series61.0ms

Counts
3 → 9
Calls
3 calls:
20.0ms
(/ (exp w) (pow l (exp w)))
26.0ms
(/ 1 (/ (exp w) (pow l (exp w))))
15.0ms
(pow l (exp w))

simplify68.0ms

Algorithm
egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
051602771

prune151.0ms

Filtered
121 candidates to 201 candidates (-66.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2010201
Fresh033
Picked011
Done000
Total2014205

Merged error: 0.0b

Counts
205 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp w))
0.2b
(pow (sqrt l) (exp w))
0.2b
(pow (sqrt l) (exp w))
0.3b
(* (/ (pow (sqrt l) (exp w)) (sqrt (exp w))) (/ (pow (sqrt l) (exp w)) (sqrt (exp w))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
539×add-sqr-sqrt
456×times-frac
373×sqrt-prod
284×unpow-prod-down
188×add-cube-cbrt *-un-lft-identity
100×swap-sqr
81×unswap-sqr
66×sqr-pow
64×associate-*r* associate-*l*
54×add-exp-log
24×div-exp
16×pow1 prod-exp add-cbrt-cube
10×pow-to-exp pow-exp
6×pow-unpow pow-pow sqrt-pow1
4×cbrt-undiv cbrt-unprod div-inv add-log-exp
3×exp-prod pow1/2
2×sqrt-pow2
1×pow2 frac-times rem-sqrt-square pow-plus associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up
Counts
4 → 407
Calls
4 calls:
2.0ms
(sqrt (exp w))
3.0ms
(pow (sqrt l) (exp w))
3.0ms
(pow (sqrt l) (exp w))
69.0ms
(* (/ (pow (sqrt l) (exp w)) (sqrt (exp w))) (/ (pow (sqrt l) (exp w)) (sqrt (exp w))))

series80.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (exp w))
19.0ms
(pow (sqrt l) (exp w))
24.0ms
(pow (sqrt l) (exp w))
35.0ms
(* (/ (pow (sqrt l) (exp w)) (sqrt (exp w))) (/ (pow (sqrt l) (exp w)) (sqrt (exp w))))

simplify118.0ms

Algorithm
egg-herbie
Counts
419 → 419
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
050269974

prune226.0ms

Filtered
173 candidates to 419 candidates (-142.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New4190419
Fresh022
Picked011
Done011
Total4194423

Merged error: 0.0b

Counts
423 → 4

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (log l) (exp w)) w)
0.0b
(* (log l) (exp w))
3.9b
(exp (- (* (log l) (exp w)) w))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity
5×add-cbrt-cube
4×add-exp-log associate-*l*
3×exp-prod associate-*r*
2×sub-neg diff-log rem-exp-log
1×flip3-- exp-diff exp-sum pow-prod-down prod-exp log-pow *-commutative flip-- cbrt-unprod unswap-sqr
Counts
3 → 44
Calls
3 calls:
5.0ms
(- (* (log l) (exp w)) w)
5.0ms
(* (log l) (exp w))
6.0ms
(exp (- (* (log l) (exp w)) w))

series44.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(- (* (log l) (exp w)) w)
10.0ms
(* (log l) (exp w))
17.0ms
(exp (- (* (log l) (exp w)) w))

simplify50.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04992469
14992469

prune49.0ms

Filtered
38 candidates to 53 candidates (-39.5%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New52153
Fresh011
Picked011
Done022
Total52557

Merged error: 0.0b

Counts
57 → 5

regimes95.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
189

end0.0ms

sample7.2s

Algorithm
intervals
Results
2.0s1286×body5120exit
382.0ms6712×body80valid
4.0ms2×body5120nan

Profiling

Loading profile data...