Details

Time bar (total: 7.4s)

analyze893.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
18.7%81.2%0.1%8
29.7%69.5%0.9%9
30.4%67.9%1.7%10
36.3%61.1%2.6%11
36.9%59.5%3.6%12
39.9%55.9%4.2%13
40.2%54.9%4.9%14

sample132.0ms

Algorithm
intervals
Results
68.0ms24×body2560valid
34.0ms56×body1280valid
8.0ms134×body80valid
7.0ms26×body640valid
2.0ms10×body320valid
1.0ms6×body160valid
0.0ms1×body1280invalid
0.0ms4×body80invalid

simplify525.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
0116514
1116514

prune13.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: 16.9b

Counts
2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
4.7b
(/ (tan (* PI l)) (* F F))
28.1b
(tan (* PI l))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×add-exp-log add-cbrt-cube
10×add-cube-cbrt *-un-lft-identity
8×pow1
6×associate-*r* associate-*l*
4×add-log-exp
3×times-frac prod-exp cbrt-unprod associate-/l*
2×tan-quot cbrt-undiv div-exp pow-prod-down *-commutative unswap-sqr
1×frac-2neg clear-num associate-/r* div-inv associate-/l/
Counts
4 → 66
Calls
4 calls:
3.0ms
(* PI l)
3.0ms
(* PI l)
6.0ms
(/ (tan (* PI l)) (* F F))
3.0ms
(tan (* PI l))

series43.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04955539
14955539

prune178.0ms

Filtered
53 candidates to 78 candidates (-47.2%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New611778
Fresh101
Picked101
Done000
Total631780

Merged error: 11.7b

Counts
80 → 17

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
0.3b
(/ (tan (* PI l)) F)
28.1b
(tan (* PI l))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
10×add-exp-log add-cbrt-cube
9×times-frac
8×pow1
6×associate-*r* associate-*l*
4×add-log-exp
3×associate-/r* associate-/l*
2×tan-quot pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×cbrt-undiv frac-2neg div-exp clear-num div-inv associate-/l/
Counts
4 → 72
Calls
4 calls:
3.0ms
(* PI l)
4.0ms
(* PI l)
4.0ms
(/ (tan (* PI l)) F)
2.0ms
(tan (* PI l))

series28.0ms

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

simplify57.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05049592

prune159.0ms

Filtered
59 candidates to 84 candidates (-42.4%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New78684
Fresh31316
Picked101
Done000
Total8219101

Merged error: 11.7b

Counts
101 → 19

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
0.3b
(* (tan (* PI l)) (/ 1 F))
28.1b
(tan (* PI l))

rewrite19.0ms

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

series31.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(* PI l)
4.0ms
(* PI l)
16.0ms
(* (tan (* PI l)) (/ 1 F))
8.0ms
(tan (* PI l))

simplify74.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04950624
14950624

prune159.0ms

Filtered
61 candidates to 94 candidates (-54.1%)
Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New94094
Fresh01818
Picked011
Done000
Total9419113

Merged error: 11.7b

Counts
113 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.3b
(/ (/ (sin (* PI l)) (cos (* PI l))) F)
27.7b
(sin (* PI l))
28.1b
(cos (* PI l))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
50×add-sqr-sqrt
48×add-cube-cbrt *-un-lft-identity
13×associate-/l*
11×add-exp-log add-cbrt-cube
6×pow1
5×div-inv
4×add-log-exp
3×cbrt-undiv div-exp associate-*r* associate-*l* associate-/r*
1×frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod associate-/l/ unswap-sqr
Counts
4 → 102
Calls
4 calls:
5.0ms
(* PI l)
7.0ms
(/ (/ (sin (* PI l)) (cos (* PI l))) F)
2.0ms
(sin (* PI l))
3.0ms
(cos (* PI l))

series26.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(* PI l)
18.0ms
(/ (/ (sin (* PI l)) (cos (* PI l))) F)
3.0ms
(sin (* PI l))
2.0ms
(cos (* PI l))

simplify65.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049321675
149321675

prune145.0ms

Filtered
90 candidates to 114 candidates (-26.7%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1095114
Fresh61117
Picked101
Done101
Total11716133

Merged error: 6.8b

Counts
133 → 16

regimes549.0ms

Accuracy

72.2% (1.3b remaining)

Error of 9.0b against oracle of 7.7b and baseline of 12.4b

bsearch2.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0351120
1351120

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.4s805×body2560valid
978.0ms1712×body1280valid
270.0ms978×body640valid
208.0ms3906×body80valid
65.0ms368×body320valid
28.0ms231×body160valid
10.0ms184×body80invalid
2.0ms1×body2560invalid
2.0ms5×body5120exit
1.0ms2×body1280invalid

Profiling

Loading profile data...