Details

Time bar (total: 7.1s)

analyze1.0s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%74.8%25.2%8
0%74.8%25.2%9
0%74.8%25.2%10
0%74.8%25.2%11
0%74.8%25.2%12
24.9%49.9%25.2%13
24.9%37.4%37.7%14

sample89.0ms

Algorithm
intervals
Results
26.0ms49×body1280valid
11.0ms34×body640valid
10.0ms14×body2560valid
10.0ms141×body80valid
5.0ms69×body80nan
3.0ms40×body80invalid
3.0ms11×body320valid
1.0ms7×body160valid

simplify35.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
079619
179619

prune16.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: 22.6b

Counts
2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (/ t 3.0))
0.2b
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
0.4b
(/ a (* 3.0 b))
26.2b
(cos (- y (* z (/ t 3.0))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity
16×add-exp-log associate-*r* add-cbrt-cube
13×times-frac
9×associate-*l*
8×pow1
4×prod-exp sqrt-prod cbrt-unprod add-log-exp unswap-sqr
3×cbrt-undiv cos-diff div-exp associate-/l*
2×pow-prod-down *-commutative div-inv
1×distribute-rgt-in sub-neg cos-sum frac-2neg distribute-lft-in associate-*r/ clear-num associate-/r*
Counts
4 → 86
Calls
4 calls:
7.0ms
(* z (/ t 3.0))
8.0ms
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
4.0ms
(/ a (* 3.0 b))
4.0ms
(cos (- y (* z (/ t 3.0))))

series44.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* z (/ t 3.0))
26.0ms
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
3.0ms
(/ a (* 3.0 b))
11.0ms
(cos (- y (* z (/ t 3.0))))

simplify57.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05485897

prune290.0ms

Filtered
73 candidates to 98 candidates (-34.2%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New772198
Fresh101
Picked101
Done000
Total7921100

Merged error: 17.5b

Counts
100 → 21

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ a (* 3.0 b))
3.1b
(* (sin (* z (/ t 3.0))) (sqrt x))
30.0b
(sin (* z (/ t 3.0)))
30.2b
(cos (* z (/ t 3.0)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
11×add-exp-log add-cbrt-cube
9×add-cube-cbrt *-un-lft-identity
6×pow1 associate-*r*
4×sqrt-prod add-log-exp
3×times-frac associate-*l* associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
1×frac-2neg pow-prod-down clear-num associate-/r* *-commutative div-inv
Counts
4 → 57
Calls
4 calls:
4.0ms
(/ a (* 3.0 b))
6.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))

series26.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ a (* 3.0 b))
15.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
4.0ms
(sin (* z (/ t 3.0)))
3.0ms
(cos (* z (/ t 3.0)))

simplify38.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
04951584
14951584

prune258.0ms

Filtered
52 candidates to 69 candidates (-32.7%)
Pruning

25 alts after pruning (25 fresh and 0 done)

PrunedKeptTotal
New63669
Fresh11920
Picked101
Done000
Total652590

Merged error: 17.5b

Counts
90 → 25

localize35.0ms

Local error

Found 4 expressions with local error:

30.0b
(sin (* z (/ t 3.0)))
30.0b
(sin (* z (/ t 3.0)))
30.0b
(sin (* z (/ t 3.0)))
30.2b
(cos (* z (/ t 3.0)))

rewrite8.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
Counts
4 → 28
Calls
4 calls:
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))

series15.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(sin (* z (/ t 3.0)))
4.0ms
(sin (* z (/ t 3.0)))
4.0ms
(sin (* z (/ t 3.0)))
3.0ms
(cos (* z (/ t 3.0)))

simplify112.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
05077296

prune281.0ms

Filtered
36 candidates to 40 candidates (-11.1%)
Pruning

26 alts after pruning (26 fresh and 0 done)

PrunedKeptTotal
New37340
Fresh12324
Picked101
Done000
Total392665

Merged error: 17.4b

Counts
65 → 26

localize42.0ms

Local error

Found 4 expressions with local error:

30.0b
(sin (* z (/ t 3.0)))
30.0b
(sin (* z (/ t 3.0)))
30.0b
(sin (* z (* t 0.3333333333333333)))
30.2b
(cos (* z (/ t 3.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
Counts
4 → 28
Calls
4 calls:
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(sin (* z (/ t 3.0)))
3.0ms
(sin (* z (* t 0.3333333333333333)))
2.0ms
(cos (* z (/ t 3.0)))

series15.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(sin (* z (/ t 3.0)))
4.0ms
(sin (* z (/ t 3.0)))
4.0ms
(sin (* z (* t 0.3333333333333333)))
3.0ms
(cos (* z (/ t 3.0)))

simplify102.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
05055296

prune132.0ms

Filtered
34 candidates to 40 candidates (-17.6%)
Pruning

26 alts after pruning (26 fresh and 0 done)

PrunedKeptTotal
New39140
Fresh02525
Picked101
Done000
Total402666

Merged error: 17.4b

Counts
66 → 26

regimes1.8s

Accuracy

62.1% (1.5b remaining)

Error of 17.9b against oracle of 16.4b and baseline of 20.4b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08290
18290

end0.0ms

sample2.5s

Algorithm
intervals
Results
752.0ms1614×body1280valid
333.0ms4396×body80valid
315.0ms964×body640valid
305.0ms398×body2560valid
174.0ms2225×body80nan
105.0ms445×body320valid
85.0ms1158×body80invalid
34.0ms183×body160valid

Profiling

Loading profile data...