Details

Time bar (total: 11.0s)

analyze195.0ms (1.8%)

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
25%74.9%0.1%5
25%62.4%12.6%6
25%40.6%34.4%7
31.2%25%43.8%8
39%17.2%43.8%9
42.9%13.3%43.8%10
47.2%9%43.8%11
49.4%6.8%43.8%12
51.6%4.6%43.8%13
52.7%3.5%43.8%14
Compiler

Compiled 12 to 9 computations (25% saved)

sample59.0ms (0.5%)

Algorithm
1×intervals
Results
15.0ms256×body128valid
Compiler

Compiled 23 to 19 computations (17.4% saved)

simplify358.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
02413
12413

prune10.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 2
Compiler

Compiled 29 to 22 computations (24.1% saved)

localize36.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 x 2) (*.f64 x x))

rewrite76.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_13075
1×*-un-lft-identity_binary64_13036 add-sqr-sqrt_binary64_13058 flip3-+_binary64_13039 pow1_binary64_13097 add-cbrt-cube_binary64_13072 flip-+_binary64_13010 distribute-lft-out_binary64_12987 add-exp-log_binary64_13074 sum-log_binary64_13127 +-commutative_binary64_12966 add-cube-cbrt_binary64_13071
Counts
1 → 12
Calls

1 calls:

74.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

series160.0ms (1.5%)

Counts
1 → 3
Calls

1 calls:

160.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

simplify322.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (290.0ms)

IterNodesCost
04905158
14905158

prune174.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New8715
Fresh011
Picked011
Done000
Total8917

Merged error: 0b

Counts
17 → 9
Compiler

Compiled 333 to 210 computations (36.9% saved)

localize35.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 x 2) (*.f64 x x))

rewrite21.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_13075
1×*-un-lft-identity_binary64_13036 add-sqr-sqrt_binary64_13058 flip3-+_binary64_13039 pow1_binary64_13097 add-cbrt-cube_binary64_13072 flip-+_binary64_13010 distribute-lft-out_binary64_12987 add-exp-log_binary64_13074 sum-log_binary64_13127 +-commutative_binary64_12966 add-cube-cbrt_binary64_13071
Counts
1 → 12
Calls

1 calls:

13.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

series115.0ms (1%)

Counts
1 → 3
Calls

1 calls:

115.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

simplify392.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (369.0ms)

IterNodesCost
04905158
14905158

prune240.0ms (2.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New7815
Fresh167
Picked011
Done011
Total81624

Merged error: 0b

Counts
24 → 16
Compiler

Compiled 485 to 336 computations (30.7% saved)

localize36.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 x 2) (*.f64 x x))

rewrite22.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_13075
1×*-un-lft-identity_binary64_13036 add-sqr-sqrt_binary64_13058 flip3-+_binary64_13039 pow1_binary64_13097 add-cbrt-cube_binary64_13072 flip-+_binary64_13010 distribute-lft-out_binary64_12987 add-exp-log_binary64_13074 sum-log_binary64_13127 +-commutative_binary64_12966 add-cube-cbrt_binary64_13071
Counts
1 → 12
Calls

1 calls:

20.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

series135.0ms (1.2%)

Counts
1 → 3
Calls

1 calls:

135.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

simplify391.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (366.0ms)

IterNodesCost
04905158
14905158

prune429.0ms (3.9%)

Pruning

23 alts after pruning (20 fresh and 3 done)

PrunedKeptTotal
New7815
Fresh11213
Picked011
Done022
Total82331

Merged error: 0b

Counts
31 → 23
Compiler

Compiled 649 to 474 computations (27% saved)

localize20.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 x 2) (*.f64 x x))

rewrite8.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_13075
1×*-un-lft-identity_binary64_13036 add-sqr-sqrt_binary64_13058 flip3-+_binary64_13039 pow1_binary64_13097 add-cbrt-cube_binary64_13072 flip-+_binary64_13010 distribute-lft-out_binary64_12987 add-exp-log_binary64_13074 sum-log_binary64_13127 +-commutative_binary64_12966 add-cube-cbrt_binary64_13071
Counts
1 → 12
Calls

1 calls:

7.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

series132.0ms (1.2%)

Counts
1 → 3
Calls

1 calls:

132.0ms
(+.f64 (*.f64 x 2) (*.f64 x x))

simplify309.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (297.0ms)

IterNodesCost
04905158
14905158

prune249.0ms (2.3%)

Pruning

30 alts after pruning (26 fresh and 4 done)

PrunedKeptTotal
New7815
Fresh11819
Picked011
Done033
Total83038

Merged error: 0b

Counts
38 → 30
Compiler

Compiled 293 to 201 computations (31.4% saved)

regimes2.1s (18.8%)

Compiler

Compiled 4214 to 3386 computations (19.6% saved)

bsearch4.0ms (0%)

simplify18.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01716
11716

end2.0ms (0%)

sample5.0s (45.3%)

Algorithm
1×intervals
Results
792.0ms8000×body128valid
0.0ms5×body128invalid
Compiler

Compiled 837 to 671 computations (19.8% saved)

Pareto

0

Profiling

Loading profile data...