Details

Time bar (total: 4.0s)

sample88.0ms

Algorithm
intervals
Results
26.0ms53×body1280valid
26.0ms19×body2560valid
9.0ms33×body640valid
8.0ms123×body80valid
4.0ms21×body320valid
1.0ms7×body160valid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0117
1137
2137

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 39.2b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ x (* y 2.0))
8.7b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
29.8b
(sin (/ x (* y 2.0)))
30.9b
(tan (/ x (* y 2.0)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×times-frac
11×add-exp-log add-cbrt-cube
6×associate-/l*
4×pow1 expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×tan-quot frac-2neg clear-num div-inv
1×prod-exp cbrt-unprod associate-/l/
Counts
4 → 72
Calls
4 calls:
4.0ms
(/ x (* y 2.0))
6.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)))

series104.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ x (* y 2.0))
40.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
8.0ms
(sin (/ x (* y 2.0)))
37.0ms
(tan (/ x (* y 2.0)))

simplify105.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0239574
1856518
24398518
35001518

prune279.0ms

Filtered
84 candidates to 69 candidates (82.1%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New642084
Fresh000
Picked101
Done000
Total652085

Merged error: 27.4b

Counts
85 → 20

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 (2.0ms)

IterNodesCost
000

prune48.0ms

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01919
Picked011
Done000
Total02020

Merged error: 27.4b

Counts
20 → 20

localize12.0ms

Local error

Found 4 expressions with local error:

8.6b
(/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
29.8b
(sin (/ x (* y 2.0)))
29.8b
(sin (/ x (* y 2.0)))
30.3b
(cos (/ x (* y 2.0)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×times-frac associate-/l*
2×cbrt-undiv div-exp
1×frac-2neg prod-exp clear-num associate-/r* associate-/r/ sin-cos-mult cbrt-unprod div-inv
Counts
4 → 51
Calls
4 calls:
7.0ms
(/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
2.0ms
(sin (/ x (* y 2.0)))
2.0ms
(sin (/ x (* y 2.0)))
2.0ms
(cos (/ x (* y 2.0)))

series52.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
11.0ms
(sin (/ x (* y 2.0)))
8.0ms
(sin (/ x (* y 2.0)))
11.0ms
(cos (/ x (* y 2.0)))

simplify83.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0154539
1486393
22459391
35001385

prune212.0ms

Filtered
63 candidates to 53 candidates (84.1%)
Pruning

24 alts after pruning (23 fresh and 1 done)

PrunedKeptTotal
New531063
Fresh51318
Picked101
Done011
Total592483

Merged error: 27.4b

Counts
83 → 24

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (pow (/ 1 (cos (/ x (* y 2.0)))) 3))
0.2b
(/ x (* y 2.0))
0.4b
(pow (/ 1 (cos (/ x (* y 2.0)))) 3)
30.3b
(cos (/ x (* y 2.0)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
36×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
32×cbrt-prod
26×unpow-prod-down cube-prod
14×add-exp-log
12×add-cbrt-cube
6×pow1
5×div-inv
4×expm1-log1p-u div-exp pow-exp log1p-expm1-u add-log-exp
3×cbrt-undiv pow-unpow pow-pow associate-/l*
2×cube-div cube-mult unpow3 rem-cube-cbrt sqr-pow
1×pow-to-exp rec-exp cbrt-div pow-flip frac-2neg pow1/3 1-exp prod-exp clear-num associate-/r* rem-cbrt-cube cbrt-unprod inv-pow
Counts
4 → 128
Calls
4 calls:
5.0ms
(cbrt (pow (/ 1 (cos (/ x (* y 2.0)))) 3))
4.0ms
(/ x (* y 2.0))
5.0ms
(pow (/ 1 (cos (/ x (* y 2.0)))) 3)
2.0ms
(cos (/ x (* y 2.0)))

series93.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(cbrt (pow (/ 1 (cos (/ x (* y 2.0)))) 3))
18.0ms
(/ x (* y 2.0))
44.0ms
(pow (/ 1 (cos (/ x (* y 2.0)))) 3)
11.0ms
(cos (/ x (* y 2.0)))

simplify53.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0426973
11703851
25002845

prune194.0ms

Filtered
140 candidates to 66 candidates (47.1%)
Pruning

29 alts after pruning (28 fresh and 1 done)

PrunedKeptTotal
New12911140
Fresh51722
Picked101
Done011
Total13529164

Merged error: 26.9b

Counts
164 → 29

regimes536.0ms

Accuracy

0% (3.6b remaining)

Error of 29.0b against oracle of 25.4b and baseline of 29.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0157
1157

end0.0ms

sample2.0s

Algorithm
intervals
Results
606.0ms1399×body1280valid
581.0ms643×body2560valid
275.0ms1039×body640valid
238.0ms4033×body80valid
115.0ms586×body320valid
43.0ms300×body160valid