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

analyze3.0s (12.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	199.6%	-99.6%	0%	0%	0%	1
0%	0%	399.2%	-299.2%	0%	0%	0%	2
0%	0%	798.4%	-698.4%	0%	0%	0%	3
0%	0%	1596.9%	-1496.9%	0%	0%	0%	4
0%	0%	3193.8%	-3093.8%	0%	0%	0%	5
0%	0%	6387.5%	-6287.5%	0%	0%	0%	6
0%	0%	12775%	-12675%	0%	0%	0%	7
0%	0%	25550%	-25450%	0%	0%	0%	8
0%	0%	51100.1%	-51000.1%	0%	0%	0%	9
0%	0%	102200.1%	-102100.1%	0%	0%	0%	10
0%	0%	204400.3%	-204300.3%	0%	0%	0%	11
0%	0%	408800.6%	-408700.6%	0%	0%	0%	12

Compiler

Compiled 20 to 14 computations (30% saved)

sample19.0s (77.2%)

Results

14.4s	11772×	body	8192	exit
2.2s	4192×	body	256	infinite
1.9s	3524×	body	256	valid
185.0ms	285×	body	512	valid
172.0ms	237×	body	1024	valid
19.0ms	18×	body	2048	valid

Bogosity

preprocess119.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1118×	`div-sub`
1094×	`fma-def`
838×	`distribute-neg-frac`
728×	`times-frac`
704×	`associate-/r*`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	64	497
1	191	475
2	509	443
3	1365	385
4	4743	353

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 (neg.f64 x) (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 (neg.f64 y) (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) (neg.f64 y))))
(+.f64 (-.f64 x (/.f64 y (.f64 (neg.f64 z) 3))) (/.f64 t (.f64 (*.f64 (neg.f64 z) 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (neg.f64 t) (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 y (/.f64 x (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) x)))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 t (.f64 (*.f64 x 3) y)))
(+.f64 (-.f64 t (/.f64 y (.f64 z 3))) (/.f64 x (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 z (.f64 y 3))) (/.f64 t (.f64 (*.f64 y 3) z)))
(+.f64 (-.f64 x (/.f64 t (.f64 z 3))) (/.f64 y (.f64 (*.f64 z 3) t)))
(+.f64 (-.f64 x (/.f64 y (.f64 t 3))) (/.f64 z (.f64 (*.f64 t 3) y)))

Outputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 y (*.f64 z 3))))
(+.f64 (+.f64 x (*.f64 -1/3 (/.f64 y z))) (/.f64 (/.f64 (/.f64 t y) 3) z))
(+.f64 (fma.f64 -1/3 (/.f64 y z) x) (/.f64 t (.f64 y (.f64 z 3))))
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
(+.f64 (-.f64 (neg.f64 x) (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (/.f64 t (.f64 y (.f64 z 3))) (-.f64 (neg.f64 x) (/.f64 y (*.f64 z 3))))
(+.f64 (/.f64 (/.f64 (/.f64 t y) 3) z) (fma.f64 -1 x (*.f64 -1/3 (/.f64 y z))))
(fma.f64 x -1 (fma.f64 -1/3 (/.f64 y z) (/.f64 t (.f64 y (.f64 z 3)))))
(-.f64 (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))) x)
(+.f64 (-.f64 x (/.f64 (neg.f64 y) (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) (neg.f64 y))))
(+.f64 (-.f64 x (/.f64 (neg.f64 y) (.f64 z 3))) (/.f64 t (.f64 z (*.f64 3 (neg.f64 y)))))
(+.f64 (+.f64 (/.f64 (/.f64 t (.f64 z -3)) y) x) (/.f64 y (.f64 z 3)))
(+.f64 (/.f64 y (*.f64 z 3)) (fma.f64 (/.f64 -1/3 z) (/.f64 t y) x))
(-.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
(+.f64 x (*.f64 (/.f64 1/3 z) (-.f64 y (/.f64 t y))))
(+.f64 (-.f64 x (/.f64 y (.f64 (neg.f64 z) 3))) (/.f64 t (.f64 (*.f64 (neg.f64 z) 3) y)))
(+.f64 (-.f64 x (/.f64 (neg.f64 y) (.f64 z 3))) (/.f64 t (.f64 z (*.f64 3 (neg.f64 y)))))
(+.f64 (+.f64 (/.f64 (/.f64 t (.f64 z -3)) y) x) (/.f64 y (.f64 z 3)))
(+.f64 (/.f64 y (*.f64 z 3)) (fma.f64 (/.f64 -1/3 z) (/.f64 t y) x))
(-.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
(+.f64 x (*.f64 (/.f64 1/3 z) (-.f64 y (/.f64 t y))))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (neg.f64 t) (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (neg.f64 t) (.f64 y (*.f64 z 3))))
(+.f64 x (+.f64 (.f64 -1/3 (/.f64 y z)) (/.f64 (.f64 -1/3 (/.f64 t z)) y)))
(fma.f64 (/.f64 -1/3 z) (/.f64 t y) (fma.f64 -1/3 (/.f64 y z) x))
(+.f64 x (*.f64 (/.f64 -1/3 z) (+.f64 (/.f64 t y) y)))
(-.f64 x (*.f64 (/.f64 1/3 z) (+.f64 (/.f64 t y) y)))
(+.f64 (-.f64 y (/.f64 x (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) x)))
(+.f64 (-.f64 y (/.f64 x (.f64 z 3))) (/.f64 t (.f64 x (*.f64 z 3))))
(+.f64 (-.f64 y (/.f64 (/.f64 x z) 3)) (/.f64 t (.f64 z (.f64 x 3))))
(+.f64 y (+.f64 (/.f64 t (.f64 x (.f64 z 3))) (*.f64 (/.f64 x z) -1/3)))
(+.f64 y (fma.f64 (/.f64 x z) -1/3 (/.f64 (/.f64 t (*.f64 z 3)) x)))
(+.f64 y (*.f64 (/.f64 -1/3 z) (-.f64 x (/.f64 t x))))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 t (.f64 (*.f64 x 3) y)))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 t (.f64 x (*.f64 y 3))))
(+.f64 (-.f64 z (/.f64 y (.f64 x 3))) (/.f64 (/.f64 t (.f64 x 3)) y))
(+.f64 (+.f64 z (/.f64 (/.f64 y -3) x)) (/.f64 t (.f64 x (.f64 y 3))))
(+.f64 z (fma.f64 (/.f64 y x) -1/3 (/.f64 t (.f64 x (.f64 y 3)))))
(+.f64 z (.f64 -1/3 (-.f64 (/.f64 y x) (/.f64 t (.f64 x y)))))
(+.f64 (-.f64 t (/.f64 y (.f64 z 3))) (/.f64 x (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 t (/.f64 y (.f64 z 3))) (/.f64 x (.f64 y (*.f64 z 3))))
(+.f64 t (+.f64 (.f64 -1/3 (/.f64 y z)) (/.f64 x (.f64 y (*.f64 z 3)))))
(+.f64 t (fma.f64 -1/3 (/.f64 y z) (/.f64 x (.f64 y (.f64 z 3)))))
(+.f64 t (fma.f64 (/.f64 y z) -1/3 (/.f64 x (.f64 y (.f64 z 3)))))
(+.f64 t (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 x y))))
(+.f64 (-.f64 x (/.f64 z (.f64 y 3))) (/.f64 t (.f64 (*.f64 y 3) z)))
(+.f64 (/.f64 t (.f64 y (.f64 z 3))) (-.f64 x (/.f64 z (*.f64 y 3))))
(-.f64 (+.f64 (/.f64 (/.f64 (/.f64 t y) 3) z) x) (/.f64 z (*.f64 y 3)))
(+.f64 (/.f64 t (.f64 y (.f64 z 3))) (-.f64 x (/.f64 (/.f64 z 3) y)))
(fma.f64 (/.f64 z y) -1/3 (fma.f64 (/.f64 1/3 z) (/.f64 t y) x))
(-.f64 x (*.f64 (/.f64 -1/3 y) (-.f64 (/.f64 t z) z)))
(+.f64 (-.f64 x (/.f64 t (.f64 z 3))) (/.f64 y (.f64 (*.f64 z 3) t)))
(+.f64 (+.f64 (/.f64 y (.f64 3 (.f64 z t))) x) (*.f64 -1/3 (/.f64 t z)))
(+.f64 (/.f64 y (.f64 z (.f64 3 t))) (fma.f64 -1/3 (/.f64 t z) x))
(fma.f64 (/.f64 t z) -1/3 (-.f64 x (.f64 -1/3 (/.f64 y (.f64 z t)))))
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 t (/.f64 y t))))
(+.f64 (-.f64 x (/.f64 y (.f64 t 3))) (/.f64 z (.f64 (*.f64 t 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 3 t))) (/.f64 z (.f64 y (*.f64 3 t))))
(+.f64 (-.f64 x (/.f64 (/.f64 y t) 3)) (/.f64 z (.f64 3 (.f64 t y))))
(+.f64 x (+.f64 (/.f64 (/.f64 (/.f64 z 3) y) t) (/.f64 (/.f64 y -3) t)))
(+.f64 x (fma.f64 (/.f64 y t) -1/3 (/.f64 z (.f64 3 (.f64 y t)))))
(+.f64 x (.f64 -1/3 (-.f64 (/.f64 y t) (/.f64 z (.f64 y t)))))

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify159.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1370×	`div-sub`
1326×	`distribute-lft-in`
1310×	`fma-def`
882×	`distribute-lft-neg-in`
806×	`sub-neg`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	27	43
2	61	43
3	119	43
4	264	39
5	553	31
6	1242	27
7	3546	27
8	4777	27
9	5764	27
10	6660	27
11	7258	27
12	7571	27

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))

Outputs
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 y (*.f64 z 3))))
(+.f64 x (fma.f64 -1/3 (/.f64 y z) (/.f64 (/.f64 (/.f64 t z) y) 3)))
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)

eval2.0ms (0%)

Compiler: Compiled 84 to 48 computations (42.9% saved)

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	3	3	6
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	3	7

Accurracy

100.0%

Counts

7 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.0%	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
▶	95.3%	(+.f64 x (fma.f64 -1/3 (/.f64 y z) (/.f64 (/.f64 (/.f64 t z) y) 3)))
▶	99.4%	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
▶	96.0%	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
▶	95.3%	(+.f64 x (fma.f64 -1/3 (/.f64 y z) (/.f64 (/.f64 (/.f64 t z) y) 3)))
▶	99.4%	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))

Compiler

Compiled 104 to 70 computations (32.7% saved)

localize1.9s (7.7%)

Compiler: Compiled 138 to 59 computations (57.2% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	3	3
Done	0	0
Total	3	3

Accurracy

100.0%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.0%	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
✓	95.3%	(+.f64 x (fma.f64 -1/3 (/.f64 y z) (/.f64 (/.f64 (/.f64 t z) y) 3)))
✓	99.4%	(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))

Compiler

Compiled 111 to 71 computations (36% saved)

regimes31.0ms (0.1%)

Accuracy

Total -7.7b remaining (-2126.8%)

Threshold costs -7.7b (-2126.8%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 (/.f64 t (.f64 z 3)) y))
(+.f64 x (fma.f64 -1/3 (/.f64 y z) (/.f64 (/.f64 (/.f64 t z) y) 3)))

Outputs
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))

Calls

6 calls:

7.0ms	(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))
6.0ms	y
4.0ms	(*.f64 z 3)
4.0ms	t
4.0ms	x

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`y`
99.4%	1	`z`
99.4%	1	`t`
99.4%	1	`(+.f64 (-.f64 x (/.f64 y (.f64 z 3))) (/.f64 t (.f64 (*.f64 z 3) y)))`
99.4%	1	`(*.f64 z 3)`

Compiler

Compiled 105 to 71 computations (32.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative`
6×	`sub-neg`
6×	`*-commutative`
4×	`neg-mul-1`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	17	31
2	24	31
3	28	31
4	31	31
5	32	31

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))

Outputs
(+.f64 x (*.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y))))

Compiler

Compiled 15 to 10 computations (33.3% saved)

soundness299.0ms (1.2%)

Rules

1370×	`div-sub`
1326×	`distribute-lft-in`
1310×	`fma-def`
882×	`distribute-lft-neg-in`
806×	`sub-neg`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	13	43
1	27	43
2	61	43
3	119	43
4	264	39
5	553	31
6	1242	27
7	3546	27
8	4777	27
9	5764	27
10	6660	27
11	7258	27
12	7571	27

Stop Event

1×	node limit

Compiler

Compiled 262 to 163 computations (37.8% saved)

end0.0ms (0%)

preprocess50.0ms (0.2%)

Compiler: Compiled 106 to 72 computations (32.1% saved)

analyze3.0s (12.4%)

sample19.0s (77.2%)

preprocess119.0ms (0.5%)

simplify159.0ms (0.6%)

eval2.0ms (0%)

prune4.0ms (0%)

localize1.9s (7.7%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes31.0ms (0.1%)

simplify5.0ms (0%)

soundness299.0ms (1.2%)

end0.0ms (0%)

preprocess50.0ms (0.2%)

Profiling