Details

Time bar (total: 3.9s)

analyze350.0ms (8.9%)

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
14%85.8%0.1%7
22.6%77.2%0.1%8
23.8%74.5%1.7%9
40%56%4%10
47.3%48.7%4%11
48.4%45.8%5.8%12
58.6%32.4%9%13
63.4%27.5%9%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample210.0ms (5.3%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
1.0ms27×body128invalid
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify253.0ms (6.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (159.0ms)

IterNodesCost
0490710
1490710

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

11.8b
(/.f64 (*.f64 x (+.f64 y z)) z)
0.0b
(*.f64 x (+.f64 y z))
0.0b
(*.f64 x (+.f64 y z))
11.8b
(/.f64 (*.f64 x (+.f64 y z)) z)

rewrite19.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
9×add-cbrt-cube_binary64_7957 add-exp-log_binary64_7959
8×*-un-lft-identity_binary64_7921 add-sqr-sqrt_binary64_7943
6×add-cube-cbrt_binary64_7956
4×associate-*r*_binary64_7861 associate-*r/_binary64_7863 pow1_binary64_7982
3×times-frac_binary64_7927 associate-*l*_binary64_7862 associate-/r*_binary64_7865
2×add-log-exp_binary64_7960 prod-exp_binary64_7970 cbrt-unprod_binary64_7954 div-exp_binary64_7972 associate-/l/_binary64_7868 cbrt-undiv_binary64_7955 flip3-+_binary64_7924 flip-+_binary64_7895
1×distribute-lft-in_binary64_7870 clear-num_binary64_7920 distribute-lft-out_binary64_7872 unswap-sqr_binary64_7889 distribute-rgt-in_binary64_7871 frac-2neg_binary64_7932 *-commutative_binary64_7852 associate-/l*_binary64_7866 div-inv_binary64_7918 pow-prod-down_binary64_7992
Counts
2 → 46
Calls

4 calls:

8.0ms
(/.f64 (*.f64 x (+.f64 y z)) z)
7.0ms
(*.f64 x (+.f64 y z))
0.0ms
(*.f64 x (+.f64 y z))
0.0ms
(/.f64 (*.f64 x (+.f64 y z)) z)

series225.0ms (5.7%)

Counts
2 → 30
Calls

2 calls:

140.0ms
(/.f64 (*.f64 x (+.f64 y z)) z)
85.0ms
(*.f64 x (+.f64 y z))
Compiler

Compiled 324 to 282 computations (13% saved)

simplify79.0ms (2%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04981703
14981703

prune55.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New70676
Fresh000
Picked011
Done000
Total70777
Error
0.0b
Counts
77 → 7
Compiler

Compiled 770 to 194 computations (74.8% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.4b
(/.f64 x (/.f64 z (+.f64 y z)))
0.0b
(/.f64 z (+.f64 y z))
0.0b
(/.f64 z (+.f64 y z))
2.4b
(/.f64 x (/.f64 z (+.f64 y z)))

rewrite26.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
114×times-frac_binary64_7927
94×*-un-lft-identity_binary64_7921
62×add-cube-cbrt_binary64_7956 add-sqr-sqrt_binary64_7943
22×associate-/r*_binary64_7865
16×distribute-lft-out_binary64_7872
11×associate-/r/_binary64_7867
9×add-cbrt-cube_binary64_7957 add-exp-log_binary64_7959
6×associate-/l*_binary64_7866 div-inv_binary64_7918
5×flip3-+_binary64_7924 flip-+_binary64_7895
4×div-exp_binary64_7972 cbrt-undiv_binary64_7955
2×add-log-exp_binary64_7960 clear-num_binary64_7920 frac-2neg_binary64_7932 pow1_binary64_7982
Counts
2 → 123
Calls

4 calls:

9.0ms
(/.f64 x (/.f64 z (+.f64 y z)))
6.0ms
(/.f64 z (+.f64 y z))
0.0ms
(/.f64 z (+.f64 y z))
0.0ms
(/.f64 x (/.f64 z (+.f64 y z)))

series216.0ms (5.5%)

Counts
2 → 39
Calls

2 calls:

140.0ms
(/.f64 x (/.f64 z (+.f64 y z)))
76.0ms
(/.f64 z (+.f64 y z))
Compiler

Compiled 492 to 432 computations (12.2% saved)

simplify88.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049642852
149642852

prune99.0ms (2.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1602162
Fresh325
Picked011
Done011
Total1636169
Error
0b
Counts
169 → 6
Compiler

Compiled 2337 to 488 computations (79.1% saved)

localize5.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.4b
(*.f64 x (/.f64 (+.f64 y z) z))
0.0b
(/.f64 (+.f64 y z) z)
0.0b
(/.f64 (+.f64 y z) z)
3.4b
(*.f64 x (/.f64 (+.f64 y z) z))

rewrite22.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
34×*-un-lft-identity_binary64_7921
25×times-frac_binary64_7927 add-sqr-sqrt_binary64_7943
20×add-cube-cbrt_binary64_7956
16×associate-*r*_binary64_7861
9×add-cbrt-cube_binary64_7957 add-exp-log_binary64_7959
7×distribute-lft-out_binary64_7872
4×pow1_binary64_7982 associate-/l*_binary64_7866
3×associate-*l*_binary64_7862 associate-/r*_binary64_7865
2×add-log-exp_binary64_7960 unswap-sqr_binary64_7889 prod-exp_binary64_7970 cbrt-unprod_binary64_7954 div-exp_binary64_7972 associate-/l/_binary64_7868 cbrt-undiv_binary64_7955 div-inv_binary64_7918
1×clear-num_binary64_7920 frac-2neg_binary64_7932 associate-*r/_binary64_7863 *-commutative_binary64_7852 flip3-+_binary64_7924 flip-+_binary64_7895 pow-prod-down_binary64_7992
Counts
2 → 68
Calls

4 calls:

11.0ms
(*.f64 x (/.f64 (+.f64 y z) z))
6.0ms
(/.f64 (+.f64 y z) z)
0.0ms
(/.f64 (+.f64 y z) z)
0.0ms
(*.f64 x (/.f64 (+.f64 y z) z))

series209.0ms (5.3%)

Counts
2 → 27
Calls

2 calls:

135.0ms
(*.f64 x (/.f64 (+.f64 y z) z))
74.0ms
(/.f64 (+.f64 y z) z)
Compiler

Compiled 252 to 246 computations (2.4% saved)

simplify44.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
053171052

prune52.0ms (1.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New95095
Fresh033
Picked011
Done022
Total956101
Error
0b
Counts
101 → 6
Compiler

Compiled 1065 to 246 computations (76.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

12.1b
(*.f64 (/.f64 x z) (+.f64 y z))
12.1b
(*.f64 (/.f64 x z) (+.f64 y z))

rewrite13.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64_7943
13×associate-*l*_binary64_7862
11×*-un-lft-identity_binary64_7921
10×times-frac_binary64_7927
9×add-cube-cbrt_binary64_7956
6×add-cbrt-cube_binary64_7957 add-exp-log_binary64_7959
4×associate-*r*_binary64_7861
3×pow1_binary64_7982
2×frac-times_binary64_7931 unswap-sqr_binary64_7889 prod-exp_binary64_7970 associate-*r/_binary64_7863 cbrt-unprod_binary64_7954 flip3-+_binary64_7924 flip-+_binary64_7895
1×distribute-lft-in_binary64_7870 add-log-exp_binary64_7960 distribute-lft-out_binary64_7872 distribute-rgt-in_binary64_7871 associate-*l/_binary64_7864 div-exp_binary64_7972 *-commutative_binary64_7852 cbrt-undiv_binary64_7955 div-inv_binary64_7918 pow-prod-down_binary64_7992
Counts
1 → 39
Calls

2 calls:

10.0ms
(*.f64 (/.f64 x z) (+.f64 y z))
0.0ms
(*.f64 (/.f64 x z) (+.f64 y z))

series136.0ms (3.5%)

Counts
1 → 15
Calls

1 calls:

136.0ms
(*.f64 (/.f64 x z) (+.f64 y z))
Compiler

Compiled 144 to 132 computations (8.3% saved)

simplify74.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04968632
14968632

prune26.0ms (0.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New54054
Fresh022
Picked011
Done033
Total54660
Error
0b
Counts
60 → 6
Compiler

Compiled 592 to 137 computations (76.9% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
096329
196329

regimes158.0ms (4%)

Compiler

Compiled 678 to 528 computations (22.1% saved)

bsearch31.0ms (0.8%)

Steps
ItersRangePoint
9
3.0999956253311653e-34
7.664224763413076e-28
7.722781478682705e-34
7
-1.1686653001948508e-190
-4.766611792970702e-193
-8.17163490039745e-193
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes98.0ms (2.5%)

Compiler

Compiled 141 to 177 computations (-25.5% saved)

bsearch30.0ms (0.8%)

Steps
ItersRangePoint
9
6.566577007102849e-16
1.7988995193636743e-08
4.477470373920615e-13
7
-1.1686653001948508e-190
-4.766611792970702e-193
-4.515560721214784e-192
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes111.0ms (2.8%)

Compiler

Compiled 99 to 141 computations (-42.4% saved)

bsearch29.0ms (0.7%)

Steps
ItersRangePoint
9
1.1395326485867347e+109
1.370943663559978e+114
5.468732810188744e+113
10
-1.3881439257084357e+170
-2.8054569663678578e+153
-1.0284964039503734e+162
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes142.0ms (3.6%)

Compiler

Compiled 78 to 123 computations (-57.7% saved)

bsearch33.0ms (0.8%)

Steps
ItersRangePoint
9
15800174.580644859
1430402780939189.0
84293394894.90135
10
-9.65565341105823e+91
-1.7515833209951988e+82
-7.609603959076575e+82
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes109.0ms (2.8%)

Compiler

Compiled 33 to 78 computations (-136.4% saved)

bsearch33.0ms (0.8%)

Steps
ItersRangePoint
9
15800174.580644859
1430402780939189.0
492612863705699.2
10
-9.65565341105823e+91
-1.7515833209951988e+82
-1.4205284429259029e+87
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes28.0ms (0.7%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch0.0ms (0%)

regimes26.0ms (0.7%)

Accuracy

Total 2.8b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch6.0ms (0.2%)

Compiler

Compiled 116 to 73 computations (37.1% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
066139
166139

end0.0ms (0%)

sample881.0ms (22.3%)

Algorithm
1×intervals
Results
210.0ms8000×body128valid
30.0ms801×body128invalid
Compiler

Compiled 335 to 263 computations (21.5% saved)

Pareto

0.21960772519576235

Profiling

Loading profile data...