Details

Time bar (total: 9.9s)

analyze3.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
99.7%0%0.3%1

sample167.0ms

Algorithm
intervals
Results
58.0ms49×body2560valid
57.0ms82×body1280valid
18.0ms33×body640valid
7.0ms64×body80valid
5.0ms16×body320valid
3.0ms1×body5120valid
3.0ms11×body160valid

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
098923
198923

prune15.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: 44.3b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

1.6b
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
2.2b
(*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
33.1b
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
33.8b
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
10×*-un-lft-identity_binary64
8×associate-*r*_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 add-cube-cbrt_binary64 prod-exp_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 cos-sum_binary64
2×flip3-+_binary64 distribute-lft-out_binary64 associate-*l*_binary64 flip-+_binary64 *-commutative_binary64
Counts
4 → 64
Calls
4 calls:
11.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
11.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
3.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
4.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series41.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
10.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8)))
9.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (/.f64 a 8))))
11.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify54.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05573844

prune226.0ms

Filtered
50 candidates to 76 candidates (-52.0%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New552176
Fresh011
Picked101
Done000
Total562278

Merged error: 39.4b

Counts
78 → 22

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
1.6b
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
33.8b
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
8×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
7×associate-*r*_binary64
6×add-cube-cbrt_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
3×add-log-exp_binary64
2×associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 cos-sum_binary64 *-commutative_binary64
1×flip3-+_binary64 distribute-lft-out_binary64 unswap-sqr_binary64 flip-+_binary64
Counts
3 → 50
Calls
3 calls:
6.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
11.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
4.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series41.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))))
12.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8)))
9.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify46.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05070697

prune239.0ms

Filtered
41 candidates to 59 candidates (-43.9%)
Pruning

33 alts after pruning (33 fresh and 0 done)

PrunedKeptTotal
New451459
Fresh21921
Picked101
Done000
Total483381

Merged error: 38.3b

Counts
81 → 33

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify5.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

prune158.0ms

Pruning

33 alts after pruning (32 fresh and 1 done)

PrunedKeptTotal
New000
Fresh03232
Picked011
Done000
Total03333

Merged error: 38.3b

Counts
33 → 33

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
26.3b
(cos.f64 (*.f64 (*.f64 z t) 1/16))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×associate-*r*_binary64 associate-*l*_binary64
2×add-log-exp_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
2 → 25
Calls
2 calls:
5.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
3.0ms
(cos.f64 (*.f64 (*.f64 z t) 1/16))

series15.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(*.f64 x (cos.f64 (*.f64 (*.f64 z t) 1/16)))
4.0ms
(cos.f64 (*.f64 (*.f64 z t) 1/16))

simplify52.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04978262
14978262

prune36.0ms

Filtered
23 candidates to 31 candidates (-34.8%)
Pruning

36 alts after pruning (35 fresh and 1 done)

PrunedKeptTotal
New25631
Fresh22931
Picked101
Done011
Total283664

Merged error: 38.3b

Counts
64 → 36

regimes3.4s

Accuracy

14% (4.1b remaining)

Error of 43.7b against oracle of 39.6b and baseline of 44.4b

bsearch2.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09475
19475

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.3s1848×body2560valid
1.6s2287×body1280valid
538.0ms1159×body640valid
207.0ms1878×body80valid
184.0ms548×body320valid
101.0ms38×body5120valid
53.0ms242×body160valid

Profiling

Loading profile data...