Details

Time bar (total: 2.6s)

analyze539.0ms (20.5%)

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
0%99.9%0.1%7
0%99.9%0.1%8
40.6%56.9%2.5%9
46%49.5%4.4%10
50.3%44.9%4.8%11
60.3%30.5%9.2%12
62.9%25.7%11.4%13
65.2%23.2%11.7%14
Compiler

Compiled 14 to 13 computations (7.1% saved)

sample19.0ms (0.7%)

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

Compiled 27 to 28 computations (-3.7% saved)

simplify143.0ms (5.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (137.0ms)

IterNodesCost
0178413
1178413

prune5.0ms (0.2%)

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 53 to 51 computations (3.8% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 4 (*.f64 (/.f64 4 y) (-.f64 x z)))
0.3b
(*.f64 (/.f64 4 y) (-.f64 x z))

rewrite25.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
16×*-un-lft-identity_binary64
14×add-cube-cbrt_binary64
13×associate-*l*_binary64
12×cancel-sign-sub-inv_binary64
10×times-frac_binary64
8×distribute-lft-in_binary64 distribute-rgt-in_binary64 associate-+r+_binary64
7×add-exp-log_binary64 add-cbrt-cube_binary64
5×associate-*r*_binary64
4×add-log-exp_binary64 sub-neg_binary64 pow1_binary64
2×flip3--_binary64 cbrt-unprod_binary64 associate-*r/_binary64 unswap-sqr_binary64 prod-exp_binary64 flip--_binary64 frac-times_binary64
1×pow-prod-down_binary64 flip3-+_binary64 cbrt-undiv_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 flip-+_binary64 associate-*l/_binary64 sum-log_binary64 *-commutative_binary64
Counts
2 → 65
Calls

2 calls:

11.0ms
(*.f64 (/.f64 4 y) (-.f64 x z))
5.0ms
(+.f64 4 (*.f64 (/.f64 4 y) (-.f64 x z)))

series125.0ms (4.8%)

Counts
2 → 6
Calls

2 calls:

84.0ms
(*.f64 (/.f64 4 y) (-.f64 x z))
41.0ms
(+.f64 4 (*.f64 (/.f64 4 y) (-.f64 x z)))

simplify62.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04958984
14958984

prune89.0ms (3.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New69271
Fresh101
Picked011
Done000
Total70373

Merged error: 0b

Counts
73 → 3
Compiler

Compiled 1431 to 956 computations (33.2% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 4 (/.f64 (*.f64 4 (-.f64 x z)) y))
0.3b
(/.f64 (*.f64 4 (-.f64 x z)) y)

rewrite16.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
7×add-exp-log_binary64 add-cbrt-cube_binary64
6×*-un-lft-identity_binary64
4×add-log-exp_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
3×associate-/r*_binary64 times-frac_binary64
2×associate-/l/_binary64 pow1_binary64 cbrt-undiv_binary64 associate-*r/_binary64 div-exp_binary64
1×flip3-+_binary64 flip3--_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 +-commutative_binary64 flip--_binary64 flip-+_binary64 sum-log_binary64
Counts
2 → 35
Calls

2 calls:

8.0ms
(/.f64 (*.f64 4 (-.f64 x z)) y)
5.0ms
(+.f64 4 (/.f64 (*.f64 4 (-.f64 x z)) y))

series112.0ms (4.3%)

Counts
2 → 6
Calls

2 calls:

64.0ms
(/.f64 (*.f64 4 (-.f64 x z)) y)
48.0ms
(+.f64 4 (/.f64 (*.f64 4 (-.f64 x z)) y))

simplify54.0ms (2%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05001578

prune30.0ms (1.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New41041
Fresh011
Picked011
Done011
Total41344

Merged error: 0b

Counts
44 → 3
Compiler

Compiled 573 to 336 computations (41.4% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (/.f64 4 y) (-.f64 x z))
0.3b
(*.f64 (/.f64 4 y) (-.f64 x z))
3.8b
(sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))
3.8b
(sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))

rewrite52.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
38×add-sqr-sqrt_binary64
28×*-un-lft-identity_binary64
26×associate-*l*_binary64
24×add-cube-cbrt_binary64
20×times-frac_binary64
14×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
12×cancel-sign-sub-inv_binary64
10×associate-*r*_binary64 sqrt-div_binary64
8×flip3--_binary64 associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 flip--_binary64 frac-times_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 sub-neg_binary64 cbrt-unprod_binary64 sqrt-pow1_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-*l/_binary64
2×pow1/2_binary64 cbrt-undiv_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 div-inv_binary64 div-exp_binary64 sqrt-prod_binary64 *-commutative_binary64
Counts
4 → 124
Calls

4 calls:

13.0ms
(*.f64 (/.f64 4 y) (-.f64 x z))
11.0ms
(*.f64 (/.f64 4 y) (-.f64 x z))
7.0ms
(sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))
7.0ms
(sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))

series448.0ms (17.1%)

Counts
4 → 12
Calls

4 calls:

144.0ms
(sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))
139.0ms
(sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))
91.0ms
(*.f64 (/.f64 4 y) (-.f64 x z))
75.0ms
(*.f64 (/.f64 4 y) (-.f64 x z))

simplify69.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
052522000

prune159.0ms (6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1360136
Fresh000
Picked011
Done022
Total1363139

Merged error: 0b

Counts
139 → 3
Compiler

Compiled 3396 to 1966 computations (42.1% saved)

regimes30.0ms (1.1%)

Compiler

Compiled 117 to 117 computations (0% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02113
12113

end0.0ms (0%)

sample626.0ms (23.8%)

Algorithm
1×intervals
Results
307.0ms8000×body128valid
36.0ms910×body128invalid
Compiler

Compiled 60 to 58 computations (3.3% saved)

Profiling

Loading profile data...