Details

Time bar (total: 1.7s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.1s (66%)

Results
1.0s8256×body128valid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify43.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
299×fma-neg_binary64
252×fma-def_binary64
95×cancel-sign-sub-inv_binary64
42×distribute-rgt-neg-in_binary64
41×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0911
11811
22811
33710
45310
57710
611510
717610
834910
951610
1059410
1166510
1267010
1362710

prune5.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 x (+.f64 y z) (neg.f64 z))
0.8b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 63 to 39 computations (38.1% saved)

localize10.0ms (0.6%)

Local error

Found 1 expressions with local error:

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

series14.0ms (0.8%)

Counts
1 → 36
Calls

1 calls:

14.0ms
(fma.f64 x (+.f64 y z) (neg.f64 z))

rewrite1.0ms (0.1%)

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:

1.0ms
(fma.f64 x (+.f64 y z) (neg.f64 z))

simplify88.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
639×distribute-rgt-in_binary64
639×neg-mul-1_binary64
617×distribute-lft-in_binary64
453×unsub-neg_binary64
338×distribute-rgt-neg-out_binary64
Counts
46 → 28
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
031471
155450
2130450
3459450
42525450
54192450
65071450

prune27.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New28028
Fresh011
Picked011
Done000
Total28230
Error
0b
Counts
30 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x (+.f64 y z) (neg.f64 z))
▶0.8b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 314 to 86 computations (72.6% saved)

localize13.0ms (0.7%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (-.f64 x 1) z)
✓0.7b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))

series21.0ms (1.2%)

Counts
2 → 48
Calls

2 calls:

13.0ms
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
8.0ms
(*.f64 (-.f64 x 1) z)

rewrite18.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64
7×associate-*l*_binary64
7×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
Counts
2 → 40
Calls

2 calls:

9.0ms
(*.f64 (-.f64 x 1) z)
6.0ms
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))

simplify86.0ms (5%)

Algorithm
1×egg-herbie
Rules
654×associate-+l+_binary64
334×associate-*l*_binary64
269×fma-def_binary64
262×distribute-rgt-in_binary64
249×fma-neg_binary64
Counts
88 → 75
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
082898
1212859
2647859
32167856
44970856

prune69.0ms (4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New75075
Fresh000
Picked011
Done011
Total75277
Error
0b
Counts
77 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x (+.f64 y z) (neg.f64 z))
✓0.8b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 1099 to 503 computations (54.2% saved)

regimes108.0ms (6.3%)

Accuracy

Total 0.0b remaining (80%)

Threshold costs 0.0b (80%)

Counts
11 → 1
Compiler

Compiled 416 to 278 computations (33.2% saved)

simplify4.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11210
21410
31510
41510

end76.0ms (4.4%)

Compiler

Compiled 42 to 26 computations (38.1% saved)

Profiling

Loading profile data...