Details

Time bar (total: 1.1s)

analyze2.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)

sample762.0ms (70.2%)

Infinites
20.5% of outputs are infinite.
Results
657.0ms8256×body128valid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify25.0ms (2.3%)

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

prune4.0ms (0.4%)

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))
2.5b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 63 to 39 computations (38.1% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.7%)

Counts
1 → 36
Calls

1 calls:

8.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:

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

simplify59.0ms (5.4%)

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

prune14.0ms (1.3%)

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))
▶2.5b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 314 to 86 computations (72.6% saved)

localize6.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

series16.0ms (1.5%)

Counts
2 → 48
Calls

2 calls:

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

rewrite10.0ms (0.9%)

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:

5.0ms
(*.f64 (-.f64 x 1) z)
3.0ms
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))

simplify51.0ms (4.7%)

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

prune35.0ms (3.2%)

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))
✓2.5b
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Compiler

Compiled 1099 to 503 computations (54.2% saved)

regimes48.0ms (4.5%)

Accuracy

Total 0.0b remaining (53.8%)

Threshold costs 0.0b (53.8%)

Counts
11 → 1
Compiler

Compiled 416 to 278 computations (33.2% saved)

simplify2.0ms (0.2%)

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

end37.0ms (3.4%)

Compiler

Compiled 42 to 26 computations (38.1% saved)

Profiling

Loading profile data...