Details

Time bar (total: 5.1s)

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

sample544.0ms

Algorithm
intervals
Results
187.0ms34×body5120invalid
103.0ms40×body2560invalid
89.0ms104×body1280valid
41.0ms25×body2560valid
38.0ms69×body640valid
19.0ms21×body1280invalid
16.0ms5×body5120valid
9.0ms17×body640invalid
7.0ms19×body320valid
6.0ms43×body80invalid
4.0ms29×body80valid
3.0ms8×body320invalid
2.0ms9×body160invalid
1.0ms5×body160valid

simplify37.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
0518632

prune8.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: 39.1b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
0.6b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
15.9b
(/.f64 (pow.f64 t 3) (*.f64 l l))
26.5b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
396×add-exp-log_binary64_624
229×prod-exp_binary64_607
115×div-exp_binary64_609
65×add-cbrt-cube_binary64_632
56×pow-exp_binary64_580
40×times-frac_binary64_655
38×pow-to-exp_binary64_581
34×add-sqr-sqrt_binary64_645
31×cbrt-unprod_binary64_629
25×add-cube-cbrt_binary64_631 *-un-lft-identity_binary64_660
23×unpow-prod-down_binary64_591
21×associate-*r*_binary64_719
17×associate-*l*_binary64_720
15×associate-/l*_binary64_724
14×cbrt-undiv_binary64_630
13×associate-*l/_binary64_722
10×cube-prod_binary64_633
6×pow1_binary64_602
5×sqr-pow_binary64_692 unswap-sqr_binary64_688
4×tan-quot_binary64_527 div-inv_binary64_661 add-log-exp_binary64_625
3×associate-/r/_binary64_725 unpow3_binary64_600 cube-mult_binary64_635
2×frac-times_binary64_652 *-commutative_binary64_728 associate-*r/_binary64_721 associate-/r*_binary64_723 frac-2neg_binary64_653 clear-num_binary64_663
1×unpow2_binary64_599 pow-prod-down_binary64_583
Counts
4 → 221
Calls
4 calls:
23.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
12.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
8.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
23.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series970.0ms

Counts
4 → 12
Calls
4 calls:
236.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
219.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
226.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
289.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
0883840
1883840
051103696
0883840
1883840
051103696
013
113
03252603
13252603
055982104
03252603
13252603
055982104
013
113
0723642
1723642
049383552
149383552
0723642
1723642
049383552
149383552
013
113
04663867
14663867
050633735
04663867
14663867
050633735
013
113

simplify147.0ms

Counts
233 → 233
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
051035565

prune181.0ms

Filtered
105 candidates to 233 candidates (-121.9%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New22211233
Fresh000
Picked101
Done000
Total22311234

Merged error: 22.7b

Counts
234 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
1.1b
(*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))
6.8b
(/.f64 (*.f64 t t) l)
26.5b
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
484×add-exp-log_binary64_624
285×prod-exp_binary64_607
136×add-cbrt-cube_binary64_632
129×div-exp_binary64_609
75×cbrt-unprod_binary64_629
40×pow-exp_binary64_580
31×cbrt-undiv_binary64_630
25×associate-*r*_binary64_719
24×associate-*l/_binary64_722
23×add-sqr-sqrt_binary64_645
20×pow-to-exp_binary64_581
19×times-frac_binary64_655 add-cube-cbrt_binary64_631 *-un-lft-identity_binary64_660
15×associate-*r/_binary64_721
13×unpow-prod-down_binary64_591
10×frac-times_binary64_652
8×tan-quot_binary64_527
7×associate-/r/_binary64_725
6×pow1_binary64_602
4×div-inv_binary64_661 add-log-exp_binary64_625 associate-/l*_binary64_724 associate-*l*_binary64_720 associate-/r*_binary64_723
2×*-commutative_binary64_728 unswap-sqr_binary64_688 frac-2neg_binary64_653 clear-num_binary64_663
1×sqr-pow_binary64_692 unpow2_binary64_599 pow-prod-down_binary64_583
Counts
4 → 209
Calls
4 calls:
30.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
9.0ms
(*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))
6.0ms
(/.f64 (*.f64 t t) l)
27.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series328.0ms

Calls
1 calls:
219.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t l) (*.f64 (sin.f64 k) (/.f64 (*.f64 t t) l))) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0903915
1903915
050053714
0903915
1903915
050053714
013
113
03482547
13482547
049911001
149911001

Profiling

Loading profile data...