Details

Time bar (total: 24.9s)

analyze2.6s

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

sample472.0ms

Algorithm
intervals
Results
160.0ms30×body5120invalid
104.0ms118×body1280valid
57.0ms28×body2560invalid
36.0ms28×body2560valid
30.0ms54×body640valid
18.0ms26×body1280invalid
14.0ms27×body320valid
14.0ms4×body5120valid
7.0ms17×body320invalid
6.0ms11×body640invalid
4.0ms28×body80invalid
2.0ms18×body80valid
2.0ms7×body160valid
1.0ms5×body160invalid

simplify73.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
0511432

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: 35.2b

Counts
2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

1.3b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
1.7b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
12.4b
(/.f64 (pow.f64 t 3) (*.f64 l l))
25.8b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite79.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 insert-posit16 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 → 191
Calls
4 calls:
13.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
15.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
9.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
29.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series1.5s

Counts
4 → 12
Calls
4 calls:
358.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
379.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
275.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
464.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
020729
120729
020729
120729
013
113
01029656
11029656
01029656
11029656
013
113
013071269
113071269
013071269
113071269
013
113
01186896
11186896
01186896
11186896
013
113

simplify127.0ms

Counts
203 → 203
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
051654107

prune158.0ms

Filtered
101 candidates to 203 candidates (-101.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New19211203
Fresh000
Picked101
Done000
Total19311204

Merged error: 19.9b

Counts
204 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
1.3b
(*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k))
1.7b
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k))
25.8b
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
493×add-exp-log_binary64
314×prod-exp_binary64
178×add-cbrt-cube_binary64
110×cbrt-unprod_binary64
105×div-exp_binary64
65×associate-*l/_binary64
36×pow-exp_binary64
30×cbrt-undiv_binary64
27×pow1_binary64
24×associate-*r*_binary64
18×pow-to-exp_binary64
16×pow-prod-down_binary64 *-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 frac-times_binary64
13×unpow-prod-down_binary64
12×times-frac_binary64 tan-quot_binary64
10×associate-*r/_binary64
7×associate-/r/_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-*l*_binary64 associate-/l*_binary64 *-commutative_binary64
2×div-inv_binary64
1×associate-/r*_binary64 unpow2_binary64 sqr-pow_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 225
Calls
4 calls:
30.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
16.0ms
(*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k))
20.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k))
33.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series932.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
162.0ms
(*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k))
210.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k))
288.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
08289
18289
08289
18289
013
113
06159
16159
06159
16159
013
113
04709
14709
04709
14709
013
113
065230
165230
065230
165230
013
113

simplify152.0ms

Counts
237 → 237
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
051796486

prune147.0ms

Filtered
100 candidates to 237 candidates (-137.0%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New2289237
Fresh6410
Picked011
Done000
Total23414248

Merged error: 17.3b

Counts
248 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow.f64 (/.f64 k t) 2)
0.3b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
1.3b
(*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k))
26.9b
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
522×add-exp-log_binary64
331×prod-exp_binary64
219×add-cbrt-cube_binary64
133×cbrt-unprod_binary64
113×div-exp_binary64
44×associate-*l/_binary64
42×cbrt-undiv_binary64
34×pow-exp_binary64
28×pow1_binary64
17×pow-to-exp_binary64
16×pow-prod-down_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
13×unpow-prod-down_binary64
12×times-frac_binary64
11×frac-times_binary64
8×tan-quot_binary64
7×associate-*r/_binary64 associate-/r/_binary64
4×add-log-exp_binary64 associate-*r*_binary64 insert-posit16
3×pow-unpow_binary64 associate-/l*_binary64
2×associate-*l*_binary64 div-inv_binary64 *-commutative_binary64
1×associate-/r*_binary64 unpow2_binary64 pow-pow_binary64 sqr-pow_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 224
Calls
4 calls:
6.0ms
(pow.f64 (/.f64 k t) 2)
31.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
16.0ms
(*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k))
28.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))

series1.0s

Counts
4 → 12
Calls
4 calls:
221.0ms
(pow.f64 (/.f64 k t) 2)
347.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
158.0ms
(*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k))
290.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (/.f64 t l) t)) (sin.f64 k)) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
08309
18309
08309
18309
013
113
04709
14709
04709
14709
013
113
078772
178772
078772
178772
013
113
063868
163868
063868
163868
013
113

simplify116.0ms

Counts
236 → 236
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050136128

prune115.0ms

Filtered
80 candidates to 236 candidates (-195.0%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New2324236
Fresh01212
Picked101
Done011
Total23317250

Merged error: 17.3b

Counts
250 → 17

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow.f64 (/.f64 k t) 2)
0.3b
(/.f64 2 (*.f64 (*.f64 (/.f64 t l) (*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
2.2b
(*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))
26.9b
(*.f64 (*.f64 (/.f64 t l) (*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
555×add-exp-log_binary64
347×prod-exp_binary64
219×add-cbrt-cube_binary64
131×cbrt-unprod_binary64
126×div-exp_binary64
44×cbrt-undiv_binary64
38×pow-exp_binary64
27×associate-*l/_binary64
24×pow1_binary64
19×pow-to-exp_binary64
15×*-un-lft-identity_binary64 associate-*r/_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
13×pow-prod-down_binary64 unpow-prod-down_binary64
12×times-frac_binary64
10×frac-times_binary64
8×tan-quot_binary64
7×associate-/r/_binary64
4×add-log-exp_binary64 associate-*r*_binary64 insert-posit16
3×pow-unpow_binary64 associate-/l*_binary64
2×associate-*l*_binary64 div-inv_binary64 *-commutative_binary64
1×associate-/r*_binary64 unpow2_binary64 pow-pow_binary64 sqr-pow_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 227
Calls
4 calls:
6.0ms
(pow.f64 (/.f64 k t) 2)
29.0ms
(/.f64 2 (*.f64 (*.f64 (/.f64 t l) (*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
9.0ms
(*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))
26.0ms
(*.f64 (*.f64 (/.f64 t l) (*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))

series994.0ms

Counts
4 → 12
Calls
4 calls:
233.0ms
(pow.f64 (/.f64 k t) 2)
353.0ms
(/.f64 2 (*.f64 (*.f64 (/.f64 t l) (*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2))))
153.0ms
(*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))
255.0ms
(*.f64 (*.f64 (/.f64 t l) (*.f64 (*.f64 t (/.f64 t l)) (sin.f64 k))) (*.f64 (tan.f64 k) (pow.f64 (/.f64 k t) 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07679
17679
07679
17679
013
113
04539
14539
04539
14539
013
113
078272
178272
078272
178272
013
113
063868
163868
063868
163868
013
113

simplify119.0ms

Counts
239 → 239
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050566354

prune90.0ms

Filtered
77 candidates to 239 candidates (-210.4%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New2363239
Fresh11415
Picked101
Done101
Total23917256

Merged error: 17.1b

Counts
256 → 17

regimes294.0ms

Accuracy

0.8% (6.9b remaining)

Error of 27.5b against oracle of 20.7b and baseline of 27.6b

bsearch490.0ms

Steps
ItersRangePoint
6
3.179190144554042e+80
1.621096504968577e+81
1.603545270302865e+81
10
1.0491464684143843e-89
2.4678566895366685e-79
2.0914496211353583e-88
10
-2.4081960665118402e-181
-8.103584938088444e-194
-1.8953370375107e-192

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04792
14792

end0.0ms

sample15.0s

Algorithm
intervals
Results
3.7s735×body5120invalid
3.3s1263×body2560invalid
2.9s3427×body1280valid
1.4s941×body2560valid
1.1s1855×body640valid
710.0ms828×body1280invalid
560.0ms191×body5120valid
269.0ms674×body320valid
249.0ms501×body640invalid
146.0ms395×body320invalid
118.0ms918×body80invalid
92.0ms651×body80valid
71.0ms261×body160valid
53.0ms208×body160invalid

Profiling

Loading profile data...