Details

Time bar (total: 6.4s)

analyze993.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
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
2.7%90.9%6.4%9
4.1%86.4%9.5%10
4.4%86.1%9.5%11
19.7%65.3%15%12
21.9%60.4%17.7%13
22.7%59.6%17.7%14

sample59.0ms

Algorithm
intervals
Results
13.0ms26×body1280valid
12.0ms193×body80valid
6.0ms21×body640valid
5.0ms35×body80nan
3.0ms11×body640invalid
2.0ms8×body320valid
1.0ms3×body1280invalid
1.0ms8×body160valid
1.0ms11×body80invalid
1.0ms3×body320invalid
1.0ms4×body160invalid

simplify115.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1277
2547
31097
43077
57777
641457
750027

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 6.6b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.0b
(exp (* y (log (/ y (+ z y)))))
0.1b
(* y (log (/ y (+ z y))))
8.5b
(log (/ y (+ z y)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
90×log-prod
78×*-un-lft-identity
60×times-frac
48×add-sqr-sqrt
46×add-cube-cbrt
36×distribute-rgt-in distribute-lft-in exp-sum
16×distribute-lft-out
10×associate-/r/
9×add-exp-log
8×pow1 add-log-exp
6×flip3-+ add-cbrt-cube flip-+
5×div-inv
4×associate-*r*
3×associate-*l*
2×rem-log-exp log-pow
1×+-commutative log-div exp-prod exp-to-pow div-exp pow-prod-down prod-exp sum-log *-commutative cbrt-unprod rem-exp-log unswap-sqr
Counts
4 → 142
Calls
4 calls:
33.0ms
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
7.0ms
(exp (* y (log (/ y (+ z y)))))
8.0ms
(* y (log (/ y (+ z y))))
5.0ms
(log (/ y (+ z y)))

series67.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
18.0ms
(exp (* y (log (/ y (+ z y)))))
14.0ms
(* y (log (/ y (+ z y))))
12.0ms
(log (/ y (+ z y)))

simplify71.0ms

Algorithm
egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
07201377
127031272
250011255

prune182.0ms

Filtered
88 candidates to 154 candidates (-75.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1495154
Fresh000
Picked101
Done000
Total1505155

Merged error: 1.6b

Counts
155 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow (exp y) (log (/ y (+ z y)))) y)
0.0b
(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
0.2b
(pow (exp y) (log (/ y (+ z y))))
8.5b
(log (/ y (+ z y)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
147×times-frac
127×*-un-lft-identity
108×log-prod
90×unpow-prod-up
89×add-sqr-sqrt add-cube-cbrt
25×associate-/l*
19×distribute-lft-out
15×unpow-prod-down
12×associate-/r/
11×add-exp-log
7×pow1 flip3-+ flip-+ div-inv
6×add-cbrt-cube add-log-exp
5×sqr-pow
4×pow-unpow pow-pow div-exp
3×log-div exp-prod associate-/r*
2×pow-to-exp rem-log-exp pow-exp log-pow pow-sub
1×cbrt-undiv +-commutative frac-2neg clear-num sum-log associate-/l/
Counts
4 → 199
Calls
4 calls:
12.0ms
(/ (pow (exp y) (log (/ y (+ z y)))) y)
24.0ms
(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
8.0ms
(pow (exp y) (log (/ y (+ z y))))
5.0ms
(log (/ y (+ z y)))

series152.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/ (pow (exp y) (log (/ y (+ z y)))) y)
22.0ms
(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
58.0ms
(pow (exp y) (log (/ y (+ z y))))
12.0ms
(log (/ y (+ z y)))

simplify102.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
08852535
135362363
250032362

prune255.0ms

Filtered
158 candidates to 211 candidates (-33.5%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2101211
Fresh134
Picked011
Done000
Total2115216

Merged error: 0.1b

Counts
216 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (log (exp (/ (pow (exp y) (log (/ y (+ z y)))) y))))
0.2b
(pow (exp y) (log (/ y (+ z y))))
3.3b
(log (exp (/ (pow (exp y) (log (/ y (+ z y)))) y)))
8.5b
(log (/ y (+ z y)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
135×times-frac
114×*-un-lft-identity
96×log-prod
83×log-pow
82×exp-prod
81×add-sqr-sqrt add-cube-cbrt
72×unpow-prod-up
17×distribute-lft-out
12×unpow-prod-down
10×associate-/r/
9×pow1
7×add-exp-log
6×flip3-+ flip-+ div-inv
5×add-log-exp
4×pow-unpow pow-pow add-cbrt-cube sqr-pow
3×associate-+r+ rem-log-exp
2×log-div
1×+-commutative pow-to-exp div-exp pow-exp sum-log pow-sub
Counts
4 → 176
Calls
4 calls:
39.0ms
(+ x (log (exp (/ (pow (exp y) (log (/ y (+ z y)))) y))))
9.0ms
(pow (exp y) (log (/ y (+ z y))))
25.0ms
(log (exp (/ (pow (exp y) (log (/ y (+ z y)))) y)))
6.0ms
(log (/ y (+ z y)))

series176.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(+ x (log (exp (/ (pow (exp y) (log (/ y (+ z y)))) y))))
67.0ms
(pow (exp y) (log (/ y (+ z y))))
72.0ms
(log (exp (/ (pow (exp y) (log (/ y (+ z y)))) y)))
14.0ms
(log (/ y (+ z y)))

simplify91.0ms

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
09511874
133781687
250011684

prune269.0ms

Filtered
142 candidates to 188 candidates (-32.4%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1880188
Fresh033
Picked011
Done011
Total1885193

Merged error: 0.1b

Counts
193 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ z y))
0.5b
(cbrt (+ z y))
0.5b
(* (cbrt (+ z y)) (cbrt (+ z y)))
2.2b
(pow (/ y (cbrt (+ z y))) y)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
53×*-un-lft-identity
44×cbrt-prod
37×add-sqr-sqrt
29×add-cube-cbrt
27×unpow-prod-down
21×times-frac
18×cbrt-div
12×pow1
11×distribute-lft-out
9×add-exp-log flip3-+ swap-sqr flip-+
8×pow1/3
7×associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
3×pow-unpow
2×associate-*r/ pow-prod-down associate-*l/ pow-exp associate-/r/ pow-sqr pow-prod-up
1×pow2 pow-to-exp pow-pow pow-plus div-exp prod-exp *-commutative cbrt-unprod div-inv sqr-pow
Counts
4 → 123
Calls
4 calls:
3.0ms
(cbrt (+ z y))
3.0ms
(cbrt (+ z y))
9.0ms
(* (cbrt (+ z y)) (cbrt (+ z y)))
8.0ms
(pow (/ y (cbrt (+ z y))) y)

series274.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(cbrt (+ z y))
158.0ms
(cbrt (+ z y))
44.0ms
(* (cbrt (+ z y)) (cbrt (+ z y)))
40.0ms
(pow (/ y (cbrt (+ z y))) y)

simplify77.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
07341201
127591150
250011080

prune175.0ms

Filtered
93 candidates to 135 candidates (-45.2%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1350135
Fresh022
Picked011
Done022
Total1355140

Merged error: 0.1b

Counts
140 → 5

regimes447.0ms

Accuracy

0% (0.9b remaining)

Error of 1.1b against oracle of 0.2b and baseline of 1.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0127
1127

end0.0ms

analyze954.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
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
2.7%90.9%6.4%9
4.1%86.4%9.5%10
4.4%86.1%9.5%11
19.7%65.3%15%12
21.9%60.4%17.7%13
22.7%59.6%17.7%14

sample1.7s

Algorithm
intervals
Results
411.0ms6109×body80valid
370.0ms648×body1280valid
234.0ms652×body640valid
89.0ms266×body640invalid
86.0ms372×body320valid
54.0ms1101×body80nan
42.0ms180×body320invalid
42.0ms80×body1280invalid
32.0ms219×body160valid
23.0ms361×body80invalid
17.0ms118×body160invalid

Profiling

Loading profile data...