Details

Time bar (total: 22.5s)

analyze2.7s

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
0%99.9%0.1%7
0%99.9%0.1%8
0%99.9%0.1%9
0%99.9%0.1%10
0%99.5%0.5%11
0%99.1%0.9%12
0.4%97.3%2.3%13
0.7%95.8%3.5%14

sample492.0ms

Algorithm
intervals
Results
111.0ms46×body2560invalid
105.0ms23×body5120invalid
83.0ms99×body1280valid
60.0ms37×body2560valid
38.0ms59×body640valid
22.0ms7×body5120valid
19.0ms22×body1280invalid
9.0ms17×body640invalid
8.0ms19×body320valid
7.0ms17×body320invalid
4.0ms27×body80invalid
3.0ms25×body80valid
3.0ms10×body160valid
2.0ms6×body160invalid

simplify27.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
0518632

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 41.5b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
1.7b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
15.3b
(/.f64 (pow.f64 t 3) (*.f64 l l))
29.9b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
228×add-exp-log_binary64
139×prod-exp_binary64
52×add-cbrt-cube_binary64
51×div-exp_binary64
37×times-frac_binary64
33×add-sqr-sqrt_binary64
32×pow-exp_binary64
26×cbrt-unprod_binary64
24×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64
23×pow-to-exp_binary64 unpow-prod-down_binary64
18×associate-*l*_binary64
12×associate-/l*_binary64
11×pow1_binary64
10×cube-prod_binary64 associate-*l/_binary64
8×cbrt-undiv_binary64
5×sqr-pow_binary64 unswap-sqr_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 tan-quot_binary64
3×div-inv_binary64 unpow3_binary64 *-commutative_binary64 cube-mult_binary64
2×associate-*r/_binary64 frac-times_binary64
1×associate-/r*_binary64 unpow2_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 187
Calls
4 calls:
12.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
14.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
7.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
19.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series590.0ms

Counts
4 → 12
Calls
4 calls:
171.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
67.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
27.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
325.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

simplify86.0ms

Algorithm
egg-herbie
Counts
199 → 199
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
051994265

prune185.0ms

Filtered
101 candidates to 199 candidates (-97.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New18811199
Fresh000
Picked101
Done000
Total18911200

Merged error: 15.8b

Counts
200 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(/.f64 2 (/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k))))
1.7b
(*.f64 t (pow.f64 (sin.f64 k) 2))
5.8b
(*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
20.9b
(/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
320×add-exp-log_binary64
183×prod-exp_binary64
173×add-cbrt-cube_binary64
87×cbrt-unprod_binary64
82×div-exp_binary64
46×cbrt-undiv_binary64
23×add-sqr-sqrt_binary64
20×times-frac_binary64
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64
15×pow-to-exp_binary64 pow-exp_binary64
9×pow1_binary64 associate-*r*_binary64
6×associate-/r*_binary64 div-inv_binary64
4×add-log-exp_binary64 associate-*l*_binary64 unswap-sqr_binary64 unpow-prod-down_binary64 associate-/l*_binary64
3×pow-prod-down_binary64
2×unpow2_binary64 sqr-pow_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
1×associate-/r/_binary64
Counts
4 → 184
Calls
4 calls:
16.0ms
(/.f64 2 (/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k))))
6.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
9.0ms
(*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
15.0ms
(/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k)))

series520.0ms

Counts
4 → 12
Calls
4 calls:
257.0ms
(/.f64 2 (/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k))))
42.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
60.0ms
(*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
159.0ms
(/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k)))

simplify138.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
049995216
149995216

prune154.0ms

Filtered
79 candidates to 196 candidates (-148.1%)
Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New18313196
Fresh01010
Picked101
Done000
Total18423207

Merged error: 10.7b

Counts
207 → 23

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (sin.f64 k) 2)
0.5b
(/.f64 2 (/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
1.7b
(*.f64 t (pow.f64 (sin.f64 k) 2))
20.9b
(/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
204×add-exp-log_binary64
128×add-cbrt-cube_binary64
111×prod-exp_binary64
61×cbrt-unprod_binary64
55×div-exp_binary64
37×cbrt-undiv_binary64
25×add-sqr-sqrt_binary64
20×times-frac_binary64
19×*-un-lft-identity_binary64 add-cube-cbrt_binary64
8×pow-to-exp_binary64 associate-*r*_binary64 pow-exp_binary64
7×unpow-prod-down_binary64
6×associate-/r*_binary64 div-inv_binary64
5×pow1_binary64
4×add-log-exp_binary64 unswap-sqr_binary64 associate-/l*_binary64
3×pow-unpow_binary64 unpow2_binary64 sqr-pow_binary64 associate-*l*_binary64
2×clear-num_binary64 frac-2neg_binary64
1×pow-pow_binary64 associate-/r/_binary64 *-commutative_binary64
Counts
4 → 154
Calls
4 calls:
3.0ms
(pow.f64 (sin.f64 k) 2)
15.0ms
(/.f64 2 (/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
8.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
14.0ms
(/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k)))

series473.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(pow.f64 (sin.f64 k) 2)
262.0ms
(/.f64 2 (/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
42.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
153.0ms
(/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k)))

simplify108.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049814252
149814252

prune144.0ms

Filtered
78 candidates to 166 candidates (-112.8%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New1588166
Fresh91322
Picked101
Done000
Total16821189

Merged error: 10.4b

Counts
189 → 21

localize16.0ms

Local error

Found 4 expressions with local error:

0.9b
(/.f64 2 (/.f64 k (*.f64 l l)))
1.7b
(*.f64 t (pow.f64 (sin.f64 k) 2))
7.2b
(/.f64 k (*.f64 l l))
12.9b
(/.f64 (/.f64 2 (/.f64 k (*.f64 l l))) (/.f64 (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
539×times-frac_binary64
197×add-sqr-sqrt_binary64
191×*-un-lft-identity_binary64 add-cube-cbrt_binary64
151×add-exp-log_binary64
100×add-cbrt-cube_binary64
81×div-exp_binary64
66×div-inv_binary64
55×cbrt-undiv_binary64
39×prod-exp_binary64
32×associate-/l*_binary64
19×cbrt-unprod_binary64
15×associate-/r*_binary64
10×associate-/r/_binary64
8×associate-*r*_binary64
5×pow-to-exp_binary64 pow-exp_binary64
4×add-log-exp_binary64 pow1_binary64 unswap-sqr_binary64 unpow-prod-down_binary64
3×associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64
2×unpow2_binary64 sqr-pow_binary64
1×associate-/l/_binary64 *-commutative_binary64
Counts
4 → 363
Calls
4 calls:
7.0ms
(/.f64 2 (/.f64 k (*.f64 l l)))
6.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
4.0ms
(/.f64 k (*.f64 l l))
19.0ms
(/.f64 (/.f64 2 (/.f64 k (*.f64 l l))) (/.f64 (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))

series267.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(/.f64 2 (/.f64 k (*.f64 l l)))
45.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
21.0ms
(/.f64 k (*.f64 l l))
174.0ms
(/.f64 (/.f64 2 (/.f64 k (*.f64 l l))) (/.f64 (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))

simplify143.0ms

Algorithm
egg-herbie
Counts
375 → 375
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0535513981

prune542.0ms

Filtered
294 candidates to 375 candidates (-27.6%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New36312375
Fresh15520
Picked101
Done000
Total37917396

Merged error: 2.5b

Counts
396 → 17

regimes155.0ms

Accuracy

0% (1.5b remaining)

Error of 4.0b against oracle of 2.5b and baseline of 4.0b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01729
11729

end0.0ms

sample15.5s

Algorithm
intervals
Results
3.7s723×body5120invalid
3.3s1240×body2560invalid
2.9s3310×body1280valid
1.4s971×body2560valid
1.2s1962×body640valid
723.0ms206×body5120valid
708.0ms779×body1280invalid
302.0ms542×body640invalid
282.0ms667×body320valid
136.0ms350×body320invalid
131.0ms914×body80invalid
90.0ms645×body80valid
70.0ms239×body160valid
60.0ms206×body160invalid

Profiling

Loading profile data...