Details

Time bar (total: 4.4s)

analyze501.0ms (11.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0475420
1475420
022
122
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%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample16.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify164.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (158.0ms)

IterNodesCost
0524810

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 2
Compiler

Compiled 23 to 21 computations (8.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

rewrite26.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×*-un-lft-identity_binary64_15082
3×add-log-exp_binary64_15121
2×times-frac_binary64_15088 distribute-lft-out_binary64_15033
1×sum-log_binary64_15173 pow1_binary64_15143 add-exp-log_binary64_15120 add-cbrt-cube_binary64_15118 add-cube-cbrt_binary64_15117 add-sqr-sqrt_binary64_15104 frac-add_binary64_15090 flip3-+_binary64_15085 flip-+_binary64_15056 +-commutative_binary64_15012
Counts
1 → 14
Calls

1 calls:

13.0ms
(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))
Compiler

Compiled 209 to 161 computations (23% saved)

series109.0ms (2.5%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

101.0ms
(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))
Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify82.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
04854293
14854293

prune22.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh011
Picked011
Done000
Total24428
Error
0.0b
Counts
28 → 4
Compiler

Compiled 294 to 224 computations (23.8% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
0.6b
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

rewrite422.0ms (9.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
121×add-sqr-sqrt_binary64_15104
92×cbrt-prod_binary64_15113
91×*-un-lft-identity_binary64_15082
70×times-frac_binary64_15088
37×distribute-lft-out--_binary64_15034
33×cbrt-div_binary64_15114
29×add-cube-cbrt_binary64_15117
28×difference-of-squares_binary64_15051
17×swap-sqr_binary64_15049
15×associate-*l*_binary64_15023 associate-*r*_binary64_15022
14×div-inv_binary64_15079
11×pow1_binary64_15143 frac-sub_binary64_15091 flip3--_binary64_15086 flip--_binary64_15057
9×pow1/3_binary64_15164 frac-times_binary64_15092
6×add-exp-log_binary64_15120
4×add-log-exp_binary64_15121 add-cbrt-cube_binary64_15118 unswap-sqr_binary64_15050
3×associate-*l/_binary64_15025 associate-*r/_binary64_15024
2×pow-prod-down_binary64_15153 pow-prod-up_binary64_15152 pow-sqr_binary64_15055
1×pow2_binary64_15163 pow-plus_binary64_15145 prod-exp_binary64_15131 cbrt-unprod_binary64_15115 *-commutative_binary64_15013
Counts
4 → 153
Calls

4 calls:

36.0ms
(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
16.0ms
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
14.0ms
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
Compiler

Compiled 5897 to 4599 computations (22% saved)

series594.0ms (13.5%)

Error
0.0b
Counts
4 → 44
Calls

4 calls:

171.0ms
(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
124.0ms
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
116.0ms
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
112.0ms
(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
Compiler

Compiled 3836 to 3236 computations (15.6% saved)

simplify89.0ms (2%)

Algorithm
1×egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
055144951

prune422.0ms (9.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1970197
Fresh022
Picked011
Done011
Total1974201
Error
0.0b
Counts
201 → 4
Compiler

Compiled 6530 to 4982 computations (23.7% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

13.5b
(/.f64 (-.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite35.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-exp-log_binary64_15120 add-cbrt-cube_binary64_15118
7×add-sqr-sqrt_binary64_15104 *-un-lft-identity_binary64_15082
5×times-frac_binary64_15088 associate-/l*_binary64_15027
3×prod-exp_binary64_15131 div-exp_binary64_15133 add-cube-cbrt_binary64_15117 cbrt-undiv_binary64_15116 cbrt-unprod_binary64_15115
2×difference-of-squares_binary64_15051 distribute-lft-out--_binary64_15034 associate-/l/_binary64_15029
1×pow1_binary64_15143 add-log-exp_binary64_15121 frac-2neg_binary64_15093 div-sub_binary64_15087 clear-num_binary64_15081 div-inv_binary64_15079 flip3--_binary64_15086 flip--_binary64_15057 associate-/r*_binary64_15026
Counts
1 → 30
Calls

1 calls:

9.0ms
(/.f64 (-.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 503 to 241 computations (52.1% saved)

series134.0ms (3%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

128.0ms
(/.f64 (-.f64 x y) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify52.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05374514

prune29.0ms (0.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New41142
Fresh011
Picked011
Done112
Total42446
Error
0b
Counts
46 → 4
Compiler

Compiled 468 to 277 computations (40.8% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (-.f64 x y) y)
0.0b
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y)))
8.3b
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y))

rewrite266.0ms (6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
272×times-frac_binary64_15088
140×add-sqr-sqrt_binary64_15104 *-un-lft-identity_binary64_15082
96×add-cube-cbrt_binary64_15117
61×add-exp-log_binary64_15120
46×associate-/r*_binary64_15026
35×div-exp_binary64_15133 add-cbrt-cube_binary64_15118
22×difference-of-squares_binary64_15051 distribute-lft-out--_binary64_15034
18×cbrt-undiv_binary64_15116
13×div-inv_binary64_15079
9×associate-/l*_binary64_15027
8×prod-exp_binary64_15131
6×associate-/r/_binary64_15028
5×1-exp_binary64_15126 rec-exp_binary64_15132
4×pow1_binary64_15143 cbrt-unprod_binary64_15115
3×add-log-exp_binary64_15121 frac-2neg_binary64_15093 clear-num_binary64_15081
2×associate-/l/_binary64_15029
1×inv-pow_binary64_15167 pow-flip_binary64_15156 div-sub_binary64_15087 flip3--_binary64_15086 flip--_binary64_15057
Counts
3 → 228
Calls

3 calls:

17.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y)))
9.0ms
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y))
6.0ms
(/.f64 (-.f64 x y) y)
Compiler

Compiled 4779 to 2111 computations (55.8% saved)

series348.0ms (7.9%)

Error
0b
Counts
3 → 45
Calls

3 calls:

131.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y)))
103.0ms
(/.f64 (*.f64 x 2) (/.f64 (-.f64 x y) y))
81.0ms
(/.f64 (-.f64 x y) y)
Compiler

Compiled 1332 to 1149 computations (13.7% saved)

simplify99.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
273 → 273
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050675075

prune220.0ms (5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2721273
Fresh101
Picked011
Done022
Total2734277
Error
0b
Counts
277 → 4
Compiler

Compiled 4484 to 2113 computations (52.9% saved)

regimes77.0ms (1.7%)

Accuracy

Total 0.0b remaining (92.9%)

Threshold costs 0.0b (92.9%)

Compiler

Compiled 613 to 526 computations (14.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0910
1910

end0.0ms (0%)

sample668.0ms (15.2%)

Algorithm
1×intervals
Results
211.0ms8000×body128valid
0.0ms2×body128invalid
Compiler

Compiled 221 to 192 computations (13.1% saved)

Profiling

Loading profile data...