Details

Time bar (total: 20.7s)

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

sample481.0ms

Algorithm
intervals
Results
118.0ms28×body5120invalid
99.0ms46×body2560invalid
89.0ms106×body1280valid
54.0ms33×body2560valid
35.0ms61×body640valid
17.0ms6×body5120valid
16.0ms20×body1280invalid
11.0ms23×body640invalid
7.0ms19×body320valid
4.0ms12×body320invalid
4.0ms31×body80invalid
3.0ms23×body80valid
2.0ms8×body160valid
1.0ms5×body160invalid

simplify41.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
0490521
1490521

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

Counts
2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

1.2b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
1.3b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
15.3b
(/.f64 (pow.f64 t 3) (*.f64 l l))
27.8b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite67.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:
13.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
11.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
8.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
21.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series145.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
20.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
7.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
76.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

simplify57.0ms

Algorithm
egg-herbie
Counts
199 → 199
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049692781
149692781

prune206.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: 14.3b

Counts
200 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (sin.f64 k) 2)
1.9b
(*.f64 t (pow.f64 (sin.f64 k) 2))
6.0b
(*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
20.7b
(/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
163×add-exp-log_binary64
102×prod-exp_binary64
87×add-cbrt-cube_binary64
48×cbrt-unprod_binary64
27×div-exp_binary64
15×cbrt-undiv_binary64 add-sqr-sqrt_binary64
10×pow-to-exp_binary64 pow1_binary64 pow-exp_binary64
9×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64
7×unpow-prod-down_binary64
4×add-log-exp_binary64 associate-*l*_binary64 unswap-sqr_binary64
3×pow-prod-down_binary64 pow-unpow_binary64 unpow2_binary64 sqr-pow_binary64
2×*-commutative_binary64
1×associate-/r*_binary64 pow-pow_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 times-frac_binary64 div-inv_binary64
Counts
4 → 124
Calls
4 calls:
3.0ms
(pow.f64 (sin.f64 k) 2)
6.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
10.0ms
(*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
19.0ms
(/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k)))

series70.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(pow.f64 (sin.f64 k) 2)
10.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
14.0ms
(*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
39.0ms
(/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k)))

simplify49.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
050771645

prune144.0ms

Filtered
58 candidates to 136 candidates (-134.5%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New12610136
Fresh1910
Picked101
Done000
Total12819147

Merged error: 8.0b

Counts
147 → 19

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 2 (/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
0.3b
(pow.f64 (sin.f64 k) 2)
1.9b
(*.f64 t (pow.f64 (sin.f64 k) 2))
20.7b
(/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k)))

rewrite50.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:
16.0ms
(/.f64 2 (/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
3.0ms
(pow.f64 (sin.f64 k) 2)
7.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
15.0ms
(/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k)))

series117.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/.f64 2 (/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
4.0ms
(pow.f64 (sin.f64 k) 2)
14.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
39.0ms
(/.f64 (*.f64 k (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))) (*.f64 (*.f64 l l) (cos.f64 k)))

simplify60.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049862751
149862751

prune176.0ms

Filtered
79 candidates to 166 candidates (-110.1%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New1597166
Fresh71118
Picked101
Done000
Total16718185

Merged error: 7.7b

Counts
185 → 18

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(/.f64 2 (/.f64 k (*.f64 l l)))
1.9b
(*.f64 t (pow.f64 (sin.f64 k) 2))
9.7b
(/.f64 k (*.f64 l l))
13.2b
(/.f64 (/.f64 2 (/.f64 k (*.f64 l l))) (/.f64 (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))

rewrite65.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:
10.0ms
(/.f64 2 (/.f64 k (*.f64 l l)))
6.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
5.0ms
(/.f64 k (*.f64 l l))
21.0ms
(/.f64 (/.f64 2 (/.f64 k (*.f64 l l))) (/.f64 (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))

series70.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(/.f64 2 (/.f64 k (*.f64 l l)))
10.0ms
(*.f64 t (pow.f64 (sin.f64 k) 2))
6.0ms
(/.f64 k (*.f64 l l))
42.0ms
(/.f64 (/.f64 2 (/.f64 k (*.f64 l l))) (/.f64 (*.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))

simplify84.0ms

Algorithm
egg-herbie
Counts
375 → 375
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
050498888

prune494.0ms

Filtered
289 candidates to 375 candidates (-29.8%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New36213375
Fresh11617
Picked101
Done000
Total37419393

Merged error: 2.7b

Counts
393 → 19

regimes464.0ms

Accuracy

0% (1.6b remaining)

Error of 3.7b against oracle of 2.1b and baseline of 3.7b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01619
11619

end0.0ms

sample15.1s

Algorithm
intervals
Results
3.8s764×body5120invalid
3.4s1296×body2560invalid
2.8s3331×body1280valid
1.4s952×body2560valid
1.1s1915×body640valid
661.0ms767×body1280invalid
560.0ms179×body5120valid
279.0ms548×body640invalid
258.0ms640×body320valid
134.0ms359×body320invalid
132.0ms921×body80invalid
108.0ms725×body80valid
74.0ms258×body160valid
58.0ms200×body160invalid

Profiling

Loading profile data...