Commute and associate

Time bar (total: 4.8s)

analyze12.0ms (0.3%)

Memory
3.9MiB live, 3.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 28 to 19 computations (32.1% saved)

sample4.5s (94.8%)

Memory
-1.4MiB live, 1 706.7MiB allocated
Samples
973.0ms4 054×2valid-baseline
845.0ms4 201×1valid-baseline
530.0ms4 054×2valid-rival
392.0ms4 054×2valid-sollya
367.0ms4 201×1valid-rival
351.0ms4 201×1valid-sollya
0.0ms1×0valid-baseline
0.0ms1×0valid-sollya
0.0ms1×0valid-rival
Bogosity

preprocess200.0ms (4.2%)

Memory
3.1MiB live, 20.0MiB allocated
Algorithm
1×egg-herbie
Rules
1 242×associate-+r+
1 197×associate-+r-
1 191×associate-+l+
848×fmm-def
670×fma-define
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046539
114011
255111
3174511
4320711
5391511
6392611
7393411
8393411
9431611
10431611
11431611
12431611
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (+.f64 (neg.f64 x) (+.f64 y z)))
(-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (+.f64 x (+.f64 (neg.f64 y) z)))
(-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (+.f64 x (+.f64 y (neg.f64 z))))
(neg.f64 (-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (+.f64 (neg.f64 x) (+.f64 y z))))
(neg.f64 (-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (+.f64 x (+.f64 (neg.f64 y) z))))
(neg.f64 (-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (+.f64 x (+.f64 y (neg.f64 z)))))
(-.f64 (+.f64 (+.f64 y x) z) (+.f64 y (+.f64 x z)))
(-.f64 (+.f64 (+.f64 z y) x) (+.f64 z (+.f64 y x)))
(-.f64 (+.f64 (+.f64 x z) y) (+.f64 x (+.f64 z y)))
Outputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (+.f64 (neg.f64 x) (+.f64 y z)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (+.f64 x (+.f64 (neg.f64 y) z)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (+.f64 x (+.f64 y (neg.f64 z))))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(neg.f64 (-.f64 (+.f64 (+.f64 (neg.f64 x) y) z) (+.f64 (neg.f64 x) (+.f64 y z))))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(neg.f64 (-.f64 (+.f64 (+.f64 x (neg.f64 y)) z) (+.f64 x (+.f64 (neg.f64 y) z))))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(neg.f64 (-.f64 (+.f64 (+.f64 x y) (neg.f64 z)) (+.f64 x (+.f64 y (neg.f64 z)))))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 y x) z) (+.f64 y (+.f64 x z)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 z y) x) (+.f64 z (+.f64 y x)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
(-.f64 (+.f64 (+.f64 x z) y) (+.f64 x (+.f64 z y)))
(+.f64 (+.f64 x y) (-.f64 z (+.f64 y (+.f64 x z))))
#s(literal 0 binary64)
Symmetry

(abs x)

(abs y)

(abs z)

(negabs x)

(negabs y)

(negabs z)

(sort x y z)

Compiler

Compiled 14 to 8 computations (42.9% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Compiler

Compiled 28 to 16 computations (42.9% saved)

simplify3.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
1×egg-herbie
Rules
10×+-commutative
6×sub-neg
5×*-commutative
5×neg-sub0
5×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01449
12149
23049
34249
45349
55949
66149
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))
Outputs
(-.f64 (+.f64 (+.f64 x y) z) (+.f64 x (+.f64 y z)))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 14 to 8 computations (42.9% saved)

preprocess30.0ms (0.6%)

Memory
-6.9MiB live, 40.4MiB allocated
Remove

(negabs z)

(sort x y z)

(negabs y)

(negabs x)

(abs z)

(abs y)

(abs x)

Compiler

Compiled 504 to 288 computations (42.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...