Details

Time bar (total: 677.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.8%)

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

Compiled 14 to 14 computations (0% saved)

simplify89.0ms (13.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
097
197

prune6.0ms (0.9%)

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.8%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_2504 cancel-sign-sub-inv_binary64_2431
2×*-un-lft-identity_binary64_2465 add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487
1×flip--_binary64_2440 add-exp-log_binary64_2503 sub-neg_binary64_2458 add-cbrt-cube_binary64_2501 diff-log_binary64_2557 pow1_binary64_2526 flip3--_binary64_2469
Counts
1 → 14
Calls

2 calls:

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

series9.0ms (1.3%)

Counts
1 → 3
Calls

1 calls:

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

Compiled 22 to 23 computations (-4.5% saved)

simplify89.0ms (13.1%)

Algorithm
1×egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
04821137
14821137

prune13.0ms (1.9%)

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.1%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (1%)

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)

simplify3.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
098
198

regimes24.0ms (3.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 45 to 57 computations (-26.7% saved)

bsearch0.0ms (0.1%)

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify2.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
031
131

end0.0ms (0%)

sample412.0ms (60.8%)

Algorithm
1×intervals
Results
112.0ms8000×pre128true
109.0ms8000×body128valid
Compiler

Compiled 24 to 29 computations (-20.8% saved)

Pareto

0

Profiling

Loading profile data...