Details

Time bar (total: 4.1s)

sample77.0ms

Algorithm
intervals
Results
23.0ms46×body1280valid
18.0ms18×body2560valid
10.0ms142×body80valid
9.0ms28×body640valid
3.0ms13×body320valid
2.0ms9×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0117
1137
2137

prune3.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 32.5b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

7.0b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
25.3b
(sin (/ x (* y 2.0)))
25.9b
(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)))

series37.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0138457
1421413
21751413
35002413

prune184.0ms

Filtered
52 candidates to 44 candidates (15.4%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New371552
Fresh000
Picked101
Done000
Total381553

Merged error: 23.5b

Counts
53 → 15

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune59.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01414
Picked011
Done000
Total01515

Merged error: 23.5b

Counts
15 → 15

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.0b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
25.3b
(sin (/ x (* y 2.0)))
25.9b
(tan (/ x (* y 2.0)))

rewrite18.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:
6.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)))

series57.0ms

Counts
4 → 12
Calls
4 calls:
22.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)))

simplify55.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
03371072
11554977
25001968

prune262.0ms

Filtered
101 candidates to 67 candidates (33.7%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New938101
Fresh5813
Picked101
Done011
Total9917116

Merged error: 23.5b

Counts
116 → 17

localize18.0ms

Local error

Found 4 expressions with local error:

25.3b
(sin (/ x (* y 2.0)))
25.9b
(tan (/ x (* y 2.0)))
25.9b
(tan (/ x (* y 2.0)))
25.9b
(tan (/ x (* y 2.0)))

rewrite9.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)))
2.0ms
(tan (/ x (* y 2.0)))
2.0ms
(tan (/ x (* y 2.0)))

series42.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
056224
1123196
2434196
31952196
45001196

prune160.0ms

Filtered
43 candidates to 39 candidates (9.3%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New42143
Fresh11415
Picked011
Done011
Total431760

Merged error: 23.4b

Counts
60 → 17

regimes596.0ms

Accuracy

37.6% (1.5b remaining)

Error of 27.5b against oracle of 26.0b and baseline of 28.4b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01733
11733

end0.0ms

sample2.4s

Algorithm
intervals
Results
688.0ms1372×body1280valid
659.0ms664×body2560valid
312.0ms982×body640valid
283.0ms4103×body80valid
133.0ms565×body320valid
54.0ms314×body160valid

Profiling

Loading profile data...