Details

Time bar (total: 11.1s)

analyze2.3s

Algorithm
search
sampling

Space saved by range analysis: 0.097632%

Space saved by search: 5.585433%

Guaranteed chance to sample good point: 44.44588%

sample137.0ms

Algorithm
intervals
Results
70.0ms23×body2560valid
33.0ms53×body1280valid
12.0ms44×body640valid
6.0ms118×body80valid
2.0ms13×body320valid
1.0ms5×body160valid
0.0ms5×body80invalid

simplify362.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1397
2767
31147
41377
51447
61447

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.5b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(* PI l)
0.3b
(* PI l)
3.2b
(* (/ 1.0 (* F F)) (tan (* PI l)))
31.6b
(tan (* PI l))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
17×add-exp-log add-cbrt-cube
13×associate-*l*
11×add-cube-cbrt *-un-lft-identity
10×pow1
9×associate-*r*
6×prod-exp cbrt-unprod
4×times-frac add-log-exp unswap-sqr
3×tan-quot pow-prod-down *-commutative
2×cbrt-undiv div-exp
1×frac-times associate-*r/ associate-*l/ div-inv
Counts
4 → 74
Calls
4 calls:
3.0ms
(* PI l)
3.0ms
(* PI l)
9.0ms
(* (/ 1.0 (* F F)) (tan (* PI l)))
3.0ms
(tan (* PI l))

series46.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* PI l)
2.0ms
(* PI l)
23.0ms
(* (/ 1.0 (* F F)) (tan (* PI l)))
17.0ms
(tan (* PI l))

simplify39.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0306403
11397345
25002345

prune159.0ms

Filtered
58 candidates to 86 candidates (-48.3%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New701686
Fresh000
Picked101
Done000
Total711687

Merged error: 11.0b

Counts
87 → 16

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(* PI l)
0.3b
(* PI l)
0.3b
(* (/ 1.0 F) (tan (* PI l)))
31.6b
(tan (* PI l))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×associate-*l*
16×add-cube-cbrt *-un-lft-identity
13×add-exp-log add-cbrt-cube
10×pow1 times-frac
9×associate-*r*
4×prod-exp cbrt-unprod add-log-exp unswap-sqr
3×tan-quot pow-prod-down *-commutative
1×cbrt-undiv frac-times associate-*r/ div-exp associate-*l/ div-inv
Counts
4 → 78
Calls
4 calls:
3.0ms
(* PI l)
3.0ms
(* PI l)
7.0ms
(* (/ 1.0 F) (tan (* PI l)))
2.0ms
(tan (* PI l))

series33.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(* PI l)
2.0ms
(* PI l)
20.0ms
(* (/ 1.0 F) (tan (* PI l)))
8.0ms
(tan (* PI l))

simplify84.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0277382
11009342
23834341
35001341

prune170.0ms

Filtered
64 candidates to 90 candidates (-40.6%)
Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New81990
Fresh31215
Picked011
Done000
Total8422106

Merged error: 11.0b

Counts
106 → 22

localize16.0ms

Local error

Found 4 expressions with local error:

8.5b
(cbrt (* (/ 1.0 F) (tan (* PI l))))
31.6b
(tan (* PI l))
31.6b
(tan (* PI l))
31.6b
(tan (* PI l))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
5×tan-quot
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×cbrt-div
1×cbrt-prod frac-times pow1/3 associate-*r/ associate-*l/
Counts
4 → 36
Calls
4 calls:
5.0ms
(cbrt (* (/ 1.0 F) (tan (* PI l))))
2.0ms
(tan (* PI l))
2.0ms
(tan (* PI l))
2.0ms
(tan (* PI l))

series75.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(cbrt (* (/ 1.0 F) (tan (* PI l))))
8.0ms
(tan (* PI l))
8.0ms
(tan (* PI l))
8.0ms
(tan (* PI l))

simplify49.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0175301
1443275
21635267
35002259

prune166.0ms

Filtered
41 candidates to 48 candidates (-17.1%)
Pruning

24 alts after pruning (22 fresh and 2 done)

PrunedKeptTotal
New45348
Fresh11920
Picked011
Done011
Total462470

Merged error: 11.0b

Counts
70 → 24

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 1.0 F))
0.6b
(cbrt (/ 1.0 F))
0.6b
(cbrt (/ 1.0 F))
31.6b
(tan (* PI l))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×times-frac
25×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×cbrt-div pow1/3 div-inv
1×tan-quot
Counts
4 → 74
Calls
4 calls:
2.0ms
(cbrt (/ 1.0 F))
2.0ms
(cbrt (/ 1.0 F))
2.0ms
(cbrt (/ 1.0 F))
2.0ms
(tan (* PI l))

series80.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt (/ 1.0 F))
25.0ms
(cbrt (/ 1.0 F))
24.0ms
(cbrt (/ 1.0 F))
8.0ms
(tan (* PI l))

simplify118.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 3 (30.0ms)

IterNodesCost
0175487
1372467
21033449
33567422
45001422

prune168.0ms

Filtered
69 candidates to 86 candidates (-24.6%)
Pruning

25 alts after pruning (22 fresh and 3 done)

PrunedKeptTotal
New83386
Fresh21921
Picked011
Done022
Total8525110

Merged error: 11.0b

Counts
110 → 25

regimes710.0ms

Accuracy

0% (0.3b remaining)

Error of 12.6b against oracle of 12.3b and baseline of 12.6b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0178
1178

end0.0ms

analyze2.1s

Algorithm
search
sampling

Space saved by range analysis: 0.097632%

Space saved by search: 5.585433%

Guaranteed chance to sample good point: 44.44588%

sample4.3s

Algorithm
intervals
Results
2.5s838×body2560valid
973.0ms1688×body1280valid
270.0ms1001×body640valid
194.0ms3936×body80valid
60.0ms354×body320valid
25.0ms183×body160valid
8.0ms133×body80invalid
2.0ms1×body2560invalid
2.0ms5×body1280invalid
1.0ms3×body5120exit

Profiling

Loading profile data...