Metrics for Linear.Projection:infinitePerspective from linear-1.19.1.3, A

analyze736.0ms (5.3%)

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
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
25%	25%	74.9%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	9
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	10
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	11
48.4%	48.3%	51.5%	0.2%	0%	0%	0%	12

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample12.6s (91.1%)

Results

1.8s	8256×	valid-rival
1.0s	8194×	valid-sollya
310.0ms	62×	exit-sollya

Bogosity

preprocess334.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

523×	`div-sub`
424×	`associate-/r*`
362×	`associate-*r/`
358×	`distribute-lft-neg-in`
347×	`times-frac`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	60	620
1	204	592
2	534	592
3	1938	592
4	4993	592
5	7203	592

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(negabs x)

(negabs z)

Compiler

Compiled 15 to 10 computations (33.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	90.1%	(/.f64 (.f64 x #s(literal 2 binary64)) (-.f64 (.f64 y z) (*.f64 t z)))

Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify19.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	46
1	26	46
2	38	46
3	44	46
4	48	46
5	49	46

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 15 to 10 computations (33.3% saved)

preprocess139.0ms (1%)

Remove

(negabs z)

(negabs x)

Compiler

Compiled 298 to 166 computations (44.3% saved)

Linear.Projection:infinitePerspective from linear-1.19.1.3, A

analyze736.0ms (5.3%)

sample12.6s (91.1%)

preprocess334.0ms (2.4%)

eval0.0ms (0%)

prune3.0ms (0%)

simplify19.0ms (0.1%)

soundness1.0ms (0%)

preprocess139.0ms (1%)

end0.0ms (0%)

Profiling