Details

Time bar (total: 3.6s)

analyze1.6s (42.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.6%98.1%0.3%13
3.1%96.6%0.3%14
Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.6s (45.2%)

Symmetry

(sort x y)

(sort z t)

(sort a b)

Results
1.1s8256×body128valid
517.0ms4073×body128invalid
Compiler

Compiled 53 to 35 computations (34% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
18×fma-def_binary64
5×+-commutative_binary64
3×*-commutative_binary64
3×associate-+r+_binary64
3×associate-+l+_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01214
12012
23512
34312
44312

prune7.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 a b (fma.f64 x y (*.f64 z t)))
Compiler

Compiled 56 to 31 computations (44.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 a b (fma.f64 x y (*.f64 z t)))

series18.0ms (0.5%)

Counts
1 → 72
Calls

1 calls:

18.0ms
(fma.f64 a b (fma.f64 x y (*.f64 z t)))

rewrite45.0ms (1.2%)

Algorithm
2×batch-egg-rewrite
Rules
869×log1p-expm1-u_binary64
869×expm1-log1p-u_binary64
240×prod-diff_binary64
102×add-sqr-sqrt_binary64
93×add-log-exp_binary64
Counts
1 → 24
Calls

1 calls:

44.0ms
(fma.f64 a b (fma.f64 x y (*.f64 z t)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
119612
2226612
3583712
000
100

simplify22.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
18×fma-def_binary64
5×+-commutative_binary64
3×*-commutative_binary64
2×associate-+r+_binary64
1×associate-+l+_binary64
Counts
96 → 36
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
015744
129744
241744
343744
443744

prune19.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New35136
Fresh000
Picked011
Done000
Total35237
Error
0b
Counts
37 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 a b (fma.f64 x y (*.f64 z t)))
▶23.5b
(fma.f64 t z (*.f64 a b))
Compiler

Compiled 480 to 117 computations (75.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 t z (*.f64 a b))

series9.0ms (0.3%)

Counts
1 → 48
Calls

1 calls:

9.0ms
(fma.f64 t z (*.f64 a b))

rewrite39.0ms (1.1%)

Algorithm
2×batch-egg-rewrite
Rules
602×log1p-expm1-u_binary64
602×expm1-log1p-u_binary64
339×log-prod_binary64
176×prod-diff_binary64
129×expm1-udef_binary64
Counts
1 → 29
Calls

1 calls:

38.0ms
(fma.f64 t z (*.f64 a b))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
11378
215808
351478
000
100

simplify13.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
2×*-commutative_binary64
1×+-commutative_binary64
Counts
77 → 32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08336
112336
215336
315336

prune12.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New32032
Fresh000
Picked011
Done011
Total32234
Error
0b
Counts
34 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 a b (fma.f64 x y (*.f64 z t)))
✓23.5b
(fma.f64 t z (*.f64 a b))
Compiler

Compiled 391 to 119 computations (69.6% saved)

regimes158.0ms (4.3%)

Accuracy

Total 0.0b remaining (28.9%)

Threshold costs 0.0b (28.9%)

Counts
11 → 1
Compiler

Compiled 1939 to 1355 computations (30.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11112
21112

end86.0ms (2.4%)

Remove

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 147 to 89 computations (39.5% saved)

Profiling

Loading profile data...