Metrics for Quotient of products

start0.0ms (0%)

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

analyze145.0ms (6.1%)

Memory

28.3MiB live, 261.6MiB allocated; 21ms 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)

sample857.0ms (36.2%)

Memory

4.5MiB live, 1 378.8MiB allocated; 252ms collecting garbage

Samples

592.0ms

8 256×

valid

Precisions

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

ival-mult: 186.0ms (67.4% of total)

ival-div: 85.0ms (30.8% of total)

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

adjust: 2.0ms (0.7% of total)

Bogosity

explain66.0ms (2.8%)

Memory

-23.9MiB live, 171.0MiB allocated; 11ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
36	-	2	(4.912083276163664e-141 7.161962793559404e-178 3.3808160857729036e-181 -6.0935888329589034e-9)	`(/.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	9	0
↳	`(*.f64 b1 b2)`	overflow	36
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	u/n	8	0
↳	`(*.f64 a1 a2)`	underflow	27
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	o/n	6	0
↳	`(*.f64 a1 a2)`	overflow	30
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	o/o	4	0
↳	`(*.f64 a1 a2)`	overflow	30
↳	`(*.f64 b1 b2)`	overflow	36
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	n/u	4	0
↳	`(*.f64 b1 b2)`	underflow	27
`/.f64`	`(/.f64 (.f64 a1 a2) (.f64 b1 b2))`	u/u	3	0
↳	`(*.f64 a1 a2)`	underflow	27
↳	`(*.f64 b1 b2)`	underflow	27

Confusion

	Predicted +	Predicted -
+	34	2
-	0	220

Precision

1.0

Recall

0.9444444444444444

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	34	0	2
-	0	0	220

Precision?

1.0

Recall?

0.9444444444444444

Freqs

test

number	freq
0	222
1	34

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

32.0ms

512×

valid

Compiler

Compiled 45 to 25 computations (44.4% saved)

Precisions

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

ival-mult: 10.0ms (73.8% of total)

ival-div: 3.0ms (22.1% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess38.0ms (1.6%)

Memory

32.9MiB live, 79.5MiB allocated; 3ms 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
0	7	7
0	10	7
1	19	7
2	37	7
3	48	7
4	48	7
0	48	7

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

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

Symmetry

(negabs a1)

(negabs a2)

(negabs b1)

(negabs b2)

(sort a1 a2)

(sort b1 b2)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 7 computations (0% saved)

series21.0ms (0.9%)

Memory

-20.2MiB live, 28.8MiB allocated; 7ms 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
6.0ms	a2	@	-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	b1	@	0	((/ (* a1 a2) (* b1 b2)) (* a1 a2) a1 a2 (* b1 b2) b1 b2)

rewrite22.0ms (0.9%)

Memory

-5.2MiB live, 42.0MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	58
0	18	58
1	30	58
2	73	58
3	215	58
4	554	58
5	563	58
0	563	58

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Counts

14 → 44

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 (/.f64 (neg.f64 a1) b1) b2) (neg.f64 a2))
(*.f64 (/.f64 (/.f64 (neg.f64 a2) b1) b2) (neg.f64 a1))
(*.f64 (/.f64 (neg.f64 a1) b1) (/.f64 (neg.f64 a2) b2))
(*.f64 (/.f64 (neg.f64 a1) b2) (/.f64 (neg.f64 a2) b1))
(*.f64 (/.f64 (neg.f64 a2) b1) (/.f64 (neg.f64 a1) b2))
(*.f64 (/.f64 (neg.f64 a2) b2) (/.f64 (neg.f64 a1) b1))
(*.f64 (/.f64 (/.f64 a1 b2) b1) a2)
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2))
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
(*.f64 (neg.f64 a2) (/.f64 (/.f64 (neg.f64 a1) b1) b2))
(*.f64 (neg.f64 a1) (/.f64 (/.f64 (neg.f64 a2) b1) b2))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1))
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
(*.f64 a2 (/.f64 (/.f64 a1 b2) b1))
(*.f64 a1 (/.f64 (/.f64 a2 b2) b1))
(/.f64 (*.f64 (/.f64 (neg.f64 a1) b2) a2) (neg.f64 b1))
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
(/.f64 (*.f64 (/.f64 (neg.f64 a1) b1) a2) (neg.f64 b2))
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
(/.f64 (.f64 (neg.f64 a2) a1) (.f64 (neg.f64 b2) b1))
(/.f64 (.f64 a2 a1) (.f64 b2 b1))
(neg.f64 (*.f64 (/.f64 (/.f64 (neg.f64 a1) b1) b2) a2))
(*.f64 (neg.f64 a2) (neg.f64 a1))
(*.f64 (neg.f64 a1) (neg.f64 a2))
(*.f64 a2 a1)
(*.f64 a1 a2)
(neg.f64 (*.f64 (neg.f64 a2) a1))
a1
a2
(*.f64 (neg.f64 b2) (neg.f64 b1))
(*.f64 (neg.f64 b1) (neg.f64 b2))
(*.f64 b2 b1)
(*.f64 b1 b2)
(neg.f64 (*.f64 (neg.f64 b2) b1))
b1
b2
#s(approx (/ (* a1 a2) (* b1 b2)) (*.f64 (/.f64 (/.f64 (neg.f64 a1) b1) b2) (neg.f64 a2)))
#s(approx (* a1 a2) (*.f64 a2 a1))
#s(approx a1 a1)
#s(approx a2 a2)
#s(approx (* b1 b2) (*.f64 b2 b1))
#s(approx b1 b1)
#s(approx b2 b2)

eval4.0ms (0.2%)

Memory: 11.8MiB live, 11.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 370 to 89 computations (75.9% saved)

prune12.0ms (0.5%)

Memory

-12.8MiB live, 34.8MiB allocated; 1ms collecting garbage

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	39	5	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	6	45

Accuracy

100.0%

Counts

45 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	82.0%	(/.f64 (*.f64 (/.f64 (neg.f64 a1) b2) a2) (neg.f64 b1))
✓	87.2%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
▶	83.1%	(*.f64 (/.f64 (/.f64 (neg.f64 a2) b1) b2) (neg.f64 a1))
▶	90.2%	(*.f64 (/.f64 (/.f64 (neg.f64 a1) b1) b2) (neg.f64 a2))
▶	93.7%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
▶	98.1%	(*.f64 (/.f64 (neg.f64 a2) b2) (/.f64 (neg.f64 a1) b1))

Compiler

Compiled 93 to 93 computations (0% saved)

series42.0ms (1.8%)

Memory

-13.5MiB live, 90.9MiB allocated; 8ms collecting garbage

Counts

21 → 21

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
7.0ms	b2	@	-inf	((* (/ (neg a2) b2) (/ (neg a1) b1)) (/ (neg a2) b2) (neg a2) a2 b2 (/ (neg a1) b1) (neg a1) a1 b1 (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ a2 b2) (* (/ (/ (neg a1) b1) b2) (neg a2)) (/ (/ (neg a1) b1) b2) (* (/ (/ (neg a2) b1) b2) (neg a1)) (/ (/ (neg a2) b1) b2) (/ (neg a2) b1) (/ (* (/ (neg a1) b2) a2) (neg b1)) (* (/ (neg a1) b2) a2) (/ (neg a1) b2) (neg b1))
5.0ms	b2	@	inf	((* (/ (neg a2) b2) (/ (neg a1) b1)) (/ (neg a2) b2) (neg a2) a2 b2 (/ (neg a1) b1) (neg a1) a1 b1 (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ a2 b2) (* (/ (/ (neg a1) b1) b2) (neg a2)) (/ (/ (neg a1) b1) b2) (* (/ (/ (neg a2) b1) b2) (neg a1)) (/ (/ (neg a2) b1) b2) (/ (neg a2) b1) (/ (* (/ (neg a1) b2) a2) (neg b1)) (* (/ (neg a1) b2) a2) (/ (neg a1) b2) (neg b1))
5.0ms	a2	@	-inf	((* (/ (neg a2) b2) (/ (neg a1) b1)) (/ (neg a2) b2) (neg a2) a2 b2 (/ (neg a1) b1) (neg a1) a1 b1 (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ a2 b2) (* (/ (/ (neg a1) b1) b2) (neg a2)) (/ (/ (neg a1) b1) b2) (* (/ (/ (neg a2) b1) b2) (neg a1)) (/ (/ (neg a2) b1) b2) (/ (neg a2) b1) (/ (* (/ (neg a1) b2) a2) (neg b1)) (* (/ (neg a1) b2) a2) (/ (neg a1) b2) (neg b1))
3.0ms	b2	@	0	((* (/ (neg a2) b2) (/ (neg a1) b1)) (/ (neg a2) b2) (neg a2) a2 b2 (/ (neg a1) b1) (neg a1) a1 b1 (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ a2 b2) (* (/ (/ (neg a1) b1) b2) (neg a2)) (/ (/ (neg a1) b1) b2) (* (/ (/ (neg a2) b1) b2) (neg a1)) (/ (/ (neg a2) b1) b2) (/ (neg a2) b1) (/ (* (/ (neg a1) b2) a2) (neg b1)) (* (/ (neg a1) b2) a2) (/ (neg a1) b2) (neg b1))
3.0ms	a1	@	0	((* (/ (neg a2) b2) (/ (neg a1) b1)) (/ (neg a2) b2) (neg a2) a2 b2 (/ (neg a1) b1) (neg a1) a1 b1 (* (/ (/ a2 b2) b1) a1) (/ (/ a2 b2) b1) (/ a2 b2) (* (/ (/ (neg a1) b1) b2) (neg a2)) (/ (/ (neg a1) b1) b2) (* (/ (/ (neg a2) b1) b2) (neg a1)) (/ (/ (neg a2) b1) b2) (/ (neg a2) b1) (/ (* (/ (neg a1) b2) a2) (neg b1)) (* (/ (neg a1) b2) a2) (/ (neg a1) b2) (neg b1))

rewrite88.0ms (3.7%)

Memory

5.8MiB live, 147.1MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	79	308
0	105	302
1	203	282
2	575	282
3	1629	282
0	2070	282

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

42 → 424

Calls

Call 1

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

Outputs
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2))
(.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) a1)
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (/.f64 (*.f64 #s(literal -1 binary64) a1) b2))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) (/.f64 a1 b1))
(.f64 (/.f64 a1 b1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)) #s(literal 1 binary64))
(.f64 (.f64 a1 a2) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) (*.f64 #s(literal -1 binary64) a1))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (*.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 a1 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(/.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) b2)
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) b1)
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)) #s(literal 1 binary64))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (.f64 #s(literal -1 binary64) b1))
(neg.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) a2)
(.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) #s(literal 1 binary64))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 a2 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) #s(literal -1 binary64))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b2) #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a2) b2)
(/.f64 a2 (*.f64 #s(literal -1 binary64) b2))
(neg.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) a2))
(*.f64 #s(literal -1 binary64) a2)
(.f64 (.f64 #s(literal -1 binary64) a2) #s(literal 1 binary64))
(*.f64 a2 #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a2) #s(literal 1 binary64))
(/.f64 a2 #s(literal -1 binary64))
(neg.f64 a2)
a2
b2
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) a1)
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(*.f64 (/.f64 a1 b1) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 a1 b1))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)) #s(literal 1 binary64))
(.f64 a1 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(/.f64 (/.f64 a1 b1) #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a1) b1)
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) #s(literal 1 binary64))
(/.f64 a1 (*.f64 #s(literal -1 binary64) b1))
(neg.f64 (/.f64 a1 b1))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) a1))
(*.f64 #s(literal -1 binary64) a1)
(.f64 (.f64 #s(literal -1 binary64) a1) #s(literal 1 binary64))
(*.f64 a1 #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a1) #s(literal 1 binary64))
(/.f64 a1 #s(literal -1 binary64))
(neg.f64 a1)
a1
b1
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2))
(.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) a1)
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (/.f64 (*.f64 #s(literal -1 binary64) a1) b2))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) (/.f64 a1 b1))
(.f64 (/.f64 a1 b1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)) #s(literal 1 binary64))
(.f64 (.f64 a1 a2) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) (*.f64 #s(literal -1 binary64) a1))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (*.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 a1 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(/.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) b2)
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) b1)
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)) #s(literal 1 binary64))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (.f64 #s(literal -1 binary64) b1))
(neg.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64))) (.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64))) a2)
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) a2)
(.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) #s(literal 1 binary64))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64))))
(.f64 (.f64 #s(literal -1 binary64) a2) (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) #s(literal -1 binary64))
(.f64 a2 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64))))
(.f64 a2 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(/.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) b2)
(/.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) b1) #s(literal 1 binary64))
(/.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) b1)
(/.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 #s(literal -1 binary64) b1))
(/.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (*.f64 #s(literal -1 binary64) b1) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)) #s(literal -1 binary64))
(/.f64 a2 (*.f64 b1 b2))
(neg.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
(.f64 (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) a2)
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) a2) (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 a2 (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) #s(literal 1 binary64))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b2) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) a2) (.f64 #s(literal -1 binary64) b2))
(/.f64 a2 b2)
(neg.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b2))
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2))
(.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) a1)
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (/.f64 (*.f64 #s(literal -1 binary64) a1) b2))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) (/.f64 a1 b1))
(.f64 (/.f64 a1 b1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)) #s(literal 1 binary64))
(.f64 (.f64 a1 a2) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) (*.f64 #s(literal -1 binary64) a1))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (*.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 a1 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(/.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) b2)
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) b1)
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)) #s(literal 1 binary64))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (.f64 #s(literal -1 binary64) b1))
(neg.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64))) a1)
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64))) (*.f64 #s(literal -1 binary64) a1))
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1))
(.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) a1)
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (.f64 #s(literal -1 binary64) a1) b2))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (/.f64 a1 b1))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(*.f64 (/.f64 (/.f64 a1 b1) b2) #s(literal -1 binary64))
(.f64 (/.f64 a1 b1) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 (/.f64 a1 b1) b2))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64))))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) #s(literal 1 binary64))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 a1 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64))))
(.f64 a1 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(/.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b1))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) b1)
(/.f64 (/.f64 (/.f64 a1 b1) b2) #s(literal -1 binary64))
(/.f64 (/.f64 a1 b1) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 #s(literal -1 binary64) a1) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)) #s(literal 1 binary64))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) b2)
(/.f64 a1 (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(neg.f64 (/.f64 (/.f64 a1 b1) b2))
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2))
(.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) a1)
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (/.f64 (*.f64 #s(literal -1 binary64) a1) b2))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) (/.f64 a1 b1))
(.f64 (/.f64 a1 b1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)) #s(literal 1 binary64))
(.f64 (.f64 a1 a2) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) (*.f64 #s(literal -1 binary64) a1))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (*.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 a1 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(/.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) b2)
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) b1)
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)) #s(literal 1 binary64))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (.f64 #s(literal -1 binary64) b1))
(neg.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64))) a2)
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64))) (*.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2))
(.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) a2)
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (.f64 #s(literal -1 binary64) a2) b1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) #s(literal -1 binary64))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64))))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) #s(literal 1 binary64))
(.f64 a2 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64))))
(.f64 a2 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(/.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) b1) #s(literal -1 binary64))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) b2)
(/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) (*.f64 #s(literal -1 binary64) b1))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b2) b1)
(/.f64 (.f64 #s(literal -1 binary64) a2) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)) #s(literal 1 binary64))
(/.f64 a2 (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(neg.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) b1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) a2)
(.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b1))
(.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) #s(literal -1 binary64))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 a2 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(/.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a2) b1)
(/.f64 a2 (*.f64 #s(literal -1 binary64) b1))
(neg.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2))
(.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2)))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1) a1)
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) (/.f64 (*.f64 #s(literal -1 binary64) a1) b2))
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2)
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) (/.f64 a1 b1))
(.f64 (/.f64 a1 b1) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 a1 a2)) #s(literal 1 binary64))
(.f64 (.f64 a1 a2) (.f64 (pow.f64 (.f64 (*.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (pow.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2)) (*.f64 #s(literal -1 binary64) a1))
(.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (*.f64 #s(literal -1 binary64) a2))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)) (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 a1 (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) b1))
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2))
(/.f64 (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) b2)
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) b1)
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (.f64 (.f64 #s(literal -1 binary64) b1) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)) #s(literal 1 binary64))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) (.f64 #s(literal -1 binary64) b1))
(neg.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2)))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (*.f64 a1 a2))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))))
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) #s(literal -1 binary64))
(.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) (.f64 (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a2))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) a2)
(.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) (.f64 #s(literal -1 binary64) a1))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 a1 a2) (pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b2) a1)
(.f64 (.f64 #s(literal -1 binary64) a2) (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (.f64 a1 a2))) #s(literal 1 binary64))
(.f64 a1 (/.f64 (.f64 #s(literal -1 binary64) a2) b2))
(.f64 a2 (/.f64 (.f64 #s(literal -1 binary64) a1) b2))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2) #s(literal -1 binary64))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 a1 a2)) b2)
(/.f64 (.f64 a1 a2) (.f64 #s(literal -1 binary64) b2))
(/.f64 (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))) #s(literal 1 binary64))
(neg.f64 (.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) a2))
(.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) a1)
(.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a1) b2))
(.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) #s(literal -1 binary64))
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 (.f64 #s(literal -1 binary64) a1) (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 a1 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)))
(/.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (/.f64 (*.f64 #s(literal -1 binary64) a1) b2) #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a1) b2)
(/.f64 a1 (*.f64 #s(literal -1 binary64) b2))
(neg.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a1) b2) #s(literal -1 binary64)))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) b1))
(.f64 (.f64 #s(literal -1 binary64) b1) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) b1)
(*.f64 b1 #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) b1) #s(literal 1 binary64))
(/.f64 b1 #s(literal -1 binary64))
(neg.f64 b1)
#s(approx (* (/ (neg a2) b2) (/ (neg a1) b1)) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)))
#s(approx (/ (neg a1) b1) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b1) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) a1)))
#s(approx (neg a1) (*.f64 #s(literal -1 binary64) a1))
#s(approx a1 a1)
#s(approx (* (/ (neg a2) b2) (/ (neg a1) b1)) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)))
#s(approx (* (/ (neg a2) b2) (/ (neg a1) b1)) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)))
#s(approx (/ (/ (neg a1) b1) b2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a1)))
#s(approx (* (/ (neg a2) b2) (/ (neg a1) b1)) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)))
#s(approx (* (/ (neg a2) b2) (/ (neg a1) b1)) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 a1 a2)))
#s(approx (* (/ (neg a1) b2) a2) (.f64 (.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (*.f64 a1 a2))))
#s(approx (/ (neg a1) b2) (/.f64 (*.f64 #s(literal -1 binary64) a1) b2))
#s(approx (/ (neg a2) b2) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2))
#s(approx (neg a2) (*.f64 #s(literal -1 binary64) a2))
#s(approx a2 a2)
#s(approx (/ (/ a2 b2) b1) (/.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)) b1))
#s(approx (/ a2 b2) (.f64 #s(literal -1 binary64) (/.f64 (.f64 #s(literal -1 binary64) a2) b2)))
#s(approx (/ (/ (neg a2) b1) b2) (.f64 (.f64 (pow.f64 (.f64 (.f64 #s(literal -1 binary64) b1) b2) #s(literal -1 binary64)) #s(literal -1 binary64)) (*.f64 #s(literal -1 binary64) a2)))
#s(approx (/ (neg a2) b1) (/.f64 (*.f64 #s(literal -1 binary64) a2) b1))
#s(approx b1 b1)
#s(approx (neg b1) (*.f64 #s(literal -1 binary64) b1))
#s(approx b2 b2)

eval41.0ms (1.7%)

Memory: -2.2MiB live, 91.7MiB allocated; 8ms collecting garbage
Compiler: Compiled 4 447 to 684 computations (84.6% saved)

prune106.0ms (4.5%)

Memory

3.4MiB live, 241.5MiB allocated; 12ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	341	1	342
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	342	6	348

Accuracy

100.0%

Counts

348 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	82.0%	(/.f64 (*.f64 (/.f64 (neg.f64 a1) b2) a2) (neg.f64 b1))
✓	87.2%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
▶	81.9%	(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
✓	90.2%	(*.f64 (/.f64 (/.f64 (neg.f64 a1) b1) b2) (neg.f64 a2))
✓	93.7%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
✓	98.1%	(*.f64 (/.f64 (neg.f64 a2) b2) (/.f64 (neg.f64 a1) b1))

Compiler

Compiled 58 to 54 computations (6.9% saved)

series16.0ms (0.7%)

Memory

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

Counts

13 → 12

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(pow.f64 (*.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) b2)
#s(literal -1 binary64)
b2
(.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64))
(.f64 (.f64 (/.f64 (*.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1)
(.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) a2) b1)
(*.f64 #s(literal -1 binary64) a2)
a2
b1
a1

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

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	a2	@	-inf	((* (pow (* -1 b2) -1) (* (* (* (/ (* -1 a2) b1) -1) a1) -1)) (pow (* -1 b2) -1) (* -1 b2) -1 b2 (* (* (* (/ (* -1 a2) b1) -1) a1) -1) (* (* (/ (* -1 a2) b1) -1) a1) (* (/ (* -1 a2) b1) -1) (/ (* -1 a2) b1) (* -1 a2) a2 b1 a1)
2.0ms	a2	@	inf	((* (pow (* -1 b2) -1) (* (* (* (/ (* -1 a2) b1) -1) a1) -1)) (pow (* -1 b2) -1) (* -1 b2) -1 b2 (* (* (* (/ (* -1 a2) b1) -1) a1) -1) (* (* (/ (* -1 a2) b1) -1) a1) (* (/ (* -1 a2) b1) -1) (/ (* -1 a2) b1) (* -1 a2) a2 b1 a1)
2.0ms	a2	@	0	((* (pow (* -1 b2) -1) (* (* (* (/ (* -1 a2) b1) -1) a1) -1)) (pow (* -1 b2) -1) (* -1 b2) -1 b2 (* (* (* (/ (* -1 a2) b1) -1) a1) -1) (* (* (/ (* -1 a2) b1) -1) a1) (* (/ (* -1 a2) b1) -1) (/ (* -1 a2) b1) (* -1 a2) a2 b1 a1)
1.0ms	a1	@	-inf	((* (pow (* -1 b2) -1) (* (* (* (/ (* -1 a2) b1) -1) a1) -1)) (pow (* -1 b2) -1) (* -1 b2) -1 b2 (* (* (* (/ (* -1 a2) b1) -1) a1) -1) (* (* (/ (* -1 a2) b1) -1) a1) (* (/ (* -1 a2) b1) -1) (/ (* -1 a2) b1) (* -1 a2) a2 b1 a1)
1.0ms	a1	@	inf	((* (pow (* -1 b2) -1) (* (* (* (/ (* -1 a2) b1) -1) a1) -1)) (pow (* -1 b2) -1) (* -1 b2) -1 b2 (* (* (* (/ (* -1 a2) b1) -1) a1) -1) (* (* (/ (* -1 a2) b1) -1) a1) (* (/ (* -1 a2) b1) -1) (/ (* -1 a2) b1) (* -1 a2) a2 b1 a1)

rewrite33.0ms (1.4%)

Memory

-9.3MiB live, 38.1MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	181
0	53	155
1	110	121
0	327	121

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

25 → 116

Calls

Call 1

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

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

eval18.0ms (0.8%)

Memory: -20.3MiB live, 27.4MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 960 to 333 computations (83% saved)

prune39.0ms (1.6%)

Memory

13.4MiB live, 60.8MiB allocated; 2ms collecting garbage

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	120	6	126

Accuracy

100.0%

Counts

126 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	82.0%	(/.f64 (*.f64 (/.f64 (neg.f64 a1) b2) a2) (neg.f64 b1))
✓	87.2%	(/.f64 (.f64 a1 a2) (.f64 b1 b2))
✓	81.9%	(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
✓	90.2%	(*.f64 (/.f64 (/.f64 (neg.f64 a1) b1) b2) (neg.f64 a2))
✓	93.7%	(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
✓	98.1%	(*.f64 (/.f64 (neg.f64 a2) b2) (/.f64 (neg.f64 a1) b1))

Compiler

Compiled 125 to 87 computations (30.4% saved)

regimes34.0ms (1.4%)

Memory

17.3MiB live, 64.4MiB allocated; 2ms collecting garbage

Accuracy

Total -22.0b remaining (-1839.2%)

Threshold costs -22b (-1839.2%)

Counts

7 → 1

Calls

Call 1

Inputs
(*.f64 (/.f64 (neg.f64 a2) b2) (/.f64 (neg.f64 a1) b1))
(*.f64 (/.f64 (/.f64 a2 b2) b1) a1)
(*.f64 (/.f64 (/.f64 (neg.f64 a1) b1) b2) (neg.f64 a2))
(*.f64 (/.f64 (/.f64 (neg.f64 a2) b1) b2) (neg.f64 a1))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 (.f64 #s(literal -1 binary64) a2) b1) #s(literal -1 binary64)) a1) #s(literal -1 binary64)))
(/.f64 (.f64 a1 a2) (.f64 b1 b2))
(/.f64 (*.f64 (/.f64 (neg.f64 a1) b2) a2) (neg.f64 b1))

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

Calls

7 calls:

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

Results

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

Compiler

Compiled 17 to 33 computations (-94.1% saved)

simplify85.0ms (3.6%)

Memory

-0.7MiB live, 96.9MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	21	9
2	37	9
3	57	7
4	87	7
5	145	7
6	191	7
7	204	7
8	206	7
9	208	7
10	224	7
11	407	7
12	3256	7

Stop Event

1×	node limit

Calls

Call 1

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

Outputs

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

(*.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a2) b2)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 #s(literal -1 binary64) a1) b1)))

derivations14.0ms (0.6%)

Memory

-36.3MiB live, 9.2MiB allocated; 4ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 15 to 12 computations (20% saved)

preprocess686.0ms (29%)

Memory: 55.7MiB live, 1 285.0MiB allocated; 104ms collecting garbage
Compiler: Compiled 404 to 326 computations (19.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze145.0ms (6.1%)

sample857.0ms (36.2%)

explain66.0ms (2.8%)

preprocess38.0ms (1.6%)

eval0.0ms (0%)

prune0.0ms (0%)

series21.0ms (0.9%)

rewrite22.0ms (0.9%)

eval4.0ms (0.2%)

prune12.0ms (0.5%)

series42.0ms (1.8%)

rewrite88.0ms (3.7%)

eval41.0ms (1.7%)

prune106.0ms (4.5%)

series16.0ms (0.7%)

rewrite33.0ms (1.4%)

eval18.0ms (0.8%)

prune39.0ms (1.6%)

regimes34.0ms (1.4%)

simplify85.0ms (3.6%)

derivations14.0ms (0.6%)

preprocess686.0ms (29%)

end0.0ms (0%)

Profiling