Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I

analyze566.0ms (4.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 19 to 14 computations (26.3% saved)

sample12.8s (92.3%)

Results

2.1s	8256×	valid-rival
1.1s	8175×	valid-sollya
405.0ms	81×	exit-sollya

Bogosity

preprocess254.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-define`
505×	`div-sub`
470×	`associate-/l*`
399×	`fma-neg`
328×	`associate-/r*`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	1180
1	328	1056
2	1108	1056
3	4189	1056

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 x) y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 (neg.f64 z) #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) (neg.f64 t))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 (neg.f64 a) #s(literal 2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 (neg.f64 x) y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64))))
(neg.f64 (/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64))))
(neg.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 (neg.f64 z) #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64))))
(neg.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) (neg.f64 t))) (.f64 a #s(literal 2 binary64))))
(neg.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 (neg.f64 a) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 y x) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 z y) (.f64 (.f64 x #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 t y) (.f64 (.f64 z #s(literal 9 binary64)) x)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 a y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 x #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x z) (.f64 (.f64 y #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x t) (.f64 (.f64 z #s(literal 9 binary64)) y)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x a) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 y #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 t #s(literal 9 binary64)) z)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 a #s(literal 9 binary64)) t)) (.f64 z #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) a)) (.f64 t #s(literal 2 binary64)))

Outputs
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (/.f64 y #s(literal 2 binary64)) (.f64 t (.f64 z #s(literal -9/2 binary64)))) a)
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (/.f64 y #s(literal 2 binary64)) (.f64 t (.f64 z #s(literal -9/2 binary64)))) a)
(/.f64 (-.f64 (.f64 (neg.f64 x) y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal -2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal -2 binary64)))
(/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal -2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal -2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 (neg.f64 z) #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 t (.f64 #s(literal 9 binary64) (neg.f64 z)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) (neg.f64 t))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 t (.f64 #s(literal 9 binary64) (neg.f64 z)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 (neg.f64 a) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (neg.f64 (.f64 a #s(literal 2 binary64))))
(/.f64 (fma.f64 x y (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal -2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 (neg.f64 x) y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 x y) (.f64 t (.f64 #s(literal 9 binary64) (neg.f64 z)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal 2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 x y) (.f64 t (.f64 #s(literal 9 binary64) (neg.f64 z)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal 2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 (neg.f64 z) #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal -2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal -2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) (neg.f64 t))) (.f64 a #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 x (neg.f64 y)) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 #s(literal 9 binary64) (.f64 z t))) (*.f64 a #s(literal -2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 #s(literal 9 binary64) t))) (*.f64 a #s(literal -2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 (neg.f64 a) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (/.f64 y #s(literal 2 binary64)) (.f64 t (.f64 z #s(literal -9/2 binary64)))) a)
(/.f64 (-.f64 (.f64 y x) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (/.f64 y #s(literal 2 binary64)) (.f64 t (.f64 z #s(literal -9/2 binary64)))) a)
(/.f64 (-.f64 (.f64 z y) (.f64 (.f64 x #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 y z) (.f64 t (.f64 x #s(literal 9 binary64)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 y z (.f64 x (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (.f64 t #s(literal -9 binary64)) (.f64 y z)) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 t y) (.f64 (.f64 z #s(literal 9 binary64)) x)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 y t) (.f64 x (.f64 z #s(literal 9 binary64)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 y t (.f64 x (.f64 z #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (.f64 z #s(literal -9 binary64)) (.f64 y t)) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 a y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 x #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 y a) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 x #s(literal 2 binary64)))
(/.f64 (fma.f64 y a (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 x #s(literal 2 binary64)))
(/.f64 (fma.f64 y (/.f64 a #s(literal 2 binary64)) (.f64 t (.f64 z #s(literal -9/2 binary64)))) x)
(/.f64 (-.f64 (.f64 x z) (.f64 (.f64 y #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x z) (.f64 y (.f64 #s(literal 9 binary64) t))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x z (.f64 y (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x t) (.f64 (.f64 z #s(literal 9 binary64)) y)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x t) (.f64 y (.f64 z #s(literal 9 binary64)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x t (.f64 y (.f64 z #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x t (.f64 (.f64 y z) #s(literal -9 binary64))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x a) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 y #s(literal 2 binary64)))
(/.f64 (fma.f64 x a (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 y #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 t #s(literal 9 binary64)) z)) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 z (.f64 t #s(literal -9 binary64)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 x (/.f64 y #s(literal 2 binary64)) (.f64 t (.f64 z #s(literal -9/2 binary64)))) a)
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 a #s(literal 9 binary64)) t)) (.f64 z #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 t (.f64 #s(literal 9 binary64) a))) (.f64 z #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 t (.f64 a #s(literal -9 binary64)))) (*.f64 z #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 a (.f64 t #s(literal -9 binary64)))) (*.f64 z #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) a)) (.f64 t #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (neg.f64 (.f64 (.f64 z #s(literal 9 binary64)) a))) (*.f64 t #s(literal 2 binary64)))
(/.f64 (fma.f64 x y (.f64 a (.f64 z #s(literal -9 binary64)))) (*.f64 t #s(literal 2 binary64)))

Symmetry

(negabs a)

(sort x y)

(sort z t)

Compiler

Compiled 18 to 13 computations (27.8% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.6%	(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))

Compiler

Compiled 36 to 26 computations (27.8% saved)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative`
6×	`sub-neg`
6×	`+-commutative`
5×	`neg-sub0`
5×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	31	52
2	49	52
3	59	52
4	67	52
5	70	52

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))

Outputs
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))

soundness2.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 18 to 13 computations (27.8% saved)

preprocess233.0ms (1.7%)

Remove

(sort z t)

(sort x y)

(negabs a)

Compiler

Compiled 400 to 278 computations (30.5% saved)

Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I

analyze566.0ms (4.1%)

sample12.8s (92.3%)

preprocess254.0ms (1.8%)

eval0.0ms (0%)

prune3.0ms (0%)

simplify16.0ms (0.1%)

soundness2.0ms (0%)

preprocess233.0ms (1.7%)

end0.0ms (0%)

Profiling