Metrics for Quotient of products

start0.0ms (0%)

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

analyze154.0ms (5.3%)

Memory

-2.9MiB live, 229.3MiB allocated; 64ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
25%	25%	74.9%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	9
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	10
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	12

Compiler

Compiled 9 to 9 computations (0% saved)

sample705.0ms (24.3%)

Memory

11.0MiB live, 666.0MiB allocated; 205ms collecting garbage

Samples

373.0ms

8 256×

valid

Precisions

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

ival-mult!: 117.0ms (75.3% of total)

ival-div!: 36.0ms (23.2% of total)

adjust: 2.0ms (1.3% of total)

Bogosity

explain56.0ms (1.9%)

Memory

31.3MiB live, 74.7MiB allocated; 6ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
52	-	3	(-2.257444820664494e-220 2.439483040170536e-98 6.45160635611346e-70 1.7496952501297483e-185)	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`
0	-	0	-	`(*.f64 b1 b2)`
0	-	0	-	`(*.f64 a1 a2)`
0	-	0	-	`a1`
0	-	0	-	`b2`
0	-	0	-	`b1`
0	-	0	-	`a2`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	n/o	17	0
↳	`(*.f64 b1 b2)`	overflow	38
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	n/u	9	0
↳	`(*.f64 b1 b2)`	underflow	28
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	o/n	9	0
↳	`(*.f64 a1 a2)`	overflow	30
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	o/o	5	0
↳	`(*.f64 a1 a2)`	overflow	30
↳	`(*.f64 b1 b2)`	overflow	38
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	u/n	5	0
↳	`(*.f64 a1 a2)`	underflow	34
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	u/u	4	0
↳	`(*.f64 a1 a2)`	underflow	34
↳	`(*.f64 b1 b2)`	underflow	28

Confusion

	Predicted +	Predicted -
+	49	3
-	0	204

Precision

1.0

Recall

0.9423076923076923

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	49	0	3
-	0	0	204

Precision?

1.0

Recall?

0.9423076923076923

Freqs

test

number	freq
0	207
1	49

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

23.0ms

512×

valid

Compiler

Compiled 45 to 25 computations (44.4% saved)

Precisions

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

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

ival-div!: 2.0ms (26.3% of total)

adjust: 0.0ms (0% of total)

preprocess29.0ms (1%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	109
1	117	109
2	328	109
3	696	109
4	996	109
5	1875	109
6	1891	109

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	81.3%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Symmetry

(negabs a1)

(negabs a2)

(negabs b1)

(negabs b2)

(sort a1 a2)

(sort b1 b2)

Compiler

Compiled 14 to 14 computations (0% saved)

series19.0ms (0.7%)

Memory

-27.2MiB live, 31.3MiB allocated; 5ms collecting garbage

Counts

7 → 7

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 a1 a2)
a1
a2
(*.f64 b1 b2)
b1
b2

Outputs
#s(approx (/ (* a1 a2) (* b1 b2)) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* a1 a2) #s(hole binary64 (* a1 a2)))
#s(approx a1 #s(hole binary64 a1))
#s(approx a2 #s(hole binary64 a2))
#s(approx (* b1 b2) #s(hole binary64 (* b1 b2)))
#s(approx b1 #s(hole binary64 b1))
#s(approx b2 #s(hole binary64 b2))

Calls

12 calls:

Time	Variable		Point	Expression
5.0ms	a1	@	-inf	((/ (* a1 a2) (* b1 b2)) (* a1 a2) a1 a2 (* b1 b2) b1 b2)
3.0ms	b2	@	-inf	((/ (* a1 a2) (* b1 b2)) (* a1 a2) a1 a2 (* b1 b2) b1 b2)
2.0ms	a2	@	inf	((/ (* a1 a2) (* b1 b2)) (* a1 a2) a1 a2 (* b1 b2) b1 b2)
2.0ms	a1	@	inf	((/ (* a1 a2) (* b1 b2)) (* a1 a2) a1 a2 (* b1 b2) b1 b2)
1.0ms	a2	@	-inf	((/ (* a1 a2) (* b1 b2)) (* a1 a2) a1 a2 (* b1 b2) b1 b2)

rewrite138.0ms (4.8%)

Memory

6.9MiB live, 141.0MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	58
0	18	58
1	213	58
2	2654	58
0	8034	58

Stop Event

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

Counts

14 → 303

Calls

Call 1

Inputs
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 a1 a2)
a1
a2
(*.f64 b1 b2)
b1
b2
#s(approx (/ (* a1 a2) (* b1 b2)) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* a1 a2) #s(hole binary64 (* a1 a2)))
#s(approx a1 #s(hole binary64 a1))
#s(approx a2 #s(hole binary64 a2))
#s(approx (* b1 b2) #s(hole binary64 (* b1 b2)))
#s(approx b1 #s(hole binary64 b1))
#s(approx b2 #s(hole binary64 b2))

Outputs
(.f64 (/.f64 (sqrt.f64 (.f64 a2 a1)) (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (.f64 a2 a1)) (cbrt.f64 (*.f64 b2 b1))))
(.f64 (/.f64 (sqrt.f64 (.f64 a2 a1)) b2) (/.f64 (sqrt.f64 (*.f64 a2 a1)) b1))
(.f64 (/.f64 (sqrt.f64 (.f64 a2 a1)) b1) (/.f64 (sqrt.f64 (*.f64 a2 a1)) b2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) (sqrt.f64 (.f64 b2 b1))) (/.f64 (cbrt.f64 (.f64 a2 a1)) (sqrt.f64 (*.f64 b2 b1))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64))) (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) b2) (/.f64 (cbrt.f64 (*.f64 a2 a1)) b1))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) b1) (/.f64 (cbrt.f64 (*.f64 a2 a1)) b2))
(.f64 (/.f64 a2 (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64))) (/.f64 a1 (cbrt.f64 (*.f64 b2 b1))))
(.f64 (/.f64 a2 (sqrt.f64 (.f64 b2 b1))) (/.f64 a1 (sqrt.f64 (*.f64 b2 b1))))
(.f64 (/.f64 a1 (sqrt.f64 (.f64 b2 b1))) (/.f64 a2 (sqrt.f64 (*.f64 b2 b1))))
(.f64 (/.f64 a1 (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64))) (/.f64 a2 (cbrt.f64 (*.f64 b2 b1))))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) (neg.f64 (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1))
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(.f64 (sqrt.f64 (.f64 a2 a1)) (/.f64 (sqrt.f64 (.f64 a2 a1)) (.f64 b2 b1)))
(.f64 (sqrt.f64 a1) (.f64 (sqrt.f64 a1) (/.f64 (/.f64 a2 b2) b1)))
(.f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(.f64 (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (pow.f64 (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (.f64 a2 a1)) (.f64 b2 b1)))
(.f64 (pow.f64 (cbrt.f64 a1) #s(literal 2 binary64)) (.f64 (cbrt.f64 a1) (/.f64 (/.f64 a2 b2) b1)))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 3 binary64))
(pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) (sqrt.f64 b2)) (sqrt.f64 b2))
(/.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) (pow.f64 (cbrt.f64 b2) #s(literal 2 binary64))) (cbrt.f64 b2))
(/.f64 (/.f64 (.f64 a2 a1) (sqrt.f64 (.f64 b2 b1))) (sqrt.f64 (*.f64 b2 b1)))
(/.f64 (/.f64 (.f64 a2 a1) (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64))) (cbrt.f64 (*.f64 b2 b1)))
(/.f64 (/.f64 (*.f64 a2 a1) b2) b1)
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (neg.f64 (*.f64 a2 (/.f64 a1 b1))) (neg.f64 b2))
(/.f64 (neg.f64 (.f64 (neg.f64 a1) a2)) (neg.f64 (.f64 (neg.f64 b2) b1)))
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
(/.f64 (.f64 (neg.f64 a1) a2) (.f64 (neg.f64 b2) b1))
(/.f64 (.f64 a2 a1) (.f64 b2 b1))
(neg.f64 (/.f64 (.f64 (neg.f64 a1) a2) (.f64 b2 b1)))
(neg.f64 (/.f64 (.f64 a2 a1) (.f64 (neg.f64 b2) b1)))
(cbrt.f64 (/.f64 (pow.f64 (.f64 a2 a1) #s(literal 3 binary64)) (pow.f64 (.f64 b2 b1) #s(literal 3 binary64))))
(cbrt.f64 (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 a1) (/.f64 (/.f64 a2 b2) b1)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 a1) (/.f64 (/.f64 a2 b2) b1)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 a1) (/.f64 (/.f64 a2 b2) b1))) (cbrt.f64 (pow.f64 (exp.f64 a1) (/.f64 (/.f64 a2 b2) b1))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 a1) (/.f64 (/.f64 a2 b2) b1)))))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) (sinh.f64 (log.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) (/.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (*.f64 b2 b1)) #s(literal 2 binary64)))))
(log.f64 (pow.f64 (exp.f64 (/.f64 a2 b2)) (/.f64 a1 b1)))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) (pow.f64 (cbrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 2 binary64))))
(log.f64 (pow.f64 (exp.f64 (/.f64 (/.f64 a2 b2) b1)) a1))
(log.f64 (pow.f64 (exp.f64 a1) (/.f64 (/.f64 a2 b2) b1)))
(.f64 (.f64 a2 (sqrt.f64 a1)) (sqrt.f64 a1))
(.f64 (.f64 a2 (pow.f64 (cbrt.f64 a1) #s(literal 2 binary64))) (cbrt.f64 a1))
(.f64 (.f64 a1 (sqrt.f64 a2)) (sqrt.f64 a2))
(.f64 (.f64 a1 (pow.f64 (cbrt.f64 a2) #s(literal 2 binary64))) (cbrt.f64 a2))
(.f64 (neg.f64 (sqrt.f64 (.f64 a2 a1))) (neg.f64 (sqrt.f64 (*.f64 a2 a1))))
(.f64 (sqrt.f64 a2) (.f64 (sqrt.f64 a2) a1))
(.f64 (sqrt.f64 (.f64 a2 a1)) (sqrt.f64 (*.f64 a2 a1)))
(.f64 (sqrt.f64 a1) (.f64 (sqrt.f64 a1) a2))
(.f64 (pow.f64 (cbrt.f64 a2) #s(literal 2 binary64)) (.f64 (cbrt.f64 a2) a1))
(.f64 (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64)) (cbrt.f64 (*.f64 a2 a1)))
(.f64 (cbrt.f64 (.f64 a2 a1)) (pow.f64 (cbrt.f64 (*.f64 a2 a1)) #s(literal 2 binary64)))
(.f64 (pow.f64 (cbrt.f64 a1) #s(literal 2 binary64)) (.f64 (cbrt.f64 a1) a2))
(.f64 #s(literal 1 binary64) (.f64 a2 a1))
(*.f64 a2 a1)
(*.f64 a1 a2)
(pow.f64 (sqrt.f64 (*.f64 a2 a1)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 a2 a1) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (*.f64 a2 a1)) #s(literal 3 binary64))
(pow.f64 (*.f64 a2 a1) #s(literal 1 binary64))
(cbrt.f64 (*.f64 (pow.f64 a2 #s(literal 3 binary64)) (pow.f64 a1 #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 a1 #s(literal 3 binary64)) (pow.f64 a2 #s(literal 3 binary64))))
(cbrt.f64 (pow.f64 (*.f64 a2 a1) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 (*.f64 a2 a1) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 a2 a1))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 a2 a1) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 a2 a1))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 a2 a1)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 a2 a1)))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 a1) a2))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 a1) a2))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 a1) a2)) (cbrt.f64 (pow.f64 (exp.f64 a1) a2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 a1) a2))))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 a2 a1)) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 a2 a1)) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 (.f64 a2 a1))) (sinh.f64 (log.f64 (.f64 a2 a1))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 a1)) (*.f64 a2 (sqrt.f64 a1))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 a1)) (*.f64 a2 (pow.f64 (cbrt.f64 a1) #s(literal 2 binary64)))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 a2)) (*.f64 a1 (sqrt.f64 a2))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 a2)) (*.f64 a1 (pow.f64 (cbrt.f64 a2) #s(literal 2 binary64)))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 (.f64 a2 a1))) (pow.f64 (cbrt.f64 (.f64 a2 a1)) #s(literal 2 binary64))))
(log.f64 (pow.f64 (exp.f64 a1) a2))
a1
a2
(.f64 (.f64 b2 (sqrt.f64 b1)) (sqrt.f64 b1))
(.f64 (.f64 b2 (pow.f64 (cbrt.f64 b1) #s(literal 2 binary64))) (cbrt.f64 b1))
(.f64 (.f64 b1 (sqrt.f64 b2)) (sqrt.f64 b2))
(.f64 (.f64 b1 (pow.f64 (cbrt.f64 b2) #s(literal 2 binary64))) (cbrt.f64 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 b2 b1))) (neg.f64 (sqrt.f64 (*.f64 b2 b1))))
(.f64 (sqrt.f64 b1) (.f64 (sqrt.f64 b1) b2))
(.f64 (sqrt.f64 b2) (.f64 (sqrt.f64 b2) b1))
(.f64 (sqrt.f64 (.f64 b2 b1)) (sqrt.f64 (*.f64 b2 b1)))
(.f64 (pow.f64 (cbrt.f64 b1) #s(literal 2 binary64)) (.f64 (cbrt.f64 b1) b2))
(.f64 (pow.f64 (cbrt.f64 b2) #s(literal 2 binary64)) (.f64 (cbrt.f64 b2) b1))
(.f64 (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64)) (cbrt.f64 (*.f64 b2 b1)))
(.f64 (cbrt.f64 (.f64 b2 b1)) (pow.f64 (cbrt.f64 (*.f64 b2 b1)) #s(literal 2 binary64)))
(.f64 #s(literal 1 binary64) (.f64 b2 b1))
(*.f64 b2 b1)
(*.f64 b1 b2)
(pow.f64 (sqrt.f64 (*.f64 b2 b1)) #s(literal 2 binary64))
(pow.f64 (pow.f64 (*.f64 b2 b1) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 (*.f64 b2 b1)) #s(literal 3 binary64))
(pow.f64 (*.f64 b2 b1) #s(literal 1 binary64))
(cbrt.f64 (*.f64 (pow.f64 b2 #s(literal 3 binary64)) (pow.f64 b1 #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 b1 #s(literal 3 binary64)) (pow.f64 b2 #s(literal 3 binary64))))
(cbrt.f64 (pow.f64 (*.f64 b2 b1) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 (*.f64 b2 b1) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 b2 b1))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 b2 b1) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 b2 b1))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 b2 b1)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 b2 b1)))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 b1) b2))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 b1) b2))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 b1) b2)) (cbrt.f64 (pow.f64 (exp.f64 b1) b2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 b1) b2))))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 b2 b1)) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 b2 b1)) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 (.f64 b2 b1))) (sinh.f64 (log.f64 (.f64 b2 b1))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 b1)) (*.f64 b2 (sqrt.f64 b1))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 b1)) (*.f64 b2 (pow.f64 (cbrt.f64 b1) #s(literal 2 binary64)))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 b2)) (*.f64 b1 (sqrt.f64 b2))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 b2)) (*.f64 b1 (pow.f64 (cbrt.f64 b2) #s(literal 2 binary64)))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 (.f64 b2 b1))) (pow.f64 (cbrt.f64 (.f64 b2 b1)) #s(literal 2 binary64))))
(log.f64 (pow.f64 (exp.f64 b1) b2))
b1
b2
(.f64 (neg.f64 (sqrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) (neg.f64 (sqrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))
(.f64 (sqrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) (sqrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))
(.f64 (pow.f64 (cbrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 2 binary64)) (cbrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))
(.f64 (cbrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) (pow.f64 (cbrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 2 binary64)))
(.f64 #s(literal 1 binary64) #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(pow.f64 (sqrt.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 3 binary64))
(pow.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 1 binary64))
#s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
(cbrt.f64 (pow.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))) (log.f64 (sqrt.f64 (exp.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) (cbrt.f64 (exp.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) (sinh.f64 (log.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (.f64 (/.f64 a2 b1) (/.f64 a1 b2))))) (pow.f64 (cbrt.f64 #s(approx (/ ( a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( a1 a2) (.f64 a2 a1)))) (neg.f64 (sqrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1)))))
(.f64 (sqrt.f64 #s(approx ( a1 a2) (.f64 a2 a1))) (sqrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1))))
(.f64 (pow.f64 (cbrt.f64 #s(approx ( a1 a2) (.f64 a2 a1))) #s(literal 2 binary64)) (cbrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1))))
(.f64 (cbrt.f64 #s(approx ( a1 a2) (.f64 a2 a1))) (pow.f64 (cbrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1))) #s(literal 2 binary64)))
(.f64 #s(literal 1 binary64) #s(approx ( a1 a2) (*.f64 a2 a1)))
(pow.f64 (sqrt.f64 #s(approx (* a1 a2) (*.f64 a2 a1))) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx (* a1 a2) (*.f64 a2 a1)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx (* a1 a2) (*.f64 a2 a1))) #s(literal 3 binary64))
(pow.f64 #s(approx (* a1 a2) (*.f64 a2 a1)) #s(literal 1 binary64))
#s(approx (* a1 a2) (*.f64 a2 a1))
(cbrt.f64 (pow.f64 #s(approx (* a1 a2) (*.f64 a2 a1)) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx (* a1 a2) (*.f64 a2 a1)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 #s(approx (* a1 a2) (*.f64 a2 a1)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 #s(approx ( a1 a2) (*.f64 a2 a1))) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx (* a1 a2) (*.f64 a2 a1))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx (* a1 a2) (.f64 a2 a1))))) (log.f64 (sqrt.f64 (exp.f64 #s(approx ( a1 a2) (*.f64 a2 a1))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 #s(approx ( a1 a2) (.f64 a2 a1)))) (cbrt.f64 (exp.f64 #s(approx ( a1 a2) (.f64 a2 a1)))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx ( a1 a2) (*.f64 a2 a1))))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx ( a1 a2) (.f64 a2 a1))) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx (* a1 a2) (*.f64 a2 a1))) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx (* a1 a2) (.f64 a2 a1)))) (sinh.f64 (log.f64 #s(approx ( a1 a2) (*.f64 a2 a1)))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx (* a1 a2) (.f64 a2 a1)))) (pow.f64 (cbrt.f64 #s(approx ( a1 a2) (*.f64 a2 a1))) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx (* a1 a2) (*.f64 a2 a1))))
(*.f64 (neg.f64 (sqrt.f64 #s(approx a1 a1))) (neg.f64 (sqrt.f64 #s(approx a1 a1))))
(*.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1)))
(*.f64 (pow.f64 (cbrt.f64 #s(approx a1 a1)) #s(literal 2 binary64)) (cbrt.f64 #s(approx a1 a1)))
(*.f64 (cbrt.f64 #s(approx a1 a1)) (pow.f64 (cbrt.f64 #s(approx a1 a1)) #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx a1 a1))
(pow.f64 (sqrt.f64 #s(approx a1 a1)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx a1 a1) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx a1 a1)) #s(literal 3 binary64))
(pow.f64 #s(approx a1 a1) #s(literal 1 binary64))
#s(approx a1 a1)
(cbrt.f64 (pow.f64 #s(approx a1 a1) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx a1 a1) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 #s(approx a1 a1))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 #s(approx a1 a1) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 #s(approx a1 a1))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 #s(approx a1 a1)) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx a1 a1)))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx a1 a1)))) (log.f64 (sqrt.f64 (exp.f64 #s(approx a1 a1)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 #s(approx a1 a1))) (cbrt.f64 (exp.f64 #s(approx a1 a1))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx a1 a1)))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx a1 a1)) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx a1 a1)) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx a1 a1))) (sinh.f64 (log.f64 #s(approx a1 a1))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx a1 a1))) (pow.f64 (cbrt.f64 #s(approx a1 a1)) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx a1 a1)))
(*.f64 (neg.f64 (sqrt.f64 #s(approx a2 a2))) (neg.f64 (sqrt.f64 #s(approx a2 a2))))
(*.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2)))
(*.f64 (pow.f64 (cbrt.f64 #s(approx a2 a2)) #s(literal 2 binary64)) (cbrt.f64 #s(approx a2 a2)))
(*.f64 (cbrt.f64 #s(approx a2 a2)) (pow.f64 (cbrt.f64 #s(approx a2 a2)) #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx a2 a2))
(pow.f64 (sqrt.f64 #s(approx a2 a2)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx a2 a2) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx a2 a2)) #s(literal 3 binary64))
(pow.f64 #s(approx a2 a2) #s(literal 1 binary64))
#s(approx a2 a2)
(cbrt.f64 (pow.f64 #s(approx a2 a2) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx a2 a2) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 #s(approx a2 a2))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 #s(approx a2 a2) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 #s(approx a2 a2))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 #s(approx a2 a2)) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx a2 a2)))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx a2 a2)))) (log.f64 (sqrt.f64 (exp.f64 #s(approx a2 a2)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 #s(approx a2 a2))) (cbrt.f64 (exp.f64 #s(approx a2 a2))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx a2 a2)))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx a2 a2)) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx a2 a2)) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx a2 a2))) (sinh.f64 (log.f64 #s(approx a2 a2))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx a2 a2))) (pow.f64 (cbrt.f64 #s(approx a2 a2)) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx a2 a2)))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( b1 b2) (.f64 b2 b1)))) (neg.f64 (sqrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1)))))
(.f64 (sqrt.f64 #s(approx ( b1 b2) (.f64 b2 b1))) (sqrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))
(.f64 (pow.f64 (cbrt.f64 #s(approx ( b1 b2) (.f64 b2 b1))) #s(literal 2 binary64)) (cbrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))
(.f64 (cbrt.f64 #s(approx ( b1 b2) (.f64 b2 b1))) (pow.f64 (cbrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))) #s(literal 2 binary64)))
(.f64 #s(literal 1 binary64) #s(approx ( b1 b2) (*.f64 b2 b1)))
(pow.f64 (sqrt.f64 #s(approx (* b1 b2) (*.f64 b2 b1))) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx (* b1 b2) (*.f64 b2 b1)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx (* b1 b2) (*.f64 b2 b1))) #s(literal 3 binary64))
(pow.f64 #s(approx (* b1 b2) (*.f64 b2 b1)) #s(literal 1 binary64))
#s(approx (* b1 b2) (*.f64 b2 b1))
(cbrt.f64 (pow.f64 #s(approx (* b1 b2) (*.f64 b2 b1)) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx (* b1 b2) (*.f64 b2 b1)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1)))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 #s(approx (* b1 b2) (*.f64 b2 b1)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 #s(approx ( b1 b2) (*.f64 b2 b1))) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx (* b1 b2) (*.f64 b2 b1))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx (* b1 b2) (.f64 b2 b1))))) (log.f64 (sqrt.f64 (exp.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 #s(approx ( b1 b2) (.f64 b2 b1)))) (cbrt.f64 (exp.f64 #s(approx ( b1 b2) (.f64 b2 b1)))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx ( b1 b2) (.f64 b2 b1))) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx (* b1 b2) (*.f64 b2 b1))) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx (* b1 b2) (.f64 b2 b1)))) (sinh.f64 (log.f64 #s(approx ( b1 b2) (*.f64 b2 b1)))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx (* b1 b2) (.f64 b2 b1)))) (pow.f64 (cbrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx (* b1 b2) (*.f64 b2 b1))))
(*.f64 (neg.f64 (sqrt.f64 #s(approx b1 b1))) (neg.f64 (sqrt.f64 #s(approx b1 b1))))
(*.f64 (sqrt.f64 #s(approx b1 b1)) (sqrt.f64 #s(approx b1 b1)))
(*.f64 (pow.f64 (cbrt.f64 #s(approx b1 b1)) #s(literal 2 binary64)) (cbrt.f64 #s(approx b1 b1)))
(*.f64 (cbrt.f64 #s(approx b1 b1)) (pow.f64 (cbrt.f64 #s(approx b1 b1)) #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx b1 b1))
(pow.f64 (sqrt.f64 #s(approx b1 b1)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx b1 b1) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx b1 b1)) #s(literal 3 binary64))
(pow.f64 #s(approx b1 b1) #s(literal 1 binary64))
#s(approx b1 b1)
(cbrt.f64 (pow.f64 #s(approx b1 b1) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx b1 b1) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 #s(approx b1 b1))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 #s(approx b1 b1) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 #s(approx b1 b1))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 #s(approx b1 b1)) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx b1 b1)))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx b1 b1)))) (log.f64 (sqrt.f64 (exp.f64 #s(approx b1 b1)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 #s(approx b1 b1))) (cbrt.f64 (exp.f64 #s(approx b1 b1))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx b1 b1)))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx b1 b1)) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx b1 b1)) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx b1 b1))) (sinh.f64 (log.f64 #s(approx b1 b1))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx b1 b1))) (pow.f64 (cbrt.f64 #s(approx b1 b1)) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx b1 b1)))
(*.f64 (neg.f64 (sqrt.f64 #s(approx b2 b2))) (neg.f64 (sqrt.f64 #s(approx b2 b2))))
(*.f64 (sqrt.f64 #s(approx b2 b2)) (sqrt.f64 #s(approx b2 b2)))
(*.f64 (pow.f64 (cbrt.f64 #s(approx b2 b2)) #s(literal 2 binary64)) (cbrt.f64 #s(approx b2 b2)))
(*.f64 (cbrt.f64 #s(approx b2 b2)) (pow.f64 (cbrt.f64 #s(approx b2 b2)) #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) #s(approx b2 b2))
(pow.f64 (sqrt.f64 #s(approx b2 b2)) #s(literal 2 binary64))
(pow.f64 (pow.f64 #s(approx b2 b2) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 #s(approx b2 b2)) #s(literal 3 binary64))
(pow.f64 #s(approx b2 b2) #s(literal 1 binary64))
#s(approx b2 b2)
(cbrt.f64 (pow.f64 #s(approx b2 b2) #s(literal 3 binary64)))
(sqrt.f64 (pow.f64 #s(approx b2 b2) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 #s(approx b2 b2))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 #s(approx b2 b2) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 #s(approx b2 b2))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 #s(approx b2 b2)) #s(literal 1 binary64)))
(exp.f64 (log.f64 #s(approx b2 b2)))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 #s(approx b2 b2)))) (log.f64 (sqrt.f64 (exp.f64 #s(approx b2 b2)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 #s(approx b2 b2))) (cbrt.f64 (exp.f64 #s(approx b2 b2))))) (log.f64 (cbrt.f64 (exp.f64 #s(approx b2 b2)))))
(+.f64 (cosh.f64 (.f64 (log.f64 #s(approx b2 b2)) #s(literal 1 binary64))) (sinh.f64 (.f64 (log.f64 #s(approx b2 b2)) #s(literal 1 binary64))))
(+.f64 (cosh.f64 (log.f64 #s(approx b2 b2))) (sinh.f64 (log.f64 #s(approx b2 b2))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 #s(approx b2 b2))) (pow.f64 (cbrt.f64 #s(approx b2 b2)) #s(literal 2 binary64))))
(log.f64 (exp.f64 #s(approx b2 b2)))

eval63.0ms (2.2%)

Memory: 0.1MiB live, 60.6MiB allocated; 44ms collecting garbage
Compiler: Compiled 4 554 to 989 computations (78.3% saved)

prune13.0ms (0.5%)

Memory

-36.1MiB live, 13.0MiB allocated; 5ms collecting garbage

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	294	9	303
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	294	10	304

Accuracy

100.0%

Counts

304 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	89.1%	(/.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) (pow.f64 (cbrt.f64 b2) #s(literal 2 binary64))) (cbrt.f64 b2))
▶	87.7%	(/.f64 (/.f64 (*.f64 a2 a1) b2) b1)
	89.8%	(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
▶	93.1%	(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
✓	81.3%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
▶	90.0%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
	75.9%	(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
▶	75.7%	(.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
	89.9%	(.f64 (sqrt.f64 a1) (.f64 (sqrt.f64 a1) (/.f64 (/.f64 a2 b2) b1)))
▶	81.4%	(.f64 a2 (/.f64 a1 (.f64 b2 b1)))

Compiler

Compiled 173 to 149 computations (13.9% saved)

series34.0ms (1.2%)

Memory

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

Counts

20 → 23

Calls

Call 1

Inputs
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
(*.f64 a1 (/.f64 a2 b2))
a1
(/.f64 a2 b2)
a2
b2
b1
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(/.f64 a1 (*.f64 b2 b1))
(*.f64 b2 b1)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (/.f64 a2 b2) b1)
(/.f64 (/.f64 (*.f64 a2 a1) b2) b1)
(/.f64 (*.f64 a2 a1) b2)
(*.f64 a2 a1)
(.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(/.f64 a2 b1)
(/.f64 a1 b2)

Outputs
#s(approx (/ (* a1 (/ a2 b2)) b1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* a1 (/ a2 b2)) #s(hole binary64 (/ (* a1 a2) b2)))
#s(approx a1 #s(hole binary64 a1))
#s(approx (* a2 (/ a1 (* b2 b1))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 (* b2 b1)) #s(hole binary64 (/ a1 (* b1 b2))))
#s(approx (* (/ (/ a2 b2) b1) a1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ (/ (* a2 a1) b2) b1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ (* a2 a1) b2) #s(hole binary64 (/ (* a1 a2) b2)))
#s(approx (* a2 a1) #s(hole binary64 (* a1 a2)))
#s(approx (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) #s(hole binary64 (sqrt (/ (* a1 a2) (* b1 b2)))))
#s(approx (* (/ a2 b1) (/ a1 b2)) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 b2) #s(hole binary64 (/ a1 b2)))
#s(approx (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) #s(hole binary64 (* -1 (/ (* a1 (* a2 (pow (sqrt -1) 2))) (* b1 b2)))))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) #s(hole binary64 (* -1 (* (sqrt (/ (* a1 a2) (* b1 b2))) (pow (sqrt -1) 2)))))
#s(approx (/ a2 b2) #s(hole binary64 (/ a2 b2)))
#s(approx a2 #s(hole binary64 a2))
#s(approx (/ (/ a2 b2) b1) #s(hole binary64 (/ a2 (* b1 b2))))
#s(approx (/ a2 b1) #s(hole binary64 (/ a2 b1)))
#s(approx b1 #s(hole binary64 b1))
#s(approx (* b2 b1) #s(hole binary64 (* b1 b2)))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) #s(hole binary64 (* (sqrt (/ (* a1 a2) (* b1 b2))) (pow (sqrt -1) 2))))
#s(approx b2 #s(hole binary64 b2))

Calls

12 calls:

Time	Variable		Point	Expression
7.0ms	b1	@	-inf	((/ (* a1 (/ a2 b2)) b1) (* a1 (/ a2 b2)) a1 (/ a2 b2) a2 b2 b1 (* a2 (/ a1 (* b2 b1))) (/ a1 (* b2 b1)) (* b2 b1) (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ (/ (* a2 a1) b2) b1) (/ (* a2 a1) b2) (* a2 a1) (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) (sqrt (* (/ a2 b1) (/ a1 b2))) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2))
4.0ms	b2	@	-inf	((/ (* a1 (/ a2 b2)) b1) (* a1 (/ a2 b2)) a1 (/ a2 b2) a2 b2 b1 (* a2 (/ a1 (* b2 b1))) (/ a1 (* b2 b1)) (* b2 b1) (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ (/ (* a2 a1) b2) b1) (/ (* a2 a1) b2) (* a2 a1) (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) (sqrt (* (/ a2 b1) (/ a1 b2))) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2))
4.0ms	a1	@	-inf	((/ (* a1 (/ a2 b2)) b1) (* a1 (/ a2 b2)) a1 (/ a2 b2) a2 b2 b1 (* a2 (/ a1 (* b2 b1))) (/ a1 (* b2 b1)) (* b2 b1) (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ (/ (* a2 a1) b2) b1) (/ (* a2 a1) b2) (* a2 a1) (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) (sqrt (* (/ a2 b1) (/ a1 b2))) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2))
4.0ms	a2	@	-inf	((/ (* a1 (/ a2 b2)) b1) (* a1 (/ a2 b2)) a1 (/ a2 b2) a2 b2 b1 (* a2 (/ a1 (* b2 b1))) (/ a1 (* b2 b1)) (* b2 b1) (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ (/ (* a2 a1) b2) b1) (/ (* a2 a1) b2) (* a2 a1) (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) (sqrt (* (/ a2 b1) (/ a1 b2))) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2))
2.0ms	a2	@	inf	((/ (* a1 (/ a2 b2)) b1) (* a1 (/ a2 b2)) a1 (/ a2 b2) a2 b2 b1 (* a2 (/ a1 (* b2 b1))) (/ a1 (* b2 b1)) (* b2 b1) (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ (/ (* a2 a1) b2) b1) (/ (* a2 a1) b2) (* a2 a1) (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) (sqrt (* (/ a2 b1) (/ a1 b2))) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2))

rewrite50.0ms (1.7%)

Memory

12.4MiB live, 56.5MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	385
0	95	344
0	1011	344

Stop Event

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

Counts

43 → 396

Calls

Call 1

Inputs
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
(*.f64 a1 (/.f64 a2 b2))
a1
(/.f64 a2 b2)
a2
b2
b1
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(/.f64 a1 (*.f64 b2 b1))
(*.f64 b2 b1)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (/.f64 a2 b2) b1)
(/.f64 (/.f64 (*.f64 a2 a1) b2) b1)
(/.f64 (*.f64 a2 a1) b2)
(*.f64 a2 a1)
(.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2)))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(/.f64 a2 b1)
(/.f64 a1 b2)
#s(approx (/ (* a1 (/ a2 b2)) b1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* a1 (/ a2 b2)) #s(hole binary64 (/ (* a1 a2) b2)))
#s(approx a1 #s(hole binary64 a1))
#s(approx (* a2 (/ a1 (* b2 b1))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 (* b2 b1)) #s(hole binary64 (/ a1 (* b1 b2))))
#s(approx (* (/ (/ a2 b2) b1) a1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ (/ (* a2 a1) b2) b1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ (* a2 a1) b2) #s(hole binary64 (/ (* a1 a2) b2)))
#s(approx (* a2 a1) #s(hole binary64 (* a1 a2)))
#s(approx (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) #s(hole binary64 (sqrt (/ (* a1 a2) (* b1 b2)))))
#s(approx (* (/ a2 b1) (/ a1 b2)) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 b2) #s(hole binary64 (/ a1 b2)))
#s(approx (* (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt (* (/ a2 b1) (/ a1 b2)))) #s(hole binary64 (* -1 (/ (* a1 (* a2 (pow (sqrt -1) 2))) (* b1 b2)))))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) #s(hole binary64 (* -1 (* (sqrt (/ (* a1 a2) (* b1 b2))) (pow (sqrt -1) 2)))))
#s(approx (/ a2 b2) #s(hole binary64 (/ a2 b2)))
#s(approx a2 #s(hole binary64 a2))
#s(approx (/ (/ a2 b2) b1) #s(hole binary64 (/ a2 (* b1 b2))))
#s(approx (/ a2 b1) #s(hole binary64 (/ a2 b1)))
#s(approx b1 #s(hole binary64 b1))
#s(approx (* b2 b1) #s(hole binary64 (* b1 b2)))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) #s(hole binary64 (* (sqrt (/ (* a1 a2) (* b1 b2))) (pow (sqrt -1) 2))))
#s(approx b2 #s(hole binary64 b2))

Outputs
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a1 (.f64 b1 b2)) a2)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 2 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 a1) b1) b2)
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b2) a1)) (neg.f64 b1))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b1 b2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 a2 b2) a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(sqrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(exp.f64 (log.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(log.f64 (exp.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a2 b2) a1)) (sqrt.f64 (*.f64 (/.f64 a2 b2) a1)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a2 b2) a1)) (cbrt.f64 (.f64 (/.f64 a2 b2) a1))) (cbrt.f64 (*.f64 (/.f64 a2 b2) a1)))
(*.f64 (/.f64 a2 b2) a1)
(*.f64 a2 (/.f64 a1 b2))
(*.f64 a1 (/.f64 a2 b2))
(pow.f64 (*.f64 (/.f64 a2 b2) a1) #s(literal 1 binary64))
(/.f64 (neg.f64 (*.f64 a2 a1)) (neg.f64 b2))
(/.f64 (*.f64 a2 a1) b2)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a2 b2) a1) (.f64 (/.f64 a2 b2) a1)) (*.f64 (/.f64 a2 b2) a1)))
(exp.f64 (log.f64 (*.f64 (/.f64 a2 b2) a1)))
(log.f64 (exp.f64 (*.f64 (/.f64 a2 b2) a1)))
a1
(*.f64 (sqrt.f64 (/.f64 a2 b2)) (sqrt.f64 (/.f64 a2 b2)))
(.f64 (.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (cbrt.f64 (/.f64 a2 b2)))
(pow.f64 (/.f64 a2 b2) #s(literal 1 binary64))
(/.f64 (neg.f64 a2) (neg.f64 b2))
(/.f64 a2 b2)
(cbrt.f64 (.f64 (.f64 (/.f64 a2 b2) (/.f64 a2 b2)) (/.f64 a2 b2)))
(exp.f64 (log.f64 (/.f64 a2 b2)))
(log.f64 (exp.f64 (/.f64 a2 b2)))
a2
b2
b1
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a1 (.f64 b1 b2)) a2)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 2 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 a1) b1) b2)
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b2) a1)) (neg.f64 b1))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b1 b2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 a2 b2) a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(sqrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(exp.f64 (log.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(log.f64 (exp.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (/.f64 a1 (.f64 b1 b2))) (sqrt.f64 (/.f64 a1 (*.f64 b1 b2))))
(.f64 (.f64 (cbrt.f64 (/.f64 a1 (.f64 b1 b2))) (cbrt.f64 (/.f64 a1 (.f64 b1 b2)))) (cbrt.f64 (/.f64 a1 (*.f64 b1 b2))))
(pow.f64 (/.f64 a1 (*.f64 b1 b2)) #s(literal 1 binary64))
(/.f64 (/.f64 a1 b1) b2)
(/.f64 (neg.f64 a1) (neg.f64 (*.f64 b1 b2)))
(/.f64 (/.f64 a1 b2) b1)
(/.f64 a1 (*.f64 b1 b2))
(cbrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) (/.f64 a1 (.f64 b1 b2))) (/.f64 a1 (*.f64 b1 b2))))
(exp.f64 (log.f64 (/.f64 a1 (*.f64 b1 b2))))
(log.f64 (exp.f64 (/.f64 a1 (*.f64 b1 b2))))
(.f64 (sqrt.f64 (.f64 b1 b2)) (sqrt.f64 (*.f64 b1 b2)))
(.f64 (.f64 (cbrt.f64 (.f64 b1 b2)) (cbrt.f64 (.f64 b1 b2))) (cbrt.f64 (*.f64 b1 b2)))
(*.f64 b1 b2)
(*.f64 b2 b1)
(pow.f64 (*.f64 b1 b2) #s(literal 1 binary64))
(cbrt.f64 (.f64 (.f64 (.f64 b1 b2) (.f64 b1 b2)) (*.f64 b1 b2)))
(exp.f64 (log.f64 (*.f64 b1 b2)))
(log.f64 (exp.f64 (*.f64 b1 b2)))
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a1 (.f64 b1 b2)) a2)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 2 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 a1) b1) b2)
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b2) a1)) (neg.f64 b1))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b1 b2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 a2 b2) a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(sqrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(exp.f64 (log.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(log.f64 (exp.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(*.f64 (sqrt.f64 (/.f64 (/.f64 a2 b2) b1)) (sqrt.f64 (/.f64 (/.f64 a2 b2) b1)))
(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 a2 b2) b1)) (cbrt.f64 (/.f64 (/.f64 a2 b2) b1))) (cbrt.f64 (/.f64 (/.f64 a2 b2) b1)))
(pow.f64 (/.f64 (/.f64 a2 b2) b1) #s(literal 1 binary64))
(/.f64 (neg.f64 (/.f64 a2 b2)) (neg.f64 b1))
(/.f64 (neg.f64 a2) (neg.f64 (*.f64 b1 b2)))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 (/.f64 a2 b2) b1)
(/.f64 a2 (*.f64 b1 b2))
(cbrt.f64 (.f64 (.f64 (/.f64 (/.f64 a2 b2) b1) (/.f64 (/.f64 a2 b2) b1)) (/.f64 (/.f64 a2 b2) b1)))
(exp.f64 (log.f64 (/.f64 (/.f64 a2 b2) b1)))
(log.f64 (exp.f64 (/.f64 (/.f64 a2 b2) b1)))
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a1 (.f64 b1 b2)) a2)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 2 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 a1) b1) b2)
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b2) a1)) (neg.f64 b1))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b1 b2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 a2 b2) a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(sqrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(exp.f64 (log.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(log.f64 (exp.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a2 b2) a1)) (sqrt.f64 (*.f64 (/.f64 a2 b2) a1)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a2 b2) a1)) (cbrt.f64 (.f64 (/.f64 a2 b2) a1))) (cbrt.f64 (*.f64 (/.f64 a2 b2) a1)))
(*.f64 (/.f64 a2 b2) a1)
(*.f64 a2 (/.f64 a1 b2))
(*.f64 a1 (/.f64 a2 b2))
(pow.f64 (*.f64 (/.f64 a2 b2) a1) #s(literal 1 binary64))
(/.f64 (neg.f64 (*.f64 a2 a1)) (neg.f64 b2))
(/.f64 (*.f64 a2 a1) b2)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a2 b2) a1) (.f64 (/.f64 a2 b2) a1)) (*.f64 (/.f64 a2 b2) a1)))
(exp.f64 (log.f64 (*.f64 (/.f64 a2 b2) a1)))
(log.f64 (exp.f64 (*.f64 (/.f64 a2 b2) a1)))
(.f64 (sqrt.f64 (.f64 a2 a1)) (sqrt.f64 (*.f64 a2 a1)))
(.f64 (.f64 (cbrt.f64 (.f64 a2 a1)) (cbrt.f64 (.f64 a2 a1))) (cbrt.f64 (*.f64 a2 a1)))
(*.f64 a2 a1)
(*.f64 a1 a2)
(pow.f64 (*.f64 a2 a1) #s(literal 1 binary64))
(cbrt.f64 (.f64 (.f64 (.f64 a2 a1) (.f64 a2 a1)) (*.f64 a2 a1)))
(exp.f64 (log.f64 (*.f64 a2 a1)))
(log.f64 (exp.f64 (*.f64 a2 a1)))
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a1 (.f64 b1 b2)) a2)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 2 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 a1) b1) b2)
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b2) a1)) (neg.f64 b1))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b1 b2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 a2 b2) a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(sqrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(exp.f64 (log.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(log.f64 (exp.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a1 b2)))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (.f64 a2 a1)) (sqrt.f64 (.f64 b1 b2)))
(cbrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(exp.f64 (log.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(.f64 (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (neg.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (fabs.f64 (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a1 (.f64 b1 b2)) a2)
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(.f64 a2 (/.f64 a1 (.f64 b1 b2)))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(pow.f64 (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 2 binary64))
(pow.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 a2 a1) b1) b2)
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b2) a1)) (neg.f64 b1))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b1 b2)))
(/.f64 (.f64 a2 a1) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 a2 b2) a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(sqrt.f64 (.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2) (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))
(exp.f64 (log.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(log.f64 (exp.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a2 b1)))
(.f64 (.f64 (cbrt.f64 (/.f64 a2 b1)) (cbrt.f64 (/.f64 a2 b1))) (cbrt.f64 (/.f64 a2 b1)))
(pow.f64 (/.f64 a2 b1) #s(literal 1 binary64))
(/.f64 (neg.f64 a2) (neg.f64 b1))
(/.f64 a2 b1)
(cbrt.f64 (.f64 (.f64 (/.f64 a2 b1) (/.f64 a2 b1)) (/.f64 a2 b1)))
(exp.f64 (log.f64 (/.f64 a2 b1)))
(log.f64 (exp.f64 (/.f64 a2 b1)))
(*.f64 (sqrt.f64 (/.f64 a1 b2)) (sqrt.f64 (/.f64 a1 b2)))
(.f64 (.f64 (cbrt.f64 (/.f64 a1 b2)) (cbrt.f64 (/.f64 a1 b2))) (cbrt.f64 (/.f64 a1 b2)))
(pow.f64 (/.f64 a1 b2) #s(literal 1 binary64))
(/.f64 (neg.f64 a1) (neg.f64 b2))
(/.f64 a1 b2)
(cbrt.f64 (.f64 (.f64 (/.f64 a1 b2) (/.f64 a1 b2)) (/.f64 a1 b2)))
(exp.f64 (log.f64 (/.f64 a1 b2)))
(log.f64 (exp.f64 (/.f64 a1 b2)))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (sqrt.f64 #s(approx ( a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1))) (sqrt.f64 #s(approx ( a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1))) (cbrt.f64 #s(approx ( a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1)))) (cbrt.f64 #s(approx ( a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(pow.f64 #s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1)) #s(literal 1 binary64))
#s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (* a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1)) #s(approx ( a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1))) #s(approx ( a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(exp.f64 (log.f64 #s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(log.f64 (exp.f64 #s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(*.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1)))
(.f64 (.f64 (cbrt.f64 #s(approx a1 a1)) (cbrt.f64 #s(approx a1 a1))) (cbrt.f64 #s(approx a1 a1)))
(pow.f64 #s(approx a1 a1) #s(literal 1 binary64))
#s(approx a1 a1)
(cbrt.f64 (.f64 (.f64 #s(approx a1 a1) #s(approx a1 a1)) #s(approx a1 a1)))
(exp.f64 (log.f64 #s(approx a1 a1)))
(log.f64 (exp.f64 #s(approx a1 a1)))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (sqrt.f64 #s(approx (/ a1 ( b2 b1)) (/.f64 a1 (.f64 b1 b2)))) (sqrt.f64 #s(approx (/ a1 ( b2 b1)) (/.f64 a1 (*.f64 b1 b2)))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 a1 (.f64 b1 b2)))) (cbrt.f64 #s(approx (/ a1 ( b2 b1)) (/.f64 a1 (.f64 b1 b2))))) (cbrt.f64 #s(approx (/ a1 ( b2 b1)) (/.f64 a1 (*.f64 b1 b2)))))
(pow.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 a1 (*.f64 b1 b2))) #s(literal 1 binary64))
#s(approx (/ a1 (* b2 b1)) (/.f64 a1 (*.f64 b1 b2)))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 a1 (.f64 b1 b2))) #s(approx (/ a1 ( b2 b1)) (/.f64 a1 (.f64 b1 b2)))) #s(approx (/ a1 ( b2 b1)) (/.f64 a1 (*.f64 b1 b2)))))
(exp.f64 (log.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 a1 (*.f64 b1 b2)))))
(log.f64 (exp.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 a1 (*.f64 b1 b2)))))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (sqrt.f64 #s(approx ( a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1))) (sqrt.f64 #s(approx ( a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1))) (cbrt.f64 #s(approx ( a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1)))) (cbrt.f64 #s(approx ( a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(pow.f64 #s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1)) #s(literal 1 binary64))
#s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (* a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1)) #s(approx ( a1 (/ a2 b2)) (.f64 (/.f64 a2 b2) a1))) #s(approx ( a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(exp.f64 (log.f64 #s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(log.f64 (exp.f64 #s(approx (* a1 (/ a2 b2)) (*.f64 (/.f64 a2 b2) a1))))
(.f64 (sqrt.f64 #s(approx ( a2 a1) (.f64 a2 a1))) (sqrt.f64 #s(approx ( a2 a1) (*.f64 a2 a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* a2 a1) (.f64 a2 a1))) (cbrt.f64 #s(approx ( a2 a1) (.f64 a2 a1)))) (cbrt.f64 #s(approx ( a2 a1) (*.f64 a2 a1))))
(pow.f64 #s(approx (* a2 a1) (*.f64 a2 a1)) #s(literal 1 binary64))
#s(approx (* a2 a1) (*.f64 a2 a1))
(cbrt.f64 (.f64 (.f64 #s(approx (* a2 a1) (.f64 a2 a1)) #s(approx ( a2 a1) (.f64 a2 a1))) #s(approx ( a2 a1) (*.f64 a2 a1))))
(exp.f64 (log.f64 #s(approx (* a2 a1) (*.f64 a2 a1))))
(log.f64 (exp.f64 #s(approx (* a2 a1) (*.f64 a2 a1))))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (sqrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (sqrt.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))) (cbrt.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))
(pow.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(literal 1 binary64))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))
(exp.f64 (log.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))
(log.f64 (exp.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2)) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))) #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))
(*.f64 (sqrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))) (sqrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))) (cbrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2)))) (cbrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(pow.f64 #s(approx (/ a1 b2) (/.f64 a1 b2)) #s(literal 1 binary64))
#s(approx (/ a1 b2) (/.f64 a1 b2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a1 b2) (/.f64 a1 b2)) #s(approx (/ a1 b2) (/.f64 a1 b2))) #s(approx (/ a1 b2) (/.f64 a1 b2))))
(exp.f64 (log.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(log.f64 (exp.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(.f64 (sqrt.f64 #s(approx (/ ( a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) (sqrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))))) (cbrt.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(pow.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))) #s(literal 1 binary64))
#s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))) #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(exp.f64 (log.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(log.f64 (exp.f64 #s(approx (/ (* a1 (/ a2 b2)) b1) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(.f64 (sqrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))) (sqrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))) (cbrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))))) (cbrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))))))
(pow.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))) #s(literal 1 binary64))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))) #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))) #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))))))
(exp.f64 (log.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))))))
(log.f64 (exp.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))))))
(*.f64 (sqrt.f64 #s(approx (/ a2 b2) (/.f64 a2 b2))) (sqrt.f64 #s(approx (/ a2 b2) (/.f64 a2 b2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a2 b2) (/.f64 a2 b2))) (cbrt.f64 #s(approx (/ a2 b2) (/.f64 a2 b2)))) (cbrt.f64 #s(approx (/ a2 b2) (/.f64 a2 b2))))
(pow.f64 #s(approx (/ a2 b2) (/.f64 a2 b2)) #s(literal 1 binary64))
#s(approx (/ a2 b2) (/.f64 a2 b2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a2 b2) (/.f64 a2 b2)) #s(approx (/ a2 b2) (/.f64 a2 b2))) #s(approx (/ a2 b2) (/.f64 a2 b2))))
(exp.f64 (log.f64 #s(approx (/ a2 b2) (/.f64 a2 b2))))
(log.f64 (exp.f64 #s(approx (/ a2 b2) (/.f64 a2 b2))))
(*.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2)))
(.f64 (.f64 (cbrt.f64 #s(approx a2 a2)) (cbrt.f64 #s(approx a2 a2))) (cbrt.f64 #s(approx a2 a2)))
(pow.f64 #s(approx a2 a2) #s(literal 1 binary64))
#s(approx a2 a2)
(cbrt.f64 (.f64 (.f64 #s(approx a2 a2) #s(approx a2 a2)) #s(approx a2 a2)))
(exp.f64 (log.f64 #s(approx a2 a2)))
(log.f64 (exp.f64 #s(approx a2 a2)))
(*.f64 (sqrt.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))) (sqrt.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))) (cbrt.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1)))) (cbrt.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))))
(pow.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1)) #s(literal 1 binary64))
#s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1)) #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))) #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))))
(exp.f64 (log.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))))
(log.f64 (exp.f64 #s(approx (/ (/ a2 b2) b1) (/.f64 (/.f64 a2 b2) b1))))
(*.f64 (sqrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))) (sqrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))) (cbrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1)))) (cbrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(pow.f64 #s(approx (/ a2 b1) (/.f64 a2 b1)) #s(literal 1 binary64))
#s(approx (/ a2 b1) (/.f64 a2 b1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a2 b1) (/.f64 a2 b1)) #s(approx (/ a2 b1) (/.f64 a2 b1))) #s(approx (/ a2 b1) (/.f64 a2 b1))))
(exp.f64 (log.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(log.f64 (exp.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(*.f64 (sqrt.f64 #s(approx b1 b1)) (sqrt.f64 #s(approx b1 b1)))
(.f64 (.f64 (cbrt.f64 #s(approx b1 b1)) (cbrt.f64 #s(approx b1 b1))) (cbrt.f64 #s(approx b1 b1)))
(pow.f64 #s(approx b1 b1) #s(literal 1 binary64))
#s(approx b1 b1)
(cbrt.f64 (.f64 (.f64 #s(approx b1 b1) #s(approx b1 b1)) #s(approx b1 b1)))
(exp.f64 (log.f64 #s(approx b1 b1)))
(log.f64 (exp.f64 #s(approx b1 b1)))
(.f64 (sqrt.f64 #s(approx ( b2 b1) (.f64 b1 b2))) (sqrt.f64 #s(approx ( b2 b1) (*.f64 b1 b2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* b2 b1) (.f64 b1 b2))) (cbrt.f64 #s(approx ( b2 b1) (.f64 b1 b2)))) (cbrt.f64 #s(approx ( b2 b1) (*.f64 b1 b2))))
(pow.f64 #s(approx (* b2 b1) (*.f64 b1 b2)) #s(literal 1 binary64))
#s(approx (* b2 b1) (*.f64 b1 b2))
(cbrt.f64 (.f64 (.f64 #s(approx (* b2 b1) (.f64 b1 b2)) #s(approx ( b2 b1) (.f64 b1 b2))) #s(approx ( b2 b1) (*.f64 b1 b2))))
(exp.f64 (log.f64 #s(approx (* b2 b1) (*.f64 b1 b2))))
(log.f64 (exp.f64 #s(approx (* b2 b1) (*.f64 b1 b2))))
(.f64 (sqrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))) (sqrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))) (cbrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))))) (cbrt.f64 #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))))
(pow.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2)))) #s(literal 1 binary64))
#s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2)))) #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (.f64 b1 b2)) a2))))) #s(approx (sqrt ( (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))))
(exp.f64 (log.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))))
(log.f64 (exp.f64 #s(approx (sqrt (* (/ a2 b1) (/ a1 b2))) (.f64 #s(literal -1 binary64) (sqrt.f64 (.f64 (/.f64 a1 (*.f64 b1 b2)) a2))))))
(*.f64 (sqrt.f64 #s(approx b2 b2)) (sqrt.f64 #s(approx b2 b2)))
(.f64 (.f64 (cbrt.f64 #s(approx b2 b2)) (cbrt.f64 #s(approx b2 b2))) (cbrt.f64 #s(approx b2 b2)))
(pow.f64 #s(approx b2 b2) #s(literal 1 binary64))
#s(approx b2 b2)
(cbrt.f64 (.f64 (.f64 #s(approx b2 b2) #s(approx b2 b2)) #s(approx b2 b2)))
(exp.f64 (log.f64 #s(approx b2 b2)))
(log.f64 (exp.f64 #s(approx b2 b2)))

eval49.0ms (1.7%)

Memory: -30.6MiB live, 64.2MiB allocated; 14ms collecting garbage
Compiler: Compiled 9 230 to 1 165 computations (87.4% saved)

prune12.0ms (0.4%)

Memory

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

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	460	4	464
Fresh	2	2	4
Picked	3	2	5
Done	0	1	1
Total	465	9	474

Accuracy

100.0%

Counts

474 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	89.8%	(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
▶	85.0%	(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)
✓	81.3%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
✓	90.0%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
▶	81.2%	(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
▶	75.9%	(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
	81.2%	(.f64 (.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2))) (/.f64 a1 (*.f64 b2 b1)))
▶	81.2%	(.f64 a2 (/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (*.f64 b2 b1)))
✓	81.4%	(.f64 a2 (/.f64 a1 (.f64 b2 b1)))

Compiler

Compiled 137 to 117 computations (14.6% saved)

series25.0ms (0.9%)

Memory

-22.3MiB live, 24.5MiB allocated; 2ms collecting garbage

Counts

21 → 24

Calls

Call 1

Inputs
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(*.f64 (/.f64 a1 b1) a2)
(/.f64 a1 b1)
a1
b1
a2
b2
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 a2 (*.f64 b1 b2))
(*.f64 b1 b2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(/.f64 a2 b1)
(/.f64 a1 b2)
(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)
(*.f64 a2 (/.f64 a1 b2))
(.f64 a2 (/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (*.f64 b2 b1)))
(/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (.f64 b2 b1))
(*.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1)))
(sqrt.f64 #s(approx a1 a1))
#s(approx a1 a1)
(*.f64 b2 b1)

Outputs
#s(approx (/ (* (/ a1 b1) a2) b2) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* (/ a1 b1) a2) #s(hole binary64 (/ (* a1 a2) b1)))
#s(approx (/ a1 b1) #s(hole binary64 (/ a1 b1)))
#s(approx a1 #s(hole binary64 a1))
#s(approx (* (/ a2 (* b1 b2)) a1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* (/ a2 b1) (/ a1 b2)) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 b2) #s(hole binary64 (/ a1 b2)))
#s(approx (/ (* a2 (/ a1 b2)) b1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* a2 (/ a1 b2)) #s(hole binary64 (/ (* a1 a2) b2)))
#s(approx (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) #s(hole binary64 (/ a1 (* b1 b2))))
#s(approx (* (sqrt a1) (sqrt a1)) #s(hole binary64 a1))
#s(approx (sqrt a1) #s(hole binary64 (sqrt a1)))
#s(approx (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) #s(hole binary64 (* -1 (/ (* a1 (* a2 (pow (sqrt -1) 2))) (* b1 b2)))))
#s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) #s(hole binary64 (* -1 (/ (* a1 (pow (sqrt -1) 2)) (* b1 b2)))))
#s(approx (* (sqrt a1) (sqrt a1)) #s(hole binary64 (* -1 (* a1 (pow (sqrt -1) 2)))))
#s(approx (sqrt a1) #s(hole binary64 (* -1 (* (sqrt a1) (pow (sqrt -1) 2)))))
#s(approx a2 #s(hole binary64 a2))
#s(approx (/ a2 (* b1 b2)) #s(hole binary64 (/ a2 (* b1 b2))))
#s(approx (/ a2 b1) #s(hole binary64 (/ a2 b1)))
#s(approx b1 #s(hole binary64 b1))
#s(approx (* b1 b2) #s(hole binary64 (* b1 b2)))
#s(approx (* b2 b1) #s(hole binary64 (* b1 b2)))
#s(approx b2 #s(hole binary64 b2))

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	a1	@	-inf	((/ (* (/ a1 b1) a2) b2) (* (/ a1 b1) a2) (/ a1 b1) a1 b1 a2 b2 (* (/ a2 (* b1 b2)) a1) (/ a2 (* b1 b2)) (* b1 b2) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2) (/ (* a2 (/ a1 b2)) b1) (* a2 (/ a1 b2)) (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (* (sqrt a1) (sqrt a1)) (sqrt a1) a1 (* b2 b1))
3.0ms	a2	@	-inf	((/ (* (/ a1 b1) a2) b2) (* (/ a1 b1) a2) (/ a1 b1) a1 b1 a2 b2 (* (/ a2 (* b1 b2)) a1) (/ a2 (* b1 b2)) (* b1 b2) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2) (/ (* a2 (/ a1 b2)) b1) (* a2 (/ a1 b2)) (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (* (sqrt a1) (sqrt a1)) (sqrt a1) a1 (* b2 b1))
2.0ms	b1	@	-inf	((/ (* (/ a1 b1) a2) b2) (* (/ a1 b1) a2) (/ a1 b1) a1 b1 a2 b2 (* (/ a2 (* b1 b2)) a1) (/ a2 (* b1 b2)) (* b1 b2) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2) (/ (* a2 (/ a1 b2)) b1) (* a2 (/ a1 b2)) (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (* (sqrt a1) (sqrt a1)) (sqrt a1) a1 (* b2 b1))
2.0ms	a1	@	inf	((/ (* (/ a1 b1) a2) b2) (* (/ a1 b1) a2) (/ a1 b1) a1 b1 a2 b2 (* (/ a2 (* b1 b2)) a1) (/ a2 (* b1 b2)) (* b1 b2) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2) (/ (* a2 (/ a1 b2)) b1) (* a2 (/ a1 b2)) (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (* (sqrt a1) (sqrt a1)) (sqrt a1) a1 (* b2 b1))
2.0ms	b2	@	-inf	((/ (* (/ a1 b1) a2) b2) (* (/ a1 b1) a2) (/ a1 b1) a1 b1 a2 b2 (* (/ a2 (* b1 b2)) a1) (/ a2 (* b1 b2)) (* b1 b2) (* (/ a2 b1) (/ a1 b2)) (/ a2 b1) (/ a1 b2) (/ (* a2 (/ a1 b2)) b1) (* a2 (/ a1 b2)) (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (* (sqrt a1) (sqrt a1)) (sqrt a1) a1 (* b2 b1))

rewrite56.0ms (1.9%)

Memory

17.3MiB live, 60.6MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	366
0	98	308
0	1135	308

Stop Event

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

Counts

45 → 381

Calls

Call 1

Inputs
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(*.f64 (/.f64 a1 b1) a2)
(/.f64 a1 b1)
a1
b1
a2
b2
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 a2 (*.f64 b1 b2))
(*.f64 b1 b2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(/.f64 a2 b1)
(/.f64 a1 b2)
(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)
(*.f64 a2 (/.f64 a1 b2))
(.f64 a2 (/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (*.f64 b2 b1)))
(/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (.f64 b2 b1))
(*.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1)))
(sqrt.f64 #s(approx a1 a1))
#s(approx a1 a1)
(*.f64 b2 b1)
#s(approx (/ (* (/ a1 b1) a2) b2) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* (/ a1 b1) a2) #s(hole binary64 (/ (* a1 a2) b1)))
#s(approx (/ a1 b1) #s(hole binary64 (/ a1 b1)))
#s(approx a1 #s(hole binary64 a1))
#s(approx (* (/ a2 (* b1 b2)) a1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* (/ a2 b1) (/ a1 b2)) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 b2) #s(hole binary64 (/ a1 b2)))
#s(approx (/ (* a2 (/ a1 b2)) b1) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (* a2 (/ a1 b2)) #s(hole binary64 (/ (* a1 a2) b2)))
#s(approx (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) #s(hole binary64 (/ a1 (* b1 b2))))
#s(approx (* (sqrt a1) (sqrt a1)) #s(hole binary64 a1))
#s(approx (sqrt a1) #s(hole binary64 (sqrt a1)))
#s(approx (* a2 (/ (* (sqrt a1) (sqrt a1)) (* b2 b1))) #s(hole binary64 (* -1 (/ (* a1 (* a2 (pow (sqrt -1) 2))) (* b1 b2)))))
#s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) #s(hole binary64 (* -1 (/ (* a1 (pow (sqrt -1) 2)) (* b1 b2)))))
#s(approx (* (sqrt a1) (sqrt a1)) #s(hole binary64 (* -1 (* a1 (pow (sqrt -1) 2)))))
#s(approx (sqrt a1) #s(hole binary64 (* -1 (* (sqrt a1) (pow (sqrt -1) 2)))))
#s(approx a2 #s(hole binary64 a2))
#s(approx (/ a2 (* b1 b2)) #s(hole binary64 (/ a2 (* b1 b2))))
#s(approx (/ a2 b1) #s(hole binary64 (/ a2 b1)))
#s(approx b1 #s(hole binary64 b1))
#s(approx (* b1 b2) #s(hole binary64 (* b1 b2)))
#s(approx (* b2 b1) #s(hole binary64 (* b1 b2)))
#s(approx b2 #s(hole binary64 b2))

Outputs
(.f64 (sqrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (sqrt.f64 (.f64 (/.f64 a2 (*.f64 b2 b1)) a1)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a2 (.f64 b2 b1)) a1)
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(.f64 a1 (/.f64 a2 (.f64 b2 b1)))
(pow.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) #s(literal 1 binary64))
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b2) a2)) (neg.f64 b1))
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) a2)) (neg.f64 b2))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b2 b1)))
(/.f64 (.f64 a2 a1) (.f64 b2 b1))
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(exp.f64 (log.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(log.f64 (exp.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 b1) a2)) (sqrt.f64 (*.f64 (/.f64 a1 b1) a2)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 b1) a2)) (cbrt.f64 (.f64 (/.f64 a1 b1) a2))) (cbrt.f64 (*.f64 (/.f64 a1 b1) a2)))
(*.f64 (/.f64 a1 b1) a2)
(*.f64 a2 (/.f64 a1 b1))
(*.f64 a1 (/.f64 a2 b1))
(pow.f64 (*.f64 (/.f64 a1 b1) a2) #s(literal 1 binary64))
(/.f64 (neg.f64 (*.f64 a2 a1)) (neg.f64 b1))
(/.f64 (*.f64 a2 a1) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 b1) a2) (.f64 (/.f64 a1 b1) a2)) (*.f64 (/.f64 a1 b1) a2)))
(exp.f64 (log.f64 (*.f64 (/.f64 a1 b1) a2)))
(log.f64 (exp.f64 (*.f64 (/.f64 a1 b1) a2)))
(*.f64 (sqrt.f64 (/.f64 a1 b1)) (sqrt.f64 (/.f64 a1 b1)))
(.f64 (.f64 (cbrt.f64 (/.f64 a1 b1)) (cbrt.f64 (/.f64 a1 b1))) (cbrt.f64 (/.f64 a1 b1)))
(pow.f64 (/.f64 a1 b1) #s(literal 1 binary64))
(/.f64 (neg.f64 a1) (neg.f64 b1))
(/.f64 a1 b1)
(cbrt.f64 (.f64 (.f64 (/.f64 a1 b1) (/.f64 a1 b1)) (/.f64 a1 b1)))
(exp.f64 (log.f64 (/.f64 a1 b1)))
(log.f64 (exp.f64 (/.f64 a1 b1)))
a1
b1
a2
b2
(.f64 (sqrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (sqrt.f64 (.f64 (/.f64 a2 (*.f64 b2 b1)) a1)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a2 (.f64 b2 b1)) a1)
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(.f64 a1 (/.f64 a2 (.f64 b2 b1)))
(pow.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) #s(literal 1 binary64))
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b2) a2)) (neg.f64 b1))
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) a2)) (neg.f64 b2))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b2 b1)))
(/.f64 (.f64 a2 a1) (.f64 b2 b1))
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(exp.f64 (log.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(log.f64 (exp.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(.f64 (sqrt.f64 (/.f64 a2 (.f64 b2 b1))) (sqrt.f64 (/.f64 a2 (*.f64 b2 b1))))
(.f64 (.f64 (cbrt.f64 (/.f64 a2 (.f64 b2 b1))) (cbrt.f64 (/.f64 a2 (.f64 b2 b1)))) (cbrt.f64 (/.f64 a2 (*.f64 b2 b1))))
(pow.f64 (/.f64 a2 (*.f64 b2 b1)) #s(literal 1 binary64))
(/.f64 (neg.f64 a2) (neg.f64 (*.f64 b2 b1)))
(/.f64 (/.f64 a2 b1) b2)
(/.f64 a2 (*.f64 b2 b1))
(cbrt.f64 (.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) (/.f64 a2 (.f64 b2 b1))) (/.f64 a2 (*.f64 b2 b1))))
(exp.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))))
(log.f64 (exp.f64 (/.f64 a2 (*.f64 b2 b1))))
(.f64 (sqrt.f64 (.f64 b2 b1)) (sqrt.f64 (*.f64 b2 b1)))
(.f64 (.f64 (cbrt.f64 (.f64 b2 b1)) (cbrt.f64 (.f64 b2 b1))) (cbrt.f64 (*.f64 b2 b1)))
(*.f64 b2 b1)
(*.f64 b1 b2)
(pow.f64 (*.f64 b2 b1) #s(literal 1 binary64))
(cbrt.f64 (.f64 (.f64 (.f64 b2 b1) (.f64 b2 b1)) (*.f64 b2 b1)))
(exp.f64 (log.f64 (*.f64 b2 b1)))
(log.f64 (exp.f64 (*.f64 b2 b1)))
(.f64 (sqrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (sqrt.f64 (.f64 (/.f64 a2 (*.f64 b2 b1)) a1)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a2 (.f64 b2 b1)) a1)
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(.f64 a1 (/.f64 a2 (.f64 b2 b1)))
(pow.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) #s(literal 1 binary64))
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b2) a2)) (neg.f64 b1))
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) a2)) (neg.f64 b2))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b2 b1)))
(/.f64 (.f64 a2 a1) (.f64 b2 b1))
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(exp.f64 (log.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(log.f64 (exp.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(*.f64 (sqrt.f64 (/.f64 a2 b1)) (sqrt.f64 (/.f64 a2 b1)))
(.f64 (.f64 (cbrt.f64 (/.f64 a2 b1)) (cbrt.f64 (/.f64 a2 b1))) (cbrt.f64 (/.f64 a2 b1)))
(pow.f64 (/.f64 a2 b1) #s(literal 1 binary64))
(/.f64 (neg.f64 a2) (neg.f64 b1))
(/.f64 a2 b1)
(cbrt.f64 (.f64 (.f64 (/.f64 a2 b1) (/.f64 a2 b1)) (/.f64 a2 b1)))
(exp.f64 (log.f64 (/.f64 a2 b1)))
(log.f64 (exp.f64 (/.f64 a2 b1)))
(*.f64 (sqrt.f64 (/.f64 a1 b2)) (sqrt.f64 (/.f64 a1 b2)))
(.f64 (.f64 (cbrt.f64 (/.f64 a1 b2)) (cbrt.f64 (/.f64 a1 b2))) (cbrt.f64 (/.f64 a1 b2)))
(pow.f64 (/.f64 a1 b2) #s(literal 1 binary64))
(/.f64 (neg.f64 a1) (neg.f64 b2))
(/.f64 a1 b2)
(cbrt.f64 (.f64 (.f64 (/.f64 a1 b2) (/.f64 a1 b2)) (/.f64 a1 b2)))
(exp.f64 (log.f64 (/.f64 a1 b2)))
(log.f64 (exp.f64 (/.f64 a1 b2)))
(.f64 (sqrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (sqrt.f64 (.f64 (/.f64 a2 (*.f64 b2 b1)) a1)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 (/.f64 a2 (.f64 b2 b1)) a1)
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(.f64 a1 (/.f64 a2 (.f64 b2 b1)))
(pow.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) #s(literal 1 binary64))
(/.f64 (*.f64 (/.f64 a2 b1) a1) b2)
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b2) a2)) (neg.f64 b1))
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) a2)) (neg.f64 b2))
(/.f64 (neg.f64 (.f64 a2 a1)) (neg.f64 (.f64 b2 b1)))
(/.f64 (.f64 a2 a1) (.f64 b2 b1))
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(exp.f64 (log.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(log.f64 (exp.f64 (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))
(.f64 (sqrt.f64 (.f64 (/.f64 a1 b2) a2)) (sqrt.f64 (*.f64 (/.f64 a1 b2) a2)))
(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 a1 b2) a2)) (cbrt.f64 (.f64 (/.f64 a1 b2) a2))) (cbrt.f64 (*.f64 (/.f64 a1 b2) a2)))
(*.f64 (/.f64 a1 b2) a2)
(*.f64 a2 (/.f64 a1 b2))
(*.f64 a1 (/.f64 a2 b2))
(pow.f64 (*.f64 (/.f64 a1 b2) a2) #s(literal 1 binary64))
(/.f64 (neg.f64 (*.f64 a2 a1)) (neg.f64 b2))
(/.f64 (*.f64 a2 a1) b2)
(cbrt.f64 (.f64 (.f64 (.f64 (/.f64 a1 b2) a2) (.f64 (/.f64 a1 b2) a2)) (*.f64 (/.f64 a1 b2) a2)))
(exp.f64 (log.f64 (*.f64 (/.f64 a1 b2) a2)))
(log.f64 (exp.f64 (*.f64 (/.f64 a1 b2) a2)))
(.f64 (sqrt.f64 (/.f64 (.f64 a2 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (.f64 b2 b1))) (sqrt.f64 (/.f64 (.f64 a2 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1))))
(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 a2 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (.f64 b2 b1))) (cbrt.f64 (/.f64 (.f64 a2 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (.f64 b2 b1)))) (cbrt.f64 (/.f64 (.f64 a2 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1))))
(.f64 (/.f64 (/.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) b2) b1) a2)
(.f64 a2 (/.f64 (/.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) b2) b1))
(pow.f64 (/.f64 (.f64 a2 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1)) #s(literal 1 binary64))
(/.f64 (.f64 a2 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1))
(cbrt.f64 (.f64 (.f64 (/.f64 (.f64 a2 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (.f64 b2 b1)) (/.f64 (.f64 a2 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (.f64 b2 b1))) (/.f64 (.f64 a2 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1))))
(exp.f64 (log.f64 (/.f64 (.f64 a2 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1))))
(log.f64 (exp.f64 (/.f64 (.f64 a2 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1))))
(.f64 (/.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1)) b2) (/.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) b1))
(.f64 (sqrt.f64 (/.f64 (/.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) b2) b1)) (sqrt.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)))
(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)) (cbrt.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1))) (cbrt.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (/.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (*.f64 b2 b1)))
(pow.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1) #s(literal 1 binary64))
(/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)
(/.f64 (neg.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (neg.f64 (*.f64 b2 b1)))
(/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) (*.f64 b2 b1))
(cbrt.f64 (.f64 (.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1) (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)) (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)))
(exp.f64 (log.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)))
(log.f64 (exp.f64 (/.f64 (/.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) b2) b1)))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(pow.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(literal 2 binary64))
#s(approx (* (sqrt a1) (sqrt a1)) a1)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(exp.f64 (log.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(log.f64 (exp.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (sqrt.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))) (cbrt.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))) (cbrt.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(pow.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(literal 1 binary64))
(cbrt.f64 (.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))
(exp.f64 (log.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(log.f64 (exp.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(pow.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(literal 2 binary64))
#s(approx (* (sqrt a1) (sqrt a1)) a1)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(exp.f64 (log.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(log.f64 (exp.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 (.f64 b2 b1)) (sqrt.f64 (*.f64 b2 b1)))
(.f64 (.f64 (cbrt.f64 (.f64 b2 b1)) (cbrt.f64 (.f64 b2 b1))) (cbrt.f64 (*.f64 b2 b1)))
(*.f64 b2 b1)
(*.f64 b1 b2)
(pow.f64 (*.f64 b2 b1) #s(literal 1 binary64))
(cbrt.f64 (.f64 (.f64 (.f64 b2 b1) (.f64 b2 b1)) (*.f64 b2 b1)))
(exp.f64 (log.f64 (*.f64 b2 b1)))
(log.f64 (exp.f64 (*.f64 b2 b1)))
(.f64 (sqrt.f64 #s(approx (/ ( (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (sqrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(pow.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(literal 1 binary64))
#s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(exp.f64 (log.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(log.f64 (exp.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (sqrt.f64 #s(approx ( (/ a1 b1) a2) (.f64 (/.f64 a1 b1) a2))) (sqrt.f64 #s(approx ( (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (/ a1 b1) a2) (.f64 (/.f64 a1 b1) a2))) (cbrt.f64 #s(approx ( (/ a1 b1) a2) (.f64 (/.f64 a1 b1) a2)))) (cbrt.f64 #s(approx ( (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2))))
(pow.f64 #s(approx (* (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2)) #s(literal 1 binary64))
#s(approx (* (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (* (/ a1 b1) a2) (.f64 (/.f64 a1 b1) a2)) #s(approx ( (/ a1 b1) a2) (.f64 (/.f64 a1 b1) a2))) #s(approx ( (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2))))
(exp.f64 (log.f64 #s(approx (* (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2))))
(log.f64 (exp.f64 #s(approx (* (/ a1 b1) a2) (*.f64 (/.f64 a1 b1) a2))))
(*.f64 (sqrt.f64 #s(approx (/ a1 b1) (/.f64 a1 b1))) (sqrt.f64 #s(approx (/ a1 b1) (/.f64 a1 b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a1 b1) (/.f64 a1 b1))) (cbrt.f64 #s(approx (/ a1 b1) (/.f64 a1 b1)))) (cbrt.f64 #s(approx (/ a1 b1) (/.f64 a1 b1))))
(pow.f64 #s(approx (/ a1 b1) (/.f64 a1 b1)) #s(literal 1 binary64))
#s(approx (/ a1 b1) (/.f64 a1 b1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a1 b1) (/.f64 a1 b1)) #s(approx (/ a1 b1) (/.f64 a1 b1))) #s(approx (/ a1 b1) (/.f64 a1 b1))))
(exp.f64 (log.f64 #s(approx (/ a1 b1) (/.f64 a1 b1))))
(log.f64 (exp.f64 #s(approx (/ a1 b1) (/.f64 a1 b1))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(pow.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(literal 2 binary64))
#s(approx (* (sqrt a1) (sqrt a1)) a1)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(exp.f64 (log.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(log.f64 (exp.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 #s(approx (/ ( (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (sqrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(pow.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(literal 1 binary64))
#s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(exp.f64 (log.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(log.f64 (exp.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (sqrt.f64 #s(approx (/ ( (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (sqrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(pow.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(literal 1 binary64))
#s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(exp.f64 (log.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(log.f64 (exp.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(*.f64 (sqrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))) (sqrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))) (cbrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2)))) (cbrt.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(pow.f64 #s(approx (/ a1 b2) (/.f64 a1 b2)) #s(literal 1 binary64))
#s(approx (/ a1 b2) (/.f64 a1 b2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a1 b2) (/.f64 a1 b2)) #s(approx (/ a1 b2) (/.f64 a1 b2))) #s(approx (/ a1 b2) (/.f64 a1 b2))))
(exp.f64 (log.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(log.f64 (exp.f64 #s(approx (/ a1 b2) (/.f64 a1 b2))))
(.f64 (sqrt.f64 #s(approx (/ ( (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (sqrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(pow.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(literal 1 binary64))
#s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(exp.f64 (log.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(log.f64 (exp.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (sqrt.f64 #s(approx ( a2 (/ a1 b2)) (.f64 (/.f64 a1 b2) a2))) (sqrt.f64 #s(approx ( a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* a2 (/ a1 b2)) (.f64 (/.f64 a1 b2) a2))) (cbrt.f64 #s(approx ( a2 (/ a1 b2)) (.f64 (/.f64 a1 b2) a2)))) (cbrt.f64 #s(approx ( a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2))))
(pow.f64 #s(approx (* a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2)) #s(literal 1 binary64))
#s(approx (* a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2))
(cbrt.f64 (.f64 (.f64 #s(approx (* a2 (/ a1 b2)) (.f64 (/.f64 a1 b2) a2)) #s(approx ( a2 (/ a1 b2)) (.f64 (/.f64 a1 b2) a2))) #s(approx ( a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2))))
(exp.f64 (log.f64 #s(approx (* a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2))))
(log.f64 (exp.f64 #s(approx (* a2 (/ a1 b2)) (*.f64 (/.f64 a1 b2) a2))))
(.f64 (sqrt.f64 #s(approx (/ ( (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (sqrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(pow.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(literal 1 binary64))
#s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1)) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))) #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(exp.f64 (log.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(log.f64 (exp.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (.f64 (/.f64 a2 (.f64 b2 b1)) a1))))
(.f64 (sqrt.f64 #s(approx (/ ( (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))) (sqrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))) (cbrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2)))) (cbrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))))
(pow.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2)) #s(literal 1 binary64))
#s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2)) #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))) #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))))
(exp.f64 (log.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))))
(log.f64 (exp.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (/.f64 a1 b1) b2))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1))) (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1)) (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(pow.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(literal 2 binary64))
#s(approx (* (sqrt a1) (sqrt a1)) a1)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a1) (sqrt a1)) a1) #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(exp.f64 (log.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(log.f64 (exp.f64 #s(approx (* (sqrt a1) (sqrt a1)) a1)))
(*.f64 (sqrt.f64 #s(approx (sqrt a1) (sqrt.f64 a1))) (sqrt.f64 #s(approx (sqrt a1) (sqrt.f64 a1))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt a1) (sqrt.f64 a1))) (cbrt.f64 #s(approx (sqrt a1) (sqrt.f64 a1)))) (cbrt.f64 #s(approx (sqrt a1) (sqrt.f64 a1))))
(pow.f64 #s(approx (sqrt a1) (sqrt.f64 a1)) #s(literal 1 binary64))
#s(approx (sqrt a1) (sqrt.f64 a1))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt a1) (sqrt.f64 a1)) #s(approx (sqrt a1) (sqrt.f64 a1))) #s(approx (sqrt a1) (sqrt.f64 a1))))
(exp.f64 (log.f64 #s(approx (sqrt a1) (sqrt.f64 a1))))
(log.f64 (exp.f64 #s(approx (sqrt a1) (sqrt.f64 a1))))
(.f64 (sqrt.f64 #s(approx (/ ( (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) (sqrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))))) (cbrt.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(pow.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))) #s(literal 1 binary64))
#s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))) #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(exp.f64 (log.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(log.f64 (exp.f64 #s(approx (/ (* (/ a1 b1) a2) b2) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(.f64 (sqrt.f64 #s(approx (/ ( (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))) (sqrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))) (cbrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1))))) (cbrt.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))))
(pow.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1))) #s(literal 1 binary64))
#s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))
(cbrt.f64 (.f64 (.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1))) #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))) #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))))
(exp.f64 (log.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))))
(log.f64 (exp.f64 #s(approx (/ (* (sqrt a1) (sqrt a1)) (* b2 b1)) (/.f64 (neg.f64 (.f64 #s(literal -1 binary64) a1)) (.f64 b2 b1)))))
(.f64 (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) (neg.f64 (.f64 #s(literal -1 binary64) a1)))) (sqrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1)))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a1) (sqrt a1)) (neg.f64 (.f64 #s(literal -1 binary64) a1)))) (cbrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) (neg.f64 (.f64 #s(literal -1 binary64) a1))))) (cbrt.f64 #s(approx ( (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1)))))
(pow.f64 #s(approx (* (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1))) #s(literal 1 binary64))
#s(approx (* (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1)))
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a1) (sqrt a1)) (neg.f64 (.f64 #s(literal -1 binary64) a1))) #s(approx ( (sqrt a1) (sqrt a1)) (neg.f64 (.f64 #s(literal -1 binary64) a1)))) #s(approx ( (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1)))))
(exp.f64 (log.f64 #s(approx (* (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1)))))
(log.f64 (exp.f64 #s(approx (* (sqrt a1) (sqrt a1)) (neg.f64 (*.f64 #s(literal -1 binary64) a1)))))
(.f64 (sqrt.f64 #s(approx (sqrt a1) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a1))))) (sqrt.f64 #s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1))))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt a1) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a1))))) (cbrt.f64 #s(approx (sqrt a1) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a1)))))) (cbrt.f64 #s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1))))))
(pow.f64 #s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1)))) #s(literal 1 binary64))
#s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1))))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt a1) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a1)))) #s(approx (sqrt a1) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a1))))) #s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1))))))
(exp.f64 (log.f64 #s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1))))))
(log.f64 (exp.f64 #s(approx (sqrt a1) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a1))))))
(*.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2)))
(.f64 (.f64 (cbrt.f64 #s(approx a2 a2)) (cbrt.f64 #s(approx a2 a2))) (cbrt.f64 #s(approx a2 a2)))
(pow.f64 #s(approx a2 a2) #s(literal 1 binary64))
#s(approx a2 a2)
(cbrt.f64 (.f64 (.f64 #s(approx a2 a2) #s(approx a2 a2)) #s(approx a2 a2)))
(exp.f64 (log.f64 #s(approx a2 a2)))
(log.f64 (exp.f64 #s(approx a2 a2)))
(.f64 (sqrt.f64 #s(approx (/ a2 ( b1 b2)) (/.f64 a2 (.f64 b2 b1)))) (sqrt.f64 #s(approx (/ a2 ( b1 b2)) (/.f64 a2 (*.f64 b2 b1)))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a2 (* b1 b2)) (/.f64 a2 (.f64 b2 b1)))) (cbrt.f64 #s(approx (/ a2 ( b1 b2)) (/.f64 a2 (.f64 b2 b1))))) (cbrt.f64 #s(approx (/ a2 ( b1 b2)) (/.f64 a2 (*.f64 b2 b1)))))
(pow.f64 #s(approx (/ a2 (* b1 b2)) (/.f64 a2 (*.f64 b2 b1))) #s(literal 1 binary64))
#s(approx (/ a2 (* b1 b2)) (/.f64 a2 (*.f64 b2 b1)))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a2 (* b1 b2)) (/.f64 a2 (.f64 b2 b1))) #s(approx (/ a2 ( b1 b2)) (/.f64 a2 (.f64 b2 b1)))) #s(approx (/ a2 ( b1 b2)) (/.f64 a2 (*.f64 b2 b1)))))
(exp.f64 (log.f64 #s(approx (/ a2 (* b1 b2)) (/.f64 a2 (*.f64 b2 b1)))))
(log.f64 (exp.f64 #s(approx (/ a2 (* b1 b2)) (/.f64 a2 (*.f64 b2 b1)))))
(*.f64 (sqrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))) (sqrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))) (cbrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1)))) (cbrt.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(pow.f64 #s(approx (/ a2 b1) (/.f64 a2 b1)) #s(literal 1 binary64))
#s(approx (/ a2 b1) (/.f64 a2 b1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a2 b1) (/.f64 a2 b1)) #s(approx (/ a2 b1) (/.f64 a2 b1))) #s(approx (/ a2 b1) (/.f64 a2 b1))))
(exp.f64 (log.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(log.f64 (exp.f64 #s(approx (/ a2 b1) (/.f64 a2 b1))))
(*.f64 (sqrt.f64 #s(approx b1 b1)) (sqrt.f64 #s(approx b1 b1)))
(.f64 (.f64 (cbrt.f64 #s(approx b1 b1)) (cbrt.f64 #s(approx b1 b1))) (cbrt.f64 #s(approx b1 b1)))
(pow.f64 #s(approx b1 b1) #s(literal 1 binary64))
#s(approx b1 b1)
(cbrt.f64 (.f64 (.f64 #s(approx b1 b1) #s(approx b1 b1)) #s(approx b1 b1)))
(exp.f64 (log.f64 #s(approx b1 b1)))
(log.f64 (exp.f64 #s(approx b1 b1)))
(.f64 (sqrt.f64 #s(approx ( b1 b2) (.f64 b2 b1))) (sqrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* b1 b2) (.f64 b2 b1))) (cbrt.f64 #s(approx ( b1 b2) (.f64 b2 b1)))) (cbrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))
(pow.f64 #s(approx (* b1 b2) (*.f64 b2 b1)) #s(literal 1 binary64))
#s(approx (* b1 b2) (*.f64 b2 b1))
(cbrt.f64 (.f64 (.f64 #s(approx (* b1 b2) (.f64 b2 b1)) #s(approx ( b1 b2) (.f64 b2 b1))) #s(approx ( b1 b2) (*.f64 b2 b1))))
(exp.f64 (log.f64 #s(approx (* b1 b2) (*.f64 b2 b1))))
(log.f64 (exp.f64 #s(approx (* b1 b2) (*.f64 b2 b1))))
(.f64 (sqrt.f64 #s(approx ( b1 b2) (.f64 b2 b1))) (sqrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (* b1 b2) (.f64 b2 b1))) (cbrt.f64 #s(approx ( b1 b2) (.f64 b2 b1)))) (cbrt.f64 #s(approx ( b1 b2) (*.f64 b2 b1))))
(pow.f64 #s(approx (* b1 b2) (*.f64 b2 b1)) #s(literal 1 binary64))
#s(approx (* b1 b2) (*.f64 b2 b1))
(cbrt.f64 (.f64 (.f64 #s(approx (* b1 b2) (.f64 b2 b1)) #s(approx ( b1 b2) (.f64 b2 b1))) #s(approx ( b1 b2) (*.f64 b2 b1))))
(exp.f64 (log.f64 #s(approx (* b1 b2) (*.f64 b2 b1))))
(log.f64 (exp.f64 #s(approx (* b1 b2) (*.f64 b2 b1))))
(*.f64 (sqrt.f64 #s(approx b2 b2)) (sqrt.f64 #s(approx b2 b2)))
(.f64 (.f64 (cbrt.f64 #s(approx b2 b2)) (cbrt.f64 #s(approx b2 b2))) (cbrt.f64 #s(approx b2 b2)))
(pow.f64 #s(approx b2 b2) #s(literal 1 binary64))
#s(approx b2 b2)
(cbrt.f64 (.f64 (.f64 #s(approx b2 b2) #s(approx b2 b2)) #s(approx b2 b2)))
(exp.f64 (log.f64 #s(approx b2 b2)))
(log.f64 (exp.f64 #s(approx b2 b2)))

eval36.0ms (1.3%)

Memory: -9.1MiB live, 36.4MiB allocated; 4ms collecting garbage
Compiler: Compiled 6 731 to 1 072 computations (84.1% saved)

prune12.0ms (0.4%)

Memory

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

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	383	0	383
Fresh	0	1	1
Picked	0	5	5
Done	0	3	3
Total	383	9	392

Accuracy

100.0%

Counts

392 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	89.8%	(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
✓	85.0%	(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)
✓	81.3%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
✓	90.0%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
✓	81.2%	(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
✓	75.9%	(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
▶	81.2%	(.f64 (.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2))) (/.f64 a1 (*.f64 b2 b1)))
✓	81.2%	(.f64 a2 (/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (*.f64 b2 b1)))
✓	81.4%	(.f64 a2 (/.f64 a1 (.f64 b2 b1)))

Compiler

Compiled 79 to 69 computations (12.7% saved)

series15.0ms (0.5%)

Memory

-40.0MiB live, 19.0MiB allocated; 3ms collecting garbage

Counts

10 → 12

Calls

Call 1

Inputs
(.f64 (.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2))) (/.f64 a1 (*.f64 b2 b1)))
(*.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2)))
(sqrt.f64 #s(approx a2 a2))
#s(approx a2 a2)
a2
(/.f64 a1 (*.f64 b2 b1))
a1
(*.f64 b2 b1)
b2
b1

Outputs
#s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 (* b2 b1)) #s(hole binary64 (/ a1 (* b1 b2))))
#s(approx a1 #s(hole binary64 a1))
#s(approx (* (sqrt a2) (sqrt a2)) #s(hole binary64 a2))
#s(approx (sqrt a2) #s(hole binary64 (sqrt a2)))
#s(approx a2 #s(hole binary64 a2))
#s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) #s(hole binary64 (* -1 (/ (* a1 (* a2 (pow (sqrt -1) 2))) (* b1 b2)))))
#s(approx (* (sqrt a2) (sqrt a2)) #s(hole binary64 (* -1 (* a2 (pow (sqrt -1) 2)))))
#s(approx (sqrt a2) #s(hole binary64 (* -1 (* (sqrt a2) (pow (sqrt -1) 2)))))
#s(approx (* b2 b1) #s(hole binary64 (* b1 b2)))
#s(approx b1 #s(hole binary64 b1))
#s(approx b2 #s(hole binary64 b2))

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	a2	@	inf	((* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (* (sqrt a2) (sqrt a2)) (sqrt a2) a2 a2 (/ a1 (* b2 b1)) a1 (* b2 b1) b2 b1)
2.0ms	a2	@	-inf	((* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (* (sqrt a2) (sqrt a2)) (sqrt a2) a2 a2 (/ a1 (* b2 b1)) a1 (* b2 b1) b2 b1)
1.0ms	b2	@	-inf	((* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (* (sqrt a2) (sqrt a2)) (sqrt a2) a2 a2 (/ a1 (* b2 b1)) a1 (* b2 b1) b2 b1)
1.0ms	b1	@	-inf	((* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (* (sqrt a2) (sqrt a2)) (sqrt a2) a2 a2 (/ a1 (* b2 b1)) a1 (* b2 b1) b2 b1)
1.0ms	b1	@	inf	((* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (* (sqrt a2) (sqrt a2)) (sqrt a2) a2 a2 (/ a1 (* b2 b1)) a1 (* b2 b1) b2 b1)

rewrite41.0ms (1.4%)

Memory

7.4MiB live, 49.1MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	156
0	47	116
0	647	116

Stop Event

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

Counts

22 → 154

Calls

Call 1

Inputs
(.f64 (.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2))) (/.f64 a1 (*.f64 b2 b1)))
(*.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2)))
(sqrt.f64 #s(approx a2 a2))
#s(approx a2 a2)
a2
(/.f64 a1 (*.f64 b2 b1))
a1
(*.f64 b2 b1)
b2
b1
#s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) #s(hole binary64 (/ (* a1 a2) (* b1 b2))))
#s(approx (/ a1 (* b2 b1)) #s(hole binary64 (/ a1 (* b1 b2))))
#s(approx a1 #s(hole binary64 a1))
#s(approx (* (sqrt a2) (sqrt a2)) #s(hole binary64 a2))
#s(approx (sqrt a2) #s(hole binary64 (sqrt a2)))
#s(approx a2 #s(hole binary64 a2))
#s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) #s(hole binary64 (* -1 (/ (* a1 (* a2 (pow (sqrt -1) 2))) (* b1 b2)))))
#s(approx (* (sqrt a2) (sqrt a2)) #s(hole binary64 (* -1 (* a2 (pow (sqrt -1) 2)))))
#s(approx (sqrt a2) #s(hole binary64 (* -1 (* (sqrt a2) (pow (sqrt -1) 2)))))
#s(approx (* b2 b1) #s(hole binary64 (* b1 b2)))
#s(approx b1 #s(hole binary64 b1))
#s(approx b2 #s(hole binary64 b2))

Outputs
(.f64 (sqrt.f64 (/.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) a1) (.f64 b1 b2))) (sqrt.f64 (/.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2))))
(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) a1) (.f64 b1 b2))) (cbrt.f64 (/.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) a1) (.f64 b1 b2)))) (cbrt.f64 (/.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2))))
(.f64 (/.f64 (/.f64 a1 b2) b1) #s(approx ( (sqrt a2) (sqrt a2)) a2))
(.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2)) (.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2)) (/.f64 (/.f64 a1 b2) b1)))
(.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) (/.f64 (/.f64 a1 b2) b1))
(pow.f64 (/.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2)) #s(literal 1 binary64))
(/.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2))
(cbrt.f64 (.f64 (.f64 (/.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) a1) (.f64 b1 b2)) (/.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) a1) (.f64 b1 b2))) (/.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2))))
(exp.f64 (log.f64 (/.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2))))
(log.f64 (exp.f64 (/.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) a1) (*.f64 b1 b2))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2)) (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(literal 2 binary64))
(pow.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(literal 1 binary64))
#s(approx (* (sqrt a2) (sqrt a2)) a2)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(exp.f64 (log.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(log.f64 (exp.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(.f64 (sqrt.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (sqrt.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))) (cbrt.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))) (cbrt.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(literal 1 binary64))
(pow.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(literal 1/2 binary64))
(cbrt.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))
(exp.f64 (log.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(log.f64 (exp.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2)) (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(literal 2 binary64))
(pow.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(literal 1 binary64))
#s(approx (* (sqrt a2) (sqrt a2)) a2)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(exp.f64 (log.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(log.f64 (exp.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
a2
(*.f64 (sqrt.f64 (/.f64 (/.f64 a1 b2) b1)) (sqrt.f64 (/.f64 (/.f64 a1 b2) b1)))
(.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 a1 b2) b1)) (cbrt.f64 (/.f64 (/.f64 a1 b2) b1))) (cbrt.f64 (/.f64 (/.f64 a1 b2) b1)))
(pow.f64 (/.f64 (/.f64 a1 b2) b1) #s(literal 1 binary64))
(/.f64 (/.f64 a1 b2) b1)
(/.f64 (/.f64 a1 b1) b2)
(/.f64 (neg.f64 a1) (neg.f64 (*.f64 b1 b2)))
(/.f64 a1 (*.f64 b1 b2))
(cbrt.f64 (.f64 (.f64 (/.f64 (/.f64 a1 b2) b1) (/.f64 (/.f64 a1 b2) b1)) (/.f64 (/.f64 a1 b2) b1)))
(exp.f64 (log.f64 (/.f64 (/.f64 a1 b2) b1)))
(log.f64 (exp.f64 (/.f64 (/.f64 a1 b2) b1)))
a1
(.f64 (sqrt.f64 (.f64 b1 b2)) (sqrt.f64 (*.f64 b1 b2)))
(.f64 (.f64 (cbrt.f64 (.f64 b1 b2)) (cbrt.f64 (.f64 b1 b2))) (cbrt.f64 (*.f64 b1 b2)))
(*.f64 b1 b2)
(*.f64 b2 b1)
(pow.f64 (*.f64 b1 b2) #s(literal 1 binary64))
(cbrt.f64 (.f64 (.f64 (.f64 b1 b2) (.f64 b1 b2)) (*.f64 b1 b2)))
(exp.f64 (log.f64 (*.f64 b1 b2)))
(log.f64 (exp.f64 (*.f64 b1 b2)))
b2
b1
(.f64 (sqrt.f64 #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (.f64 (/.f64 a1 b1) (/.f64 a2 b2)))) (sqrt.f64 #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (.f64 (/.f64 a1 b1) (/.f64 a2 b2)))) (cbrt.f64 #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (.f64 (/.f64 a1 b1) (/.f64 a2 b2))))) (cbrt.f64 #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))))
(pow.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) #s(literal 1 binary64))
#s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))
(cbrt.f64 (.f64 (.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (.f64 (/.f64 a1 b1) (/.f64 a2 b2))) #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (.f64 (/.f64 a1 b1) (/.f64 a2 b2)))) #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))))
(exp.f64 (log.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))))
(log.f64 (exp.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))))
(.f64 (sqrt.f64 #s(approx (/ a1 ( b2 b1)) (/.f64 (/.f64 a1 b2) b1))) (sqrt.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))))
(.f64 (.f64 (cbrt.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))) (cbrt.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1)))) (cbrt.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))))
(pow.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1)) #s(literal 1 binary64))
#s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))
(cbrt.f64 (.f64 (.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1)) #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))) #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))))
(exp.f64 (log.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))))
(log.f64 (exp.f64 #s(approx (/ a1 (* b2 b1)) (/.f64 (/.f64 a1 b2) b1))))
(*.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1)))
(.f64 (.f64 (cbrt.f64 #s(approx a1 a1)) (cbrt.f64 #s(approx a1 a1))) (cbrt.f64 #s(approx a1 a1)))
(pow.f64 #s(approx a1 a1) #s(literal 1 binary64))
#s(approx a1 a1)
(cbrt.f64 (.f64 (.f64 #s(approx a1 a1) #s(approx a1 a1)) #s(approx a1 a1)))
(exp.f64 (log.f64 #s(approx a1 a1)))
(log.f64 (exp.f64 #s(approx a1 a1)))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2)) (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(literal 2 binary64))
(pow.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(literal 1 binary64))
#s(approx (* (sqrt a2) (sqrt a2)) a2)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(exp.f64 (log.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(log.f64 (exp.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(*.f64 (sqrt.f64 #s(approx (sqrt a2) (sqrt.f64 a2))) (sqrt.f64 #s(approx (sqrt a2) (sqrt.f64 a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt a2) (sqrt.f64 a2))) (cbrt.f64 #s(approx (sqrt a2) (sqrt.f64 a2)))) (cbrt.f64 #s(approx (sqrt a2) (sqrt.f64 a2))))
(pow.f64 #s(approx (sqrt a2) (sqrt.f64 a2)) #s(literal 1 binary64))
#s(approx (sqrt a2) (sqrt.f64 a2))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt a2) (sqrt.f64 a2)) #s(approx (sqrt a2) (sqrt.f64 a2))) #s(approx (sqrt a2) (sqrt.f64 a2))))
(exp.f64 (log.f64 #s(approx (sqrt a2) (sqrt.f64 a2))))
(log.f64 (exp.f64 #s(approx (sqrt a2) (sqrt.f64 a2))))
(.f64 (neg.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (neg.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (fabs.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2))) (fabs.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2))) (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2)) (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(pow.f64 (sqrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(literal 2 binary64))
(pow.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(literal 1 binary64))
#s(approx (* (sqrt a2) (sqrt a2)) a2)
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(sqrt.f64 (.f64 #s(approx ( (sqrt a2) (sqrt a2)) a2) #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(exp.f64 (log.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(log.f64 (exp.f64 #s(approx (* (sqrt a2) (sqrt a2)) a2)))
(.f64 (sqrt.f64 #s(approx ( (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) (sqrt.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) (cbrt.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))))) (cbrt.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(pow.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))) #s(literal 1 binary64))
#s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))
(cbrt.f64 (.f64 (.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))) #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))) #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(exp.f64 (log.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(log.f64 (exp.f64 #s(approx (* (* (sqrt a2) (sqrt a2)) (/ a1 (* b2 b1))) (neg.f64 (.f64 (/.f64 a1 b1) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))))))
(.f64 (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) (neg.f64 (.f64 #s(literal -1 binary64) a2)))) (sqrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2)))))
(.f64 (.f64 (cbrt.f64 #s(approx (* (sqrt a2) (sqrt a2)) (neg.f64 (.f64 #s(literal -1 binary64) a2)))) (cbrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) (neg.f64 (.f64 #s(literal -1 binary64) a2))))) (cbrt.f64 #s(approx ( (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2)))))
(pow.f64 #s(approx (* (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2))) #s(literal 1 binary64))
#s(approx (* (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2)))
(cbrt.f64 (.f64 (.f64 #s(approx (* (sqrt a2) (sqrt a2)) (neg.f64 (.f64 #s(literal -1 binary64) a2))) #s(approx ( (sqrt a2) (sqrt a2)) (neg.f64 (.f64 #s(literal -1 binary64) a2)))) #s(approx ( (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2)))))
(exp.f64 (log.f64 #s(approx (* (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2)))))
(log.f64 (exp.f64 #s(approx (* (sqrt a2) (sqrt a2)) (neg.f64 (*.f64 #s(literal -1 binary64) a2)))))
(.f64 (sqrt.f64 #s(approx (sqrt a2) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a2))))) (sqrt.f64 #s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2))))))
(.f64 (.f64 (cbrt.f64 #s(approx (sqrt a2) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a2))))) (cbrt.f64 #s(approx (sqrt a2) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a2)))))) (cbrt.f64 #s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2))))))
(pow.f64 #s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2)))) #s(literal 1 binary64))
#s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2))))
(cbrt.f64 (.f64 (.f64 #s(approx (sqrt a2) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a2)))) #s(approx (sqrt a2) (neg.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 a2))))) #s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2))))))
(exp.f64 (log.f64 #s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2))))))
(log.f64 (exp.f64 #s(approx (sqrt a2) (neg.f64 (*.f64 #s(literal -1 binary64) (sqrt.f64 a2))))))
(.f64 (sqrt.f64 #s(approx ( b2 b1) (.f64 b1 b2))) (sqrt.f64 #s(approx ( b2 b1) (*.f64 b1 b2))))
(.f64 (.f64 (cbrt.f64 #s(approx (* b2 b1) (.f64 b1 b2))) (cbrt.f64 #s(approx ( b2 b1) (.f64 b1 b2)))) (cbrt.f64 #s(approx ( b2 b1) (*.f64 b1 b2))))
(pow.f64 #s(approx (* b2 b1) (*.f64 b1 b2)) #s(literal 1 binary64))
#s(approx (* b2 b1) (*.f64 b1 b2))
(cbrt.f64 (.f64 (.f64 #s(approx (* b2 b1) (.f64 b1 b2)) #s(approx ( b2 b1) (.f64 b1 b2))) #s(approx ( b2 b1) (*.f64 b1 b2))))
(exp.f64 (log.f64 #s(approx (* b2 b1) (*.f64 b1 b2))))
(log.f64 (exp.f64 #s(approx (* b2 b1) (*.f64 b1 b2))))
(*.f64 (sqrt.f64 #s(approx b1 b1)) (sqrt.f64 #s(approx b1 b1)))
(.f64 (.f64 (cbrt.f64 #s(approx b1 b1)) (cbrt.f64 #s(approx b1 b1))) (cbrt.f64 #s(approx b1 b1)))
(pow.f64 #s(approx b1 b1) #s(literal 1 binary64))
#s(approx b1 b1)
(cbrt.f64 (.f64 (.f64 #s(approx b1 b1) #s(approx b1 b1)) #s(approx b1 b1)))
(exp.f64 (log.f64 #s(approx b1 b1)))
(log.f64 (exp.f64 #s(approx b1 b1)))
(*.f64 (sqrt.f64 #s(approx b2 b2)) (sqrt.f64 #s(approx b2 b2)))
(.f64 (.f64 (cbrt.f64 #s(approx b2 b2)) (cbrt.f64 #s(approx b2 b2))) (cbrt.f64 #s(approx b2 b2)))
(pow.f64 #s(approx b2 b2) #s(literal 1 binary64))
#s(approx b2 b2)
(cbrt.f64 (.f64 (.f64 #s(approx b2 b2) #s(approx b2 b2)) #s(approx b2 b2)))
(exp.f64 (log.f64 #s(approx b2 b2)))
(log.f64 (exp.f64 #s(approx b2 b2)))

eval11.0ms (0.4%)

Memory: 12.1MiB live, 12.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 3 524 to 461 computations (86.9% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	144	9	153

Accuracy

100.0%

Counts

153 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	89.8%	(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
✓	85.0%	(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)
✓	81.3%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
✓	90.0%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
✓	81.2%	(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
✓	75.9%	(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
✓	81.2%	(.f64 (.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2))) (/.f64 a1 (*.f64 b2 b1)))
✓	81.2%	(.f64 a2 (/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (*.f64 b2 b1)))
✓	81.4%	(.f64 a2 (/.f64 a1 (.f64 b2 b1)))

Compiler

Compiled 213 to 117 computations (45.1% saved)

regimes29.0ms (1%)

Memory

-16.4MiB live, 30.4MiB allocated; 2ms collecting garbage

Counts

14 → 2

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (/.f64 (*.f64 a2 a1) b2) b1)
(.f64 a2 (/.f64 (.f64 (sqrt.f64 #s(approx a1 a1)) (sqrt.f64 #s(approx a1 a1))) (*.f64 b2 b1)))
(.f64 (.f64 (sqrt.f64 #s(approx a2 a2)) (sqrt.f64 #s(approx a2 a2))) (/.f64 a1 (*.f64 b2 b1)))
(.f64 (sqrt.f64 a1) (.f64 (sqrt.f64 a1) (/.f64 (/.f64 a2 b2) b1)))
(.f64 (sqrt.f64 (.f64 (/.f64 a2 b1) (/.f64 a1 b2))) (sqrt.f64 (*.f64 (/.f64 a2 b1) (/.f64 a1 b2))))
(/.f64 (/.f64 (*.f64 a2 (/.f64 a1 b1)) (pow.f64 (cbrt.f64 b2) #s(literal 2 binary64))) (cbrt.f64 b2))

Outputs
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)

Calls

7 calls:

6.0ms	a1
4.0ms	a2
4.0ms	b2
4.0ms	b1
4.0ms	(*.f64 a1 a2)

Results

Accuracy	Segments	Branch
99.0%	3	`(*.f64 b1 b2)`
99.3%	2	`(*.f64 a1 a2)`
98.4%	2	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`
98.1%	2	`a1`
97.7%	2	`a2`
93.1%	1	`b1`
96.2%	2	`b2`

Compiler

Compiled 17 to 33 computations (-94.1% saved)

regimes14.0ms (0.5%)

Memory

-10.2MiB live, 33.3MiB allocated; 4ms collecting garbage

Counts

7 → 2

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)

Outputs
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (*.f64 a2 (/.f64 a1 b2)) b1)

Calls

4 calls:

7.0ms	a2
2.0ms	a1
2.0ms	(*.f64 a1 a2)
2.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Results

Accuracy	Segments	Branch
95.5%	2	`a2`
93.1%	1	`a1`
97.5%	2	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`
95.8%	2	`(*.f64 a1 a2)`

Compiler

Compiled 12 to 20 computations (-66.7% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

6 → 2

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)

Outputs
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)

Calls

2 calls:

2.0ms	(*.f64 b1 b2)
2.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Results

Accuracy	Segments	Branch
98.5%	3	`(*.f64 b1 b2)`
97.1%	2	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`

Compiler

Compiled 10 to 12 computations (-20% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

5 → 3

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)

Outputs
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)

Calls

2 calls:

2.0ms	(*.f64 b1 b2)
2.0ms	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Results

Accuracy	Segments	Branch
97.9%	3	`(*.f64 b1 b2)`
95.6%	3	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`

Compiler

Compiled 10 to 12 computations (-20% saved)

regimes10.0ms (0.4%)

Memory

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

Counts

4 → 4

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

Outputs
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))

Calls

6 calls:

2.0ms	a1
2.0ms	a2
2.0ms	b1
2.0ms	b2
2.0ms	(*.f64 a1 a2)

Results

Accuracy	Segments	Branch
91.8%	3	`b1`
87.0%	2	`a1`
87.4%	3	`a2`
89.7%	3	`(*.f64 a1 a2)`
89.0%	3	`b2`
97.5%	4	`(*.f64 b1 b2)`

Compiler

Compiled 10 to 26 computations (-160% saved)

regimes9.0ms (0.3%)

Memory

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

Counts

3 → 2

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)
(/.f64 (.f64 a1 a2) (.f64 b1 b2))

Outputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))
(.f64 (/.f64 a2 (.f64 b1 b2)) a1)

Calls

6 calls:

1.0ms	a1
1.0ms	b1
1.0ms	b2
1.0ms	(*.f64 b1 b2)
1.0ms	(*.f64 a1 a2)

Results

Accuracy	Segments	Branch
84.7%	2	`a1`
85.3%	2	`b2`
86.7%	3	`(*.f64 a1 a2)`
85.5%	2	`b1`
86.7%	2	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`
86.7%	2	`(*.f64 b1 b2)`

Compiler

Compiled 16 to 29 computations (-81.3% saved)

regimes12.0ms (0.4%)

Memory

-41.6MiB live, 13.0MiB allocated; 5ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))

Outputs
(.f64 a2 (/.f64 a1 (.f64 b2 b1)))

Calls

7 calls:

6.0ms	a1
1.0ms	b1
1.0ms	b2
1.0ms	a2
1.0ms	(*.f64 b1 b2)

Results

Accuracy	Segments	Branch
81.4%	1	`a1`
81.4%	1	`(*.f64 a1 a2)`
81.4%	1	`b2`
81.4%	1	`b1`
81.4%	1	`a2`
81.4%	1	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`
81.4%	1	`(*.f64 b1 b2)`

Compiler

Compiled 17 to 33 computations (-94.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	134.93767910460218	4753.641481315964

Compiler

Compiled 10 to 14 computations (-40% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.4895393054672326e+84	1.0333613891641524e+86

Compiler

Compiled 10 to 14 computations (-40% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	4.705759447620196e+34	8.209216275134594e+47

Compiler

Compiled 10 to 14 computations (-40% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	3.6846381990306836	1387016217.2410207
0.0ms	1.5468657e-317	7.09028e-317

Compiler

Compiled 10 to 14 computations (-40% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	4.986474794977197e+305	+inf
0.0ms	3.6846381990306836	1387016217.2410207
0.0ms	1.5468657e-317	7.09028e-317

Compiler

Compiled 10 to 14 computations (-40% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	3.6846381990306836	1387016217.2410207

Compiler

Compiled 10 to 14 computations (-40% saved)

derivations124.0ms (4.3%)

Memory

40.9MiB live, 86.4MiB allocated; 2ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 174 to 46 computations (73.6% saved)

preprocess1.2s (40.2%)

Memory

13.3MiB live, 1 197.6MiB allocated; 183ms collecting garbage

Remove

(sort b1 b2)

(negabs b2)

(negabs b1)

(negabs a2)

(negabs a1)

Compiler

Compiled 3 138 to 1 768 computations (43.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze154.0ms (5.3%)

sample705.0ms (24.3%)

explain56.0ms (1.9%)

preprocess29.0ms (1%)

series19.0ms (0.7%)

rewrite138.0ms (4.8%)

eval63.0ms (2.2%)

prune13.0ms (0.5%)

series34.0ms (1.2%)

rewrite50.0ms (1.7%)

eval49.0ms (1.7%)

prune12.0ms (0.4%)

series25.0ms (0.9%)

rewrite56.0ms (1.9%)

eval36.0ms (1.3%)

prune12.0ms (0.4%)

series15.0ms (0.5%)

rewrite41.0ms (1.4%)

eval11.0ms (0.4%)

prune7.0ms (0.2%)

regimes29.0ms (1%)

regimes14.0ms (0.5%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

regimes10.0ms (0.4%)

regimes9.0ms (0.3%)

regimes12.0ms (0.4%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations124.0ms (4.3%)

preprocess1.2s (40.2%)

end0.0ms (0%)

Profiling