Details

Time bar (total: 3.8s)

analyze686.0ms (18.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
9.4%90.4%0.2%8
9.4%90.4%0.2%9
10.9%88.9%0.2%10
25.9%73.9%0.2%11
47.1%52.7%0.2%12
55.3%44.5%0.2%13
59.2%40.6%0.2%14
Compiler

Compiled 18 to 15 computations (16.7% saved)

sample22.0ms (0.6%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify155.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
0505919

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
2.2b
Counts
2 → 2
Compiler

Compiled 43 to 36 computations (16.3% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.4b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
4.3b
(/.f64 (*.f64 y t) (*.f64 2 z))
4.3b
(/.f64 (*.f64 y t) (*.f64 2 z))
4.4b
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))

rewrite21.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_8625 *-un-lft-identity_binary64_8603
16×add-exp-log_binary64_8641 times-frac_binary64_8609 add-cbrt-cube_binary64_8639
12×add-cube-cbrt_binary64_8638
6×associate-/r*_binary64_8547
5×div-exp_binary64_8654 cbrt-undiv_binary64_8637
4×difference-of-squares_binary64_8572 associate-/l*_binary64_8548 cbrt-unprod_binary64_8636 distribute-lft-out--_binary64_8555 prod-exp_binary64_8652
2×add-log-exp_binary64_8642 clear-num_binary64_8602 div-inv_binary64_8600 frac-2neg_binary64_8614 pow1_binary64_8664 associate-/r/_binary64_8549
1×flip3--_binary64_8607 flip--_binary64_8578
Counts
2 → 58
Calls

4 calls:

9.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
7.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
0.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
0.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))

series198.0ms (5.2%)

Counts
2 → 18
Calls

2 calls:

119.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))
79.0ms
(/.f64 y (-.f64 z (/.f64 (*.f64 y t) (*.f64 2 z))))
Compiler

Compiled 457 to 412 computations (9.8% saved)

simplify53.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
050091350

prune87.0ms (2.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New74276
Fresh101
Picked101
Done000
Total76278
Error
0b
Counts
78 → 2
Compiler

Compiled 1397 to 695 computations (50.3% saved)

localize9.0ms (0.2%)

Local error

Found 6 expressions with local error:

6.6b
(/.f64 y (/.f64 2 (/.f64 t z)))
4.4b
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))
0.5b
(/.f64 2 (/.f64 t z))
0.5b
(/.f64 2 (/.f64 t z))
4.4b
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))
6.6b
(/.f64 y (/.f64 2 (/.f64 t z)))

rewrite108.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Rules
519×times-frac_binary64_8609
299×add-sqr-sqrt_binary64_8625
251×*-un-lft-identity_binary64_8603
243×add-cube-cbrt_binary64_8638
65×associate-/r*_binary64_8547
23×div-inv_binary64_8600
19×add-exp-log_binary64_8641 add-cbrt-cube_binary64_8639
16×difference-of-squares_binary64_8572
10×div-exp_binary64_8654 cbrt-undiv_binary64_8637
9×associate-/l*_binary64_8548
8×associate-/r/_binary64_8549
4×distribute-lft-out--_binary64_8555
3×add-log-exp_binary64_8642 clear-num_binary64_8602 frac-2neg_binary64_8614 pow1_binary64_8664
1×flip3--_binary64_8607 flip--_binary64_8578
Counts
3 → 315
Calls

6 calls:

46.0ms
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))
14.0ms
(/.f64 y (/.f64 2 (/.f64 t z)))
7.0ms
(/.f64 2 (/.f64 t z))
0.0ms
(/.f64 2 (/.f64 t z))
0.0ms
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))

series246.0ms (6.5%)

Counts
3 → 24
Calls

3 calls:

122.0ms
(/.f64 y (/.f64 2 (/.f64 t z)))
73.0ms
(/.f64 y (-.f64 z (/.f64 y (/.f64 2 (/.f64 t z)))))
51.0ms
(/.f64 2 (/.f64 t z))
Compiler

Compiled 613 to 544 computations (11.3% saved)

simplify140.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
339 → 339
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049687805
149687805

prune330.0ms (8.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New3390339
Fresh011
Picked011
Done000
Total3392341
Error
0b
Counts
341 → 2
Compiler

Compiled 7798 to 3523 computations (54.8% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 -2 (/.f64 z t))
0.0b
(*.f64 -2 (/.f64 z t))

rewrite10.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_8625
13×associate-*r*_binary64_8543
10×times-frac_binary64_8609
9×add-cube-cbrt_binary64_8638 *-un-lft-identity_binary64_8603
6×add-exp-log_binary64_8641 add-cbrt-cube_binary64_8639
3×associate-*l*_binary64_8544 pow1_binary64_8664
2×cbrt-unprod_binary64_8636 prod-exp_binary64_8652 unswap-sqr_binary64_8571
1×div-exp_binary64_8654 add-log-exp_binary64_8642 associate-*r/_binary64_8545 cbrt-undiv_binary64_8637 *-commutative_binary64_8534 div-inv_binary64_8600 pow-prod-down_binary64_8674
Counts
1 → 32
Calls

2 calls:

8.0ms
(*.f64 -2 (/.f64 z t))
0.0ms
(*.f64 -2 (/.f64 z t))

series56.0ms (1.5%)

Counts
1 → 6
Calls

1 calls:

56.0ms
(*.f64 -2 (/.f64 z t))
Compiler

Compiled 84 to 96 computations (-14.3% saved)

simplify81.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
05300369

prune26.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh000
Picked011
Done011
Total38240
Error
0b
Counts
40 → 2
Compiler

Compiled 432 to 214 computations (50.5% saved)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0374295
1374295

regimes104.0ms (2.8%)

Compiler

Compiled 804 to 732 computations (9% saved)

bsearch0.0ms (0%)

regimes61.0ms (1.6%)

Compiler

Compiled 120 to 192 computations (-60% saved)

bsearch44.0ms (1.2%)

Steps
ItersRangePoint
9
7.993289479926725e-123
1.3072846979005109e-117
2.047172950454266e-122
9
-5.4700531344357806e-167
-4.2493767755600785e-172
-1.8270469146563132e-168
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes160.0ms (4.2%)

Compiler

Compiled 68 to 148 computations (-117.6% saved)

bsearch34.0ms (0.9%)

Steps
ItersRangePoint
5
1.9828782542260833e-66
4.229418313075912e-66
4.1882065358717915e-66
8
-1.2563303415807957e-38
-8.13916428107006e-43
-1.2243386802970412e-38
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes40.0ms (1.1%)

Compiler

Compiled 40 to 116 computations (-190% saved)

bsearch0.0ms (0%)

regimes41.0ms (1.1%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch21.0ms (0.6%)

Steps
ItersRangePoint
9
-3.900343810370438e-251
-2.4869901195748705e-257
-2.819743941771419e-256
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes34.0ms (0.9%)

Accuracy

Total 1.0b remaining (99.6%)

Threshold costs 0b (0%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch5.0ms (0.1%)

Compiler

Compiled 91 to 74 computations (18.7% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0144109
1144109

end0.0ms (0%)

sample969.0ms (25.7%)

Algorithm
1×intervals
Results
372.0ms8000×body128valid
Compiler

Compiled 305 to 276 computations (9.5% saved)

Pareto

0.20179652202376017

Profiling

Loading profile data...