Metrics for Eccentricity of an ellipse

start0.0ms (0%)

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

analyze13.0ms (0.7%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	37.5%	62.5%	0%	0%	0%	0
0%	0%	37.5%	62.5%	0%	0%	0%	1
0%	0%	18.7%	62.5%	0%	18.7%	0%	2
0%	0%	9.4%	62.5%	0%	28.1%	0%	3
0%	0%	9.4%	62.5%	0%	28.1%	0%	4
0%	0%	7%	62.5%	0%	30.4%	0%	5
20%	1.2%	4.7%	62.5%	0%	31.6%	0%	6
25%	1.2%	3.5%	62.5%	0%	32.8%	0%	7
40%	1.8%	2.6%	62.5%	0%	33.1%	0%	8
51.9%	2%	1.9%	62.5%	0%	33.5%	0%	9
64.7%	2.4%	1.3%	62.5%	0%	33.7%	0%	10
72.9%	2.6%	1%	62.5%	0%	33.9%	0%	11
80.2%	2.7%	0.7%	62.5%	0%	34%	0%	12

Compiler

Compiled 25 to 16 computations (36% saved)

sample1.1s (56.2%)

Memory

8.1MiB live, 2 521.2MiB allocated; 285ms collecting garbage

Samples

680.0ms	8 256×	0	valid
64.0ms	806×	0	invalid

Precisions

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

ival-mult: 147.0ms (32.1% of total)

ival-fabs: 120.0ms (26.2% of total)

ival-sqrt: 67.0ms (14.6% of total)

ival-div: 61.0ms (13.3% of total)

ival-sub: 45.0ms (9.8% of total)

ival-<=: 7.0ms (1.5% of total)

ival-and: 4.0ms (0.9% of total)

adjust: 3.0ms (0.7% of total)

ival-assert: 3.0ms (0.7% of total)

Bogosity

explain110.0ms (5.9%)

Memory

9.4MiB live, 347.7MiB allocated; 20ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
56	-	1	(2.2022038807127295e-158 4.5445902143566e-162)	`(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))`
0	-	0	-	`(*.f64 a a)`
0	-	0	-	`a`
0	-	0	-	`b`
0	-	0	-	`(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))`
0	-	0	-	`(fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a)))`
0	-	0	-	`(-.f64 (.f64 a a) (.f64 b b))`
0	-	0	-	`(*.f64 b b)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))`	u/u	55	0
↳	`(*.f64 b b)`	underflow	193
↳	`(-.f64 (.f64 a a) (.f64 b b))`	underflow	55
↳	`(*.f64 a a)`	underflow	55
↳	`(*.f64 a a)`	underflow	55

Confusion

	Predicted +	Predicted -
+	55	1
-	0	200

Precision

1.0

Recall

0.9821428571428571

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	55	0	1
-	0	0	200

Precision?

1.0

Recall?

0.9821428571428571

Freqs

test

number	freq
0	201
1	55

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

44.0ms

512×

valid

Compiler

Compiled 119 to 28 computations (76.5% saved)

Precisions

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

ival-mult: 8.0ms (30.1% of total)

ival-div: 7.0ms (26.4% of total)

ival-sub: 5.0ms (18.8% of total)

ival-sqrt: 4.0ms (15.1% of total)

ival-fabs: 3.0ms (11.3% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess127.0ms (6.7%)

Memory

22.7MiB live, 304.9MiB allocated; 26ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	80
1	99	68
2	621	68
3	5836	68
0	8	13
0	14	13
1	37	11
2	204	11
3	2138	11
0	8528	10

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Outputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(sqrt.f64 (*.f64 (fabs.f64 (-.f64 (/.f64 (fabs.f64 b) a) #s(literal 1 binary64))) (fabs.f64 (/.f64 (+.f64 (fabs.f64 b) a) a))))

Symmetry

(abs a)

(abs b)

Compiler

Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	78.4%	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series11.0ms (0.6%)

Memory

-19.4MiB live, 27.2MiB allocated; 3ms collecting garbage

Counts

8 → 17

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a)))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 a a)
a
(*.f64 b b)
b

Outputs
#s(approx (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) #s(hole binary64 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))))
#s(approx (fabs (/ (- (* a a) (* b b)) (* a a))) #s(hole binary64 (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (* -1 (/ (pow b 2) (pow a 2)))))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (/ (+ (* -1 (pow b 2)) (pow a 2)) (pow a 2))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* -1 (pow b 2))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (- (pow a 2) (pow b 2))))
#s(approx (* a a) #s(hole binary64 (pow a 2)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 1))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (pow a 2)))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow a 2) (+ 1 (* -1 (/ (pow b 2) (pow a 2)))))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (+ (* -1 (pow b 2)) (pow a 2))))
#s(approx (* b b) #s(hole binary64 (pow b 2)))
#s(approx b #s(hole binary64 b))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (* (pow b 2) (- (/ 1 (pow b 2)) (/ 1 (pow a 2))))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow b 2) (- (/ (pow a 2) (pow b 2)) 1))))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	b	@	inf	((sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (fabs (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)) (- (* a a) (* b b)) (* a a) a (* b b) b)
2.0ms	a	@	inf	((sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (fabs (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)) (- (* a a) (* b b)) (* a a) a (* b b) b)
1.0ms	a	@	0	((sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (fabs (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)) (- (* a a) (* b b)) (* a a) a (* b b) b)
1.0ms	b	@	-inf	((sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (fabs (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)) (- (* a a) (* b b)) (* a a) a (* b b) b)
1.0ms	a	@	-inf	((sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (fabs (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a)) (- (* a a) (* b b)) (* a a) a (* b b) b)

rewrite85.0ms (4.5%)

Memory

27.7MiB live, 126.7MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	332
0	64	323
1	224	292
0	1833	291

Stop Event

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

Counts

25 → 233

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a)))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 a a)
a
(*.f64 b b)
b
#s(approx (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) #s(hole binary64 (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))))))
#s(approx (fabs (/ (- (* a a) (* b b)) (* a a))) #s(hole binary64 (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (* -1 (/ (pow b 2) (pow a 2)))))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (/ (+ (* -1 (pow b 2)) (pow a 2)) (pow a 2))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* -1 (pow b 2))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (- (pow a 2) (pow b 2))))
#s(approx (* a a) #s(hole binary64 (pow a 2)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 1))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (pow a 2)))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow a 2) (+ 1 (* -1 (/ (pow b 2) (pow a 2)))))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (+ (* -1 (pow b 2)) (pow a 2))))
#s(approx (* b b) #s(hole binary64 (pow b 2)))
#s(approx b #s(hole binary64 b))
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(hole binary64 (* (pow b 2) (- (/ 1 (pow b 2)) (/ 1 (pow a 2))))))
#s(approx (- (* a a) (* b b)) #s(hole binary64 (* (pow b 2) (- (/ (pow a 2) (pow b 2)) 1))))

Outputs
(.f64 (pow.f64 (/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (.f64 a a)) #s(literal 1/4 binary64)) (pow.f64 (/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (*.f64 a a)) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)) (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (*.f64 a a))) #s(literal 1/4 binary64))
(pow.f64 (/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (.f64 a a)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (*.f64 b b)))) (fabs.f64 a))
(sqrt.f64 (/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (.f64 a a)))
(exp.f64 (.f64 (log.f64 (/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (*.f64 a a))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a))) (sqrt.f64 (*.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a))))
(pow.f64 (.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)) (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (*.f64 a a))) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b)))) (.f64 (neg.f64 a) a))
(/.f64 (fabs.f64 (*.f64 (+.f64 b a) (/.f64 (-.f64 a b) a))) (fabs.f64 a))
(/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (.f64 a a))
(sqrt.f64 (.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)) (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (*.f64 a a))))
(fabs.f64 (expm1.f64 (-.f64 (.f64 (log.f64 b) #s(literal 2 binary64)) (.f64 (log.f64 a) #s(literal 2 binary64)))))
(fabs.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)))
(fabs.f64 (*.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a)))
(*.f64 (/.f64 (+.f64 b a) (neg.f64 a)) (/.f64 (-.f64 a b) (neg.f64 a)))
(*.f64 (/.f64 (+.f64 b a) (fabs.f64 a)) (/.f64 (-.f64 a b) (fabs.f64 a)))
(*.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a))
(.f64 (+.f64 b a) (/.f64 (-.f64 a b) (.f64 a a)))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a)))
(/.f64 (/.f64 (*.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)) (neg.f64 a)) (neg.f64 a))
(/.f64 (/.f64 (*.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)) (fabs.f64 a)) (fabs.f64 a))
(/.f64 (-.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) #s(literal 1 binary64)) (-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) (-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))))) (neg.f64 (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) (.f64 b b)))) (.f64 #s(literal 2 binary64) (.f64 a a)))))
(/.f64 (neg.f64 (fma.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) (-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a)) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (*.f64 (+.f64 b a) (/.f64 (-.f64 a b) a))) (neg.f64 a))
(/.f64 (neg.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 a a) (.f64 (neg.f64 a) a)) (.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) a) a)) (.f64 (.f64 a a) (.f64 (neg.f64 a) a)))
(/.f64 (-.f64 (pow.f64 (.f64 a a) #s(literal 2 binary64)) (.f64 (.f64 (.f64 a a) b) b)) (pow.f64 (*.f64 a a) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 a a) (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) (.f64 b b)))) (.f64 #s(literal 2 binary64) (.f64 a a)))
(/.f64 (fma.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64) (.f64 (.f64 a a) #s(literal 2 binary64))) (.f64 (.f64 a a) #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) a) a (pow.f64 (.f64 a a) #s(literal 2 binary64))) (pow.f64 (*.f64 a a) #s(literal 2 binary64)))
(/.f64 (*.f64 (+.f64 b a) (/.f64 (-.f64 a b) a)) a)
(/.f64 (.f64 (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)) (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b))) (.f64 (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)) (.f64 a a)))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64)))) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) (.f64 b b)))) (.f64 #s(literal 2 binary64) (.f64 a a))))
(/.f64 (.f64 (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)) (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a))) (.f64 (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a)) (.f64 a a)))
(/.f64 (-.f64 (pow.f64 (.f64 a a) #s(literal 3 binary64)) (pow.f64 (.f64 b b) #s(literal 3 binary64))) (.f64 (fma.f64 (.f64 (fabs.f64 a) a) (.f64 (fabs.f64 a) a) (.f64 (.f64 b b) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)))) (.f64 a a)))
(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64)) (fma.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) #s(literal 1 binary64) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) (.f64 b b)))) (.f64 #s(literal 2 binary64) (*.f64 a a)))))
(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64)) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) (-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (fma.f64 (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 3 binary64))) (.f64 (fma.f64 (.f64 (.f64 b b) b) b (.f64 (.f64 a a) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)))) (.f64 a a)))
(/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 (neg.f64 a) a))
(/.f64 (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)) (.f64 a a))
(neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a))))
(neg.f64 (fma.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a) #s(literal -1 binary64)))
(neg.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)))
(fma.f64 (/.f64 #s(literal -1 binary64) (neg.f64 a)) (/.f64 (*.f64 b b) (neg.f64 a)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 b b) (neg.f64 a)) (/.f64 #s(literal -1 binary64) (neg.f64 a)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) (fabs.f64 a)) (/.f64 (*.f64 b b) (fabs.f64 a)) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 b b) (fabs.f64 a)) (/.f64 #s(literal -1 binary64) (fabs.f64 a)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a) #s(literal 1 binary64))
(fma.f64 (/.f64 (*.f64 b b) a) (/.f64 #s(literal -1 binary64) a) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64))
(fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal 1 binary64))
(fma.f64 (.f64 b b) (/.f64 #s(literal -1 binary64) (.f64 a a)) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) (.f64 b b)))) (.f64 #s(literal 2 binary64) (.f64 a a)))) (/.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) (.f64 b b)))) (.f64 #s(literal 2 binary64) (*.f64 a a)))))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a)) #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)))
(-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) (-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 3 binary64)) (pow.f64 (.f64 a a) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) (-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 b b) a)) #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)))
(+.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)) #s(literal 1 binary64))
(*.f64 (+.f64 (neg.f64 a) (neg.f64 b)) (-.f64 (neg.f64 a) (neg.f64 b)))
(*.f64 (+.f64 (neg.f64 a) (fabs.f64 b)) (-.f64 (neg.f64 a) (fabs.f64 b)))
(*.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b))
(*.f64 (+.f64 (fabs.f64 a) (neg.f64 b)) (-.f64 (fabs.f64 a) (neg.f64 b)))
(*.f64 (+.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b)))
(*.f64 (+.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b))
(*.f64 (+.f64 a (neg.f64 b)) (-.f64 a (neg.f64 b)))
(*.f64 (+.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))
(*.f64 (-.f64 a b) (+.f64 b a))
(*.f64 (+.f64 b a) (-.f64 a b))
(/.f64 (neg.f64 (.f64 (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)) (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)))) (neg.f64 (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 a a) #s(literal 3 binary64)) (pow.f64 (.f64 b b) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (fabs.f64 a) a) (.f64 (fabs.f64 a) a) (.f64 (.f64 b b) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))))))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)) (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a)))) (neg.f64 (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 b b) b) b (.f64 (.f64 a a) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))))))
(/.f64 (.f64 (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)) (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b))) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)))
(/.f64 (.f64 (.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)) (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a))) (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a)))
(/.f64 (-.f64 (pow.f64 (.f64 a a) #s(literal 3 binary64)) (pow.f64 (.f64 b b) #s(literal 3 binary64))) (fma.f64 (.f64 (fabs.f64 a) a) (.f64 (fabs.f64 a) a) (.f64 (.f64 b b) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)))))
(/.f64 (fma.f64 (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 3 binary64))) (fma.f64 (.f64 (fabs.f64 a) a) (.f64 (fabs.f64 a) a) (-.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) a) a))))
(/.f64 (fma.f64 (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 a a) #s(literal 3/2 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 b b) b) b (.f64 (.f64 a a) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a)))))
(fma.f64 (.f64 #s(literal -1 binary64) (neg.f64 b)) (neg.f64 b) (.f64 a a))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 b)) (fabs.f64 b) (.f64 a a))
(fma.f64 (.f64 #s(literal -1 binary64) b) b (.f64 a a))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 a)) (neg.f64 a) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 a)) (neg.f64 a) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 a)) (.f64 #s(literal 1 binary64) (fabs.f64 a)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 a)) (.f64 #s(literal 1 binary64) (fabs.f64 a)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 a)) (fabs.f64 a) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 a)) (fabs.f64 a) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 (.f64 #s(literal 1 binary64) a) (.f64 #s(literal 1 binary64) a) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) a) (.f64 #s(literal 1 binary64) a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (.f64 #s(literal 1 binary64) a) a (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) a) a (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 (.f64 (neg.f64 a) #s(literal 1 binary64)) (.f64 (neg.f64 a) #s(literal 1 binary64)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 (neg.f64 a) #s(literal 1 binary64)) (.f64 (neg.f64 a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (.f64 (fabs.f64 a) #s(literal 1 binary64)) (.f64 (fabs.f64 a) #s(literal 1 binary64)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 (fabs.f64 a) #s(literal 1 binary64)) (.f64 (fabs.f64 a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (.f64 a #s(literal 1 binary64)) (.f64 a #s(literal 1 binary64)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 a #s(literal 1 binary64)) (.f64 a #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (neg.f64 (neg.f64 a)) (neg.f64 (neg.f64 a)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (neg.f64 a)) (neg.f64 (neg.f64 a)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (neg.f64 (fabs.f64 a)) (neg.f64 (fabs.f64 a)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 a)) (neg.f64 (fabs.f64 a)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (neg.f64 (neg.f64 b)) (neg.f64 b) (*.f64 a a))
(fma.f64 (neg.f64 (fabs.f64 b)) (fabs.f64 b) (*.f64 a a))
(fma.f64 (fabs.f64 (fabs.f64 a)) (fabs.f64 (fabs.f64 a)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 a)) (fabs.f64 (fabs.f64 a)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (exp.f64 (log.f64 a)) (exp.f64 (log.f64 a)) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (exp.f64 (log.f64 a)) (exp.f64 (log.f64 a)) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (neg.f64 a) (.f64 (neg.f64 a) #s(literal 1 binary64)) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 a) (.f64 (neg.f64 a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 (neg.f64 a) (neg.f64 a) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (neg.f64 a) (neg.f64 a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (neg.f64 b) (.f64 (neg.f64 b) #s(literal -1 binary64)) (.f64 a a))
(fma.f64 (neg.f64 b) (neg.f64 (neg.f64 b)) (*.f64 a a))
(fma.f64 (neg.f64 b) b (*.f64 a a))
(fma.f64 (fabs.f64 a) (.f64 (fabs.f64 a) #s(literal 1 binary64)) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (fabs.f64 a) (.f64 (fabs.f64 a) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 (fabs.f64 a) (fabs.f64 a) (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (fabs.f64 a) (fabs.f64 a) (.f64 #s(literal -1 binary64) (.f64 b b)))
(fma.f64 (fabs.f64 b) (.f64 (fabs.f64 b) #s(literal -1 binary64)) (.f64 a a))
(fma.f64 (fabs.f64 b) (neg.f64 (fabs.f64 b)) (*.f64 a a))
(fma.f64 #s(literal 1 binary64) (.f64 a a) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (.f64 a a) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 #s(literal -1 binary64) (.f64 b b) (.f64 a a))
(fma.f64 (.f64 b b) #s(literal -1 binary64) (.f64 a a))
(fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 b (.f64 b #s(literal -1 binary64)) (.f64 a a))
(fma.f64 b (neg.f64 b) (*.f64 a a))
(fma.f64 a (.f64 a #s(literal 1 binary64)) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(fma.f64 a (.f64 a #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(fma.f64 a a (.f64 (.f64 #s(literal -1 binary64) (*.f64 b b)) #s(literal 1 binary64)))
(fma.f64 a a (.f64 #s(literal -1 binary64) (.f64 b b)))
(-.f64 (/.f64 (pow.f64 (.f64 a a) #s(literal 2 binary64)) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))) (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (fma.f64 #s(literal 1 binary64) (.f64 b b) (*.f64 a a))))
(-.f64 (/.f64 (pow.f64 (.f64 a a) #s(literal 3 binary64)) (fma.f64 (.f64 (fabs.f64 a) a) (.f64 (fabs.f64 a) a) (.f64 (.f64 b b) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))))) (/.f64 (pow.f64 (.f64 b b) #s(literal 3 binary64)) (fma.f64 (.f64 (fabs.f64 a) a) (.f64 (fabs.f64 a) a) (.f64 (.f64 b b) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))))))
(-.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 2 binary64)) (fma.f64 (neg.f64 b) b (.f64 (neg.f64 a) a))) (/.f64 (pow.f64 (.f64 a a) #s(literal 2 binary64)) (fma.f64 (neg.f64 b) b (*.f64 (neg.f64 a) a))))
(-.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (*.f64 (neg.f64 a) a))
(-.f64 (.f64 a a) (.f64 (neg.f64 (neg.f64 b)) b))
(-.f64 (.f64 a a) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal -1 binary64)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 b b) b) b (.f64 (.f64 a a) (fma.f64 #s(literal 1 binary64) (.f64 b b) (.f64 a a))))) (/.f64 (pow.f64 (.f64 a a) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 b b) b) b (.f64 (.f64 a a) (fma.f64 #s(literal 1 binary64) (.f64 b b) (*.f64 a a))))))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (*.f64 a a))
(+.f64 (.f64 a a) (.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) #s(literal 1 binary64)))
(+.f64 (.f64 a a) (.f64 #s(literal -1 binary64) (*.f64 b b)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 a)) (*.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 a)) (neg.f64 a))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 a)) (*.f64 #s(literal 1 binary64) (fabs.f64 a)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 a)) (fabs.f64 a))
(.f64 (.f64 #s(literal 1 binary64) a) (*.f64 #s(literal 1 binary64) a))
(.f64 (.f64 #s(literal 1 binary64) a) a)
(.f64 (.f64 (neg.f64 a) #s(literal 1 binary64)) (*.f64 (neg.f64 a) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 a) #s(literal 1 binary64)) (*.f64 (fabs.f64 a) #s(literal 1 binary64)))
(.f64 (.f64 a #s(literal 1 binary64)) (*.f64 a #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 a)) (neg.f64 (neg.f64 a)))
(*.f64 (neg.f64 (fabs.f64 a)) (neg.f64 (fabs.f64 a)))
(*.f64 (fabs.f64 (fabs.f64 a)) (fabs.f64 (fabs.f64 a)))
(*.f64 (exp.f64 (log.f64 a)) (exp.f64 (log.f64 a)))
(.f64 (neg.f64 a) (.f64 (neg.f64 a) #s(literal 1 binary64)))
(*.f64 (neg.f64 a) (neg.f64 a))
(.f64 (fabs.f64 a) (.f64 (fabs.f64 a) #s(literal 1 binary64)))
(*.f64 (fabs.f64 a) (fabs.f64 a))
(.f64 #s(literal 1 binary64) (.f64 a a))
(.f64 (.f64 a a) #s(literal 1 binary64))
(.f64 a (.f64 a #s(literal 1 binary64)))
(*.f64 a a)
(pow.f64 (exp.f64 (log.f64 a)) #s(literal 2 binary64))
(pow.f64 (neg.f64 a) #s(literal 2 binary64))
(pow.f64 (fabs.f64 a) #s(literal 2 binary64))
(pow.f64 (*.f64 a a) #s(literal 1 binary64))
(pow.f64 a #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 a a) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (.f64 (.f64 a a) #s(literal -1 binary64)))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 a a)))
(neg.f64 (*.f64 (neg.f64 a) a))
(sqrt.f64 (pow.f64 (*.f64 a a) #s(literal 2 binary64)))
(fabs.f64 (*.f64 (neg.f64 a) a))
(fabs.f64 (*.f64 a a))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 a) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 a) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 a) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 a) #s(literal 2 binary64))))
a
(.f64 (.f64 (neg.f64 b) #s(literal 1 binary64)) (*.f64 (neg.f64 b) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 b) #s(literal 1 binary64)) (*.f64 (fabs.f64 b) #s(literal 1 binary64)))
(.f64 (.f64 b #s(literal 1 binary64)) (*.f64 b #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 b)) (neg.f64 (neg.f64 b)))
(*.f64 (neg.f64 (fabs.f64 b)) (neg.f64 (fabs.f64 b)))
(*.f64 (fabs.f64 (fabs.f64 b)) (fabs.f64 (fabs.f64 b)))
(*.f64 (exp.f64 (log.f64 b)) (exp.f64 (log.f64 b)))
(.f64 (neg.f64 b) (.f64 (neg.f64 b) #s(literal 1 binary64)))
(*.f64 (neg.f64 b) (neg.f64 b))
(.f64 (fabs.f64 b) (.f64 (fabs.f64 b) #s(literal 1 binary64)))
(*.f64 (fabs.f64 b) (fabs.f64 b))
(.f64 #s(literal 1 binary64) (.f64 b b))
(.f64 (.f64 b b) #s(literal 1 binary64))
(.f64 b (.f64 b #s(literal 1 binary64)))
(*.f64 b b)
(pow.f64 (exp.f64 (log.f64 b)) #s(literal 2 binary64))
(pow.f64 (neg.f64 b) #s(literal 2 binary64))
(pow.f64 (fabs.f64 b) #s(literal 2 binary64))
(pow.f64 (*.f64 b b) #s(literal 1 binary64))
(pow.f64 b #s(literal 2 binary64))
(/.f64 (.f64 (.f64 b b) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 b b)))
(fabs.f64 (*.f64 b b))
(exp.f64 (fma.f64 (log.f64 b) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 b) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 b) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 b) #s(literal 2 binary64))))
b
#s(approx (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (pow.f64 (.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)) (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (*.f64 a a))) #s(literal 1/4 binary64)))
#s(approx (fabs (/ (- (* a a) (* b b)) (* a a))) (/.f64 (fabs.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (.f64 a a)))
#s(approx (/ (- (* a a) (* b b)) (* a a)) (.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 b b) a)))
#s(approx (/ (- (* a a) (* b b)) (* a a)) (*.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a)))
#s(approx (- (* a a) (* b b)) (.f64 #s(literal -1 binary64) (.f64 b b)))
#s(approx (- (* a a) (* b b)) (*.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)))
#s(approx (* a a) (*.f64 a a))
#s(approx a a)
#s(approx (/ (- (* a a) (* b b)) (* a a)) #s(literal 1 binary64))
#s(approx (/ (- (* a a) (* b b)) (* a a)) (*.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a)))
#s(approx (- (* a a) (* b b)) (*.f64 a a))
#s(approx (- (* a a) (* b b)) (.f64 (.f64 a a) (*.f64 (/.f64 (+.f64 b a) a) (/.f64 (-.f64 a b) a))))
#s(approx (- (* a a) (* b b)) (*.f64 (+.f64 (neg.f64 a) b) (-.f64 (neg.f64 a) b)))
#s(approx (* b b) (*.f64 b b))
#s(approx b b)
#s(approx (/ (- (* a a) (* b b)) (* a a)) (.f64 (-.f64 (pow.f64 (.f64 b b) #s(literal -1 binary64)) (pow.f64 (.f64 a a) #s(literal -1 binary64))) (.f64 b b)))
#s(approx (- (* a a) (* b b)) (.f64 (fma.f64 (/.f64 (neg.f64 a) b) (/.f64 (neg.f64 a) b) #s(literal -1 binary64)) (.f64 b b)))

eval40.0ms (2.1%)

Memory: 8.1MiB live, 100.2MiB allocated; 8ms collecting garbage
Compiler: Compiled 5 321 to 1 207 computations (77.3% saved)

prune122.0ms (6.5%)

Memory

-26.0MiB live, 363.4MiB allocated; 17ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	277	1	278
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	277	2	279

Accuracy

100.0%

Counts

279 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))
✓	78.4%	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Status

Accuracy

Program

▶

100.0%

(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))

✓

78.4%

(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

Compiler

Compiled 27 to 18 computations (33.3% saved)

series13.0ms (0.7%)

Memory

-3.6MiB live, 44.6MiB allocated; 2ms collecting garbage

Counts

10 → 14

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))
(fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64)))
(fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))
(*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a))
(/.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
#s(literal -1 binary64)
#s(literal 1 binary64)

Outputs
#s(approx (sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) #s(hole binary64 (sqrt (fabs (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))))
#s(approx (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) #s(hole binary64 (fabs (+ 1 (* -1 (/ (pow b 2) (pow a 2)))))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (* -1 (/ (pow b 2) (pow a 2)))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (/ (+ (* -1 (pow b 2)) (pow a 2)) (pow a 2))))
#s(approx (* (/ (neg b) a) (/ (neg b) a)) #s(hole binary64 (/ (pow b 2) (pow a 2))))
#s(approx (/ (neg b) a) #s(hole binary64 (* -1 (/ b a))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 1))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))
#s(approx (neg b) #s(hole binary64 (* -1 b)))
#s(approx b #s(hole binary64 b))
#s(approx (sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) #s(hole binary64 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))))
#s(approx (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) #s(hole binary64 (fabs (- 1 (/ (pow b 2) (pow a 2))))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (* (pow b 2) (- (/ 1 (pow b 2)) (/ 1 (pow a 2))))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	b	@	inf	((sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (* (/ (neg b) a) (/ (neg b) a)) (/ (neg b) a) (neg b) b a -1 1)
3.0ms	b	@	0	((sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (* (/ (neg b) a) (/ (neg b) a)) (/ (neg b) a) (neg b) b a -1 1)
2.0ms	b	@	-inf	((sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (* (/ (neg b) a) (/ (neg b) a)) (/ (neg b) a) (neg b) b a -1 1)
2.0ms	a	@	0	((sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (* (/ (neg b) a) (/ (neg b) a)) (/ (neg b) a) (neg b) b a -1 1)
2.0ms	a	@	inf	((sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (* (/ (neg b) a) (/ (neg b) a)) (/ (neg b) a) (neg b) b a -1 1)

rewrite64.0ms (3.4%)

Memory

6.5MiB live, 197.1MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	315
0	62	266
1	211	214
0	1583	214

Stop Event

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

Counts

24 → 118

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))
(fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64)))
(fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))
(*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a))
(/.f64 (neg.f64 b) a)
(neg.f64 b)
b
a
#s(literal -1 binary64)
#s(literal 1 binary64)
#s(approx (sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) #s(hole binary64 (sqrt (fabs (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))))
#s(approx (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) #s(hole binary64 (fabs (+ 1 (* -1 (/ (pow b 2) (pow a 2)))))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (* -1 (/ (pow b 2) (pow a 2)))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (/ (+ (* -1 (pow b 2)) (pow a 2)) (pow a 2))))
#s(approx (* (/ (neg b) a) (/ (neg b) a)) #s(hole binary64 (/ (pow b 2) (pow a 2))))
#s(approx (/ (neg b) a) #s(hole binary64 (* -1 (/ b a))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 1))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (+ 1 (* -1 (/ (pow b 2) (pow a 2))))))
#s(approx (neg b) #s(hole binary64 (* -1 b)))
#s(approx b #s(hole binary64 b))
#s(approx (sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) #s(hole binary64 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2)))))))
#s(approx (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) #s(hole binary64 (fabs (- 1 (/ (pow b 2) (pow a 2))))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(hole binary64 (* (pow b 2) (- (/ 1 (pow b 2)) (/ 1 (pow a 2))))))

Outputs
(*.f64 (pow.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/4 binary64)) (pow.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/4 binary64)))
(pow.f64 (*.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/4 binary64))
(pow.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/2 binary64))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))))
(exp.f64 (*.f64 (log.f64 (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a)) (sqrt.f64 (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (*.f64 b b) #s(literal -1 binary64))) a) a)))
(pow.f64 (*.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/2 binary64))
(/.f64 (fabs.f64 (.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))) (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64))))
(/.f64 (fabs.f64 (.f64 (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a) (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64)))) (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64))))
(/.f64 (fabs.f64 (.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))) (fabs.f64 (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) (.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)))))
(/.f64 (fabs.f64 (.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))) (fabs.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64))))
(sqrt.f64 (*.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))))
(fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)))
(fabs.f64 (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (*.f64 b b) #s(literal -1 binary64))) a) a))
(.f64 #s(literal 1 binary64) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))
(/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (*.f64 b b) #s(literal -1 binary64))) a) a)
(/.f64 (neg.f64 (fma.f64 (neg.f64 a) a (.f64 b b))) (neg.f64 (.f64 (neg.f64 a) a)))
(/.f64 (neg.f64 (.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))) (neg.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))) (neg.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a))) (neg.f64 (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) (.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (.f64 (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a) (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64)))) (neg.f64 (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64))))
(/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 a) a)) (.f64 #s(literal 2 binary64) (.f64 (.f64 b b) #s(literal -1 binary64)))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 a) a)))
(/.f64 (-.f64 (.f64 #s(literal 2 binary64) (.f64 a a)) (.f64 #s(literal 2 binary64) (.f64 b b))) (.f64 #s(literal 2 binary64) (.f64 a a)))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) a) a (pow.f64 (.f64 a a) #s(literal 2 binary64))) (pow.f64 (*.f64 a a) #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 2 binary64) (.f64 (.f64 a a) #s(literal 2 binary64))) (.f64 (.f64 a a) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 a a) (.f64 #s(literal 2 binary64) (.f64 (.f64 b b) #s(literal -1 binary64)))) (.f64 #s(literal 2 binary64) (.f64 a a)))
(/.f64 (.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)))
(/.f64 (.f64 (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a) (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64))) (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (.f64 (/.f64 (-.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64)))) (*.f64 a a)))
(/.f64 (.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a)) (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) a) a)) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) (.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64))))
(/.f64 (fma.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 3/2 binary64)) (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 3/2 binary64)) (pow.f64 (.f64 a a) #s(literal 3 binary64))) (.f64 (fma.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64) (fma.f64 (.f64 (.f64 a a) a) a (.f64 (.f64 (.f64 b b) a) a))) (.f64 a a)))
(/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) (.f64 a a))
(neg.f64 (/.f64 (fma.f64 (neg.f64 a) a (.f64 b b)) (.f64 a a)))
(neg.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) (.f64 (neg.f64 a) a)))
(neg.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)))
(fma.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 (/.f64 b a))) (fabs.f64 (/.f64 b a)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 b a) b) (/.f64 #s(literal -1 binary64) a) #s(literal 1 binary64))
(fma.f64 (fabs.f64 (/.f64 b a)) (*.f64 (fabs.f64 (/.f64 b a)) #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 (/.f64 b a) (*.f64 (/.f64 b a) #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 b a) (/.f64 b a)) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (.f64 b b) (/.f64 #s(literal -1 binary64) (.f64 a a)) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 b a) (/.f64 b a)) #s(literal 1 binary64))
(fma.f64 (*.f64 (/.f64 b a) #s(literal -1 binary64)) (/.f64 b a) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (/.f64 (pow.f64 (.f64 b b) #s(literal 3 binary64)) (pow.f64 (.f64 a a) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64))) (/.f64 (/.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 a a) #s(literal 2 binary64))) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64))))
(-.f64 (/.f64 (/.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 a a) #s(literal 2 binary64))) (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b) #s(literal -1 binary64))))
(-.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 b a) (/.f64 b a)))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (/.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 a a) #s(literal 3 binary64))) (fma.f64 (*.f64 (/.f64 b a) (/.f64 b a)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 (/.f64 (/.f64 (pow.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 a a) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) (.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal 1 binary64)))))
(+.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)))
(*.f64 (neg.f64 (fabs.f64 (/.f64 b a))) (neg.f64 (fabs.f64 (/.f64 b a))))
(*.f64 (fabs.f64 (fabs.f64 (/.f64 b a))) (fabs.f64 (fabs.f64 (/.f64 b a))))
(.f64 (pow.f64 (.f64 (/.f64 b a) #s(literal -1 binary64)) #s(literal 1 binary64)) (pow.f64 (*.f64 (/.f64 b a) #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 (/.f64 b a) #s(literal -1 binary64)) #s(literal 1 binary64)) (*.f64 (/.f64 b a) #s(literal -1 binary64)))
(*.f64 (fabs.f64 (/.f64 b a)) (fabs.f64 (/.f64 b a)))
(*.f64 (/.f64 b a) (/.f64 b a))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b)) #s(literal -1 binary64))
(.f64 (.f64 (/.f64 b a) (/.f64 b a)) #s(literal 1 binary64))
(.f64 (.f64 b b) (pow.f64 (*.f64 a a) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) b) (/.f64 (*.f64 (/.f64 b a) #s(literal -1 binary64)) a))
(.f64 (.f64 #s(literal -1 binary64) b) (/.f64 (.f64 #s(literal -1 binary64) b) (.f64 a a)))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 b a) (/.f64 b a)))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 #s(literal -1 binary64) a) (*.f64 (/.f64 b a) b)))
(.f64 (.f64 (/.f64 b a) #s(literal -1 binary64)) (*.f64 (/.f64 b a) #s(literal -1 binary64)))
(.f64 b (/.f64 b (.f64 a a)))
(pow.f64 (fabs.f64 (/.f64 b a)) #s(literal 2 binary64))
(pow.f64 (/.f64 b a) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 b a) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 (/.f64 b a) (/.f64 b a))) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) (.f64 (neg.f64 a) a))
(/.f64 (.f64 (.f64 (/.f64 b a) #s(literal -1 binary64)) b) (neg.f64 a))
(/.f64 (.f64 b (.f64 (/.f64 b a) #s(literal -1 binary64))) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 (/.f64 b a) b)) (neg.f64 a))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 b b)) (.f64 #s(literal 2 binary64) (.f64 a a)))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 b b) #s(literal -1 binary64))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 a) a)))
(/.f64 (*.f64 (/.f64 b a) b) a)
(/.f64 (.f64 (.f64 b b) #s(literal -1 binary64)) (*.f64 (neg.f64 a) a))
(/.f64 (.f64 b b) (neg.f64 (.f64 (neg.f64 a) a)))
(/.f64 (.f64 b b) (.f64 a a))
(neg.f64 (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)))
(fabs.f64 (*.f64 (/.f64 b a) (/.f64 b a)))
(exp.f64 (-.f64 (.f64 (log.f64 b) #s(literal 2 binary64)) (.f64 (log.f64 a) #s(literal 2 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 b a) #s(literal -1 binary64))) #s(literal 2 binary64)))
(*.f64 (/.f64 b a) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 b a))
(*.f64 b (/.f64 #s(literal -1 binary64) a))
(/.f64 (*.f64 #s(literal -1 binary64) b) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 #s(literal -1 binary64) b) a)
(/.f64 b (neg.f64 a))
(neg.f64 (/.f64 b a))
(*.f64 #s(literal -1 binary64) b)
(*.f64 b #s(literal -1 binary64))
(neg.f64 b)
b
a
#s(literal -1 binary64)
#s(literal 1 binary64)
#s(approx (sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (pow.f64 (*.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/4 binary64)))
#s(approx (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (.f64 (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 b a) b)))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (*.f64 b b) #s(literal -1 binary64))) a) a))
#s(approx (* (/ (neg b) a) (/ (neg b) a)) (*.f64 (/.f64 b a) (/.f64 b a)))
#s(approx (/ (neg b) a) (*.f64 (/.f64 b a) #s(literal -1 binary64)))
#s(approx a a)
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) #s(literal 1 binary64))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (/.f64 (/.f64 (fma.f64 (.f64 a a) #s(literal 1 binary64) (.f64 (*.f64 b b) #s(literal -1 binary64))) a) a))
#s(approx (neg b) (*.f64 #s(literal -1 binary64) b))
#s(approx b b)
#s(approx (sqrt (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1))) (pow.f64 (*.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64)) (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))) #s(literal 1/4 binary64)))
#s(approx (fabs (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1)) (fabs.f64 (fma.f64 (/.f64 b a) (/.f64 b a) #s(literal -1 binary64))))
#s(approx (+ (* (* (/ (neg b) a) (/ (neg b) a)) -1) 1) (.f64 (-.f64 (pow.f64 (.f64 b b) #s(literal -1 binary64)) (pow.f64 (.f64 a a) #s(literal -1 binary64))) (.f64 b b)))

eval20.0ms (1.1%)

Memory: -11.1MiB live, 83.0MiB allocated; 2ms collecting garbage
Compiler: Compiled 2 697 to 544 computations (79.8% saved)

prune77.0ms (4.1%)

Memory

20.6MiB live, 166.7MiB allocated; 10ms collecting garbage

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	131	2	133

Accuracy

100.0%

Counts

133 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))
✓	78.4%	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Status

Accuracy

Program

✓

100.0%

(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))

✓

78.4%

(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

Compiler

Compiled 54 to 34 computations (37% saved)

regimes13.0ms (0.7%)

Memory

-19.3MiB live, 28.1MiB allocated; 1ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs

(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))

Outputs
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))

Calls

7 calls:

6.0ms	(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))
1.0ms	a
1.0ms	b
1.0ms	(*.f64 a a)
1.0ms	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 b b)`
100.0%	1	`(*.f64 a a)`
100.0%	1	`(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))`
100.0%	1	`(fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a)))`
100.0%	1	`(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))`
100.0%	1	`a`
100.0%	1	`b`

Compiler

Compiled 44 to 31 computations (29.5% saved)

regimes7.0ms (0.4%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Outputs
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Calls

7 calls:

1.0ms	b
1.0ms	a
1.0ms	(*.f64 a a)
1.0ms	(*.f64 b b)
1.0ms	(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))

Results

Accuracy	Segments	Branch
78.4%	1	`(*.f64 b b)`
78.4%	1	`(*.f64 a a)`
78.4%	1	`(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))`
78.4%	1	`(fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a)))`
78.4%	1	`(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))`
78.4%	1	`a`
78.4%	1	`b`

Compiler

Compiled 44 to 31 computations (29.5% saved)

simplify81.0ms (4.3%)

Memory

-28.7MiB live, 65.2MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	27
1	34	25
2	73	25
3	144	25
4	296	25
5	710	25
6	3668	25
7	7673	25

Stop Event

1×	node limit

Calls

Call 1

Inputs

(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))

(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 a a))))

Outputs
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 b) a) (/.f64 (neg.f64 b) a)) #s(literal -1 binary64) #s(literal 1 binary64))))
(sqrt.f64 (fabs.f64 (fma.f64 (.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) b) a)) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) b) a))) #s(literal -1 binary64) #s(literal 1 binary64))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 a a))))
(sqrt.f64 (fabs.f64 (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (.f64 b b)) (.f64 #s(literal -1 binary64) (.f64 a a))) (.f64 (.f64 #s(literal -1 binary64) (fabs.f64 a)) a))))

derivations11.0ms (0.6%)

Memory

-3.4MiB live, 44.0MiB allocated; 1ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 40 to 22 computations (45% saved)

preprocess32.0ms (1.7%)

Memory

0.1MiB live, 146.1MiB allocated; 7ms collecting garbage

Remove

(abs b)

(abs a)

Compiler

Compiled 346 to 192 computations (44.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze13.0ms (0.7%)

sample1.1s (56.2%)

explain110.0ms (5.9%)

preprocess127.0ms (6.7%)

eval0.0ms (0%)

prune0.0ms (0%)

series11.0ms (0.6%)

rewrite85.0ms (4.5%)

eval40.0ms (2.1%)

prune122.0ms (6.5%)

series13.0ms (0.7%)

rewrite64.0ms (3.4%)

eval20.0ms (1.1%)

prune77.0ms (4.1%)

regimes13.0ms (0.7%)

regimes7.0ms (0.4%)

simplify81.0ms (4.3%)

derivations11.0ms (0.6%)

preprocess32.0ms (1.7%)

end0.0ms (0%)

Profiling