Details

Time bar (total: 4.9s)

analyze1.8s (37.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14
Compiler

Compiled 24 to 16 computations (33.3% saved)

sample113.0ms (2.3%)

Algorithm
1×intervals
Symmetry

(sort x y)

(sort z t)

(sort a b)

(sort c i)

Results
13.0ms256×body128valid
10.0ms195×body128invalid
Compiler

Compiled 55 to 39 computations (29.1% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
58×fma-def_binary64
24×associate-+l+_binary64
22×associate-+r+_binary64
17×+-commutative_binary64
4×*-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01620
12816
26116
310516
412116
512316
612316

prune8.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 c i (fma.f64 a b (fma.f64 x y (*.f64 z t))))
Compiler

Compiled 75 to 42 computations (44% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series43.0ms (0.9%)

Counts
2 → 144
Calls

2 calls:

34.0ms
(fma.f64 c i (fma.f64 a b (fma.f64 x y (*.f64 z t))))
9.0ms
(fma.f64 x y (*.f64 z t))

rewrite1.0ms (0%)

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

2 calls:

0.0ms
(fma.f64 x y (*.f64 z t))
0.0ms
(fma.f64 c i (fma.f64 a b (fma.f64 x y (*.f64 z t))))

simplify98.0ms (2%)

Algorithm
1×egg-herbie
Rules
684×associate-+r+_binary64
680×associate-+l+_binary64
533×distribute-rgt-out_binary64
436×unswap-sqr_binary64
392×associate-*l*_binary64
Counts
164 → 53
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0491992
1801942
21581942
35491942
414031942
537641942
649511942
750491942

prune44.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New51253
Fresh000
Picked101
Done000
Total52254
Error
0b
Counts
54 → 2
Alt Table
StatusErrorProgram
0.0b
(fma.f64 y x (fma.f64 a b (fma.f64 t z (*.f64 c i))))
▶0.0b
(fma.f64 c i (fma.f64 a b (fma.f64 t z (*.f64 y x))))
Compiler

Compiled 925 to 204 computations (77.9% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series40.0ms (0.8%)

Counts
2 → 144
Calls

2 calls:

31.0ms
(fma.f64 c i (fma.f64 a b (fma.f64 t z (*.f64 y x))))
9.0ms
(fma.f64 t z (*.f64 y x))

rewrite1.0ms (0%)

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

2 calls:

0.0ms
(fma.f64 t z (*.f64 y x))
0.0ms
(fma.f64 c i (fma.f64 a b (fma.f64 t z (*.f64 y x))))

simplify105.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
684×associate-+r+_binary64
680×associate-+l+_binary64
533×distribute-rgt-out_binary64
436×unswap-sqr_binary64
392×associate-*l*_binary64
Counts
164 → 52
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0471992
1801942
21581942
35491942
414031942
537641942
649511942
750491942

prune26.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New52052
Fresh011
Picked011
Done000
Total52254
Error
0b
Counts
54 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 y x (fma.f64 a b (fma.f64 t z (*.f64 c i))))
✓0.0b
(fma.f64 c i (fma.f64 a b (fma.f64 t z (*.f64 y x))))
Compiler

Compiled 892 to 187 computations (79% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series67.0ms (1.4%)

Counts
3 → 216
Calls

3 calls:

38.0ms
(fma.f64 y x (fma.f64 a b (fma.f64 t z (*.f64 c i))))
19.0ms
(fma.f64 a b (fma.f64 t z (*.f64 c i)))
9.0ms
(fma.f64 t z (*.f64 c i))

rewrite2.0ms (0%)

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

3 calls:

0.0ms
(fma.f64 t z (*.f64 c i))
0.0ms
(fma.f64 a b (fma.f64 t z (*.f64 c i)))
0.0ms
(fma.f64 y x (fma.f64 a b (fma.f64 t z (*.f64 c i))))

simplify76.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
814×associate-+r+_binary64
749×associate-+l+_binary64
681×fma-def_binary64
440×associate-*l*_binary64
356×associate-*r*_binary64
Counts
246 → 75
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0572908
1872833
22312833
310552833
455062833

prune43.0ms (0.9%)

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 y x (fma.f64 a b (fma.f64 t z (*.f64 c i))))
✓0.0b
(fma.f64 c i (fma.f64 a b (fma.f64 t z (*.f64 y x))))
Compiler

Compiled 1258 to 231 computations (81.6% saved)

regimes487.0ms (9.9%)

Accuracy

Total 0.0b remaining (73.2%)

Threshold costs 0.0b (73.2%)

Counts
29 → 1
Compiler

Compiled 9160 to 6168 computations (32.7% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01316
11416
21416

end82.0ms (1.7%)

Remove

(sort c i)

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 180 to 108 computations (40% saved)

sample1.8s (36.7%)

Algorithm
1×intervals
Results
595.0ms8000×body128valid
315.0ms5653×body128invalid
Compiler

Compiled 92 to 60 computations (34.8% saved)

Profiling

Loading profile data...