Metrics for Rosa's DopplerBench

analyze60.0ms (5.3%)

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 16 to 9 computations (43.8% saved)

sample964.0ms (85%)

Results

924.0ms	7984×	body	256	valid
27.0ms	272×	body	256	infinite

Bogosity

preprocess109.0ms (9.7%)

Algorithm

1×	egg-herbie

Rules

532×	`distribute-lft-in`
493×	`div-sub`
433×	`associate-*l/`
367×	`distribute-rgt-in`
358×	`*-commutative`

Problems

188×	No Errors
68×	`(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	587
1	174	571
2	616	563
3	2690	536

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 (neg.f64 u)) (+.f64 t1 (neg.f64 u))))
(/.f64 (.f64 (neg.f64 t1) (neg.f64 v)) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (.f64 (neg.f64 (neg.f64 t1)) v) (.f64 (+.f64 (neg.f64 t1) u) (+.f64 (neg.f64 t1) u)))
(neg.f64 (/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 (neg.f64 u)) (+.f64 t1 (neg.f64 u)))))
(neg.f64 (/.f64 (.f64 (neg.f64 t1) (neg.f64 v)) (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(neg.f64 (/.f64 (.f64 (neg.f64 (neg.f64 t1)) v) (.f64 (+.f64 (neg.f64 t1) u) (+.f64 (neg.f64 t1) u))))
(/.f64 (.f64 (neg.f64 t1) u) (.f64 (+.f64 t1 v) (+.f64 t1 v)))
(/.f64 (.f64 (neg.f64 u) v) (.f64 (+.f64 u t1) (+.f64 u t1)))
(/.f64 (.f64 (neg.f64 v) t1) (.f64 (+.f64 v u) (+.f64 v u)))

Outputs
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) (/.f64 v (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (neg.f64 t1) (+.f64 t1 u)))
(.f64 v (/.f64 (neg.f64 t1) (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(/.f64 (neg.f64 v) (*.f64 (+.f64 t1 u) (+.f64 (/.f64 u t1) 1)))
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) (/.f64 v (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (neg.f64 t1) (+.f64 t1 u)))
(.f64 v (/.f64 (neg.f64 t1) (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(/.f64 (neg.f64 v) (*.f64 (+.f64 t1 u) (+.f64 (/.f64 u t1) 1)))
(/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 (neg.f64 u)) (+.f64 t1 (neg.f64 u))))
(*.f64 (/.f64 (neg.f64 t1) (-.f64 t1 u)) (/.f64 v (-.f64 t1 u)))
(/.f64 (.f64 t1 (neg.f64 v)) (.f64 (-.f64 t1 u) (-.f64 t1 u)))
(*.f64 (/.f64 t1 (-.f64 u t1)) (/.f64 v (-.f64 t1 u)))
(/.f64 v (*.f64 (-.f64 t1 u) (+.f64 -1 (/.f64 u t1))))
(/.f64 (.f64 (neg.f64 t1) (neg.f64 v)) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (.f64 t1 v) (.f64 (+.f64 t1 u) (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (/.f64 t1 (+.f64 t1 u)))
(/.f64 v (*.f64 (+.f64 t1 u) (+.f64 (/.f64 u t1) 1)))
(/.f64 (.f64 (neg.f64 (neg.f64 t1)) v) (.f64 (+.f64 (neg.f64 t1) u) (+.f64 (neg.f64 t1) u)))
(*.f64 (/.f64 t1 (+.f64 (neg.f64 t1) u)) (/.f64 v (+.f64 (neg.f64 t1) u)))
(/.f64 (.f64 t1 v) (.f64 (-.f64 u t1) (-.f64 u t1)))
(.f64 v (/.f64 t1 (.f64 (-.f64 t1 u) (-.f64 t1 u))))
(/.f64 v (*.f64 (-.f64 t1 u) (-.f64 1 (/.f64 u t1))))
(neg.f64 (/.f64 (.f64 (neg.f64 t1) v) (.f64 (+.f64 t1 (neg.f64 u)) (+.f64 t1 (neg.f64 u)))))
(*.f64 (/.f64 t1 (+.f64 (neg.f64 t1) u)) (/.f64 v (+.f64 (neg.f64 t1) u)))
(/.f64 (.f64 t1 v) (.f64 (-.f64 u t1) (-.f64 u t1)))
(.f64 v (/.f64 t1 (.f64 (-.f64 t1 u) (-.f64 t1 u))))
(/.f64 v (*.f64 (-.f64 t1 u) (-.f64 1 (/.f64 u t1))))
(neg.f64 (/.f64 (.f64 (neg.f64 t1) (neg.f64 v)) (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(*.f64 (/.f64 (neg.f64 t1) (+.f64 t1 u)) (/.f64 v (+.f64 t1 u)))
(*.f64 (/.f64 v (+.f64 t1 u)) (/.f64 (neg.f64 t1) (+.f64 t1 u)))
(.f64 v (/.f64 (neg.f64 t1) (.f64 (+.f64 t1 u) (+.f64 t1 u))))
(/.f64 (neg.f64 v) (*.f64 (+.f64 t1 u) (+.f64 (/.f64 u t1) 1)))
(neg.f64 (/.f64 (.f64 (neg.f64 (neg.f64 t1)) v) (.f64 (+.f64 (neg.f64 t1) u) (+.f64 (neg.f64 t1) u))))
(*.f64 (/.f64 (neg.f64 t1) (-.f64 t1 u)) (/.f64 v (-.f64 t1 u)))
(/.f64 (.f64 t1 (neg.f64 v)) (.f64 (-.f64 t1 u) (-.f64 t1 u)))
(*.f64 (/.f64 t1 (-.f64 u t1)) (/.f64 v (-.f64 t1 u)))
(/.f64 v (*.f64 (-.f64 t1 u) (+.f64 -1 (/.f64 u t1))))
(/.f64 (.f64 (neg.f64 t1) u) (.f64 (+.f64 t1 v) (+.f64 t1 v)))
(/.f64 (.f64 t1 (neg.f64 u)) (.f64 (+.f64 t1 v) (+.f64 t1 v)))
(.f64 u (/.f64 (neg.f64 t1) (.f64 (+.f64 t1 v) (+.f64 t1 v))))
(/.f64 (/.f64 (neg.f64 u) (+.f64 (/.f64 v t1) 1)) (+.f64 t1 v))
(/.f64 (.f64 (neg.f64 u) v) (.f64 (+.f64 u t1) (+.f64 u t1)))
(*.f64 (/.f64 (neg.f64 u) (+.f64 t1 u)) (/.f64 v (+.f64 t1 u)))
(/.f64 (/.f64 (neg.f64 u) (+.f64 t1 u)) (/.f64 (+.f64 t1 u) v))
(/.f64 (.f64 (neg.f64 v) t1) (.f64 (+.f64 v u) (+.f64 v u)))
(*.f64 (/.f64 (neg.f64 v) (+.f64 v u)) (/.f64 t1 (+.f64 v u)))
(.f64 t1 (/.f64 (neg.f64 v) (.f64 (+.f64 v u) (+.f64 v u))))
(/.f64 t1 (/.f64 (+.f64 v u) (/.f64 (neg.f64 v) (+.f64 v u))))

Symmetry

(negabs v)

Compiler

Compiled 35 to 9 computations (74.3% saved)

Rosa's DopplerBench

analyze60.0ms (5.3%)

sample964.0ms (85%)

preprocess109.0ms (9.7%)

end0.0ms (0%)

Profiling