Details

Time bar (total: 820.0ms)

analyze3.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample12.0ms (1.5%)

Algorithm
1×intervals
Results
3.0ms256×body128valid
3.0ms256×pre128true
Compiler

Compiled 14 to 14 computations (0% saved)

simplify95.0ms (11.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
097
197

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.4%)

Local error

Found 2 expressions with local error:

49.1b
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)
49.1b
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)

rewrite5.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
3×cancel-sign-sub-inv_binary64_2368 add-log-exp_binary64_2441
2×*-un-lft-identity_binary64_2402 add-sqr-sqrt_binary64_2424 add-cube-cbrt_binary64_2437
1×pow1_binary64_2463 flip--_binary64_2377 add-exp-log_binary64_2440 add-cbrt-cube_binary64_2438 flip3--_binary64_2406 diff-log_binary64_2494 sub-neg_binary64_2395
Counts
1 → 14
Calls

2 calls:

4.0ms
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)
0.0ms
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)

series13.0ms (1.5%)

Counts
1 → 3
Calls

1 calls:

12.0ms
(-.f64 (*.f64 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632 t) 169999999999999993883079578865998174333346074304075874502773119193537729178160565864330091787584707988572262467983188919169916105593357174268369962062473635296474636515660464935663040684957844303524367815028553272712298986386310828644513212353921123253311675499856875650512437415429217994623324794855339589632)
Compiler

Compiled 22 to 23 computations (-4.5% saved)

simplify90.0ms (10.9%)

Algorithm
1×egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
04821137
14821137

prune12.0ms (1.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New16117
Fresh000
Picked101
Done000
Total17118
Error
64.0b
Counts
18 → 1
Compiler

Compiled 134 to 113 computations (15.7% saved)

localize0.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
64.0b
Counts
1 → 1
Compiler

Compiled 0 to 0 computations (0% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
098
198

regimes22.0ms (2.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 45 to 57 computations (-26.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031
131

end0.0ms (0%)

sample552.0ms (67.4%)

Algorithm
1×intervals
Results
113.0ms8000×body128valid
111.0ms8000×pre128true
Compiler

Compiled 41 to 53 computations (-29.3% saved)

Pareto

-0.999598757041118

Profiling

Loading profile data...