Metrics for Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, B

start0.0ms (0%)

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

analyze222.0ms (2.5%)

Memory

-12.6MiB live, 139.7MiB allocated; 97ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
50%	49.9%	49.9%	0.1%	0%	0%	0%	6
66.7%	49.9%	25%	0.1%	0%	25%	0%	7
66.7%	49.9%	25%	0.1%	0%	25%	0%	8
66.7%	49.9%	25%	0.1%	0%	25%	0%	9
80%	49.9%	12.5%	0.1%	0%	37.4%	0%	10
80%	49.9%	12.5%	0.1%	0%	37.4%	0%	11
80%	49.9%	12.5%	0.1%	0%	37.4%	0%	12

Compiler

Compiled 12 to 12 computations (0% saved)

sample1.4s (16.5%)

Memory

81.4MiB live, 1 286.4MiB allocated; 479ms collecting garbage

Samples

805.0ms	8 256×	0	valid
232.0ms	2 079×	0	invalid

Precisions

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

ival-mult!: 173.0ms (59.1% of total)

ival-sqrt: 91.0ms (31.1% of total)

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

adjust: 2.0ms (0.7% of total)

Bogosity

preprocess165.0ms (1.9%)

Memory

-49.1MiB live, 62.9MiB allocated; 60ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	84
1	145	82
2	562	82
3	3661	82

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))

Compiler

Compiled 20 to 20 computations (0% saved)

series10.0ms (0.1%)

Memory

31.4MiB live, 31.5MiB allocated; 0ms collecting garbage

Counts

10 → 28

Calls

Call 1

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

Outputs
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* y (sqrt z))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (+ x (* y (sqrt z)))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* 1/2 x)))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 x))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* x (+ 1 (* (/ y x) (sqrt z))))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* x (- (* -1 (* (/ y x) (sqrt z))) 1)))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* y (sqrt z))))
#s(approx y #s(hole binary64 y))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* y (+ (sqrt z) (/ x y)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* y (+ (* -1 (sqrt z)) (* -1 (/ x y)))))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (sqrt z) #s(hole binary64 (sqrt z)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* z (+ (* y (sqrt (/ 1 z))) (/ x z)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z))))))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (sqrt z) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	z	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	z	@	0	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	y	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	x	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	z	@	inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)

rewrite1.6s (18.1%)

Memory

31.3MiB live, 1 216.5MiB allocated; 313ms collecting garbage

Counts

38 → 37

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
(+.f64 x (*.f64 y (sqrt.f64 z)))
x
(*.f64 y (sqrt.f64 z))
y
(sqrt.f64 z)
z
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* y (sqrt z))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (+ x (* y (sqrt z)))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* 1/2 x)))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 x))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* x (+ 1 (* (/ y x) (sqrt z))))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* x (- (* -1 (* (/ y x) (sqrt z))) 1)))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* y (sqrt z))))
#s(approx y #s(hole binary64 y))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* y (+ (sqrt z) (/ x y)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* y (+ (* -1 (sqrt z)) (* -1 (/ x y)))))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (sqrt z) #s(hole binary64 (sqrt z)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* z (+ (* y (sqrt (/ 1 z))) (/ x z)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* (/ 1 2) (+ x (* y (sqrt z)))) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (+ x (* y (sqrt z))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z))))))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (sqrt z) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))

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

eval4.0ms (0.1%)

Memory: -38.5MiB live, 8.4MiB allocated; 2ms collecting garbage
Compiler: Compiled 221 to 93 computations (57.9% saved)

prune8.0ms (0.1%)

Memory

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

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	22	15	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	16	38

Accuracy

99.9%

Counts

38 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	24.8%	(fma.f64 y (sqrt.f64 z) x)
	3.3%	(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
	17.7%	(*.f64 y (sqrt.f64 z))
	3.5%	(sqrt.f64 z)
	85.7%	#s(approx (/ (+ x (* y (sqrt z))) 2) (.f64 (fma.f64 (.f64 (/.f64 y x) (sqrt.f64 z)) #s(literal 1/2 binary64) #s(literal 1/2 binary64)) x))
	78.5%	#s(approx (/ (+ x (* y (sqrt z))) 2) (.f64 (.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) z)) y (/.f64 x z)) #s(literal 1/2 binary64)) z))
	88.8%	#s(approx (/ (+ x (* y (sqrt z))) 2) (.f64 (.f64 #s(literal 1/2 binary64) y) (+.f64 (/.f64 x y) (sqrt.f64 z))))
▶	99.8%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) (fma.f64 y (sqrt.f64 z) x)))
	53.8%	#s(approx (/ (+ x (* y (sqrt z))) 2) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 z))))
▶	47.4%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) x))
	10.4%	#s(approx (+ x (* y (sqrt z))) x)
▶	3.3%	#s(approx z z)
	5.4%	#s(approx y y)
	3.3%	#s(literal 2 binary64)
▶	3.3%	#s(literal 1 binary64)

Compiler

Compiled 232 to 264 computations (-13.8% saved)

series7.0ms (0.1%)

Memory

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

Counts

12 → 38

Calls

Call 1

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

Outputs
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* y (sqrt z))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (+ x (* y (sqrt z)))))
#s(approx x #s(hole binary64 x))
#s(approx (* 1/2 x) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* 1/2 x)))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 x))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* x (+ 1 (* (/ y x) (sqrt z))))))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* x (- (* -1 (* (/ y x) (sqrt z))) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* y (+ (sqrt z) (/ x y)))))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* y (+ (* -1 (sqrt z)) (* -1 (/ x y)))))))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (sqrt z) #s(hole binary64 (sqrt z)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* z (+ (* y (sqrt (/ 1 z))) (/ x z)))))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (/ (+ x (* y (sqrt z))) 2) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* 1/2 (+ (* y (sqrt z)) x)) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z))))))))
#s(approx (sqrt z) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	z	@	-inf	((/ (+ x (* y (sqrt z))) 2) (* 1/2 (+ (* y (sqrt z)) x)) 1/2 (+ (* y (sqrt z)) x) y (sqrt z) z x 1 z (/ (+ x (* y (sqrt z))) 2) (* 1/2 x))
1.0ms	x	@	-inf	((/ (+ x (* y (sqrt z))) 2) (* 1/2 (+ (* y (sqrt z)) x)) 1/2 (+ (* y (sqrt z)) x) y (sqrt z) z x 1 z (/ (+ x (* y (sqrt z))) 2) (* 1/2 x))
1.0ms	x	@	inf	((/ (+ x (* y (sqrt z))) 2) (* 1/2 (+ (* y (sqrt z)) x)) 1/2 (+ (* y (sqrt z)) x) y (sqrt z) z x 1 z (/ (+ x (* y (sqrt z))) 2) (* 1/2 x))
1.0ms	y	@	-inf	((/ (+ x (* y (sqrt z))) 2) (* 1/2 (+ (* y (sqrt z)) x)) 1/2 (+ (* y (sqrt z)) x) y (sqrt z) z x 1 z (/ (+ x (* y (sqrt z))) 2) (* 1/2 x))
1.0ms	x	@	0	((/ (+ x (* y (sqrt z))) 2) (* 1/2 (+ (* y (sqrt z)) x)) 1/2 (+ (* y (sqrt z)) x) y (sqrt z) z x 1 z (/ (+ x (* y (sqrt z))) 2) (* 1/2 x))

rewrite1.4s (15.8%)

Memory

-4.2MiB live, 660.9MiB allocated; 189ms collecting garbage

Counts

50 → 45

Calls

Call 1

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

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

eval4.0ms (0%)

Memory: 6.0MiB live, 6.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 304 to 100 computations (67.1% saved)

prune7.0ms (0.1%)

Memory

10.5MiB live, 10.4MiB allocated; 0ms collecting garbage

Pruning

15 alts after pruning (10 fresh and 5 done)

	Pruned	Kept	Total
New	34	6	40
Fresh	6	4	10
Picked	1	4	5
Done	0	1	1
Total	41	15	56

Accuracy

99.9%

Counts

56 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	24.8%	(fma.f64 y (sqrt.f64 z) x)
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
	17.7%	(*.f64 y (sqrt.f64 z))
▶	3.5%	(sqrt.f64 z)
	85.7%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (fma.f64 (.f64 (/.f64 y x) (sqrt.f64 z)) #s(literal 1/2 binary64) #s(literal 1/2 binary64)) x))
	78.5%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) z)) y (/.f64 x z)) #s(literal 1/2 binary64)) z))
▶	88.8%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (.f64 #s(literal 1/2 binary64) y) (+.f64 (/.f64 x y) (sqrt.f64 z))))
▶	53.8%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 z))))
✓	99.8%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) (fma.f64 y (sqrt.f64 z) x)))
✓	47.4%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) x))
	10.4%	#s(approx (+ (* y (sqrt z)) x) x)
✓	3.3%	#s(approx z z)
▶	5.4%	#s(approx y y)
	3.3%	#s(literal 2 binary64)
▶	3.3%	#s(literal 1/2 binary64)

Compiler

Compiled 195 to 219 computations (-12.3% saved)

series27.0ms (0.3%)

Memory

-21.8MiB live, 21.8MiB allocated; 20ms collecting garbage

Counts

14 → 42

Calls

Call 1

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

Outputs
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (sqrt z)))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (+ (sqrt z) (/ x y))))
#s(approx (/ x y) #s(hole binary64 (/ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* 1/2 x)))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (/ x y)))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* x (+ (* (/ 1 x) (sqrt z)) (/ 1 y)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* -1 (* x (- (* -1 (* (/ 1 x) (sqrt z))) (/ 1 y))))))
#s(approx (* 1/2 y) #s(hole binary64 (* 1/2 y)))
#s(approx y #s(hole binary64 y))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (/ (+ x (* y (sqrt z))) y)))
#s(approx (* 1/2 (* y (sqrt z))) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* y (sqrt z))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* 1/2 (* y (+ (sqrt z) (/ x y))))))
#s(approx (sqrt z) #s(hole binary64 (sqrt z)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* z (+ (sqrt (/ 1 z)) (/ x (* y z))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x (* y z))) (* (sqrt (/ 1 z)) (pow (sqrt -1) 2)))))))
#s(approx (sqrt z) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))
#s(approx (* 1/2 (* y (sqrt z))) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))

Calls

9 calls:

Time	Variable		Point	Expression
13.0ms	x	@	0	((/ (+ (* y (sqrt z)) x) 2) (* (* 1/2 y) (+ (/ x y) (sqrt z))) (* 1/2 y) 1/2 y (+ (/ x y) (sqrt z)) (/ x y) x (sqrt z) z y (/ (+ (* y (sqrt z)) x) 2) (* 1/2 (* y (sqrt z))) (* y (sqrt z)))
2.0ms	x	@	inf	((/ (+ (* y (sqrt z)) x) 2) (* (* 1/2 y) (+ (/ x y) (sqrt z))) (* 1/2 y) 1/2 y (+ (/ x y) (sqrt z)) (/ x y) x (sqrt z) z y (/ (+ (* y (sqrt z)) x) 2) (* 1/2 (* y (sqrt z))) (* y (sqrt z)))
2.0ms	y	@	-inf	((/ (+ (* y (sqrt z)) x) 2) (* (* 1/2 y) (+ (/ x y) (sqrt z))) (* 1/2 y) 1/2 y (+ (/ x y) (sqrt z)) (/ x y) x (sqrt z) z y (/ (+ (* y (sqrt z)) x) 2) (* 1/2 (* y (sqrt z))) (* y (sqrt z)))
2.0ms	z	@	-inf	((/ (+ (* y (sqrt z)) x) 2) (* (* 1/2 y) (+ (/ x y) (sqrt z))) (* 1/2 y) 1/2 y (+ (/ x y) (sqrt z)) (/ x y) x (sqrt z) z y (/ (+ (* y (sqrt z)) x) 2) (* 1/2 (* y (sqrt z))) (* y (sqrt z)))
2.0ms	z	@	0	((/ (+ (* y (sqrt z)) x) 2) (* (* 1/2 y) (+ (/ x y) (sqrt z))) (* 1/2 y) 1/2 y (+ (/ x y) (sqrt z)) (/ x y) x (sqrt z) z y (/ (+ (* y (sqrt z)) x) 2) (* 1/2 (* y (sqrt z))) (* y (sqrt z)))

rewrite1.5s (16.7%)

Memory

34.7MiB live, 411.5MiB allocated; 177ms collecting garbage

Counts

56 → 51

Calls

Call 1

Inputs
#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (.f64 #s(literal 1/2 binary64) y) (+.f64 (/.f64 x y) (sqrt.f64 z))))
(.f64 (.f64 #s(literal 1/2 binary64) y) (+.f64 (/.f64 x y) (sqrt.f64 z)))
(*.f64 #s(literal 1/2 binary64) y)
#s(literal 1/2 binary64)
y
(+.f64 (/.f64 x y) (sqrt.f64 z))
(/.f64 x y)
x
(sqrt.f64 z)
z
#s(approx y y)
#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 z))))
(.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 z)))
(*.f64 y (sqrt.f64 z))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (sqrt z)))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (+ (sqrt z) (/ x y))))
#s(approx (/ x y) #s(hole binary64 (/ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* 1/2 x)))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (/ x y)))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* x (+ (* (/ 1 x) (sqrt z)) (/ 1 y)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* -1 (* x (- (* -1 (* (/ 1 x) (sqrt z))) (/ 1 y))))))
#s(approx (* 1/2 y) #s(hole binary64 (* 1/2 y)))
#s(approx y #s(hole binary64 y))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (/ (+ x (* y (sqrt z))) y)))
#s(approx (* 1/2 (* y (sqrt z))) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* y (sqrt z))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* 1/2 (* y (+ (sqrt z) (/ x y))))))
#s(approx (sqrt z) #s(hole binary64 (sqrt z)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* z (+ (sqrt (/ 1 z)) (/ x (* y z))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* (* 1/2 y) (+ (/ x y) (sqrt z))) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))
#s(approx (+ (/ x y) (sqrt z)) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x (* y z))) (* (sqrt (/ 1 z)) (pow (sqrt -1) 2)))))))
#s(approx (sqrt z) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))
#s(approx (* 1/2 (* y (sqrt z))) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* y (sqrt z)) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))

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

eval8.0ms (0.1%)

Memory: -42.1MiB live, 4.8MiB allocated; 4ms collecting garbage
Compiler: Compiled 347 to 111 computations (68% saved)

prune10.0ms (0.1%)

Memory

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

Pruning

17 alts after pruning (7 fresh and 10 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	1	4	5
Picked	0	5	5
Done	0	5	5
Total	45	17	62

Accuracy

99.9%

Counts

62 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	24.8%	(fma.f64 y (sqrt.f64 z) x)
▶	3.1%	(/.f64 x y)
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
	17.7%	(*.f64 (sqrt.f64 z) y)
▶	5.4%	(*.f64 #s(literal 1/2 binary64) y)
✓	3.5%	(sqrt.f64 z)
▶	85.7%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (fma.f64 (.f64 (/.f64 y x) (sqrt.f64 z)) #s(literal 1/2 binary64) #s(literal 1/2 binary64)) x))
	78.5%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) z)) y (/.f64 x z)) #s(literal 1/2 binary64)) z))
✓	88.8%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (.f64 #s(literal 1/2 binary64) y) (+.f64 (/.f64 x y) (sqrt.f64 z))))
✓	53.8%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 z))))
✓	99.8%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) (fma.f64 y (sqrt.f64 z) x)))
✓	47.4%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) x))
▶	10.4%	#s(approx (+ (* y (sqrt z)) x) x)
✓	3.3%	#s(approx z z)
✓	5.4%	#s(approx y y)
▶	3.3%	#s(literal 2 binary64)
✓	3.3%	#s(literal 1/2 binary64)

Compiler

Compiled 174 to 197 computations (-13.2% saved)

series37.0ms (0.4%)

Memory

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

Counts

14 → 50

Calls

Call 1

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

Outputs
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* 1/2 (* y (sqrt z)))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (+ (* 1/2 x) (* 1/2 (* y (sqrt z))))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (* 1/2 (* (/ y x) (sqrt z)))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (/ (+ (* 1/2 x) (* 1/2 (* y (sqrt z)))) x)))
#s(approx (* (/ y x) (sqrt z)) #s(hole binary64 (* (/ y x) (sqrt z))))
#s(approx (/ y x) #s(hole binary64 (/ y x)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* y (sqrt z))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (+ x (* y (sqrt z)))))
#s(approx (/ x y) #s(hole binary64 (/ x y)))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* 1/2 x)))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* x (+ 1/2 (* 1/2 (* (/ y x) (sqrt z)))))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 1/2))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (+ 1/2 (* 1/2 (* (/ y x) (sqrt z))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 x))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* x (+ 1 (* (/ y x) (sqrt z))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* -1 (* x (- (* -1/2 (* (/ y x) (sqrt z))) 1/2)))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* x (- (* -1 (* (/ y x) (sqrt z))) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (* 1/2 y) #s(hole binary64 (* 1/2 y)))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* y (+ (* 1/2 (sqrt z)) (* 1/2 (/ x y))))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (* y (+ (* 1/2 (* (/ 1 x) (sqrt z))) (* 1/2 (/ 1 y))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* y (+ (sqrt z) (/ x y)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* -1 (* y (+ (* -1/2 (sqrt z)) (* -1/2 (/ x y)))))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (* -1 (* y (- (* -1/2 (* (/ 1 x) (sqrt z))) (* 1/2 (/ 1 y)))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* y (+ (* -1 (sqrt z)) (* -1 (/ x y)))))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* 1/2 (+ x (* y (sqrt z))))))
#s(approx (sqrt z) #s(hole binary64 (sqrt z)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* z (+ (* 1/2 (* y (sqrt (/ 1 z)))) (* 1/2 (/ x z))))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (* z (+ (* 1/2 (* (/ y x) (sqrt (/ 1 z)))) (* 1/2 (/ 1 z))))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* z (+ (* y (sqrt (/ 1 z))) (/ x z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (/ (+ (* y (sqrt z)) x) 2) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* -1/2 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) #s(hole binary64 (* -1 (* z (+ (* -1/2 (/ x z)) (* 1/2 (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z)))))))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (* -1/2 (* (/ (* y (pow (sqrt -1) 2)) x) (sqrt z)))))
#s(approx (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) #s(hole binary64 (* -1 (* z (- (* 1/2 (* (/ (* y (pow (sqrt -1) 2)) x) (sqrt (/ 1 z)))) (* 1/2 (/ 1 z)))))))
#s(approx (* (/ y x) (sqrt z)) #s(hole binary64 (* -1 (* (/ (* y (pow (sqrt -1) 2)) x) (sqrt z)))))
#s(approx (sqrt z) #s(hole binary64 (* -1 (* (sqrt z) (pow (sqrt -1) 2)))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* (* y (pow (sqrt -1) 2)) (sqrt z)))))
#s(approx (+ (* y (sqrt z)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* (* y (pow (sqrt -1) 2)) (sqrt (/ 1 z))))))))

Calls

9 calls:

Time	Variable		Point	Expression
8.0ms	y	@	0	((/ (+ (* y (sqrt z)) x) 2) (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) (* (/ y x) (sqrt z)) (/ y x) y x (sqrt z) z 1/2 2 (+ (* y (sqrt z)) x) (* 1/2 y) (/ x y))
5.0ms	y	@	-inf	((/ (+ (* y (sqrt z)) x) 2) (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) (* (/ y x) (sqrt z)) (/ y x) y x (sqrt z) z 1/2 2 (+ (* y (sqrt z)) x) (* 1/2 y) (/ x y))
4.0ms	x	@	-inf	((/ (+ (* y (sqrt z)) x) 2) (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) (* (/ y x) (sqrt z)) (/ y x) y x (sqrt z) z 1/2 2 (+ (* y (sqrt z)) x) (* 1/2 y) (/ x y))
4.0ms	z	@	-inf	((/ (+ (* y (sqrt z)) x) 2) (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) (* (/ y x) (sqrt z)) (/ y x) y x (sqrt z) z 1/2 2 (+ (* y (sqrt z)) x) (* 1/2 y) (/ x y))
3.0ms	z	@	0	((/ (+ (* y (sqrt z)) x) 2) (* (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) x) (+ (* (* (/ y x) (sqrt z)) 1/2) 1/2) (* (/ y x) (sqrt z)) (/ y x) y x (sqrt z) z 1/2 2 (+ (* y (sqrt z)) x) (* 1/2 y) (/ x y))

rewrite1.7s (19.3%)

Memory

-41.5MiB live, 650.1MiB allocated; 403ms collecting garbage

Counts

64 → 60

Calls

Call 1

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

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

eval5.0ms (0.1%)

Memory: 9.8MiB live, 9.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 446 to 136 computations (69.5% saved)

prune9.0ms (0.1%)

Memory

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

Pruning

18 alts after pruning (3 fresh and 15 done)

	Pruned	Kept	Total
New	51	2	53
Fresh	1	1	2
Picked	0	5	5
Done	0	10	10
Total	52	18	70

Accuracy

99.9%

Counts

70 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	24.8%	(fma.f64 y (sqrt.f64 z) x)
	4.6%	(/.f64 y x)
✓	3.1%	(/.f64 x y)
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
	17.7%	(*.f64 (sqrt.f64 z) y)
✓	5.4%	(*.f64 #s(literal 1/2 binary64) y)
✓	3.5%	(sqrt.f64 z)
	78.5%	#s(approx (/ (+ (* (sqrt z) y) x) 2) (.f64 (.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) z)) y (/.f64 x z)) #s(literal 1/2 binary64)) z))
✓	85.7%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (fma.f64 (.f64 (/.f64 y x) (sqrt.f64 z)) #s(literal 1/2 binary64) #s(literal 1/2 binary64)) x))
✓	88.8%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 (.f64 #s(literal 1/2 binary64) y) (+.f64 (/.f64 x y) (sqrt.f64 z))))
✓	53.8%	#s(approx (/ (+ (* y (sqrt z)) x) 2) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 z))))
✓	99.8%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) (fma.f64 y (sqrt.f64 z) x)))
✓	47.4%	#s(approx (/ (+ x (* y (sqrt z))) 2) (*.f64 #s(literal 1/2 binary64) x))
✓	10.4%	#s(approx (+ (* y (sqrt z)) x) x)
✓	3.3%	#s(approx z z)
✓	5.4%	#s(approx y y)
✓	3.3%	#s(literal 2 binary64)
✓	3.3%	#s(literal 1/2 binary64)

Compiler

Compiled 264 to 199 computations (24.6% saved)

regimes177.0ms (2%)

Memory

-17.7MiB live, 74.3MiB allocated; 7ms collecting garbage

Counts

27 → 1

Calls

Call 1

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

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

Calls

7 calls:

70.0ms	(sqrt.f64 z)
10.0ms	y
9.0ms	(*.f64 y (sqrt.f64 z))
8.0ms	z
7.0ms	x

Results

Accuracy	Segments	Branch
99.8%	1	`(sqrt.f64 z)`
99.8%	1	`(*.f64 y (sqrt.f64 z))`
99.8%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
99.8%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
99.8%	1	`x`
99.8%	1	`y`
99.8%	1	`z`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes89.0ms (1%)

Memory

-15.3MiB live, 38.6MiB allocated; 60ms collecting garbage

Counts

18 → 3

Calls

Call 1

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

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

Outputs

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

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

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

Calls

7 calls:

42.0ms	(sqrt.f64 z)
8.0ms	y
8.0ms	x
8.0ms	z
8.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))

Results

Accuracy	Segments	Branch
66.1%	2	`(sqrt.f64 z)`
79.8%	3	`(*.f64 y (sqrt.f64 z))`
59.6%	3	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
59.6%	3	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
74.9%	3	`x`
77.8%	3	`y`
66.1%	2	`z`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes53.0ms (0.6%)

Memory

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

Counts

16 → 3

Calls

Call 1

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

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

Calls

7 calls:

10.0ms	y
9.0ms	x
9.0ms	(*.f64 y (sqrt.f64 z))
8.0ms	z
5.0ms	(sqrt.f64 z)

Results

Accuracy	Segments	Branch
54.6%	3	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
54.6%	3	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
49.9%	2	`(sqrt.f64 z)`
49.9%	2	`z`
51.0%	3	`x`
56.4%	3	`y`
56.8%	3	`(*.f64 y (sqrt.f64 z))`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes6.0ms (0.1%)

Memory

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

Counts

15 → 3

Calls

Call 1

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

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

Calls

1 calls:

5.0ms

(*.f64 y (sqrt.f64 z))

Results

Accuracy	Segments	Branch
56.5%	3	`(*.f64 y (sqrt.f64 z))`

Compiler

Compiled 4 to 5 computations (-25% saved)

regimes104.0ms (1.2%)

Memory

-4.3MiB live, 43.9MiB allocated; 5ms collecting garbage

Counts

13 → 1

Calls

Call 1

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

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

Calls

7 calls:

64.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))
8.0ms	(*.f64 y (sqrt.f64 z))
7.0ms	x
7.0ms	(sqrt.f64 z)
7.0ms	z

Results

Accuracy	Segments	Branch
47.4%	1	`x`
47.4%	1	`(sqrt.f64 z)`
47.4%	1	`z`
47.4%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
47.4%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
47.4%	1	`y`
47.4%	1	`(*.f64 y (sqrt.f64 z))`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes29.0ms (0.3%)

Memory

-8.8MiB live, 37.5MiB allocated; 7ms collecting garbage

Counts

8 → 1

Calls

Call 1

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

Outputs
#s(approx (+ x (* y (sqrt z))) x)

Calls

7 calls:

7.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))
5.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
3.0ms	(sqrt.f64 z)
3.0ms	x
3.0ms	z

Results

Accuracy	Segments	Branch
10.4%	1	`(sqrt.f64 z)`
10.4%	1	`x`
10.4%	1	`z`
10.4%	1	`y`
10.4%	1	`(*.f64 y (sqrt.f64 z))`
10.4%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
10.4%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes21.0ms (0.2%)

Memory

-19.1MiB live, 27.7MiB allocated; 2ms collecting garbage

Counts

5 → 1

Calls

Call 1

Inputs
#s(literal 1/2 binary64)
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(approx y y)
#s(approx z z)

Outputs
#s(approx y y)

Calls

7 calls:

5.0ms	(sqrt.f64 z)
4.0ms	x
3.0ms	y
3.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
2.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))

Results

Accuracy	Segments	Branch
5.4%	1	`(sqrt.f64 z)`
5.4%	1	`z`
5.4%	1	`x`
5.4%	1	`(*.f64 y (sqrt.f64 z))`
5.4%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
5.4%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
5.4%	1	`y`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes12.0ms (0.1%)

Memory

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

Counts

3 → 1

Calls

Call 1

Inputs
#s(literal 1/2 binary64)
#s(literal 1 binary64)
#s(literal 2 binary64)

Outputs
#s(literal 2 binary64)

Calls

7 calls:

2.0ms	z
2.0ms	(sqrt.f64 z)
2.0ms	y
2.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
2.0ms	x

Results

Accuracy	Segments	Branch
3.3%	1	`(sqrt.f64 z)`
3.3%	1	`z`
3.3%	1	`x`
3.3%	1	`y`
3.3%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
3.3%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
3.3%	1	`(*.f64 y (sqrt.f64 z))`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes13.0ms (0.2%)

Memory

-29.6MiB live, 19.5MiB allocated; 7ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs
#s(literal 1/2 binary64)
#s(literal 1 binary64)

Outputs
#s(literal 1 binary64)

Calls

7 calls:

5.0ms	y
1.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
1.0ms	(sqrt.f64 z)
1.0ms	z
1.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))

Results

Accuracy	Segments	Branch
3.3%	1	`y`
3.3%	1	`(*.f64 y (sqrt.f64 z))`
3.3%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
3.3%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
3.3%	1	`x`
3.3%	1	`(sqrt.f64 z)`
3.3%	1	`z`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes8.0ms (0.1%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 1/2 binary64)

Outputs
#s(literal 1/2 binary64)

Calls

7 calls:

1.0ms	(*.f64 y (sqrt.f64 z))
1.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
1.0ms	y
1.0ms	z
1.0ms	(sqrt.f64 z)

Results

Accuracy	Segments	Branch
3.3%	1	`(sqrt.f64 z)`
3.3%	1	`z`
3.3%	1	`x`
3.3%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
3.3%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
3.3%	1	`(*.f64 y (sqrt.f64 z))`
3.3%	1	`y`

Compiler

Compiled 25 to 34 computations (-36% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	9.214545481569778e+38	1.3626311470651797e+48
0.0ms	-2.346659202985478e+41	-1.902094573325967e+41

Compiler

Compiled 13 to 16 computations (-23.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0537291250422345e+103	2.4262241311769203e+107
0.0ms	-2.7736240240981662e+144	-5.9109201216238e+138

Compiler

Compiled 13 to 16 computations (-23.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0537291250422345e+103	2.4262241311769203e+107
0.0ms	-2.7736240240981662e+144	-5.9109201216238e+138

Compiler

Compiled 13 to 16 computations (-23.1% saved)

derivations2.0ms (0%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 58 to 36 computations (37.9% saved)

preprocess154.0ms (1.8%)

Memory: 16.4MiB live, 107.1MiB allocated; 34ms collecting garbage
Compiler: Compiled 68 to 46 computations (32.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze222.0ms (2.5%)

sample1.4s (16.5%)

preprocess165.0ms (1.9%)

series10.0ms (0.1%)

rewrite1.6s (18.1%)

eval4.0ms (0.1%)

prune8.0ms (0.1%)

series7.0ms (0.1%)

rewrite1.4s (15.8%)

eval4.0ms (0%)

prune7.0ms (0.1%)

series27.0ms (0.3%)

rewrite1.5s (16.7%)

eval8.0ms (0.1%)

prune10.0ms (0.1%)

series37.0ms (0.4%)

rewrite1.7s (19.3%)

eval5.0ms (0.1%)

prune9.0ms (0.1%)

regimes177.0ms (2%)

regimes89.0ms (1%)

regimes53.0ms (0.6%)

regimes6.0ms (0.1%)

regimes104.0ms (1.2%)

regimes29.0ms (0.3%)

regimes21.0ms (0.2%)

regimes12.0ms (0.1%)

regimes13.0ms (0.2%)

regimes8.0ms (0.1%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations2.0ms (0%)

preprocess154.0ms (1.8%)

end0.0ms (0%)

Profiling