Details

Time bar (total: 15.5s)

analyze250.0ms (1.6%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05066656
066
166
Search
TrueOtherFalseIter
0%99.7%0.3%0
99.7%0%0.3%1
Compiler

Compiled 28 to 27 computations (3.6% saved)

sample131.0ms (0.8%)

Algorithm
1×intervals
Results
59.0ms87×body2048valid
29.0ms64×body1024valid
10.0ms9×body4096valid
6.0ms21×body512valid
6.0ms60×body128valid
3.0ms15×body256valid
Compiler

Compiled 55 to 59 computations (-7.3% saved)

simplify40.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
099035
199035

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
47.4b
Counts
2 → 2
Compiler

Compiled 73 to 70 computations (4.1% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b
(*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
2.6b
(*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
36.6b
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
37.1b
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

rewrite156.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
45.4b
Rules
14×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
6×add-cube-cbrt_binary64_19550 add-sqr-sqrt_binary64_19537 *-un-lft-identity_binary64_19515 pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548 associate-*r*_binary64_19455
4×distribute-rgt-in_binary64_19465 cos-sum_binary64_19649 distribute-lft-in_binary64_19464 add-log-exp_binary64_19554 associate-*r/_binary64_19457
2×flip3-+_binary64_19518 flip-+_binary64_19489 associate-*l*_binary64_19456 *-commutative_binary64_19446
Counts
4 → 62
Calls

4 calls:

7.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
6.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
3.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
3.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
Compiler

Compiled 2016 to 1293 computations (35.9% saved)

series673.0ms (4.4%)

Error
43.3b
Counts
4 → 50
Calls

4 calls:

166.0ms
(*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
163.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
138.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
130.0ms
(cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
Compiler

Compiled 3962 to 3219 computations (18.8% saved)

simplify54.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
051761944

prune221.0ms (1.4%)

Pruning

25 alts after pruning (25 fresh and 0 done)

PrunedKeptTotal
New8725112
Fresh101
Picked101
Done000
Total8925114
Error
42.7b
Counts
114 → 25
Compiler

Compiled 3850 to 2681 computations (30.4% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
2.2b
(*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
37.1b
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

rewrite103.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
42.1b
Rules
15×add-exp-log_binary64_19553
13×pow1_binary64_19576 add-cbrt-cube_binary64_19551
8×prod-exp_binary64_19564
6×pow-prod-down_binary64_19586 cbrt-unprod_binary64_19548 associate-*r*_binary64_19455
5×add-cube-cbrt_binary64_19550 add-sqr-sqrt_binary64_19537 *-un-lft-identity_binary64_19515
3×add-log-exp_binary64_19554
2×distribute-rgt-in_binary64_19465 cos-sum_binary64_19649 distribute-lft-in_binary64_19464 associate-*r/_binary64_19457 associate-*l*_binary64_19456 *-commutative_binary64_19446
1×flip3-+_binary64_19518 flip-+_binary64_19489 1-exp_binary64_19559
Counts
3 → 50
Calls

3 calls:

7.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
6.0ms
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
3.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
Compiler

Compiled 1200 to 814 computations (32.2% saved)

series589.0ms (3.8%)

Error
41.2b
Counts
3 → 41
Calls

3 calls:

268.0ms
(*.f64 (*.f64 x 1) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
148.0ms
(*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
126.0ms
(cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
Compiler

Compiled 2336 to 2057 computations (11.9% saved)

simplify62.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049811709
149811709

prune162.0ms (1.1%)

Pruning

36 alts after pruning (36 fresh and 0 done)

PrunedKeptTotal
New731891
Fresh61824
Picked101
Done000
Total8036116
Error
41.0b
Counts
116 → 36
Compiler

Compiled 2616 to 2017 computations (22.9% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
41.0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
41.0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune54.0ms (0.4%)

Pruning

36 alts after pruning (35 fresh and 1 done)

PrunedKeptTotal
New000
Fresh03535
Picked011
Done000
Total03636
Error
41.0b
Counts
36 → 36
Compiler

Compiled 998 to 922 computations (7.6% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 1/16 (*.f64 b t))
0.1b
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 b t))) x)
29.3b
(cos.f64 (*.f64 1/16 (*.f64 b t)))

rewrite63.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
40.8b
Rules
10×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
8×add-sqr-sqrt_binary64_19537
6×add-cube-cbrt_binary64_19550 *-un-lft-identity_binary64_19515 associate-*l*_binary64_19456
4×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548 associate-*r*_binary64_19455
3×add-log-exp_binary64_19554
2×*-commutative_binary64_19446
1×unswap-sqr_binary64_19483
Counts
3 → 43
Calls

3 calls:

5.0ms
(*.f64 1/16 (*.f64 b t))
4.0ms
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 b t))) x)
2.0ms
(cos.f64 (*.f64 1/16 (*.f64 b t)))
Compiler

Compiled 624 to 373 computations (40.2% saved)

series422.0ms (2.7%)

Error
41.0b
Counts
3 → 25
Calls

3 calls:

320.0ms
(*.f64 (cos.f64 (*.f64 1/16 (*.f64 b t))) x)
50.0ms
(*.f64 1/16 (*.f64 b t))
36.0ms
(cos.f64 (*.f64 1/16 (*.f64 b t)))
Compiler

Compiled 624 to 677 computations (-8.5% saved)

simplify78.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04953751
14953751

prune61.0ms (0.4%)

Pruning

42 alts after pruning (41 fresh and 1 done)

PrunedKeptTotal
New551368
Fresh62834
Picked101
Done011
Total6242104
Error
40.8b
Counts
104 → 42
Compiler

Compiled 739 to 422 computations (42.9% saved)

regimes4.6s (30%)

Accuracy

Total 4.5b remaining (10.2%)

Threshold costs 0b (0%)

Compiler

Compiled 57677 to 53774 computations (6.8% saved)

bsearch10.0ms (0.1%)

Compiler

Compiled 27 to 26 computations (3.7% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06788
16788

end0.0ms (0%)

sample7.6s (49.4%)

Algorithm
1×intervals
Results
1.6s2407×body2048valid
897.0ms1966×body1024valid
326.0ms287×body4096valid
303.0ms926×body512valid
204.0ms1986×body128valid
91.0ms428×body256valid
Compiler

Compiled 4533 to 4218 computations (6.9% saved)

Profiling

Loading profile data...