Expression, p14

Time bar (total: 2.5s)

analyze12.0ms (0.5%)

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

Compiled 21 to 17 computations (19% saved)

sample2.1s (82.9%)

Memory
1.5MiB live, 655.4MiB allocated
Samples
488.0ms8 256×0valid-sollya
374.0ms8 256×0valid-baseline
319.0ms8 256×0valid-rival
Bogosity

preprocess378.0ms (14.9%)

Memory
10.6MiB live, 26.2MiB allocated
Algorithm
1×egg-herbie
Rules
2 098×fmm-def
481×unsub-neg
380×distribute-lft-in
348×distribute-rgt-in
257×sub-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
049520
1177512
2608500
31812500
43738500
54573500
65017500
75039500
85039500
95058500
105058500
115058500
126941500
136941500
146941500
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 a (+.f64 (+.f64 b c) d))
(*.f64 a (+.f64 (+.f64 b c) d))
(*.f64 (neg.f64 a) (+.f64 (+.f64 b c) d))
(*.f64 a (+.f64 (+.f64 (neg.f64 b) c) d))
(*.f64 a (+.f64 (+.f64 b (neg.f64 c)) d))
(*.f64 a (+.f64 (+.f64 b c) (neg.f64 d)))
(neg.f64 (*.f64 (neg.f64 a) (+.f64 (+.f64 b c) d)))
(neg.f64 (*.f64 a (+.f64 (+.f64 (neg.f64 b) c) d)))
(neg.f64 (*.f64 a (+.f64 (+.f64 b (neg.f64 c)) d)))
(neg.f64 (*.f64 a (+.f64 (+.f64 b c) (neg.f64 d))))
(*.f64 b (+.f64 (+.f64 a c) d))
(*.f64 c (+.f64 (+.f64 b a) d))
(*.f64 d (+.f64 (+.f64 b c) a))
(*.f64 a (+.f64 (+.f64 c b) d))
(*.f64 a (+.f64 (+.f64 d c) b))
(*.f64 a (+.f64 (+.f64 b d) c))
Outputs
(*.f64 a (+.f64 (+.f64 b c) d))
(*.f64 a (+.f64 c (+.f64 b d)))
(*.f64 a (+.f64 (+.f64 b c) d))
(*.f64 a (+.f64 c (+.f64 b d)))
(*.f64 (neg.f64 a) (+.f64 (+.f64 b c) d))
(*.f64 (+.f64 c (+.f64 b d)) (neg.f64 a))
(*.f64 a (+.f64 (+.f64 (neg.f64 b) c) d))
(*.f64 a (+.f64 d (+.f64 c (neg.f64 b))))
(*.f64 a (+.f64 d (-.f64 c b)))
(*.f64 a (-.f64 (+.f64 c d) b))
(*.f64 a (-.f64 d (-.f64 b c)))
(*.f64 a (+.f64 (+.f64 b (neg.f64 c)) d))
(*.f64 a (+.f64 d (-.f64 b c)))
(*.f64 a (+.f64 b (-.f64 d c)))
(*.f64 a (+.f64 (+.f64 b c) (neg.f64 d)))
(*.f64 a (-.f64 (+.f64 b c) d))
(*.f64 a (+.f64 b (-.f64 c d)))
(neg.f64 (*.f64 (neg.f64 a) (+.f64 (+.f64 b c) d)))
(*.f64 a (+.f64 c (+.f64 b d)))
(neg.f64 (*.f64 a (+.f64 (+.f64 (neg.f64 b) c) d)))
(*.f64 a (neg.f64 (+.f64 d (+.f64 c (neg.f64 b)))))
(*.f64 a (neg.f64 (+.f64 d (-.f64 c b))))
(*.f64 a (-.f64 b (+.f64 c d)))
(neg.f64 (*.f64 a (+.f64 (+.f64 b (neg.f64 c)) d)))
(*.f64 (neg.f64 a) (+.f64 d (-.f64 b c)))
(*.f64 a (-.f64 (-.f64 c d) b))
(*.f64 a (-.f64 c (+.f64 b d)))
(neg.f64 (*.f64 a (+.f64 (+.f64 b c) (neg.f64 d))))
(*.f64 a (neg.f64 (-.f64 (+.f64 b c) d)))
(*.f64 a (neg.f64 (+.f64 b (-.f64 c d))))
(*.f64 a (-.f64 d (+.f64 b c)))
(*.f64 b (+.f64 (+.f64 a c) d))
(*.f64 b (+.f64 a (+.f64 c d)))
(*.f64 c (+.f64 (+.f64 b a) d))
(*.f64 c (+.f64 b (+.f64 a d)))
(*.f64 c (+.f64 a (+.f64 b d)))
(*.f64 d (+.f64 (+.f64 b c) a))
(*.f64 d (+.f64 a (+.f64 b c)))
(*.f64 d (+.f64 b (+.f64 a c)))
(*.f64 a (+.f64 (+.f64 c b) d))
(*.f64 a (+.f64 c (+.f64 b d)))
(*.f64 a (+.f64 (+.f64 d c) b))
(*.f64 a (+.f64 c (+.f64 b d)))
(*.f64 a (+.f64 (+.f64 b d) c))
(*.f64 a (+.f64 c (+.f64 b d)))
Symmetry

(negabs a)

(sort b c d)

Compiler

Compiled 11 to 7 computations (36.4% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 a (+.f64 (+.f64 b c) d))
Compiler

Compiled 22 to 14 computations (36.4% saved)

simplify1.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Rules
2×+-commutative
1×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01431
11731
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 a (+.f64 (+.f64 b c) d))
Outputs
(*.f64 a (+.f64 (+.f64 b c) d))

soundness0.0ms (0%)

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

Compiled 11 to 7 computations (36.4% saved)

preprocess42.0ms (1.7%)

Memory
-2.3MiB live, 46.6MiB allocated
Remove

(negabs a)

Compiler

Compiled 202 to 128 computations (36.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...