Details

Time bar (total: 2.8s)

analyze572.0ms (20.3%)

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
12.5%87.4%0.1%7
12.5%71.8%15.7%8
25%56.2%18.9%9
31.2%43.7%25.1%10
39%34.7%26.3%11
44.9%27.9%27.3%12
47.8%22%30.2%13
52.6%16.8%30.7%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample33.0ms (1.2%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
1.0ms17×body128invalid
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify22.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
335×fma-def_binary64
126×fma-neg_binary64
60×cancel-sign-sub-inv_binary64
40×distribute-rgt-neg-in_binary64
28×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0913
11911
24511
39111
412011
517911
624011
729411
837711
939611
1045011
1146211
1241311

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))
Compiler

Compiled 44 to 27 computations (38.6% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

series12.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

12.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×cancel-sign-sub-inv_binary64
1×flip--_binary64
1×sub-neg_binary64
1×*-un-lft-identity_binary64
Counts
1 → 16
Calls

1 calls:

3.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) z))

simplify67.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
974×fma-def_binary64
507×associate-*l*_binary64
406×associate-*r*_binary64
356×distribute-rgt-neg-in_binary64
346×distribute-lft-neg-in_binary64
Counts
52 → 33
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
047649
1128606
2473595
32020593
44542593
54918593

prune27.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New31233
Fresh000
Picked101
Done000
Total32234
Error
0b
Counts
34 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 x x (neg.f64 (*.f64 (*.f64 y 4) z)))
17.5b
(*.f64 (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))) (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))))
Compiler

Compiled 557 to 282 computations (49.4% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x x (neg.f64 (*.f64 (*.f64 y 4) z)))

series12.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

12.0ms
(fma.f64 x x (neg.f64 (*.f64 (*.f64 y 4) z)))

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 x x (neg.f64 (*.f64 (*.f64 y 4) z)))

simplify90.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
400×neg-sub0_binary64
371×neg-mul-1_binary64
363×associate-*l*_binary64
323×associate-*r*_binary64
228×distribute-rgt-neg-out_binary64
Counts
46 → 22
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
026586
151485
2109485
3351485
41659485
53911485
64499485
74950485

prune12.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New22022
Fresh011
Picked011
Done000
Total22224
Error
0b
Counts
24 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x x (neg.f64 (*.f64 (*.f64 y 4) z)))
▶17.5b
(*.f64 (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))) (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))))
Compiler

Compiled 345 to 185 computations (46.4% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 -4 (*.f64 y z) (*.f64 x x))
✓0.2b
(*.f64 (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))) (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))))
✓3.5b
(sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x)))

series78.0ms (2.8%)

Counts
3 → 92
Calls

3 calls:

52.0ms
(sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x)))
14.0ms
(*.f64 (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))) (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))))
11.0ms
(fma.f64 -4 (*.f64 y z) (*.f64 x x))

rewrite14.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
19×pow1_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
Counts
3 → 78
Calls

3 calls:

6.0ms
(*.f64 (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))) (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))))
1.0ms
(sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x)))
0.0ms
(fma.f64 -4 (*.f64 y z) (*.f64 x x))

simplify148.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
564×unswap-sqr_binary64
403×times-frac_binary64
392×associate-*l*_binary64
384×associate-*r*_binary64
316×fma-neg_binary64
Counts
170 → 123
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01122793
12552460
27782312
339652266
455872266

prune205.0ms (7.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1770177
Fresh000
Picked011
Done011
Total1772179
Error
0b
Counts
179 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x x (neg.f64 (*.f64 (*.f64 y 4) z)))
✓17.5b
(*.f64 (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))) (sqrt.f64 (fma.f64 -4 (*.f64 y z) (*.f64 x x))))
Compiler

Compiled 4577 to 2255 computations (50.7% saved)

regimes367.0ms (13%)

Accuracy

Total 0.0b remaining (56.5%)

Threshold costs 0.0b (56.5%)

Counts
25 → 1
Compiler

Compiled 2877 to 1999 computations (30.5% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
6×*-commutative_binary64
4×+-commutative_binary64
4×distribute-lft-neg-in_binary64
4×distribute-rgt-neg-in_binary64
4×sub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0913
11911
23411
34111
44511
54611
64511

end13.0ms (0.4%)

Remove

(sort y z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

sample1.1s (39.4%)

Algorithm
1×intervals
Results
546.0ms8000×body128valid
31.0ms500×body128invalid
Compiler

Compiled 61 to 39 computations (36.1% saved)

Profiling

Loading profile data...