Details

Time bar (total: 10.9s)

analyze2.2s

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
1.6%98.3%0.1%8
2.3%97.5%0.1%9
7.4%90.9%1.7%10
9.2%87.4%3.5%11
11.7%83.5%4.8%12
15.2%76%8.8%13
16.4%72%11.6%14

sample131.0ms

Algorithm
intervals
Results
47.0ms59×body1280valid
28.0ms50×body640valid
16.0ms116×body80valid
8.0ms21×body320valid
8.0ms6×body640invalid
6.0ms47×body80invalid
3.0ms10×body160valid
1.0ms2×body320invalid
0.0ms1×body160invalid

simplify30.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
0508625

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 32.7b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

3.1b
(*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k))
3.8b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
14.1b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
15.8b
(/.f64 (pow.f64 t 3.0) (*.f64 l l))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
108×add-exp-log_binary64
58×prod-exp_binary64
52×add-cbrt-cube_binary64
26×cbrt-unprod_binary64
24×div-exp_binary64
21×add-sqr-sqrt_binary64
20×pow1_binary64
19×*-un-lft-identity_binary64
17×times-frac_binary64
16×associate-*l/_binary64
14×add-cube-cbrt_binary64
13×associate-*l*_binary64
11×associate-*r*_binary64
10×pow-prod-down_binary64 unpow-prod-down_binary64 frac-times_binary64
8×pow-to-exp_binary64 cbrt-undiv_binary64 pow-exp_binary64 tan-quot_binary64
7×associate-/l*_binary64
6×associate-*r/_binary64
4×flip3-+_binary64 add-log-exp_binary64 sqr-pow_binary64 unswap-sqr_binary64 flip-+_binary64
3×distribute-lft-out_binary64 *-commutative_binary64
2×div-inv_binary64
1×associate-/r*_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 144
Calls
4 calls:
12.0ms
(*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k))
12.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
25.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
7.0ms
(/.f64 (pow.f64 t 3.0) (*.f64 l l))

series400.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k))
92.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
190.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))
49.0ms
(/.f64 (pow.f64 t 3.0) (*.f64 l l))

simplify72.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049572518
149572518

prune206.0ms

Filtered
94 candidates to 156 candidates (-66.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1488156
Fresh000
Picked101
Done000
Total1498157

Merged error: 15.0b

Counts
157 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

3.8b
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
4.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
8.6b
(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
14.1b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
304×add-exp-log_binary64
184×prod-exp_binary64
78×add-cbrt-cube_binary64
77×div-exp_binary64
50×add-sqr-sqrt_binary64
49×times-frac_binary64
44×cbrt-unprod_binary64 associate-*l/_binary64
42×*-un-lft-identity_binary64
37×add-cube-cbrt_binary64
36×associate-*l*_binary64
34×frac-times_binary64
33×pow-exp_binary64
29×pow1_binary64
24×unpow-prod-down_binary64
22×pow-to-exp_binary64
17×pow-prod-down_binary64
16×tan-quot_binary64
14×associate-*r/_binary64
12×cbrt-undiv_binary64
11×associate-*r*_binary64
10×cbrt-prod_binary64
8×flip3-+_binary64 sqr-pow_binary64 flip-+_binary64
5×unswap-sqr_binary64 associate-/l*_binary64
4×add-log-exp_binary64
3×associate-/r*_binary64 distribute-lft-out_binary64 *-commutative_binary64
2×div-inv_binary64
1×distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 229
Calls
4 calls:
18.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
11.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
5.0ms
(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
34.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series467.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
69.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
57.0ms
(/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l)
239.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3.0) l) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify70.0ms

Algorithm
egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
058845573

prune315.0ms

Filtered
136 candidates to 241 candidates (-77.2%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New2347241
Fresh167
Picked101
Done000
Total23613249

Merged error: 11.1b

Counts
249 → 13

localize25.0ms

Local error

Found 4 expressions with local error:

1.3b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
3.8b
(*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
4.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
14.1b
(*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
1050×add-exp-log_binary64
734×prod-exp_binary64
255×div-exp_binary64
151×add-cbrt-cube_binary64
145×pow-to-exp_binary64 pow-exp_binary64
96×cbrt-unprod_binary64
47×associate-*l/_binary64
40×add-sqr-sqrt_binary64
37×associate-*l*_binary64
35×frac-times_binary64
34×pow1_binary64 times-frac_binary64
33×associate-*r/_binary64
32×*-un-lft-identity_binary64
27×add-cube-cbrt_binary64
20×pow-prod-down_binary64 unpow-prod-down_binary64
19×cbrt-undiv_binary64
16×tan-quot_binary64
12×associate-*r*_binary64
10×cbrt-prod_binary64
8×flip3-+_binary64 flip-+_binary64
5×unswap-sqr_binary64
4×add-log-exp_binary64 sqr-pow_binary64 *-commutative_binary64
3×distribute-lft-out_binary64
1×distribute-lft-in_binary64 distribute-rgt-in_binary64 div-inv_binary64
Counts
4 → 366
Calls
4 calls:
24.0ms
(*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
26.0ms
(*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
11.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
44.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

series498.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
102.0ms
(*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k))
71.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
247.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0))

simplify109.0ms

Algorithm
egg-herbie
Counts
378 → 378
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049967410
149967410

prune306.0ms

Filtered
122 candidates to 378 candidates (-209.8%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New3708378
Fresh3912
Picked101
Done000
Total37417391

Merged error: 10.4b

Counts
391 → 17

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow.f64 (cbrt.f64 t) 3.0)
1.3b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
4.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
17.5b
(*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 1.0 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
1049×add-exp-log_binary64
733×prod-exp_binary64
255×div-exp_binary64
149×add-cbrt-cube_binary64
146×pow-to-exp_binary64 pow-exp_binary64
95×cbrt-unprod_binary64
41×add-sqr-sqrt_binary64
36×associate-*l*_binary64
34×associate-*r/_binary64 times-frac_binary64
33×pow1_binary64
30×frac-times_binary64
29×associate-*l/_binary64
28×*-un-lft-identity_binary64 add-cube-cbrt_binary64
26×unpow-prod-down_binary64
19×pow-prod-down_binary64 cbrt-undiv_binary64
13×cbrt-prod_binary64
12×tan-quot_binary64
8×flip3-+_binary64 flip-+_binary64
5×associate-*r*_binary64 sqr-pow_binary64 unswap-sqr_binary64
4×add-log-exp_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
3×pow-unpow_binary64 *-commutative_binary64
2×pow-pow_binary64
1×pow1/3_binary64 div-inv_binary64
Counts
4 → 363
Calls
4 calls:
3.0ms
(pow.f64 (cbrt.f64 t) 3.0)
20.0ms
(*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
11.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
41.0ms
(*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 1.0 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)))))

series464.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(pow.f64 (cbrt.f64 t) 3.0)
77.0ms
(*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)))
68.0ms
(*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))
262.0ms
(*.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 t) 3.0) (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l)) (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k))) (*.f64 (tan.f64 k) (+.f64 1.0 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)))))

simplify102.0ms

Algorithm
egg-herbie
Counts
375 → 375
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049587818
149587818

prune228.0ms

Filtered
118 candidates to 375 candidates (-217.8%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New3723375
Fresh21416
Picked101
Done000
Total37517392

Merged error: 10.4b

Counts
392 → 17

regimes524.0ms

Accuracy

38.4% (4.8b remaining)

Error of 14.5b against oracle of 9.6b and baseline of 17.5b

bsearch183.0ms

Steps
ItersRangePoint
8
3.615020358917976e-33
3.1579872952314694e-29
3.693729904707694e-33
9
-3.805227577148206e-76
-7.974894249888759e-82
-4.066080696884401e-80

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05673
15673

end0.0ms

sample4.0s

Algorithm
intervals
Results
1.7s2034×body1280valid
915.0ms1621×body640valid
436.0ms3276×body80valid
288.0ms724×body320valid
170.0ms1332×body80invalid
92.0ms345×body160valid
73.0ms130×body640invalid
50.0ms119×body320invalid
24.0ms88×body160invalid
14.0ms18×body1280invalid

Profiling

Loading profile data...