Details

Time bar (total: 24.9s)

analyze2.0s (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)

sample98.0ms (0.4%)

Algorithm
1×intervals
Results
40.0ms84×body1024valid
14.0ms41×body512valid
12.0ms107×body128valid
10.0ms24×body256valid
4.0ms36×body128invalid
1.0ms2×body1024invalid
1.0ms2×body512invalid
0.0ms1×body256invalid
Compiler

Compiled 51 to 46 computations (9.8% saved)

simplify144.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
0493135
1493135

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
32.4b
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.7b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
4.1b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
11.7b
(*.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)))
15.1b
(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite339.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
18.7b
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.7s (6.7%)

Error
20.4b
Counts
4 → 42
Calls

4 calls:

867.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)))
406.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
238.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
98.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
Compiler

Compiled 3217 to 2532 computations (21.3% saved)

simplify81.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
049884617
149884617

prune290.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1947201
Fresh000
Picked101
Done000
Total1957202
Error
12.3b
Counts
202 → 7
Compiler

Compiled 5790 to 3130 computations (45.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.1b
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
4.7b
(*.f64 (sin.f64 k) (/.f64 t l))
6.8b
(/.f64 (*.f64 t t) l)
11.7b
(*.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)))

rewrite308.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
8.9b
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:

28.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.5s (6.2%)

Error
12.2b
Counts
4 → 42
Calls

4 calls:

845.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)))
413.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
169.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
69.0ms
(/.f64 (*.f64 t t) l)
Compiler

Compiled 3295 to 2429 computations (26.3% saved)

simplify106.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049714925
149714925

prune277.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1947201
Fresh336
Picked101
Done000
Total19810208
Error
9.1b
Counts
208 → 10
Compiler

Compiled 5996 to 2944 computations (50.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
4.1b
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
4.7b
(*.f64 (sin.f64 k) (/.f64 t l))
11.7b
(*.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)))

rewrite413.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
6.3b
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:

28.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)))
17.0ms
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
16.0ms
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
7.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
Compiler

Compiled 8160 to 2642 computations (67.6% saved)

series1.7s (7%)

Error
9.1b
Counts
4 → 46
Calls

4 calls:

857.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)))
414.0ms
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k))
246.0ms
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
168.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
Compiler

Compiled 3563 to 2676 computations (24.9% saved)

simplify118.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049786375
149786375

prune389.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2564260
Fresh549
Picked101
Done000
Total2628270
Error
6.1b
Counts
270 → 8
Compiler

Compiled 7934 to 3749 computations (52.7% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b
(/.f64 2 (*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k))))
0.8b
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
4.7b
(*.f64 (sin.f64 k) (/.f64 t l))
15.7b
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k)))

rewrite567.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
5.8b
Rules
275×add-exp-log_binary64_457 add-cbrt-cube_binary64_455
137×prod-exp_binary64_468 cbrt-unprod_binary64_452
82×div-exp_binary64_470 cbrt-undiv_binary64_453
79×times-frac_binary64_425
59×frac-times_binary64_429
58×associate-*r/_binary64_361
54×add-sqr-sqrt_binary64_441
49×add-cube-cbrt_binary64_454 *-un-lft-identity_binary64_419
48×associate-*l*_binary64_360
35×associate-*l/_binary64_362
32×pow1_binary64_480
24×tan-quot_binary64_578 associate-/r/_binary64_365
19×pow-prod-down_binary64_490
16×flip3-+_binary64_422 flip-+_binary64_393
15×associate-*r*_binary64_359
6×div-inv_binary64_416
4×add-log-exp_binary64_458
3×*-commutative_binary64_350 associate-/l*_binary64_364
2×unswap-sqr_binary64_387
1×frac-2neg_binary64_430 clear-num_binary64_418 associate-/r*_binary64_363
Counts
4 → 269
Calls

4 calls:

30.0ms
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k)))
30.0ms
(/.f64 2 (*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k))))
16.0ms
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
7.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
Compiler

Compiled 11278 to 3976 computations (64.7% saved)

series1.9s (7.5%)

Error
5.8b
Counts
4 → 47
Calls

4 calls:

871.0ms
(*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k)))
532.0ms
(/.f64 2 (*.f64 (*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l))) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k))))
232.0ms
(*.f64 (/.f64 t (/.f64 l t)) (*.f64 (sin.f64 k) (/.f64 t l)))
165.0ms
(*.f64 (sin.f64 k) (/.f64 t l))
Compiler

Compiled 3651 to 2751 computations (24.7% saved)

simplify158.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
316 → 316
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049739014
149739014

prune472.0ms (1.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New3106316
Fresh167
Picked011
Done000
Total31113324
Error
5.7b
Counts
324 → 13
Compiler

Compiled 9358 to 4538 computations (51.5% saved)

regimes3.9s (15.6%)

Accuracy

Total 3.4b remaining (31.2%)

Threshold costs 0b (0%)

Compiler

Compiled 40516 to 29780 computations (26.5% saved)

bsearch186.0ms (0.7%)

Steps
ItersRangePoint
9
2.204928869425146e-160
6.89532542910444e-155
9.192060272633729e-156
9
-5.4682931250794714e-48
-1.3920279946831254e-55
-1.5330480998573135e-55
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
050117
150117

end0.0ms (0%)

sample8.2s (32.8%)

Algorithm
1×intervals
Results
1.3s2706×body1024valid
452.0ms1251×body512valid
411.0ms3446×body128valid
165.0ms1382×body128invalid
148.0ms593×body256valid
54.0ms134×body512invalid
35.0ms70×body1024invalid
27.0ms112×body256invalid
3.0ms4×body2048valid
Compiler

Compiled 6695 to 4905 computations (26.7% saved)

Profiling

Loading profile data...