Details

Time bar (total: 3.2s)

analyze360.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
12.5%87.4%0.1%5
18.7%68.7%12.6%6
28.1%59.3%12.6%7
32.8%48.4%18.8%8
38.2%42.9%18.8%9
41%37.1%22%10
43.9%34.1%22%11
45.5%31%23.5%12
46.9%29.6%23.5%13
47.7%28%24.3%14

sample53.0ms

Algorithm
intervals
Results
27.0ms114×body5120exit
8.0ms206×body80valid
3.0ms25×body320valid
2.0ms13×body640valid
1.0ms12×body160valid
0.0ms4×body80invalid

simplify63.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0619612

prune10.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: 11.4b

Counts
2 → 2

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- (/ x (exp wj)) wj) (+ wj 1))
0.0b
(/ x (exp wj))
3.3b
(+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
48×add-sqr-sqrt
38×times-frac
23×add-cube-cbrt
10×difference-of-squares
9×associate-/l*
8×distribute-lft-out
7×associate-/r* add-cbrt-cube
6×add-exp-log
5×distribute-lft-out-- add-log-exp
3×pow1
2×cbrt-undiv frac-2neg flip3-+ div-sub div-exp clear-num associate-/r/ flip-+ div-inv associate-/l/
1×+-commutative associate-+r- flip3-- sum-log flip--
Counts
3 → 91
Calls
3 calls:
12.0ms
(/ (- (/ x (exp wj)) wj) (+ wj 1))
4.0ms
(/ x (exp wj))
17.0ms
(+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))

series29.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(/ (- (/ x (exp wj)) wj) (+ wj 1))
8.0ms
(/ x (exp wj))
10.0ms
(+ wj (/ (- (/ x (exp wj)) wj) (+ wj 1)))

simplify61.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
058601345

prune145.0ms

Filtered
73 candidates to 100 candidates (-37.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New946100
Fresh101
Picked101
Done000
Total966102

Merged error: 0.4b

Counts
102 → 6

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (* wj (+ wj (* x -2))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
2×associate-+r+
1×pow1 add-exp-log +-commutative distribute-rgt-in add-sqr-sqrt add-cube-cbrt *-un-lft-identity distribute-lft-in flip3-+ sum-log add-cbrt-cube flip-+
Counts
1 → 13
Calls
1 calls:
3.0ms
(+ x (* wj (+ wj (* x -2))))

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(+ x (* wj (+ wj (* x -2))))

simplify21.0ms

Algorithm
egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
05262191

prune46.0ms

Filtered
12 candidates to 16 candidates (-33.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New14216
Fresh055
Picked011
Done000
Total14822

Merged error: 0.4b

Counts
22 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (* (exp wj) (+ wj 1)))
0.0b
(/ wj (+ wj 1))
0.0b
(* (exp wj) (+ wj 1))
3.3b
(- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
24×add-sqr-sqrt
17×add-cube-cbrt
16×times-frac
13×add-cbrt-cube
11×add-exp-log
9×add-log-exp
6×pow1 distribute-lft-out associate-/l*
5×associate-/r*
4×flip3-+ associate-*r/ associate-*r* associate-/r/ flip-+
3×cbrt-undiv div-exp associate-*l*
2×frac-2neg diff-log prod-exp clear-num frac-sub cbrt-unprod div-inv distribute-lft-out-- difference-of-squares
1×distribute-rgt-in sub-neg flip3-- distribute-lft-in pow-prod-down associate--l+ sum-log *-commutative flip-- unswap-sqr
Counts
4 → 98
Calls
4 calls:
7.0ms
(/ x (* (exp wj) (+ wj 1)))
5.0ms
(/ wj (+ wj 1))
7.0ms
(* (exp wj) (+ wj 1))
15.0ms
(- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))

series30.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(/ x (* (exp wj) (+ wj 1)))
3.0ms
(/ wj (+ wj 1))
4.0ms
(* (exp wj) (+ wj 1))
10.0ms
(- (+ wj (/ x (* (exp wj) (+ wj 1)))) (/ wj (+ wj 1)))

simplify49.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050021316

prune161.0ms

Filtered
81 candidates to 110 candidates (-35.8%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1064110
Fresh336
Picked101
Done011
Total1108118

Merged error: 0.3b

Counts
118 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (+ wj (log (+ wj 1))))
0.0b
(+ wj (log (+ wj 1)))
3.3b
(- (+ wj (/ x (exp (+ wj (log (+ wj 1)))))) (/ wj (+ wj 1)))
3.5b
(log (+ wj 1))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
12×add-sqr-sqrt add-log-exp
8×log-prod
7×pow1 add-cube-cbrt distribute-lft-out
6×log-div
5×add-exp-log exp-prod flip3-+ flip-+
4×associate-+r- associate-+r+ add-cbrt-cube
3×sum-log log-pow
2×exp-diff diff-log frac-sub rem-exp-log distribute-lft-out-- difference-of-squares
1×+-commutative sub-neg flip3-- times-frac rem-log-exp exp-sum associate--l+ flip--
Counts
4 → 70
Calls
4 calls:
5.0ms
(exp (+ wj (log (+ wj 1))))
6.0ms
(+ wj (log (+ wj 1)))
18.0ms
(- (+ wj (/ x (exp (+ wj (log (+ wj 1)))))) (/ wj (+ wj 1)))
3.0ms
(log (+ wj 1))

series27.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(exp (+ wj (log (+ wj 1))))
3.0ms
(+ wj (log (+ wj 1)))
18.0ms
(- (+ wj (/ x (exp (+ wj (log (+ wj 1)))))) (/ wj (+ wj 1)))
3.0ms
(log (+ wj 1))

simplify71.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04916995
14916995

prune126.0ms

Filtered
61 candidates to 82 candidates (-34.4%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New81182
Fresh246
Picked011
Done011
Total83790

Merged error: 0.3b

Counts
90 → 7

regimes118.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0119
1119

end0.0ms

sample1.6s

Algorithm
intervals
Results
919.0ms3827×body5120exit
252.0ms6187×body80valid
95.0ms793×body320valid
84.0ms457×body640valid
46.0ms563×body160valid
4.0ms78×body80invalid
0.0ms14×body80overflowed

Profiling

Loading profile data...