Details

Time bar (total: 1.6s)

analyze69.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
25%74.9%0.1%4
37.5%62.4%0.1%5
62.4%37.5%0.1%6
71.8%28.1%0.1%7
76.5%21.9%1.7%8
80.4%16.4%3.2%9
82.3%11.7%6%10
84.1%8.8%7.1%11
85%6%9%12
85.8%4.5%9.7%13
86.2%3.1%10.7%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample69.0ms (4.2%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
0.0ms6×body128invalid
Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify33.0ms (2%)

Algorithm
1×egg-herbie
Rules
221×fma-def_binary64
170×fma-neg_binary64
140×div-sub_binary64
107×times-frac_binary64
59×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1107
2187
3307
4517
5747
61167
72077
83237
95007
105287
115547
125687
135937
145157

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (-.f64 x y) x)
Compiler

Compiled 21 to 12 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x y) x)

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(/.f64 (-.f64 x y) x)

rewrite11.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64
19×add-sqr-sqrt_binary64
15×times-frac_binary64
11×add-cube-cbrt_binary64
5×associate-/l*_binary64
Counts
1 → 40
Calls

1 calls:

5.0ms
(/.f64 (-.f64 x y) x)

simplify58.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
910×div-sub_binary64
416×unsub-neg_binary64
409×times-frac_binary64
340×associate-/l*_binary64
304×fma-def_binary64
Counts
64 → 55
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
075719
1160685
2354683
3859683
42819683
55136683

prune22.0ms (1.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New53255
Fresh000
Picked101
Done000
Total54256
Error
0b
Counts
56 → 2
Alt Table
StatusErrorProgram
42.7b
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x)))))
▶0.0b
(-.f64 1 (/.f64 y x))
Compiler

Compiled 686 to 224 computations (67.3% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 1 (/.f64 y x))

series5.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

5.0ms
(-.f64 1 (/.f64 y x))

rewrite12.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
51×add-sqr-sqrt_binary64
47×*-un-lft-identity_binary64
43×add-cube-cbrt_binary64
39×prod-diff_binary64
38×times-frac_binary64
Counts
1 → 73
Calls

1 calls:

6.0ms
(-.f64 1 (/.f64 y x))

simplify95.0ms (5.8%)

Algorithm
1×egg-herbie
Rules
1142×fma-def_binary64
400×associate-*l/_binary64
352×associate-*r/_binary64
336×exp-prod_binary64
317×fma-neg_binary64
Counts
79 → 80
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01441075
1364900
2945666
33363666
44151666
54853666
64647666

prune38.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New80080
Fresh011
Picked011
Done000
Total80282
Error
0b
Counts
82 → 2
Alt Table
StatusErrorProgram
▶42.7b
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x)))))
✓0.0b
(-.f64 1 (/.f64 y x))
Compiler

Compiled 2095 to 755 computations (64% saved)

localize10.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.0b
(*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x))))
✓1.3b
(fma.f64 y y (*.f64 x (+.f64 y x)))
✓3.8b
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
✓41.4b
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x)))))

series56.0ms (3.4%)

Counts
4 → 78
Calls

4 calls:

28.0ms
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x)))))
11.0ms
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
9.0ms
(*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x))))
8.0ms
(fma.f64 y y (*.f64 x (+.f64 y x)))

rewrite61.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Rules
160×add-sqr-sqrt_binary64
144×prod-diff_binary64
116×*-un-lft-identity_binary64
114×cube-prod_binary64
114×unpow-prod-down_binary64
Counts
4 → 305
Calls

4 calls:

16.0ms
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x)))))
13.0ms
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
3.0ms
(*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x))))
0.0ms
(fma.f64 y y (*.f64 x (+.f64 y x)))

simplify282.0ms (17.2%)

Algorithm
1×egg-herbie
Rules
796×exp-prod_binary64
412×fma-neg_binary64
297×cancel-sign-sub-inv_binary64
251×associate-*l*_binary64
211×distribute-rgt-neg-in_binary64
Counts
383 → 261
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02987793
15046671
225105804
339705547
446935547
549835547
648345547

prune157.0ms (9.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2610261
Fresh000
Picked011
Done011
Total2612263
Error
0b
Counts
263 → 2
Alt Table
StatusErrorProgram
✓42.7b
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 x (fma.f64 y y (*.f64 x (+.f64 y x)))))
✓0.0b
(-.f64 1 (/.f64 y x))
Compiler

Compiled 8514 to 4045 computations (52.5% saved)

regimes51.0ms (3.1%)

Accuracy

Total 0.0b remaining (33.3%)

Threshold costs 0.0b (33.3%)

Counts
15 → 1
Compiler

Compiled 692 to 451 computations (34.8% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
3×sub-neg_binary64
2×*-commutative_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1107
2167
3207
4237
5247
6237

end0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample599.0ms (36.5%)

Algorithm
1×intervals
Results
291.0ms8000×body128valid
52.0ms176×body128invalid
Compiler

Compiled 44 to 29 computations (34.1% saved)

Profiling

Loading profile data...