Details

Time bar (total: 5.3s)

analyze720.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
18.7%81.2%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.6%52.3%0.1%14

sample76.0ms

Algorithm
intervals
Results
22.0ms23×body2560valid
21.0ms43×body1280valid
9.0ms132×body80valid
8.0ms25×body640valid
6.0ms26×body320valid
1.0ms7×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01313
11313

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 35.9b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

7.2b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
28.2b
(sin (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
5×add-exp-log add-cbrt-cube
3×pow1 associate-/r* associate-/l* add-log-exp
2×tan-quot
1×cbrt-undiv frac-2neg div-exp clear-num div-inv associate-/l/
Counts
3 → 43
Calls
3 calls:
5.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
2.0ms
(sin (/ x (* y 2.0)))
2.0ms
(tan (/ x (* y 2.0)))

series38.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
4.0ms
(sin (/ x (* y 2.0)))
13.0ms
(tan (/ x (* y 2.0)))

simplify47.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
04953733
14953733

prune181.0ms

Filtered
44 candidates to 52 candidates (-18.2%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New361652
Fresh000
Picked101
Done000
Total371653

Merged error: 25.8b

Counts
53 → 16

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune56.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01515
Picked011
Done000
Total01616

Merged error: 25.8b

Counts
16 → 16

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3)
7.2b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
28.2b
(sin (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
13×unpow-prod-down cube-prod
9×add-exp-log add-cbrt-cube
5×pow1
4×add-log-exp
3×pow-unpow associate-/r* div-inv associate-/l*
2×tan-quot cbrt-undiv div-exp pow-exp rem-cube-cbrt
1×cube-div cube-mult pow-to-exp pow-pow frac-2neg unpow3 clear-num associate-/l/ sqr-pow
Counts
4 → 89
Calls
4 calls:
5.0ms
(pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3)
5.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
2.0ms
(sin (/ x (* y 2.0)))
2.0ms
(tan (/ x (* y 2.0)))

series55.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3)
18.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
3.0ms
(sin (/ x (* y 2.0)))
13.0ms
(tan (/ x (* y 2.0)))

simplify50.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
054801719

prune233.0ms

Filtered
67 candidates to 101 candidates (-50.7%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New947101
Fresh6814
Picked101
Done011
Total10116117

Merged error: 25.8b

Counts
117 → 16

localize17.0ms

Local error

Found 4 expressions with local error:

28.2b
(sin (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×tan-quot
Counts
4 → 31
Calls
4 calls:
2.0ms
(sin (/ x (* y 2.0)))
2.0ms
(tan (/ x (* y 2.0)))
4.0ms
(tan (/ x (* y 2.0)))
2.0ms
(tan (/ x (* y 2.0)))

series41.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sin (/ x (* y 2.0)))
12.0ms
(tan (/ x (* y 2.0)))
12.0ms
(tan (/ x (* y 2.0)))
13.0ms
(tan (/ x (* y 2.0)))

simplify61.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04954360
14954360

prune165.0ms

Filtered
39 candidates to 43 candidates (-10.3%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New42143
Fresh21214
Picked011
Done011
Total441559

Merged error: 25.7b

Counts
59 → 15

regimes475.0ms

Accuracy

0% (2.4b remaining)

Error of 28.5b against oracle of 26.1b and baseline of 28.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
111

end0.0ms

analyze727.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
18.7%81.2%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.6%52.3%0.1%14

sample2.3s

Algorithm
intervals
Results
688.0ms1387×body1280valid
622.0ms631×body2560valid
310.0ms990×body640valid
298.0ms4096×body80valid
147.0ms605×body320valid
50.0ms291×body160valid

Profiling

Loading profile data...