Metrics for Expression, p6

analyze1.0ms (0%)

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 44 to 32 computations (27.3% saved)

sample35.7s (98.4%)

Results

5.2s	8256×	valid
943.0ms	8237×	valid-sollya
19.0ms	19×	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	sollya-time	check
(-13.869785966707894 -2.279772807178814 3.457807724390835 12.540233979774731)	-0.30303413944228375	(-0.30303413944228375 -0.30303413944228375)	+nan.0	valid	exit	0.235459	#f
(-13.057532305143193 -2.3078656346570727 3.2979685344160967 13.366727864007055)	2.5985969172457732	(2.5985969172457732 2.5985969172457732)	+nan.0	valid	exit	0.15067	#f
(-13.088389513150664 -2.912292786750296 3.2635678476761516 13.350262871748097)	1.2262968390465758	(1.2262968390465758 1.2262968390465758)	+nan.0	valid	exit	0.226577	#f
(-13.999005623023455 -2.2851567232544565 3.321485045033448 12.982815022125799)	0.040275441762669395	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-13.526889456807927 -2.5348439087797425 3.111354616947349 12.586371984970539)	-0.7280135273395638	(-0.7280135273395638 -0.7280135273395638)	+nan.0	valid	exit	0.24843499999999996	#f
(-13.590841501637582 -2.0925198269225946 3.3664350435458728 13.089807365950097)	1.5457621618715862	(1.5457621618715862 1.5457621618715862)	+nan.0	valid	exit	0.206824	#f
(-13.681712556428032 -2.928389289751563 3.245776175525132 13.101790859771295)	-0.5250696217663346	(-0.5250696217663346 -0.5250696217663346)	+nan.0	valid	exit	0.1893	#f
(-13.590768494051941 -2.6616343622702177 3.2981223497247902 13.406152863870993)	0.9037447145472486	(0.9037447145472486 0.9037447145472486)	+nan.0	valid	exit	0.240986	#f
(-13.380959842828167 -2.7083443094168396 3.3523308856866594 12.976427545877115)	0.4789085586375359	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-13.797137836254592 -2.899789788913667 3.2915290690552466 13.496405119094094)	0.1820131259621629	(0.1820131259621629 0.1820131259621629)	+nan.0	valid	exit	0.114131	#f
(-13.957300096982356 -2.924514632385292 3.0739573408308556 13.291111698605269)	-1.0334913798630483	(-1.0334913798630483 -1.0334913798630483)	+nan.0	valid	exit	0.210617	#f
(-13.722740863114955 -2.561554121245506 3.438715678175981 13.258246528756205)	0.8253344451434481	(0.8253344451434481 0.8253344451434481)	+nan.0	valid	exit	0.285275	#f
(-13.446816688720274 -2.7677255708000956 3.4944014548497635 13.225352995073985)	1.0104243808067581	(1.0104243808067581 1.0104243808067581)	+nan.0	valid	exit	0.204312	#f
(-13.568473711631205 -2.7184817113587036 3.2307312814557623 12.972732788651296)	-0.16698270576570007	(-0.16698270576570007 -0.16698270576570007)	+nan.0	valid	exit	0.241368	#f
(-13.569862048346224 -2.692617183892182 3.166599642355234 12.988843701264363)	-0.21407177723761706	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-13.581702527335677 -2.1167597961196916 3.4053599752191035 13.058727871211127)	1.5312510459497242	(1.5312510459497242 1.5312510459497242)	+nan.0	valid	exit	0.24800100000000003	#f
(-13.722917078430328 -2.5337623050808458 3.42482953013769 13.153060983253674)	0.642422259760381	(0.642422259760381 0.642422259760381)	+nan.0	valid	exit	0.23384100000000002	#f
(-13.62721815675288 -2.854363609762334 3.102453647232544 12.562551692164252)	-1.6331528542368359	(-1.6331528542368359 -1.6331528542368359)	+nan.0	valid	exit	0.23814100000000002	#f
(-13.838066313562997 -2.420038850754555 3.307443409096246 13.365087934154213)	0.828852357865812	(0.828852357865812 0.828852357865812)	+nan.0	valid	exit	0.25328999999999996	#f
(-13.489918648034324 -2.3672202926839523 3.3973239064459078 12.70671748420878)	0.4938048998728206	(0.4938048998728206 0.49380489987282417)	0.49380489987282417	valid	valid	0.09696099999999999	#f

Sollya timings

Total time spent in Sollya 962.0ms

Bogosity

preprocess451.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

803×	`fma-define`
756×	`distribute-rgt-in`
716×	`distribute-lft-in`
696×	`unsub-neg`
523×	`associate--r+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	616
1	159	592
2	465	592
3	2135	592
4	6380	592
5	7507	592
6	7923	592

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) #s(literal 2 binary64))
(neg.f64 (*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) #s(literal 2 binary64)))
(neg.f64 (*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) #s(literal 2 binary64)))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) #s(literal 2 binary64)))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) #s(literal 2 binary64)))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) #s(literal 2 binary64))
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) #s(literal 2 binary64))

Outputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (neg.f64 a) b) (+.f64 c d)))
(*.f64 #s(literal 2 binary64) (-.f64 (+.f64 b (+.f64 c d)) a))
(*.f64 #s(literal 2 binary64) (+.f64 c (-.f64 (+.f64 b d) a)))
(*.f64 (-.f64 a (+.f64 c (+.f64 b d))) #s(literal -2 binary64))
(*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 a (+.f64 (+.f64 c d) (neg.f64 b))))
(*.f64 #s(literal 2 binary64) (+.f64 a (-.f64 (+.f64 c d) b)))
(*.f64 #s(literal 2 binary64) (+.f64 c (+.f64 a (-.f64 d b))))
(*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 a (+.f64 b (+.f64 d (neg.f64 c)))))
(*.f64 #s(literal 2 binary64) (+.f64 a (+.f64 b (-.f64 d c))))
(*.f64 #s(literal 2 binary64) (+.f64 a (+.f64 d (-.f64 b c))))
(*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 a (+.f64 b (-.f64 c d))))
(*.f64 #s(literal 2 binary64) (+.f64 a (+.f64 c (-.f64 b d))))
(*.f64 #s(literal -2 binary64) (-.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (-.f64 d (+.f64 a (+.f64 b c))) #s(literal -2 binary64))
(neg.f64 (*.f64 (+.f64 (neg.f64 a) (+.f64 b (+.f64 c d))) #s(literal 2 binary64)))
(*.f64 (+.f64 (+.f64 (neg.f64 a) b) (+.f64 c d)) #s(literal -2 binary64))
(*.f64 (-.f64 (+.f64 b (+.f64 c d)) a) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (-.f64 a (+.f64 c (+.f64 b d))))
(neg.f64 (*.f64 (+.f64 a (+.f64 (neg.f64 b) (+.f64 c d))) #s(literal 2 binary64)))
(*.f64 (+.f64 a (+.f64 (+.f64 c d) (neg.f64 b))) #s(literal -2 binary64))
(*.f64 (+.f64 a (-.f64 (+.f64 c d) b)) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (-.f64 (-.f64 b c) (+.f64 a d)))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 (neg.f64 c) d))) #s(literal 2 binary64)))
(*.f64 (+.f64 a (+.f64 b (+.f64 d (neg.f64 c)))) #s(literal -2 binary64))
(*.f64 (+.f64 a (+.f64 b (-.f64 d c))) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (-.f64 (-.f64 c d) (+.f64 a b)))
(*.f64 #s(literal 2 binary64) (-.f64 c (+.f64 a (+.f64 b d))))
(neg.f64 (*.f64 (+.f64 a (+.f64 b (+.f64 c (neg.f64 d)))) #s(literal 2 binary64)))
(*.f64 (+.f64 a (+.f64 b (-.f64 c d))) #s(literal -2 binary64))
(*.f64 (+.f64 a (+.f64 c (-.f64 b d))) #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (-.f64 d (+.f64 a (+.f64 b c))))
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) #s(literal 2 binary64))

Symmetry

(sort a b c d)

Compiler

Compiled 13 to 9 computations (30.8% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	94.3%	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative`
1×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	37
1	20	37

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Outputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 13 to 9 computations (30.8% saved)

preprocess108.0ms (0.3%)

Remove: (sort a b c d)
Compiler: Compiled 134 to 92 computations (31.3% saved)

Expression, p6

analyze1.0ms (0%)

sample35.7s (98.4%)

preprocess451.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess108.0ms (0.3%)

end0.0ms (0%)

Profiling