Details

Time bar (total: 3.3s)

analyze350.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
25%74.9%0.1%5
43.7%56.2%0.1%6
43.7%46.8%9.5%7
46.8%42.1%11%8
46.8%36.7%16.5%9
48.4%34%17.7%10
48.4%31%20.6%11
49.2%29.6%21.3%12
49.2%28%22.8%13
49.6%27.3%23.1%14

sample61.0ms

Algorithm
intervals
Results
13.0ms43×body1280invalid
9.0ms195×body80valid
8.0ms41×body640invalid
5.0ms24×body640valid
4.0ms9×body160invalid
3.0ms9×body1280valid
3.0ms21×body320invalid
2.0ms15×body320valid
1.0ms13×body160valid
1.0ms15×body80invalid

simplify37.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
049707
149707

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: 0.1b

Counts
2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(sinh y)
0.3b
(* (sin x) (/ (sinh y) x))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*r*
10×add-cube-cbrt *-un-lft-identity times-frac
7×add-exp-log add-cbrt-cube
4×pow1
3×associate-*l*
2×prod-exp cbrt-unprod add-log-exp unswap-sqr
1×cbrt-undiv sinh-def associate-*r/ div-exp pow-prod-down *-commutative div-inv
Counts
2 → 40
Calls
2 calls:
1.0ms
(sinh y)
7.0ms
(* (sin x) (/ (sinh y) x))

series26.0ms

Counts
2 → 6
Calls
2 calls:
7.0ms
(sinh y)
19.0ms
(* (sin x) (/ (sinh y) x))

simplify50.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04943383
14943383

prune63.0ms

Filtered
35 candidates to 46 candidates (-31.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New42446
Fresh011
Picked011
Done000
Total42648

Merged error: 0b

Counts
48 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt (sinh y))
0.6b
(cbrt (sinh y))
0.6b
(cbrt (sinh y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
3×sinh-def cbrt-div
Counts
4 → 47
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt (sinh y))
1.0ms
(cbrt (sinh y))
1.0ms
(cbrt (sinh y))

series100.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(cbrt x)
26.0ms
(cbrt (sinh y))
28.0ms
(cbrt (sinh y))
26.0ms
(cbrt (sinh y))

simplify58.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
05235338

prune67.0ms

Filtered
46 candidates to 59 candidates (-28.3%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New59059
Fresh044
Picked011
Done011
Total59665

Merged error: 0b

Counts
65 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sinh y))
0.6b
(cbrt (sinh y))
0.6b
(cbrt (sinh y))
7.5b
(* (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt (sinh y)) x))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
22×associate-*r*
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×cbrt-prod times-frac add-cbrt-cube
13×pow1
12×prod-exp cbrt-unprod
11×sinh-def cbrt-div
9×associate-*r/
6×pow-prod-down
5×frac-times associate-*l/
4×add-log-exp
3×cbrt-undiv pow1/3 div-exp
1×associate-*l* *-commutative div-inv
Counts
4 → 89
Calls
4 calls:
1.0ms
(cbrt (sinh y))
1.0ms
(cbrt (sinh y))
1.0ms
(cbrt (sinh y))
15.0ms
(* (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt (sinh y)) x))

series103.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(cbrt (sinh y))
30.0ms
(cbrt (sinh y))
26.0ms
(cbrt (sinh y))
19.0ms
(* (* (sin x) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt (sinh y)) x))

simplify57.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04997998
14997998

prune96.0ms

Filtered
69 candidates to 101 candidates (-46.4%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1010101
Fresh033
Picked011
Done022
Total1016107

Merged error: 0b

Counts
107 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(sinh y)
0.1b
(* (sin x) (sinh y))
12.9b
(/ (* (sin x) (sinh y)) x)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
9×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
5×pow1
3×sinh-def times-frac associate-*r* associate-*l* associate-/r* add-log-exp
2×cbrt-undiv associate-*r/ div-exp prod-exp cbrt-unprod
1×frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l/ associate-/l* unswap-sqr
Counts
3 → 49
Calls
3 calls:
1.0ms
(sinh y)
4.0ms
(* (sin x) (sinh y))
5.0ms
(/ (* (sin x) (sinh y)) x)

series44.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(sinh y)
17.0ms
(* (sin x) (sinh y))
19.0ms
(/ (* (sin x) (sinh y)) x)

simplify39.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
04995419
14995419

prune52.0ms

Filtered
43 candidates to 58 candidates (-34.9%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New57158
Fresh112
Picked011
Done033
Total58664

Merged error: 0b

Counts
64 → 6

regimes209.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
177

end0.0ms

sample1.8s

Algorithm
intervals
Results
466.0ms1507×body1280invalid
287.0ms6099×body80valid
261.0ms1249×body640invalid
158.0ms728×body640valid
139.0ms388×body1280valid
91.0ms636×body320invalid
75.0ms518×body320valid
33.0ms565×body80invalid
30.0ms302×body160invalid
26.0ms267×body160valid

Profiling

Loading profile data...