Metrics for Data.HashTable.ST.Basic:computeOverhead from hashtables-1.2.0.2

start0.0ms (0%)

Memory: 0.2MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze382.0ms (8.4%)

Memory

-36.2MiB live, 449.8MiB allocated; 141ms collecting garbage

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
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
18.8%	18.7%	81.1%	0.2%	0%	0%	0%	7
28.1%	28.1%	71.7%	0.2%	0%	0%	0%	8
42.2%	42.1%	57.7%	0.2%	0%	0%	0%	9
42.2%	42.1%	57.7%	0.2%	0%	0%	0%	10
49.2%	49.1%	50.7%	0.2%	0%	0%	0%	11
57.4%	57.3%	42.5%	0.2%	0%	0%	0%	12

Compiler

Compiled 19 to 16 computations (15.8% saved)

sample1.3s (28.7%)

Memory

11.6MiB live, 1 251.9MiB allocated; 432ms collecting garbage

Samples

775.0ms

8 256×

valid

Precisions

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

ival-mult!: 157.0ms (36.6% of total)

ival-sub!: 133.0ms (31% of total)

ival-div!: 99.0ms (23.1% of total)

ival-add!: 38.0ms (8.9% of total)

adjust: 1.0ms (0.2% of total)

Bogosity

preprocess29.0ms (0.6%)

Memory

40.6MiB live, 40.6MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	271
1	561	271

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Compiler

Compiled 34 to 28 computations (17.6% saved)

series183.0ms (4%)

Memory

-38.5MiB live, 152.5MiB allocated; 117ms collecting garbage

Counts

14 → 44

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
5.0ms	x	0
3.0ms	z	inf
2.0ms	z	-inf
2.0ms	z	0
2.0ms	t	-inf

rewrite241.0ms (5.3%)

Memory

4.2MiB live, 145.0MiB allocated; 68ms collecting garbage

Counts

14 → 62

Calls

Call 1

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

Outputs
(.f64 (fma.f64 (/.f64 x y) (-.f64 (/.f64 (-.f64 #s(literal 2 binary64) t) t) (/.f64 x y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)) (fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)))
(.f64 (fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)) (-.f64 (/.f64 (-.f64 #s(literal 2 binary64) t) t) (/.f64 x y)))
(.f64 (fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)) (fma.f64 (/.f64 x y) (-.f64 (/.f64 (-.f64 #s(literal 2 binary64) t) t) (/.f64 x y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)))
(.f64 (-.f64 (/.f64 (-.f64 #s(literal 2 binary64) t) t) (/.f64 x y)) (fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)))
(.f64 (/.f64 (fma.f64 x (/.f64 x (.f64 y y)) (/.f64 (-.f64 #s(literal 2 binary64) t) t)) (fma.f64 (/.f64 (-.f64 #s(literal 2 binary64) t) t) y (neg.f64 (.f64 z x)))) (neg.f64 (.f64 z y)))
(/.f64 x y)
(/.f64 (neg.f64 x) (neg.f64 y))
(neg.f64 (neg.f64 (/.f64 x y)))
x
(neg.f64 (neg.f64 x))
y
(neg.f64 (neg.f64 y))
(*.f64 (-.f64 #s(literal 2 binary64) t) (/.f64 #s(literal 2 binary64) t))
(*.f64 (-.f64 #s(literal 2 binary64) t) (/.f64 z t))
(*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t))
(*.f64 (/.f64 z t) (-.f64 #s(literal 2 binary64) t))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 t z)) (/.f64 (-.f64 #s(literal 2 binary64) t) t))
(*.f64 z (-.f64 #s(literal 2 binary64) t))
(.f64 (.f64 z z) (-.f64 #s(literal 2 binary64) t))
(*.f64 (fabs.f64 z) (-.f64 #s(literal 2 binary64) t))
(*.f64 (-.f64 #s(literal 2 binary64) t) #s(literal 2 binary64))
(*.f64 (-.f64 #s(literal 2 binary64) t) z)
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 2 binary64) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) #s(literal 2 binary64))
(*.f64 z (-.f64 #s(literal 2 binary64) t))
(.f64 (.f64 z z) (-.f64 #s(literal 2 binary64) t))
(*.f64 (fabs.f64 z) (-.f64 #s(literal 2 binary64) t))
(*.f64 (-.f64 #s(literal 2 binary64) t) #s(literal 2 binary64))
(*.f64 (-.f64 #s(literal 2 binary64) t) z)
z
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
(+.f64 z z)
(-.f64 z z)
z
(*.f64 z #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) z)
(+.f64 z z)
(-.f64 z z)
(*.f64 z (-.f64 #s(literal 2 binary64) t))
(.f64 (.f64 z z) (-.f64 #s(literal 2 binary64) t))
(*.f64 (fabs.f64 z) (-.f64 #s(literal 2 binary64) t))
(*.f64 (-.f64 #s(literal 2 binary64) t) #s(literal 2 binary64))
(*.f64 (-.f64 #s(literal 2 binary64) t) z)
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 2 binary64) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) #s(literal 2 binary64))
t
(*.f64 t #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) t)
(+.f64 t t)
(/.f64 t #s(literal 2 binary64))
(*.f64 t z)
(*.f64 z t)
(.f64 (.f64 t z) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 t z))
(+.f64 (.f64 t z) (.f64 t z))

eval8.0ms (0.2%)

Memory: 12.6MiB live, 12.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 852 to 375 computations (79.8% saved)

prune8.0ms (0.2%)

Memory

11.5MiB live, 11.5MiB allocated; 0ms collecting garbage

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	67	12	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	12	80

Accuracy

100.0%

Counts

80 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	80.0%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z))) (.f64 t z)))
	65.5%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
	56.6%	(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))
▶	99.9%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 2 binary64) (*.f64 t z))) #s(literal 2 binary64))))
▶	69.1%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))
	66.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))))
	85.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (fma.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
	93.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64))))) t))
▶	47.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
▶	54.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
	83.4%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 2 binary64) (.f64 t (.f64 x z)))))))

Compiler

Compiled 654 to 486 computations (25.7% saved)

series191.0ms (4.2%)

Memory

16.0MiB live, 106.9MiB allocated; 13ms collecting garbage

Counts

30 → 64

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
5.0ms	z	0
4.0ms	z	-inf
3.0ms	t	-inf
2.0ms	t	0
2.0ms	t	inf

rewrite254.0ms (5.6%)

Memory

1.6MiB live, 184.6MiB allocated; 30ms collecting garbage

Counts

30 → 112

Calls

Call 1

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

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

eval82.0ms (1.8%)

Memory: -23.6MiB live, 24.9MiB allocated; 107ms collecting garbage
Compiler: Compiled 3 188 to 415 computations (87% saved)

prune11.0ms (0.2%)

Memory

19.2MiB live, 19.2MiB allocated; 0ms collecting garbage

Pruning

20 alts after pruning (17 fresh and 3 done)

	Pruned	Kept	Total
New	96	10	106
Fresh	0	7	7
Picked	2	3	5
Done	0	0	0
Total	98	20	118

Accuracy

100.0%

Counts

118 → 20

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	80.0%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z))) (.f64 t z)))
	65.5%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
	56.6%	(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))
✓	99.9%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 2 binary64) (*.f64 t z))) #s(literal 2 binary64))))
	91.1%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 #s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 z t) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z)) #s(literal 2 binary64))))
▶	28.7%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
	26.3%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
	35.5%	#s(approx (/ x y) (/.f64 x y))
	2.7%	#s(approx (/ x y) #s(literal 2 binary64))
▶	66.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))))
▶	50.0%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
	85.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (fma.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
▶	93.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64))))) t))
	47.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
✓	54.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
	83.4%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 2 binary64) (.f64 t (.f64 x z)))))))
▶	20.8%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
	35.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))

Compiler

Compiled 972 to 706 computations (27.4% saved)

series201.0ms (4.4%)

Memory

-7.5MiB live, 181.8MiB allocated; 48ms collecting garbage

Counts

30 → 80

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
7.0ms	z	0
3.0ms	t	-inf
2.0ms	t	inf
2.0ms	z	-inf
2.0ms	t	0

rewrite267.0ms (5.8%)

Memory

34.1MiB live, 170.7MiB allocated; 21ms collecting garbage

Counts

30 → 100

Calls

Call 1

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

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

eval17.0ms (0.4%)

Memory: -30.4MiB live, 23.9MiB allocated; 8ms collecting garbage
Compiler: Compiled 4 145 to 555 computations (86.6% saved)

prune12.0ms (0.3%)

Memory

17.0MiB live, 17.0MiB allocated; 0ms collecting garbage

Pruning

21 alts after pruning (15 fresh and 6 done)

	Pruned	Kept	Total
New	105	4	109
Fresh	1	11	12
Picked	2	3	5
Done	0	3	3
Total	108	21	129

Accuracy

100.0%

Counts

129 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	80.0%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z))) (.f64 t z)))
	65.5%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
▶	56.6%	(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))
✓	99.9%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 2 binary64) (*.f64 t z))) #s(literal 2 binary64))))
▶	91.1%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 #s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 z t) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z)) #s(literal 2 binary64))))
▶	26.3%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
	35.5%	#s(approx (/ x y) (/.f64 x y))
▶	2.7%	#s(approx (/ x y) #s(literal 2 binary64))
✓	50.0%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
	85.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (fma.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
✓	93.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64))))) t))
	66.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t #s(approx (- (/ x y) 2) #s(literal -2 binary64))))) t))
	81.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) #s(approx (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 t (.f64 z (-.f64 (/.f64 x y) #s(literal 2 binary64))))) z))) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
	47.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
✓	54.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
	83.4%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 2 binary64) (.f64 t (.f64 x z)))))))
✓	20.8%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
	17.0%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
▶	35.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))

Compiler

Compiled 1 033 to 725 computations (29.8% saved)

series218.0ms (4.8%)

Memory

-7.7MiB live, 127.7MiB allocated; 26ms collecting garbage

Counts

28 → 66

Calls

Call 1

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

Outputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 t z)) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y))))
#s(approx (/ x y) (/.f64 x y))
#s(approx x x)
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t)))
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 2 binary64) t) t)))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 2 binary64) t) t) (/.f64 x y)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 2 binary64) (.f64 t (.f64 x z)))))))
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (/.f64 #s(literal 1 binary64) y))))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 2 binary64) t) (.f64 t x)) (/.f64 #s(literal 1 binary64) y))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 t z)))) x)) (/.f64 #s(literal 1 binary64) y)))))
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x))) (/.f64 #s(literal 1 binary64) y)))))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -2 binary64) (/.f64 (-.f64 #s(literal 2 binary64) t) (.f64 t x))) (/.f64 #s(literal 1 binary64) y)))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 x (.f64 y (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 t z)))))) y))
#s(approx y y)
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 (+.f64 x (.f64 #s(literal 2 binary64) (/.f64 (.f64 y (-.f64 #s(literal 1 binary64) t)) t))) y))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 (+.f64 x (.f64 #s(literal 2 binary64) (/.f64 (.f64 y (-.f64 #s(literal 2 binary64) t)) t))) y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (fma.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
#s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (.f64 z (-.f64 #s(literal 1 binary64) t)) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
#s(approx (- (+ (* 2 (/ 1 t)) (/ 2 (* t z))) 2) (/.f64 (fma.f64 z (-.f64 (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
#s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 z t) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
#s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (/.f64 #s(literal 2 binary64) t))
#s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (fma.f64 #s(literal 2 binary64) (/.f64 z t) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))))
#s(approx (/ z t) (/.f64 z t))
#s(approx z z)
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 t z)) (/.f64 x y))))
#s(approx (- (+ (* 2 (/ 1 t)) (/ 2 (* t z))) 2) (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t)) #s(literal 2 binary64)))
#s(approx (- (+ (* 2 (/ 1 t)) (/ 2 (* t z))) 2) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))) #s(literal 2 binary64)))
#s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))))
#s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (*.f64 #s(literal 2 binary64) (/.f64 z t)))
#s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 t z))))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64))))) t))
#s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z)) (.f64 t z)))
#s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal -2 binary64) t (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z)))) t))
#s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) t))
#s(approx t t)
#s(approx (/ 1 t) (/.f64 #s(literal 1 binary64) t))
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64)))) t))
#s(approx (* 2 (/ (- 1 t) t)) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) t)) t))
#s(approx (/ (- 1 t) t) (/.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) t)) t))
#s(approx (- 1 t) #s(literal 1 binary64))
#s(approx (- 1 t) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) t)))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 (+.f64 #s(literal 4 binary64) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64)))) t))
#s(approx (* (/ 2 t) (- 2 t)) (/.f64 (+.f64 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) t)) t))
#s(approx (- 2 t) #s(literal 2 binary64))
#s(approx (- 2 t) (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) t)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (+.f64 (/.f64 #s(literal 2 binary64) (*.f64 t z)) (/.f64 x y))) #s(literal 2 binary64)))
#s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) #s(literal -2 binary64))
#s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 2 binary64) (*.f64 t z))) #s(literal 2 binary64)))
#s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 x y)) #s(literal 2 binary64)))
#s(approx (/ (- 1 t) t) #s(literal -1 binary64))
#s(approx (/ (- 1 t) t) (-.f64 (/.f64 #s(literal 1 binary64) t) #s(literal 1 binary64)))
#s(approx (- 1 t) (*.f64 #s(literal -1 binary64) t))
#s(approx (- 1 t) (*.f64 t (-.f64 (/.f64 #s(literal 1 binary64) t) #s(literal 1 binary64))))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (-.f64 (fma.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 x y)) #s(literal 2 binary64)))
#s(approx (* (/ 2 t) (- 2 t)) (-.f64 (*.f64 #s(literal 4 binary64) (/.f64 #s(literal 1 binary64) t)) #s(literal 2 binary64)))
#s(approx (- 2 t) (.f64 t (-.f64 (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t)) #s(literal 1 binary64))))
#s(approx (/ (+ (* 2 (/ z t)) (* 2 (/ 1 t))) z) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -2 binary64) z) #s(literal 2 binary64)) (*.f64 t z))))
#s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -2 binary64) z) #s(literal 2 binary64)) t)))
#s(approx (- 1 t) (.f64 #s(literal -1 binary64) (.f64 t (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t)))))
#s(approx (- 2 t) (.f64 #s(literal -1 binary64) (.f64 t (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))))))

Calls

12 calls:

Time	Variable	Point
8.0ms	t	-inf
3.0ms	t	0
3.0ms	z	0
2.0ms	t	inf
2.0ms	z	-inf

rewrite275.0ms (6%)

Memory

15.1MiB live, 160.0MiB allocated; 34ms collecting garbage

Counts

28 → 96

Calls

Call 1

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

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

eval11.0ms (0.2%)

Memory: -10.6MiB live, 36.2MiB allocated; 2ms collecting garbage
Compiler: Compiled 2 992 to 425 computations (85.8% saved)

prune20.0ms (0.4%)

Memory

-34.3MiB live, 31.3MiB allocated; 22ms collecting garbage

Pruning

19 alts after pruning (10 fresh and 9 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	2	8	10
Picked	1	4	5
Done	1	5	6
Total	98	19	117

Accuracy

100.0%

Counts

117 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	80.0%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z))) (.f64 t z)))
	65.5%	(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
✓	56.6%	(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))
	84.7%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 #s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 #s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (/.f64 #s(literal 2 binary64) t)) z)) #s(literal 2 binary64))))
✓	26.3%	(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
	35.5%	#s(approx (/ x y) (/.f64 x y))
✓	2.7%	#s(approx (/ x y) #s(literal 2 binary64))
✓	50.0%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
	85.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (fma.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
✓	93.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64))))) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
	47.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
	33.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
✓	54.2%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
	83.4%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 2 binary64) (.f64 t (.f64 x z)))))))
✓	20.8%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
	17.0%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
✓	35.7%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
	5.5%	#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))

Compiler

Compiled 504 to 359 computations (28.8% saved)

regimes422.0ms (9.2%)

Memory

42.2MiB live, 508.5MiB allocated; 94ms collecting garbage

Accuracy

Total -12.7b remaining (-6.1%)

Threshold costs -12.7b (-6.1%)

Counts

3 → 1

4 → 3

5 → 3

8 → 3

9 → 4

12 → 4

13 → 7

15 → 4

16 → 5

18 → 3

22 → 3

29 → 1

Calls

Call 1

Inputs

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))

#s(approx (/ x y) #s(literal 2 binary64))

#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))

Outputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))

Call 2

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

Outputs

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))

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

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))

Call 3

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

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

Call 4

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

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

Outputs

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

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

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

Call 5

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

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

Call 6

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

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

Call 7

Inputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
#s(approx (/ x y) #s(literal 2 binary64))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ x y) (/.f64 x y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))

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

Call 8

Inputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
#s(approx (/ x y) #s(literal 2 binary64))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ x y) (/.f64 x y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))

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

Call 9

Inputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
#s(approx (/ x y) #s(literal 2 binary64))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ x y) (/.f64 x y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))
(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))

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

Call 10

Inputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
#s(approx (/ x y) #s(literal 2 binary64))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ x y) (/.f64 x y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))
(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))
(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))

Outputs

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))

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

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))

Call 11

Inputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
#s(approx (/ x y) #s(literal 2 binary64))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ x y) (/.f64 x y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))
(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))
(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 #s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 #s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (/.f64 #s(literal 2 binary64) t)) z)) #s(literal 2 binary64))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t #s(approx (- (/ x y) 2) #s(literal -2 binary64))))) t))
(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z))) (.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))))

Outputs

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))

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

#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))

Call 12

Inputs
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (- (/ x y) 2) #s(literal -2 binary64)))
#s(approx (/ x y) #s(literal 2 binary64))
#s(approx (+ (/ x y) (* (/ 2 t) (- 2 t))) (/.f64 #s(literal 4 binary64) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (/.f64 #s(literal 2 binary64) t)))
#s(approx (/ x y) (/.f64 x y))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 (/.f64 x y) #s(literal 2 binary64)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(literal 2 binary64) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2)))) (/.f64 #s(literal 2 binary64) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ (* 2 (/ (- 1 t) t)) (/ x y)) (*.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 #s(approx (- 1 t) #s(literal 1 binary64)) t) (/.f64 x y)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 #s(approx (+ 2 (* 2 (/ 1 z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) z)) z)) t))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z))) t))
(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) #s(literal 2 binary64)) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)))
(+.f64 (/.f64 x y) (*.f64 (/.f64 #s(literal 2 binary64) t) (-.f64 #s(literal 2 binary64) t)))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 #s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 #s(approx (+ (* 2 (/ z t)) (* 2 (/ 1 t))) (/.f64 #s(literal 2 binary64) t)) z)) #s(literal 2 binary64))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t #s(approx (- (/ x y) 2) #s(literal -2 binary64))))) t))
(+.f64 (/.f64 x y) (/.f64 #s(approx (+ 2 (* (* z 2) (- 1 t))) (+.f64 #s(literal 2 binary64) (.f64 #s(literal 2 binary64) z))) (.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 t z)))))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 2 binary64) (*.f64 t z))) #s(literal 2 binary64))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) z) (*.f64 t (-.f64 (/.f64 x y) #s(literal 2 binary64))))) t))
(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (+.f64 #s(literal 2 binary64) #s(approx (+ (* 2 (/ 1 z)) (* t (- (/ x y) 2))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 t (.f64 z (-.f64 (/.f64 x y) #s(literal 2 binary64))))) z))) t))
(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 #s(approx (+ (* 2 (/ 1 t)) (/ 2 (* t z))) (/.f64 (fma.f64 #s(literal 2 binary64) (/.f64 z t) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z)) #s(literal 2 binary64))))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 (fma.f64 z (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) t) (/.f64 x y)) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t))) z))
#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 x (fma.f64 #s(literal 2 binary64) (/.f64 (-.f64 #s(literal 1 binary64) t) (.f64 t x)) (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 2 binary64) (.f64 t (.f64 x z)))))))

Outputs

(+.f64 (/.f64 x y) #s(approx (/ (+ 2 (* (* z 2) (- 1 t))) (* t z)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) t) (/.f64 #s(literal 2 binary64) (*.f64 t z))) #s(literal 2 binary64))))

Calls

59 calls:

72.0ms	(/.f64 x y)
28.0ms	z
19.0ms	x
16.0ms	y
13.0ms	t

Results

Accuracy	Segments	Branch
20.8%	1	`x`
20.8%	1	`z`
20.8%	1	`y`
20.8%	1	`(/.f64 x y)`
20.8%	1	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
20.8%	1	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
20.8%	1	`t`
23.3%	2	`z`
35.1%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
35.1%	3	`t`
25.7%	3	`y`
22.9%	2	`x`
35.2%	4	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
27.4%	3	`(/.f64 x y)`
53.8%	3	`(/.f64 x y)`
48.4%	3	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
44.0%	3	`y`
35.5%	1	`z`
41.1%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
46.3%	3	`x`
43.0%	3	`t`
54.2%	1	`(/.f64 x y)`
54.2%	1	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
54.2%	1	`y`
61.6%	3	`t`
54.2%	1	`z`
59.8%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
74.6%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
63.2%	4	`x`
65.7%	4	`(/.f64 x y)`
74.6%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
73.1%	5	`z`
71.0%	5	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
71.4%	4	`t`
83.3%	7	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
87.5%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
89.5%	5	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
67.8%	2	`y`
75.6%	4	`x`
82.0%	4	`z`
89.3%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
84.4%	4	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
86.7%	4	`t`
78.8%	5	`(/.f64 x y)`
93.4%	3	`z`
99.2%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
99.3%	3	`(/.f64 x y)`
99.4%	4	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
92.5%	3	`x`
91.6%	4	`y`
99.4%	3	`z`
99.2%	3	`t`
99.9%	1	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
99.9%	1	`(/.f64 x y)`
99.9%	1	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
99.9%	1	`x`
99.9%	1	`y`
99.9%	1	`z`
99.9%	1	`t`

Compiler

Compiled 1 164 to 575 computations (50.6% saved)

bsearch83.0ms (1.8%)

Memory

0.8MiB live, 47.4MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
21.0ms	1.2653776028035695e-18	3.961428958927233e-13
57.0ms	-318013.8306477558	-3.9712203451610214e-13

Samples

23.0ms

304×

valid

Compiler

Compiled 1 483 to 990 computations (33.2% saved)

Precisions

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

ival-mult!: 5.0ms (44% of total)

ival-div!: 4.0ms (35.2% of total)

ival-add!: 2.0ms (17.6% of total)

ival-sub!: 1.0ms (8.8% of total)

adjust: 0.0ms (0% of total)

bsearch35.0ms (0.8%)

Memory

-5.7MiB live, 44.2MiB allocated; 7ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.4802515714043164e-29	9.873099173300607e-26
19.0ms	-318013.8306477558	-3.9712203451610214e-13

Samples

16.0ms

272×

valid

Compiler

Compiled 866 to 723 computations (16.5% saved)

Precisions

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

ival-mult!: 3.0ms (35.9% of total)

ival-div!: 3.0ms (35.9% of total)

ival-sub!: 1.0ms (12% of total)

ival-add!: 1.0ms (12% of total)

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated; 0ms collecting garbage

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	9945384238236.4	2.3969703181410464e+21
0.0ms	-102757.13165838527	-3908.2720044029093
0.0ms	-1.418282505889166e+142	-1.2767576348167236e+142

Compiler

Compiled 20 to 21 computations (-5% saved)

bsearch1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated; 0ms collecting garbage

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	9945384238236.4	2.3969703181410464e+21
0.0ms	-2.4099825810934255e+85	-3.953898244616437e+83

Compiler

Compiled 20 to 21 computations (-5% saved)

bsearch1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated; 0ms collecting garbage

Algorithm

6×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	8.591863070544381e+281	1.5551708692642584e+291
0.0ms	1.146745707262027e+41	3.644224867541156e+41
0.0ms	9945384238236.4	2.3969703181410464e+21
0.0ms	-5.417407530266811e+57	-2.1646765168654783e+36
0.0ms	-2.741212239740362e+164	-1.201791336885399e+164

Compiler

Compiled 20 to 21 computations (-5% saved)

bsearch1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated; 0ms collecting garbage

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	9945384238236.4	2.3969703181410464e+21
0.0ms	-1.2767576348167236e+142	-1.1137938366647972e+137

Compiler

Compiled 20 to 21 computations (-5% saved)

bsearch1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated; 0ms collecting garbage

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	9945384238236.4	2.3969703181410464e+21
0.0ms	-1.2767576348167236e+142	-1.1137938366647972e+137

Compiler

Compiled 20 to 21 computations (-5% saved)

bsearch35.0ms (0.8%)

Memory

6.7MiB live, 53.8MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	7.552602479257048e-167	9.181381166754962e-145
14.0ms	-4.1077921467082864e-134	-2.7963958986284833e-137

Samples

19.0ms

304×

valid

Compiler

Compiled 1 084 to 800 computations (26.2% saved)

Precisions

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

ival-mult!: 4.0ms (44.1% of total)

ival-div!: 3.0ms (33.1% of total)

ival-sub!: 1.0ms (11% of total)

ival-add!: 1.0ms (11% of total)

adjust: 0.0ms (0% of total)

bsearch27.0ms (0.6%)

Memory

-9.2MiB live, 38.3MiB allocated; 1ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	2.0170598822463775e-5	2478.3299432732842
11.0ms	-5.747816833526852e-38	-5.332550945984215e-40

Samples

14.0ms

256×

valid

Compiler

Compiled 500 to 437 computations (12.6% saved)

Precisions

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

ival-mult!: 3.0ms (47.1% of total)

ival-sub!: 1.0ms (15.7% of total)

ival-add!: 1.0ms (15.7% of total)

ival-div!: 1.0ms (15.7% of total)

adjust: 0.0ms (0% of total)

bsearch33.0ms (0.7%)

Memory

0.8MiB live, 47.9MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	4.8702078297960016e-36	6.830742220691031e-29
16.0ms	-301.9943138705765	-1.6795017365601473e-16

Samples

18.0ms

304×

valid

Compiler

Compiled 1 122 to 800 computations (28.7% saved)

Precisions

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

ival-mult!: 4.0ms (40.4% of total)

ival-div!: 4.0ms (40.4% of total)

ival-sub!: 1.0ms (10.1% of total)

ival-add!: 1.0ms (10.1% of total)

adjust: 0.0ms (0% of total)

derivations3.0ms (0.1%)

Memory

8.5MiB live, 8.5MiB allocated; 0ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 1 434 to 143 computations (90% saved)

preprocess202.0ms (4.4%)

Memory: -27.1MiB live, 254.2MiB allocated; 118ms collecting garbage
Compiler: Compiled 1 451 to 157 computations (89.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze382.0ms (8.4%)

sample1.3s (28.7%)

preprocess29.0ms (0.6%)

series183.0ms (4%)

rewrite241.0ms (5.3%)

eval8.0ms (0.2%)

prune8.0ms (0.2%)

series191.0ms (4.2%)

rewrite254.0ms (5.6%)

eval82.0ms (1.8%)

prune11.0ms (0.2%)

series201.0ms (4.4%)

rewrite267.0ms (5.8%)

eval17.0ms (0.4%)

prune12.0ms (0.3%)

series218.0ms (4.8%)

rewrite275.0ms (6%)

eval11.0ms (0.2%)

prune20.0ms (0.4%)

regimes422.0ms (9.2%)

bsearch83.0ms (1.8%)

bsearch35.0ms (0.8%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch35.0ms (0.8%)

bsearch27.0ms (0.6%)

bsearch33.0ms (0.7%)

derivations3.0ms (0.1%)

preprocess202.0ms (4.4%)

end0.0ms (0%)

Profiling