Details

Time bar (total: 16.1s)

analyze862.0ms (5.4%)

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
18.7%81.1%0.1%7
21.8%78%0.1%8
43.7%56.2%0.1%9
54.6%39.8%5.6%10
58.5%35.5%6%11
67.3%26.5%6.2%12
71.7%19.1%9.2%13
74.1%16.6%9.4%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample47.0ms (0.3%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
0.0ms10×body128invalid
Compiler

Compiled 11 to 14 computations (-27.3% saved)

simplify591.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
01137
11137

prune8.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize20.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 y z))

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_17508
1×sub-neg_binary64_17462 *-un-lft-identity_binary64_17469 add-cube-cbrt_binary64_17504 add-exp-log_binary64_17507 cancel-sign-sub-inv_binary64_17435 diff-log_binary64_17561 add-sqr-sqrt_binary64_17491 pow1_binary64_17530 flip3--_binary64_17473 add-cbrt-cube_binary64_17505 flip--_binary64_17444
Counts
1 → 12
Calls

1 calls:

8.0ms
(-.f64 x (*.f64 y z))

series119.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

118.0ms
(-.f64 x (*.f64 y z))

simplify364.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (333.0ms)

IterNodesCost
05423166

prune174.0ms (1.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New7815
Fresh000
Picked011
Done000
Total7916

Merged error: 0b

Counts
16 → 9
Compiler

Compiled 234 to 100 computations (57.3% saved)

localize20.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 x (neg.f64 (*.f64 y z)))

rewrite19.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
5×add-log-exp_binary64_17508
3×*-un-lft-identity_binary64_17469
2×sum-log_binary64_17560
1×distribute-lft-out_binary64_17420 associate-+r-_binary64_17403 add-cube-cbrt_binary64_17504 flip3-+_binary64_17472 flip-+_binary64_17443 add-exp-log_binary64_17507 add-sqr-sqrt_binary64_17491 +-commutative_binary64_17399 pow1_binary64_17530 neg-sub0_binary64_17464 unsub-neg_binary64_17463 add-cbrt-cube_binary64_17505 neg-log_binary64_17562
Counts
1 → 15
Calls

1 calls:

17.0ms
(+.f64 x (neg.f64 (*.f64 y z)))

series128.0ms (0.8%)

Counts
1 → 3
Calls

1 calls:

128.0ms
(+.f64 x (neg.f64 (*.f64 y z)))

simplify591.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (566.0ms)

IterNodesCost
04818171
14818171

prune198.0ms (1.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New17118
Fresh167
Picked011
Done011
Total18927

Merged error: 0b

Counts
27 → 9
Compiler

Compiled 248 to 97 computations (60.9% saved)

localize21.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 y z))

rewrite21.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_17508
1×sub-neg_binary64_17462 *-un-lft-identity_binary64_17469 add-cube-cbrt_binary64_17504 add-exp-log_binary64_17507 cancel-sign-sub-inv_binary64_17435 diff-log_binary64_17561 add-sqr-sqrt_binary64_17491 pow1_binary64_17530 flip3--_binary64_17473 add-cbrt-cube_binary64_17505 flip--_binary64_17444
Counts
1 → 12
Calls

1 calls:

20.0ms
(-.f64 x (*.f64 y z))

series94.0ms (0.6%)

Counts
1 → 3
Calls

1 calls:

94.0ms
(-.f64 x (*.f64 y z))

simplify231.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (212.0ms)

IterNodesCost
05423166

prune405.0ms (2.5%)

Pruning

16 alts after pruning (13 fresh and 3 done)

PrunedKeptTotal
New8715
Fresh066
Picked011
Done022
Total81624

Merged error: 0b

Counts
24 → 16
Compiler

Compiled 354 to 188 computations (46.9% saved)

localize31.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 y z))

rewrite20.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_17508
1×sub-neg_binary64_17462 *-un-lft-identity_binary64_17469 add-cube-cbrt_binary64_17504 add-exp-log_binary64_17507 cancel-sign-sub-inv_binary64_17435 diff-log_binary64_17561 add-sqr-sqrt_binary64_17491 pow1_binary64_17530 flip3--_binary64_17473 add-cbrt-cube_binary64_17505 flip--_binary64_17444
Counts
1 → 12
Calls

1 calls:

11.0ms
(-.f64 x (*.f64 y z))

series108.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

108.0ms
(-.f64 x (*.f64 y z))

simplify331.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (310.0ms)

IterNodesCost
05423166

prune339.0ms (2.1%)

Pruning

22 alts after pruning (18 fresh and 4 done)

PrunedKeptTotal
New8715
Fresh11112
Picked011
Done033
Total92231

Merged error: 0b

Counts
31 → 22
Compiler

Compiled 199 to 97 computations (51.3% saved)

regimes2.5s (15.4%)

Compiler

Compiled 2451 to 1931 computations (21.2% saved)

bsearch3.4s (21.4%)

simplify51.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0357
1357

end0.0ms (0%)

sample5.4s (33.4%)

Algorithm
1×intervals
Results
768.0ms8000×body128valid
21.0ms323×body128invalid
Compiler

Compiled 640 to 452 computations (29.4% saved)

Pareto

0.1398200779815358

Profiling

Loading profile data...