Details

Time bar (total: 8.0s)

analyze1.6s (19.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04844143
14844143
055
155
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
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
13.2%86.5%0.2%11
16.8%83%0.2%12
22.7%77.1%0.2%13
24.1%74.7%1.3%14
Compiler

Compiled 10 to 10 computations (0% saved)

sample34.0ms (0.4%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
3.0ms71×body128invalid
Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify61.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
071913
171913

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 18 computations (0% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 y (-.f64 z t))
6.5b
(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite83.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
12×add-sqr-sqrt_binary64_11694
10×*-un-lft-identity_binary64_11672
9×add-exp-log_binary64_11710 add-cbrt-cube_binary64_11708
8×add-cube-cbrt_binary64_11707
6×cancel-sign-sub-inv_binary64_11638
5×associate-*r*_binary64_11612
4×pow1_binary64_11733 associate-*r/_binary64_11614 distribute-rgt-in_binary64_11622 distribute-lft-in_binary64_11621
3×times-frac_binary64_11678 associate-/r*_binary64_11616 associate-*l*_binary64_11613
2×prod-exp_binary64_11721 div-exp_binary64_11723 add-log-exp_binary64_11711 cbrt-undiv_binary64_11706 cbrt-unprod_binary64_11705 flip3--_binary64_11676 associate-/l/_binary64_11619 flip--_binary64_11647 sub-neg_binary64_11665
1×frac-2neg_binary64_11683 clear-num_binary64_11671 div-inv_binary64_11669 associate-/l*_binary64_11617 pow-prod-down_binary64_11743 unswap-sqr_binary64_11640 difference-of-squares_binary64_11641 distribute-lft-out--_binary64_11624 *-commutative_binary64_11603
Counts
2 → 53
Calls

2 calls:

8.0ms
(/.f64 (*.f64 y (-.f64 z t)) a)
7.0ms
(*.f64 y (-.f64 z t))
Compiler

Compiled 816 to 265 computations (67.5% saved)

series365.0ms (4.6%)

Error
4.6b
Counts
2 → 33
Calls

2 calls:

215.0ms
(/.f64 (*.f64 y (-.f64 z t)) a)
129.0ms
(*.f64 y (-.f64 z t))
Compiler

Compiled 885 to 575 computations (35% saved)

simplify85.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
05376836

prune87.0ms (1.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New78886
Fresh000
Picked101
Done000
Total79887
Error
0.0b
Counts
87 → 8
Compiler

Compiled 1082 to 287 computations (73.5% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 a (-.f64 z t))
5.7b
(/.f64 y (/.f64 a (-.f64 z t)))

rewrite215.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
138×times-frac_binary64_11678
102×add-sqr-sqrt_binary64_11694 *-un-lft-identity_binary64_11672
70×add-cube-cbrt_binary64_11707
26×associate-/r*_binary64_11616
16×difference-of-squares_binary64_11641 distribute-lft-out--_binary64_11624
11×associate-/r/_binary64_11618
9×add-exp-log_binary64_11710 add-cbrt-cube_binary64_11708
6×div-inv_binary64_11669 associate-/l*_binary64_11617
5×flip3--_binary64_11676 flip--_binary64_11647
4×div-exp_binary64_11723 cbrt-undiv_binary64_11706
2×pow1_binary64_11733 add-log-exp_binary64_11711 frac-2neg_binary64_11683 clear-num_binary64_11671
Counts
2 → 139
Calls

2 calls:

10.0ms
(/.f64 y (/.f64 a (-.f64 z t)))
6.0ms
(/.f64 a (-.f64 z t))
Compiler

Compiled 2734 to 710 computations (74% saved)

series393.0ms (4.9%)

Error
0.0b
Counts
2 → 36
Calls

2 calls:

239.0ms
(/.f64 y (/.f64 a (-.f64 z t)))
121.0ms
(/.f64 a (-.f64 z t))
Compiler

Compiled 1185 to 802 computations (32.3% saved)

simplify86.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049793257
149793257

prune171.0ms (2.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1732175
Fresh437
Picked011
Done000
Total1776183
Error
0b
Counts
183 → 6
Compiler

Compiled 2991 to 635 computations (78.8% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

6.4b
(*.f64 (/.f64 y a) (-.f64 z t))

rewrite54.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
18×add-sqr-sqrt_binary64_11694
13×*-un-lft-identity_binary64_11672 associate-*l*_binary64_11613
11×add-cube-cbrt_binary64_11707
10×times-frac_binary64_11678
6×add-exp-log_binary64_11710 add-cbrt-cube_binary64_11708 cancel-sign-sub-inv_binary64_11638
5×associate-*r*_binary64_11612
4×distribute-rgt-in_binary64_11622 distribute-lft-in_binary64_11621
3×pow1_binary64_11733
2×prod-exp_binary64_11721 cbrt-unprod_binary64_11705 flip3--_binary64_11676 frac-times_binary64_11682 flip--_binary64_11647 unswap-sqr_binary64_11640 sub-neg_binary64_11665 associate-*r/_binary64_11614
1×pow-prod-down_binary64_11743 div-exp_binary64_11723 add-log-exp_binary64_11711 cbrt-undiv_binary64_11706 associate-*l/_binary64_11615 div-inv_binary64_11669 difference-of-squares_binary64_11641 distribute-lft-out--_binary64_11624 *-commutative_binary64_11603
Counts
1 → 46
Calls

1 calls:

19.0ms
(*.f64 (/.f64 y a) (-.f64 z t))
Compiler

Compiled 779 to 236 computations (69.7% saved)

series222.0ms (2.8%)

Error
0b
Counts
1 → 18
Calls

1 calls:

214.0ms
(*.f64 (/.f64 y a) (-.f64 z t))
Compiler

Compiled 510 to 335 computations (34.3% saved)

simplify68.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04917812
14917812

prune47.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh044
Picked011
Done011
Total64670
Error
0b
Counts
70 → 6
Compiler

Compiled 895 to 223 computations (75.1% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 1 (-.f64 z t))
6.5b
(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))

rewrite599.0ms (7.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
696×times-frac_binary64_11678
384×add-sqr-sqrt_binary64_11694 *-un-lft-identity_binary64_11672
292×add-cube-cbrt_binary64_11707
46×difference-of-squares_binary64_11641 distribute-lft-out--_binary64_11624
38×div-inv_binary64_11669
31×associate-/r/_binary64_11618
28×add-exp-log_binary64_11710
26×associate-/r*_binary64_11616
18×div-exp_binary64_11723
16×add-cbrt-cube_binary64_11708 associate-/l*_binary64_11617
15×flip3--_binary64_11676 flip--_binary64_11647
9×cbrt-undiv_binary64_11706
3×pow1_binary64_11733 1-exp_binary64_11716 rec-exp_binary64_11722
2×add-log-exp_binary64_11711 frac-2neg_binary64_11683 clear-num_binary64_11671
1×associate-/l/_binary64_11619 inv-pow_binary64_11757 pow-flip_binary64_11746
Counts
2 → 372
Calls

2 calls:

18.0ms
(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
6.0ms
(/.f64 1 (-.f64 z t))
Compiler

Compiled 9582 to 3919 computations (59.1% saved)

series324.0ms (4.1%)

Error
0b
Counts
2 → 33
Calls

2 calls:

226.0ms
(/.f64 (/.f64 y a) (/.f64 1 (-.f64 z t)))
63.0ms
(/.f64 1 (-.f64 z t))
Compiler

Compiled 1080 to 771 computations (28.6% saved)

simplify190.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
405 → 405
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
0504010555

prune393.0ms (4.9%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New4050405
Fresh033
Picked011
Done022
Total4056411
Error
0b
Counts
411 → 6
Compiler

Compiled 8479 to 2249 computations (73.5% saved)

regimes1.2s (14.9%)

Accuracy

Total 1.1b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 6372 to 4959 computations (22.2% saved)

bsearch2.0ms (0%)

Compiler

Compiled 5 to 7 computations (-40% saved)

simplify10.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
031666
131666

end0.0ms (0%)

sample1.7s (20.9%)

Algorithm
1×intervals
Results
368.0ms8000×body128valid
107.0ms2467×body128invalid
Compiler

Compiled 716 to 545 computations (23.9% saved)

Profiling

Loading profile data...