Details

Time bar (total: 1.6s)

analyze67.0ms (4.2%)

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
37.5%50%12.6%6
43.7%40.6%15.7%7
56.2%23.4%20.4%8
57.8%21.1%21.2%9
64%12.5%23.5%10
64.8%10.7%24.5%11
67.9%6.4%25.7%12
68.3%5.4%26.3%13
69.9%3.3%26.9%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample13.0ms (0.8%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify177.0ms (11%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03910
13910

prune4.0ms (0.3%)

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 39 to 32 computations (17.9% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

rewrite15.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_10421
4×add-exp-log_binary64_10437 pow1_binary64_10460 add-cube-cbrt_binary64_10434 add-cbrt-cube_binary64_10435 add-log-exp_binary64_10438 associate-*r*_binary64_10339 *-un-lft-identity_binary64_10399
3×associate-*l*_binary64_10340
2×associate-*r/_binary64_10341 flip3-+_binary64_10402 flip-+_binary64_10373 distribute-lft-out_binary64_10350
1×sum-log_binary64_10490 *-commutative_binary64_10330 unswap-sqr_binary64_10367 cbrt-unprod_binary64_10432 prod-exp_binary64_10448 +-commutative_binary64_10329 distribute-rgt-in_binary64_10349 distribute-lft-in_binary64_10348 pow-prod-down_binary64_10470
Counts
2 → 35
Calls

2 calls:

8.0ms
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
5.0ms
(+.f64 (*.f64 x x) (*.f64 x y))

series104.0ms (6.5%)

Counts
2 → 6
Calls

2 calls:

59.0ms
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
44.0ms
(+.f64 (*.f64 x x) (*.f64 x y))

simplify83.0ms (5.2%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
04950493
14950493

prune45.0ms (2.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New39241
Fresh101
Picked011
Done000
Total40343

Merged error: 0b

Counts
43 → 3
Compiler

Compiled 808 to 422 computations (47.8% saved)

localize7.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

rewrite10.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_10437 pow1_binary64_10460 add-cbrt-cube_binary64_10435
4×associate-*r*_binary64_10339 *-un-lft-identity_binary64_10399
3×cbrt-unprod_binary64_10432 prod-exp_binary64_10448 pow-prod-down_binary64_10470
2×associate-*r/_binary64_10341 add-cube-cbrt_binary64_10434 add-sqr-sqrt_binary64_10421
1×*-commutative_binary64_10330 flip3-+_binary64_10402 add-log-exp_binary64_10438 flip-+_binary64_10373 distribute-rgt-in_binary64_10349 distribute-lft-out_binary64_10350 distribute-lft-in_binary64_10348 associate-*l*_binary64_10340
Counts
1 → 23
Calls

1 calls:

8.0ms
(*.f64 (*.f64 2 x) (+.f64 x y))

series55.0ms (3.4%)

Counts
1 → 3
Calls

1 calls:

55.0ms
(*.f64 (*.f64 2 x) (+.f64 x y))

simplify64.0ms (4%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05148306

prune15.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New26026
Fresh011
Picked011
Done011
Total26329

Merged error: 0b

Counts
29 → 3
Compiler

Compiled 296 to 89 computations (69.9% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 x (*.f64 (sqrt.f64 2) (+.f64 x y)))
0.4b
(*.f64 (sqrt.f64 2) (*.f64 x (*.f64 (sqrt.f64 2) (+.f64 x y))))
0.4b
(*.f64 (sqrt.f64 2) (+.f64 x y))

rewrite42.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
19×add-exp-log_binary64_10437 pow1_binary64_10460 add-cbrt-cube_binary64_10435
17×distribute-rgt-in_binary64_10349 distribute-lft-in_binary64_10348
15×associate-*l*_binary64_10340
13×add-sqr-sqrt_binary64_10421
12×associate-*r/_binary64_10341
11×*-un-lft-identity_binary64_10399
10×cbrt-unprod_binary64_10432 prod-exp_binary64_10448 pow-prod-down_binary64_10470
9×add-cube-cbrt_binary64_10434
7×sqrt-prod_binary64_10415
6×associate-*r*_binary64_10339
3×*-commutative_binary64_10330 flip3-+_binary64_10402 add-log-exp_binary64_10438 flip-+_binary64_10373
2×unswap-sqr_binary64_10367
1×distribute-lft-out_binary64_10350
Counts
3 → 85
Calls

3 calls:

14.0ms
(*.f64 (sqrt.f64 2) (*.f64 x (*.f64 (sqrt.f64 2) (+.f64 x y))))
12.0ms
(*.f64 x (*.f64 (sqrt.f64 2) (+.f64 x y)))
9.0ms
(*.f64 (sqrt.f64 2) (+.f64 x y))

series265.0ms (16.5%)

Counts
3 → 9
Calls

3 calls:

115.0ms
(*.f64 (sqrt.f64 2) (*.f64 x (*.f64 (sqrt.f64 2) (+.f64 x y))))
83.0ms
(*.f64 x (*.f64 (sqrt.f64 2) (+.f64 x y)))
66.0ms
(*.f64 (sqrt.f64 2) (+.f64 x y))

simplify67.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050541221

prune72.0ms (4.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New94094
Fresh000
Picked011
Done022
Total94397

Merged error: 0b

Counts
97 → 3
Compiler

Compiled 1326 to 810 computations (38.9% saved)

regimes39.0ms (2.4%)

Compiler

Compiled 144 to 124 computations (13.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample449.0ms (27.9%)

Algorithm
1×intervals
Results
219.0ms8000×body128valid
4.0ms160×body128invalid
Compiler

Compiled 51 to 45 computations (11.8% saved)

Profiling

Loading profile data...