Metrics for Toniolo and Linder, Equation (7)

analyze326.0ms (8.1%)

Memory

-2.6MiB live, 309.3MiB allocated

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
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
0%	0%	99.9%	0.1%	0%	0%	0%	7
0%	0%	74.9%	0.1%	0%	25%	0%	8
4.2%	3.1%	71.8%	0.1%	0%	25%	0%	9
6.3%	4.7%	70.2%	0.1%	0%	25%	0%	10
11.3%	7%	55.4%	0.1%	0%	37.4%	0%	11
16.9%	10.5%	51.9%	0.1%	0%	37.4%	0%	12

Compiler

Compiled 29 to 20 computations (31% saved)

sample3.1s (76.4%)

Memory

64.2MiB live, 3 068.6MiB allocated

Samples

602.0ms	5 355×	0	valid
580.0ms	2 730×	1	valid
392.0ms	2 770×	0	invalid
335.0ms	1 617×	1	invalid
48.0ms	165×	2	valid
32.0ms	107×	2	invalid
2.0ms	6×	3	valid

Precisions

Click to see histograms. Total time spent on operations: 1.6s

ival-mult: 520.0ms (33.3% of total)

ival-sqrt: 373.0ms (23.9% of total)

ival-div: 212.0ms (13.6% of total)

ival-add: 170.0ms (10.9% of total)

ival-sub: 166.0ms (10.6% of total)

adjust: 93.0ms (5.9% of total)

exact: 15.0ms (1% of total)

ival-true: 9.0ms (0.6% of total)

ival-assert: 5.0ms (0.3% of total)

Bogosity

preprocess620.0ms (15.5%)

Memory

-39.9MiB live, 814.6MiB allocated

Algorithm

2×	egg-herbie

Rules

25 302×	`accelerator-lowering-fma.f32`
25 302×	`accelerator-lowering-fma.f64`
4 556×	`-lowering-.f32`
4 556×	`-lowering-.f64`
2 076×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	277
1	229	275
2	660	273
3	2234	273
4	7068	273
0	18	27
1	45	27
2	102	27
3	205	27
4	436	27
5	990	27
6	2264	27
7	5092	27
0	8149	26

Stop Event

1×	iter limit
1×	node limit
1×	node limit

Calls

Call 1

Inputs
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

Outputs

(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

(/.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (fma.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 t (*.f64 #s(literal 2 binary64) t) (fma.f64 l l #s(literal 0 binary64))) #s(literal 0 binary64)) (fma.f64 l l #s(literal 0 binary64)))))

Call 2

Inputs
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ (neg x) 1) (- (neg x) 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* (neg l) (neg l)) (* 2 (* t t)))) (* (neg l) (neg l)))))
(/ (* (sqrt 2) (neg t)) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* (neg t) (neg t))))) (* l l))))
(neg (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ (neg x) 1) (- (neg x) 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))))
(neg (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* (neg l) (neg l)) (* 2 (* t t)))) (* (neg l) (neg l))))))
(neg (/ (* (sqrt 2) (neg t)) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* (neg t) (neg t))))) (* l l)))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ l 1) (- l 1)) (+ (* x x) (* 2 (* t t)))) (* x x))))
(/ (* (sqrt 2) x) (sqrt (- (* (/ (+ t 1) (- t 1)) (+ (* l l) (* 2 (* x x)))) (* l l))))
(/ (* (sqrt 2) l) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* t t) (* 2 (* l l)))) (* t t))))

Outputs
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (+ x 1) (/ (+ (* l l) (* 2 (* t t))) (+ x -1))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ (neg x) 1) (- (neg x) 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (+ (* l l) (* 2 (* t t))) (/ (- 1 x) (- -1 x))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* (neg l) (neg l)) (* 2 (* t t)))) (* (neg l) (neg l)))))
(/ (* (sqrt 2) t) (sqrt (- (* (+ x 1) (/ (+ (* l l) (* 2 (* t t))) (+ x -1))) (* l l))))
(/ (* (sqrt 2) (neg t)) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* (neg t) (neg t))))) (* l l))))
(/ (* (sqrt 2) (neg t)) (sqrt (- (* (+ x 1) (/ (+ (* l l) (* 2 (* t t))) (+ x -1))) (* l l))))
(neg (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ (neg x) 1) (- (neg x) 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))))
(/ (* (sqrt 2) (neg t)) (sqrt (- (* (+ (* l l) (* 2 (* t t))) (/ (- 1 x) (- -1 x))) (* l l))))
(neg (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* (neg l) (neg l)) (* 2 (* t t)))) (* (neg l) (neg l))))))
(/ (* (sqrt 2) (neg t)) (sqrt (- (* (+ x 1) (/ (+ (* l l) (* 2 (* t t))) (+ x -1))) (* l l))))
(neg (/ (* (sqrt 2) (neg t)) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* (neg t) (neg t))))) (* l l)))))
(/ (* (sqrt 2) t) (sqrt (- (* (+ x 1) (/ (+ (* l l) (* 2 (* t t))) (+ x -1))) (* l l))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ l 1) (- l 1)) (+ (* x x) (* 2 (* t t)))) (* x x))))
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ 1 l) (+ l -1)) (+ (* 2 (* t t)) (* x x))) (* x x))))
(/ (* (sqrt 2) x) (sqrt (- (* (/ (+ t 1) (- t 1)) (+ (* l l) (* 2 (* x x)))) (* l l))))
(/ (* (sqrt 2) x) (sqrt (- (* (+ t 1) (/ (+ (* l l) (* 2 (* x x))) (+ t -1))) (* l l))))
(/ (* (sqrt 2) l) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* t t) (* 2 (* l l)))) (* t t))))
(/ (* (sqrt 2) l) (sqrt (- (* (/ (+ x 1) (+ x -1)) (+ (* t t) (* 2 (* l l)))) (* t t))))

Symmetry

(abs l)

(negabs t)

explain1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Samples

0.0ms

1×

valid

Compiler

Compiled 133 to 20 computations (85% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-sub: 0.0ms (0% of total)

ival-div: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

ival-sqrt: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze326.0ms (8.1%)

sample3.1s (76.4%)

preprocess620.0ms (15.5%)

explain1.0ms (0%)

end0.0ms (0%)

Profiling