Details

Time bar (total: 7.8s)

analyze681.0ms (8.7%)

Algorithm
1×search
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
12.5%87.3%0.2%7
18.7%81.1%0.2%8
46.8%53%0.2%9
47.6%52.2%0.2%10
48.3%51.5%0.2%11
54.2%45.6%0.2%12
67.6%32.2%0.2%13
68.2%31.6%0.2%14
Compiler

Compiled 14 to 14 computations (0% saved)

sample21.0ms (0.3%)

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

Compiled 27 to 31 computations (-14.8% saved)

simplify116.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
041716
141716

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2
Compiler

Compiled 35 to 35 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
0.0b
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×cancel-sign-sub-inv_binary64_22891
9×add-log-exp_binary64_22964
8×associate-+l+_binary64_22858 *-un-lft-identity_binary64_22925
6×add-sqr-sqrt_binary64_22947 add-cube-cbrt_binary64_22960 times-frac_binary64_22931
2×diff-log_binary64_23017 sub-neg_binary64_22918 pow1_binary64_22986 div-inv_binary64_22922 add-cbrt-cube_binary64_22961 add-exp-log_binary64_22963 sum-log_binary64_23016
1×flip--_binary64_22900 associate-+l-_binary64_22860 distribute-lft-out_binary64_22876 +-commutative_binary64_22855 flip3-+_binary64_22928 flip-+_binary64_22899 flip3--_binary64_22929
Counts
2 → 40
Calls

2 calls:

9.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
6.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

series83.0ms (1.1%)

Counts
2 → 6
Calls

2 calls:

47.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
37.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

simplify64.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
05377754

prune88.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New341246
Fresh101
Picked011
Done000
Total351348

Merged error: 0b

Counts
48 → 13
Compiler

Compiled 756 to 524 computations (30.7% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
0.0b
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

rewrite18.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×cancel-sign-sub-inv_binary64_22891
9×add-log-exp_binary64_22964
8×associate-+l+_binary64_22858 *-un-lft-identity_binary64_22925
6×add-sqr-sqrt_binary64_22947 add-cube-cbrt_binary64_22960 times-frac_binary64_22931
2×diff-log_binary64_23017 sub-neg_binary64_22918 pow1_binary64_22986 div-inv_binary64_22922 add-cbrt-cube_binary64_22961 add-exp-log_binary64_22963 sum-log_binary64_23016
1×flip--_binary64_22900 associate-+l-_binary64_22860 distribute-lft-out_binary64_22876 +-commutative_binary64_22855 flip3-+_binary64_22928 flip-+_binary64_22899 flip3--_binary64_22929
Counts
2 → 40
Calls

2 calls:

9.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
6.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

series83.0ms (1.1%)

Counts
2 → 6
Calls

2 calls:

44.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
39.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

simplify63.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05377754

prune151.0ms (1.9%)

Pruning

25 alts after pruning (23 fresh and 2 done)

PrunedKeptTotal
New341246
Fresh01111
Picked011
Done011
Total342559

Merged error: 0b

Counts
59 → 25
Compiler

Compiled 1120 to 829 computations (26% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
0.0b
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×cancel-sign-sub-inv_binary64_22891
9×add-log-exp_binary64_22964
8×associate-+l+_binary64_22858 *-un-lft-identity_binary64_22925
6×add-sqr-sqrt_binary64_22947 add-cube-cbrt_binary64_22960 times-frac_binary64_22931
2×diff-log_binary64_23017 sub-neg_binary64_22918 pow1_binary64_22986 div-inv_binary64_22922 add-cbrt-cube_binary64_22961 add-exp-log_binary64_22963 sum-log_binary64_23016
1×flip--_binary64_22900 associate-+l-_binary64_22860 distribute-lft-out_binary64_22876 +-commutative_binary64_22855 flip3-+_binary64_22928 flip-+_binary64_22899 flip3--_binary64_22929
Counts
2 → 40
Calls

2 calls:

8.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
5.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

series77.0ms (1%)

Counts
2 → 6
Calls

2 calls:

38.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))
38.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)

simplify67.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
05377754

prune212.0ms (2.7%)

Pruning

37 alts after pruning (34 fresh and 3 done)

PrunedKeptTotal
New341246
Fresh02222
Picked011
Done022
Total343771

Merged error: 0b

Counts
71 → 37
Compiler

Compiled 1506 to 1156 computations (23.2% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
0.0b
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×cancel-sign-sub-inv_binary64_22891
9×add-log-exp_binary64_22964
8×associate-+l+_binary64_22858 *-un-lft-identity_binary64_22925
6×add-sqr-sqrt_binary64_22947 add-cube-cbrt_binary64_22960 times-frac_binary64_22931
2×diff-log_binary64_23017 sub-neg_binary64_22918 pow1_binary64_22986 div-inv_binary64_22922 add-cbrt-cube_binary64_22961 add-exp-log_binary64_22963 sum-log_binary64_23016
1×flip--_binary64_22900 associate-+l-_binary64_22860 distribute-lft-out_binary64_22876 +-commutative_binary64_22855 flip3-+_binary64_22928 flip-+_binary64_22899 flip3--_binary64_22929
Counts
2 → 40
Calls

2 calls:

8.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
6.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

series77.0ms (1%)

Counts
2 → 6
Calls

2 calls:

39.0ms
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)
38.0ms
(-.f64 (*.f64 1/8 x) (/.f64 (*.f64 y z) 2))

simplify66.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05377754

prune215.0ms (2.8%)

Pruning

47 alts after pruning (43 fresh and 4 done)

PrunedKeptTotal
New351146
Fresh13233
Picked011
Done033
Total364783

Merged error: 0b

Counts
83 → 47
Compiler

Compiled 595 to 422 computations (29.1% saved)

regimes1.6s (20.1%)

Compiler

Compiled 18271 to 16187 computations (11.4% saved)

bsearch1.4s (17.4%)

simplify8.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05216
15216

end0.0ms (0%)

sample2.7s (34.4%)

Algorithm
1×intervals
Results
336.0ms8000×body128valid
44.0ms1113×body128invalid
Compiler

Compiled 2212 to 1944 computations (12.1% saved)

Pareto

0.5430366189813188

Profiling

Loading profile data...