Metrics for Rosa's TurbineBenchmark

analyze255.0ms (3.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	5
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.5%	34.3%	0.1%	0%	0%	0%	8
65.6%	65.5%	34.3%	0.1%	0%	0%	0%	9
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	10
82%	81.9%	17.9%	0.1%	0%	0%	0%	11
82%	81.9%	17.9%	0.1%	0%	0%	0%	12

Compiler

Compiled 33 to 23 computations (30.3% saved)

sample6.9s (91.8%)

Results

2.4s	8256×	valid-rival
1.2s	8254×	valid-sollya
10.0ms	2×	exit-sollya

Bogosity

preprocess174.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

530×	`times-frac`
484×	`div-sub`
454×	`fma-neg`
291×	`neg-sub0`
280×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	1227
1	291	1167
2	1065	1095
3	3682	1089
4	7697	1089

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) (neg.f64 v)))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) (neg.f64 v)))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 (neg.f64 w) (neg.f64 w)) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 (neg.f64 r) (neg.f64 r)))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) (neg.f64 r)) (neg.f64 r))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(neg.f64 (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) (neg.f64 v)))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) (neg.f64 v)))) #s(literal 9/2 binary64)))
(neg.f64 (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 (neg.f64 w) (neg.f64 w)) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(neg.f64 (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 (neg.f64 r) (neg.f64 r)))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) (neg.f64 r)) (neg.f64 r))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) w))) (.f64 (.f64 (*.f64 v v) r) r)) (-.f64 #s(literal 1 binary64) w))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 v v))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) r))) (.f64 (.f64 (*.f64 w w) v) v)) (-.f64 #s(literal 1 binary64) r))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 w w))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 r r) w) w)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))

Outputs
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (-.f64 #s(literal -3/2 binary64) (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v)))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64)))) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (-.f64 #s(literal -3/2 binary64) (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v)))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64)))) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) (neg.f64 v)))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) (neg.f64 v)))) #s(literal 9/2 binary64))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) (neg.f64 v)))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) (neg.f64 v)))) #s(literal 9/2 binary64)))
(+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 r (/.f64 (.f64 r (.f64 w w)) (+.f64 v #s(literal 1 binary64)))) #s(literal 9/2 binary64))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (-.f64 #s(literal -3/2 binary64) (.f64 #s(literal 1/8 binary64) (.f64 (fma.f64 #s(literal 2 binary64) v #s(literal 3 binary64)) (.f64 r (.f64 (.f64 w w) (/.f64 r (+.f64 v #s(literal 1 binary64)))))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (+.f64 (.f64 r (.f64 #s(literal -1/8 binary64) (/.f64 (.f64 (.f64 r (.f64 w w)) (fma.f64 #s(literal 2 binary64) v #s(literal 3 binary64))) (+.f64 v #s(literal 1 binary64))))) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 (neg.f64 w) (neg.f64 w)) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (-.f64 #s(literal -3/2 binary64) (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v)))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64)))) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 (neg.f64 r) (neg.f64 r)))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) (neg.f64 r)) (neg.f64 r))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (-.f64 #s(literal -3/2 binary64) (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v)))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64)))) #s(literal -3/2 binary64)))
(neg.f64 (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) (neg.f64 v)))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) (neg.f64 v)))) #s(literal 9/2 binary64)))
(neg.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) (neg.f64 v)))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) (neg.f64 v)))) #s(literal 9/2 binary64))))
(neg.f64 (+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 r (/.f64 (.f64 r (.f64 w w)) (+.f64 v #s(literal 1 binary64)))) #s(literal 9/2 binary64)))))
(+.f64 (fma.f64 #s(literal 1/8 binary64) (.f64 (fma.f64 #s(literal 2 binary64) v #s(literal 3 binary64)) (.f64 r (.f64 (.f64 w w) (/.f64 r (+.f64 v #s(literal 1 binary64)))))) #s(literal 9/2 binary64)) (-.f64 #s(literal -3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))))
(+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (fma.f64 #s(literal 2 binary64) v #s(literal 3 binary64)) (.f64 r (.f64 (.f64 w w) (/.f64 r (+.f64 v #s(literal 1 binary64))))))) (-.f64 (/.f64 #s(literal -2 binary64) (.f64 r r)) #s(literal -3/2 binary64)))
(neg.f64 (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 (neg.f64 w) (neg.f64 w)) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(neg.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))))
(neg.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))))
(-.f64 #s(literal 9/2 binary64) (fma.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64))) (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r)))))
(+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v))))) (-.f64 (/.f64 #s(literal -2 binary64) (.f64 r r)) #s(literal -3/2 binary64)))
(neg.f64 (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 (neg.f64 r) (neg.f64 r)))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) (neg.f64 r)) (neg.f64 r))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)))
(neg.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 r (.f64 r (*.f64 w w))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))))
(neg.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))))
(-.f64 #s(literal 9/2 binary64) (fma.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64))) (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r)))))
(+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v))))) (-.f64 (/.f64 #s(literal -2 binary64) (.f64 r r)) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) w))) (.f64 (.f64 (*.f64 v v) r) r)) (-.f64 #s(literal 1 binary64) w))) #s(literal 9/2 binary64))
(+.f64 (+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) w))) (/.f64 (.f64 r (.f64 r (*.f64 v v))) (-.f64 #s(literal 1 binary64) w))))) #s(literal -9/2 binary64))
(-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (fma.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) w))) (.f64 (.f64 v v) (/.f64 (.f64 r r) (-.f64 #s(literal 1 binary64) w))) #s(literal 9/2 binary64)))
(+.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 w #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 v v))) (+.f64 w #s(literal -1 binary64))))) #s(literal -3/2 binary64))
(+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 w #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 (.f64 r (.f64 v v)) (/.f64 r (+.f64 w #s(literal -1 binary64))))) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 r r)) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 v v))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) r))) (.f64 (.f64 (*.f64 w w) v) v)) (-.f64 #s(literal 1 binary64) r))) #s(literal 9/2 binary64))
(+.f64 (+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 v v)) (/.f64 (.f64 #s(literal 1/8 binary64) (.f64 (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) r)) (.f64 v (.f64 v (*.f64 w w))))) (-.f64 #s(literal 1 binary64) r)))) #s(literal -9/2 binary64))
(+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 v v)) (fma.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) r))) (.f64 (.f64 w w) (/.f64 (.f64 v v) (-.f64 #s(literal 1 binary64) r))) #s(literal 9/2 binary64))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 v v)) (-.f64 #s(literal -3/2 binary64) (.f64 #s(literal 1/8 binary64) (.f64 (fma.f64 r #s(literal -2 binary64) #s(literal 3 binary64)) (.f64 (.f64 v (.f64 w w)) (/.f64 v (-.f64 #s(literal 1 binary64) r)))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 v v)) (+.f64 (.f64 #s(literal 1/8 binary64) (/.f64 (.f64 v (.f64 (fma.f64 r #s(literal -2 binary64) #s(literal 3 binary64)) (.f64 v (.f64 w w)))) (+.f64 r #s(literal -1 binary64)))) #s(literal -3/2 binary64)))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 w w))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 r r) w) w)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(+.f64 (+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 w w)) (.f64 (.f64 #s(literal 1/8 binary64) (+.f64 #s(literal 3 binary64) (.f64 #s(literal -2 binary64) v))) (/.f64 (.f64 (.f64 r r) (*.f64 w w)) (-.f64 #s(literal 1 binary64) v))))) #s(literal -9/2 binary64))
(+.f64 #s(literal 3 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 w w)) (fma.f64 (+.f64 #s(literal 3/8 binary64) (.f64 #s(literal 1/8 binary64) (.f64 v #s(literal -2 binary64)))) (.f64 (.f64 r r) (/.f64 (.f64 w w) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 w w)) (-.f64 #s(literal -3/2 binary64) (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (.f64 r (.f64 (.f64 w w) (/.f64 r (-.f64 #s(literal 1 binary64) v)))))))
(+.f64 (/.f64 #s(literal 2 binary64) (.f64 w w)) (+.f64 (.f64 (.f64 #s(literal 1/8 binary64) (fma.f64 v #s(literal -2 binary64) #s(literal 3 binary64))) (/.f64 (.f64 r (.f64 r (.f64 w w))) (+.f64 v #s(literal -1 binary64)))) #s(literal -3/2 binary64)))

Symmetry

(abs w)

(abs r)

Compiler

Compiled 32 to 22 computations (31.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	84.1%	(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))

Status

Accuracy

Program

84.1%

(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))

Compiler

Compiled 64 to 44 computations (31.3% saved)

simplify98.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

93×	`unsub-neg`
67×	`neg-mul-1`
41×	`distribute-lft-neg-in`
34×	`distribute-rgt-neg-in`
32×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	109
1	51	109
2	74	109
3	98	109
4	138	109
5	191	109
6	304	109
7	441	109
8	527	109
9	552	109
10	560	109
11	561	109

Stop Event

1×

saturated

Calls

Call 1

Inputs

(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))

Outputs
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 r (.f64 r (*.f64 w w)))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
(-.f64 (+.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 r (.f64 r (*.f64 w w)))) (-.f64 v #s(literal 1 binary64)))) #s(literal 9/2 binary64))
(-.f64 (+.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (.f64 r r))) (/.f64 (.f64 (.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (.f64 #s(literal 2 binary64) v))) (.f64 r (.f64 r (*.f64 w w)))) (+.f64 v #s(literal -1 binary64)))) #s(literal 9/2 binary64))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess84.0ms (1.1%)

Remove

(abs r)

(abs w)

Compiler

Compiled 384 to 264 computations (31.3% saved)

Rosa's TurbineBenchmark

analyze255.0ms (3.4%)

sample6.9s (91.8%)

preprocess174.0ms (2.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify98.0ms (1.3%)

soundness1.0ms (0%)

preprocess84.0ms (1.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	28	109
1	51	109
2	74	109
3	98	109
4	138	109
5	191	109
6	304	109
7	441	109
8	527	109
9	552	109
10	560	109
11	561	109

Iter	Nodes	Cost
0	28	109
1	51	109
2	74	109
3	98	109
4	138	109
5	191	109
6	304	109
7	441	109
8	527	109
9	552	109
10	560	109
11	561	109

Iter	Nodes	Cost
0	28	109
1	51	109
2	74	109
3	98	109
4	138	109
5	191	109
6	304	109
7	441	109
8	527	109
9	552	109
10	560	109
11	561	109