Metrics for Expression 1, p15

analyze11.0ms (0.5%)

Memory

3.7MiB live, 3.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 26 to 21 computations (19.2% saved)

sample1.9s (91.1%)

Memory

1.3MiB live, 551.3MiB allocated

Samples

485.0ms	8 256×	valid-sollya
390.0ms	8 256×	valid-baseline
327.0ms	8 256×	valid-rival

Bogosity

preprocess147.0ms (7%)

Memory

-5.3MiB live, 25.2MiB allocated

Algorithm

1×	egg-herbie

Rules

684×	`distribute-neg-in`
682×	`sub-neg`
611×	`distribute-rgt-in`
436×	`fmm-def`
423×	`associate-+r+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	908
1	228	896
2	797	880
3	3183	880
4	6549	880
5	7498	880
6	7885	880

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) a) b)
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) b) c)
(+.f64 (+.f64 (+.f64 (+.f64 e a) c) b) d)
(+.f64 (+.f64 (+.f64 (+.f64 a d) c) b) e)
(+.f64 (+.f64 (+.f64 (+.f64 e d) b) c) a)
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) d) a)
(+.f64 (+.f64 (+.f64 (+.f64 b d) c) e) a)
(+.f64 (+.f64 (+.f64 (+.f64 e c) d) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 c d) e) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 d e) c) b) a)

Outputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(-.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
(+.f64 e (+.f64 (+.f64 d c) (-.f64 b a)))
(+.f64 e (+.f64 d (+.f64 c (-.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a)
(+.f64 a (-.f64 (+.f64 e (+.f64 d c)) b))
(+.f64 a (+.f64 e (+.f64 d (-.f64 c b))))
(+.f64 e (-.f64 (+.f64 d c) (-.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a)
(+.f64 a (+.f64 b (-.f64 (+.f64 e d) c)))
(+.f64 a (+.f64 b (+.f64 e (-.f64 d c))))
(+.f64 e (+.f64 (+.f64 d a) (-.f64 b c)))
(+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a)
(+.f64 a (+.f64 b (+.f64 c (-.f64 e d))))
(+.f64 a (+.f64 b (-.f64 e (-.f64 d c))))
(+.f64 (+.f64 e (-.f64 c d)) (+.f64 b a))
(+.f64 e (+.f64 (+.f64 c (-.f64 b d)) a))
(+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a)
(+.f64 a (+.f64 b (+.f64 c (+.f64 d (neg.f64 e)))))
(+.f64 b (+.f64 (+.f64 c (-.f64 d e)) a))
(+.f64 d (+.f64 (-.f64 c e) (+.f64 b a)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a)))
(neg.f64 (-.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a))
(-.f64 a (+.f64 e (+.f64 d (+.f64 c b))))
(-.f64 (-.f64 a (+.f64 d b)) (+.f64 e c))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a))
(neg.f64 (+.f64 a (-.f64 (+.f64 e (+.f64 d c)) b)))
(-.f64 (neg.f64 a) (+.f64 e (+.f64 d (-.f64 c b))))
(-.f64 b (+.f64 e (+.f64 c (+.f64 d a))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a))
(neg.f64 (+.f64 a (+.f64 b (-.f64 (+.f64 e d) c))))
(-.f64 (neg.f64 a) (+.f64 b (+.f64 e (-.f64 d c))))
(-.f64 (-.f64 (-.f64 (-.f64 c d) e) b) a)
(-.f64 c (+.f64 e (+.f64 d (+.f64 b a))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a))
(neg.f64 (+.f64 a (+.f64 b (+.f64 c (-.f64 e d)))))
(-.f64 (neg.f64 a) (+.f64 b (-.f64 e (-.f64 d c))))
(-.f64 (-.f64 d e) (+.f64 c (+.f64 b a)))
(-.f64 d (+.f64 e (+.f64 c (+.f64 b a))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a))
(neg.f64 (+.f64 a (+.f64 b (+.f64 c (+.f64 d (neg.f64 e))))))
(-.f64 (neg.f64 a) (+.f64 c (+.f64 (-.f64 d e) b)))
(-.f64 (-.f64 e d) (+.f64 c (+.f64 b a)))
(-.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) a) b)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) b) c)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e a) c) b) d)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 a d) c) b) e)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) b) c) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) d) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 b d) c) e) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 e c) d) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 c d) e) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 (+.f64 (+.f64 d e) c) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 d (+.f64 (+.f64 e c) (+.f64 b a)))
(+.f64 e (+.f64 (+.f64 d c) (+.f64 b a)))

Symmetry

(sort a b c d e)

Compiler

Compiled 14 to 9 computations (35.7% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 5 to 5 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.4%	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Compiler

Compiled 28 to 18 computations (35.7% saved)

simplify2.0ms (0.1%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	40
1	21	40

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Outputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 14 to 9 computations (35.7% saved)

preprocess27.0ms (1.3%)

Memory: 0.4MiB live, 36.2MiB allocated
Remove: (sort a b c d e)
Compiler: Compiled 140 to 90 computations (35.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze11.0ms (0.5%)

sample1.9s (91.1%)

preprocess147.0ms (7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess27.0ms (1.3%)

end0.0ms (0%)

Profiling