Details

Time bar (total: 23.8s)

analyze2.1s (8.8%)

Algorithm
1×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
Compiler

Compiled 26 to 22 computations (15.4% saved)

sample111.0ms (0.5%)

Algorithm
1×intervals
Results
48.0ms82×body1024valid
17.0ms44×body512valid
15.0ms113×body128valid
6.0ms49×body128invalid
4.0ms15×body256valid
2.0ms2×body2048valid
1.0ms3×body512invalid
1.0ms2×body1024invalid
1.0ms4×body256invalid
Compiler

Compiled 51 to 46 computations (9.8% saved)

simplify150.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0493135
1493135

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
31.7b
Counts
2 → 1
Compiler

Compiled 46 to 38 computations (17.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.9b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
4.4b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
13.6b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
13.9b
(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite339.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
18.8b
Rules
108×add-exp-log_binary64_457
58×prod-exp_binary64_468
52×add-cbrt-cube_binary64_455
28×times-frac_binary64_425
26×cbrt-unprod_binary64_452 add-sqr-sqrt_binary64_441
24×div-exp_binary64_470
20×pow1_binary64_480
19×*-un-lft-identity_binary64_419
18×associate-*l*_binary64_360
17×add-cube-cbrt_binary64_454
16×associate-*l/_binary64_362
12×associate-/l*_binary64_364
10×unpow-prod-down_binary64_498 cube-prod_binary64_447 pow-prod-down_binary64_490 frac-times_binary64_429 associate-*r*_binary64_359
8×pow-to-exp_binary64_488 pow-exp_binary64_487 cbrt-undiv_binary64_453 tan-quot_binary64_578
6×associate-*r/_binary64_361
5×unswap-sqr_binary64_387
4×add-log-exp_binary64_458 sqr-pow_binary64_391 flip3-+_binary64_422 flip-+_binary64_393
3×unpow3_binary64_485 cube-mult_binary64_449 *-commutative_binary64_350
2×div-inv_binary64_416
1×frac-2neg_binary64_430 clear-num_binary64_418 associate-/r*_binary64_363 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 distribute-lft-out_binary64_370
Counts
4 → 159
Calls

4 calls:

23.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
12.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))
7.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
Compiler

Compiled 5186 to 2726 computations (47.4% saved)

series1.6s (6.9%)

Error
22.3b
Counts
4 → 40
Calls

4 calls:

829.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
414.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
234.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
101.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
Compiler

Compiled 2970 to 2339 computations (21.2% saved)

simplify94.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
199 → 199
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
051164390

prune305.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1909199
Fresh000
Picked101
Done000
Total1919200
Error
14.4b
Counts
200 → 9
Compiler

Compiled 5684 to 3078 computations (45.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.1b
(*.f64 (sin.f64 k) (/.f64 t l))
4.4b
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
6.5b
(/.f64 (*.f64 t t) l)
13.6b
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite299.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
10.2b
Rules
120×add-exp-log_binary64_457 add-cbrt-cube_binary64_455
70×prod-exp_binary64_468 cbrt-unprod_binary64_452
34×frac-times_binary64_429
31×associate-*r/_binary64_361
29×pow1_binary64_480
27×associate-*l/_binary64_362
21×div-exp_binary64_470 cbrt-undiv_binary64_453 add-sqr-sqrt_binary64_441
20×associate-*r*_binary64_359
18×*-un-lft-identity_binary64_419
17×pow-prod-down_binary64_490
16×add-cube-cbrt_binary64_454 tan-quot_binary64_578
13×times-frac_binary64_425
8×flip3-+_binary64_422 flip-+_binary64_393
5×associate-*l*_binary64_360
4×add-log-exp_binary64_458
3×*-commutative_binary64_350 associate-/r*_binary64_363
2×div-inv_binary64_416 unswap-sqr_binary64_387
1×distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 distribute-lft-out_binary64_370 frac-2neg_binary64_430 clear-num_binary64_418 associate-/l*_binary64_364
Counts
4 → 159
Calls

4 calls:

29.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
14.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
8.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
5.0ms
(/.f64 (*.f64 t t) l)
Compiler

Compiled 6030 to 1992 computations (67% saved)

series1.6s (6.6%)

Error
14.4b
Counts
4 → 40
Calls

4 calls:

844.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
435.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
166.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
68.0ms
(/.f64 (*.f64 t t) l)
Compiler

Compiled 3048 to 2236 computations (26.6% saved)

simplify99.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
199 → 199
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049964698
149964698

prune265.0ms (1.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1936199
Fresh538
Picked101
Done000
Total1999208
Error
11.7b
Counts
208 → 9
Compiler

Compiled 5817 to 2834 computations (51.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
3.1b
(*.f64 (sin.f64 k) (/.f64 t l))
4.4b
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
13.6b
(*.f64 (*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))

rewrite396.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
7.9b
Rules
151×add-exp-log_binary64_457 add-cbrt-cube_binary64_455
78×prod-exp_binary64_468 cbrt-unprod_binary64_452
76×times-frac_binary64_425
54×add-sqr-sqrt_binary64_441
51×*-un-lft-identity_binary64_419
49×add-cube-cbrt_binary64_454 associate-*l*_binary64_360
37×div-exp_binary64_470 cbrt-undiv_binary64_453
35×frac-times_binary64_429
34×pow1_binary64_480 associate-*r/_binary64_361
28×associate-*l/_binary64_362
21×associate-*r*_binary64_359
20×pow-prod-down_binary64_490
16×tan-quot_binary64_578
8×flip3-+_binary64_422 flip-+_binary64_393
5×div-inv_binary64_416
4×add-log-exp_binary64_458 *-commutative_binary64_350
2×unswap-sqr_binary64_387
1×distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 distribute-lft-out_binary64_370 associate-/r/_binary64_365
Counts
4 → 214
Calls

4 calls:

29.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
20.0ms
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
17.0ms
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
8.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
Compiler

Compiled 8160 to 2642 computations (67.6% saved)

series1.7s (7.2%)

Error
11.7b
Counts
4 → 44
Calls

4 calls:

844.0ms
(*.f64 (*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 2 (pow.f64 (/.f64 k t) 2)))
433.0ms
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
234.0ms
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
148.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
Compiler

Compiled 3316 to 2483 computations (25.1% saved)

simplify93.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
258 → 258
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
049966174
149966174

prune368.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2544258
Fresh448
Picked101
Done000
Total2598267
Error
7.9b
Counts
267 → 8
Compiler

Compiled 7789 to 3618 computations (53.5% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.9b
(/.f64 (*.f64 t (sin.f64 k)) l)
2.5b
(*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l)))
7.0b
(/.f64 (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l)))) (*.f64 (/.f64 l t) (cos.f64 k)))
10.7b
(*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l))))

rewrite273.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
7.9b
Rules
142×add-exp-log_binary64_457 add-cbrt-cube_binary64_455
73×prod-exp_binary64_468 cbrt-unprod_binary64_452
36×div-exp_binary64_470 cbrt-undiv_binary64_453
18×pow1_binary64_480
16×associate-*r/_binary64_361
10×*-un-lft-identity_binary64_419
9×pow-prod-down_binary64_490
8×add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
7×associate-*l*_binary64_360
5×associate-*l/_binary64_362 associate-/l/_binary64_366
4×add-log-exp_binary64_458 flip3-+_binary64_422 frac-times_binary64_429 flip-+_binary64_393 times-frac_binary64_425 associate-/r*_binary64_363
2×associate-*r*_binary64_359 *-commutative_binary64_350 frac-2neg_binary64_430 clear-num_binary64_418 div-inv_binary64_416 associate-/l*_binary64_364
1×distribute-lft-out_binary64_370 associate-/r/_binary64_365
Counts
4 → 130
Calls

4 calls:

25.0ms
(/.f64 (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l)))) (*.f64 (/.f64 l t) (cos.f64 k)))
19.0ms
(*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l))))
10.0ms
(*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l)))
5.0ms
(/.f64 (*.f64 t (sin.f64 k)) l)
Compiler

Compiled 5791 to 1799 computations (68.9% saved)

series1.8s (7.8%)

Error
6.0b
Counts
4 → 52
Calls

4 calls:

794.0ms
(/.f64 (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l)))) (*.f64 (/.f64 l t) (cos.f64 k)))
587.0ms
(*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l))))
220.0ms
(*.f64 (sin.f64 k) (*.f64 t (/.f64 (*.f64 t (sin.f64 k)) l)))
174.0ms
(/.f64 (*.f64 t (sin.f64 k)) l)
Compiler

Compiled 4183 to 2951 computations (29.5% saved)

simplify95.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049755048
149755048

prune245.0ms (1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1766182
Fresh167
Picked011
Done000
Total17713190
Error
6.0b
Counts
190 → 13
Compiler

Compiled 5673 to 2593 computations (54.3% saved)

regimes3.3s (14%)

Accuracy

Total 3.6b remaining (36%)

Threshold costs 0b (0%)

Compiler

Compiled 37522 to 27706 computations (26.2% saved)

bsearch148.0ms (0.6%)

Steps
ItersRangePoint
6
2.5357599397950196e-49
2.0255754882831023e-48
5.736690439120927e-49
8
-1.6676606825823908e-72
-1.4595320272962802e-75
-1.4431845598828684e-74
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
051117
151117

end0.0ms (0%)

sample8.3s (34.7%)

Algorithm
1×intervals
Results
1.6s2676×body1024valid
527.0ms1349×body512valid
454.0ms3419×body128valid
188.0ms1446×body128invalid
138.0ms546×body256valid
48.0ms130×body512invalid
32.0ms63×body1024invalid
26.0ms105×body256invalid
8.0ms10×body2048valid
Compiler

Compiled 6154 to 4533 computations (26.3% saved)

Profiling

Loading profile data...