Metrics for Rump's expression from Stadtherr's award speech

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 9 to 9 computations (0% saved)

sample675.0ms (6.1%)

Memory

47.9MiB live, 858.3MiB allocated

Samples

478.0ms

8 256×

valid

Precisions

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

const: 132.0ms (64.8% of total)

ival-==: 49.0ms (24% of total)

ival-and: 10.0ms (4.9% of total)

exact: 9.0ms (4.4% of total)

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

Bogosity

explain599.0ms (5.5%)

Memory

-23.9MiB live, 686.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64))))`
0	-	-	`(+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64))))`
0	-	-	`(*.f64 #s(literal 2 binary64) y)`
0	-	-	`#s(literal 8 binary64)`
0	-	-	`#s(literal 11/2 binary64)`
0	-	-	`(pow.f64 y #s(literal 4 binary64))`
0	-	-	`(.f64 (.f64 (*.f64 #s(literal 11 binary64) x) x) y)`
0	-	-	`(.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y)`
0	-	-	`y`
0	-	-	`(.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))`
0	-	-	`(pow.f64 y #s(literal 8 binary64))`
0	-	-	`#s(literal 121 binary64)`
0	-	-	`(*.f64 #s(literal 11 binary64) x)`
0	-	-	`#s(literal 1335/4 binary64)`
0	-	-	`(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))`
0	-	-	`(-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64))`
0	-	-	`(.f64 (.f64 #s(literal 11 binary64) x) x)`
0	-	-	`(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))`
0	-	-	`#s(literal 4 binary64)`
0	-	-	`(*.f64 x x)`
0	-	-	`#s(literal 6 binary64)`
0	-	-	`(-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64)))`
0	-	-	`(/.f64 x (*.f64 #s(literal 2 binary64) y))`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`(*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))`
0	-	-	`(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))`
0	-	-	`(-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64))))`
0	-	-	`x`
0	-	-	`(pow.f64 y #s(literal 6 binary64))`
0	-	-	`#s(literal 11 binary64)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64))))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	256	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	256

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

174.0ms

512×

valid

Compiler

Compiled 821 to 124 computations (84.9% saved)

Precisions

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

ival-add: 36.0ms (28% of total)

ival-mult: 32.0ms (24.9% of total)

adjust: 28.0ms (21.8% of total)

ival-pow: 13.0ms (10.1% of total)

ival-div: 10.0ms (7.8% of total)

ival-sub: 6.0ms (4.7% of total)

exact: 2.0ms (1.6% of total)

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

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

preprocess221.0ms (2%)

Memory

13.4MiB live, 218.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
0	30	43
0	50	43
1	90	43
2	195	43
3	492	43
4	1487	43
5	3090	43
6	5094	43
7	7077	43
0	8159	38

Stop Event

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

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))

Inputs

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Outputs
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(fma.f64 (.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 11 binary64)) y) y (fma.f64 (.f64 (-.f64 #s(literal -2 binary64) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (pow.f64 y #s(literal 6 binary64)))) x) x (fma.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 11/2 binary64) (fma.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 1335/4 binary64) (/.f64 x (.f64 #s(literal 2 binary64) y))))))

Outputs

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

(fma.f64 (*.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 11 binary64)) y) y (fma.f64 (*.f64 (-.f64 #s(literal -2 binary64) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (pow.f64 y #s(literal 6 binary64)))) x) x (fma.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 11/2 binary64) (fma.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 1335/4 binary64) (/.f64 x (*.f64 #s(literal 2 binary64) y))))))

Symmetry

(abs y)

(abs x)

(sort x y)

Compiler

Compiled 43 to 30 computations (30.2% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	1.4%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))

Status

Accuracy

Program

▶

1.4%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Compiler

Compiled 43 to 30 computations (30.2% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize118.0ms (1.1%)

Memory

-2.2MiB live, 71.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))
accuracy	0.0	(*.f64 #s(literal 11 binary64) x)
accuracy	0.0	(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)

Samples

65.0ms

256×

valid

Compiler

Compiled 518 to 62 computations (88% saved)

Precisions

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

ival-mult: 37.0ms (71.1% of total)

ival-pow: 7.0ms (13.5% of total)

ival-sub: 3.0ms (5.8% of total)

ival-add: 3.0ms (5.8% of total)

ival-div: 2.0ms (3.8% of total)

exact: 1.0ms (1.9% of total)

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

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

series6.0ms (0.1%)

Memory

6.9MiB live, 6.9MiB allocated

Counts

4 → 4

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
(*.f64 #s(literal 11 binary64) x)
(*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))

Outputs
(* 11 x)
(* 2 y)
(* 11/2 (pow y 8))
(* 121 (pow y 4))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	y	@	inf	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 121 (pow y 4)))
1.0ms	y	@	-inf	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 121 (pow y 4)))
1.0ms	y	@	0	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 121 (pow y 4)))
0.0ms	x	@	-inf	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 121 (pow y 4)))
0.0ms	x	@	0	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 121 (pow y 4)))

simplify2.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	16
1	18	16
0	18	16

Stop Event

1×	iter limit
1×	saturated

Counts

4 → 4

Calls

Call 1

Inputs
(* 11 x)
(* 2 y)
(* 11/2 (pow y 8))
(* 121 (pow y 4))

Outputs
(* 11 x)
(*.f64 #s(literal 11 binary64) x)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 11/2 (pow y 8))
(*.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 11/2 binary64))
(* 121 (pow y 4))
(*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64))

rewrite76.0ms (0.7%)

Memory

11.7MiB live, 47.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	16
0	20	16
1	34	16
2	69	16
3	185	16
0	732	16

Stop Event

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

Counts

4 → 40

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
(*.f64 #s(literal 11 binary64) x)
(*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))

Outputs
(.f64 (.f64 #s(literal 2 binary64) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) #s(literal 2 binary64)))
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(.f64 (.f64 (*.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 11/2 binary64)) y) y)
(.f64 (.f64 (.f64 (.f64 y y) #s(literal 11/2 binary64)) (pow.f64 y #s(literal 5 binary64))) y)
(.f64 (.f64 (.f64 (.f64 y y) #s(literal 11/2 binary64)) (pow.f64 y #s(literal 3 binary64))) (pow.f64 y #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 11/2 binary64)) (pow.f64 y #s(literal 3 binary64))) y)
(.f64 (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 7 binary64))) y)
(.f64 (.f64 (.f64 (.f64 y y) #s(literal 11/2 binary64)) y) (pow.f64 y #s(literal 5 binary64)))
(.f64 (.f64 #s(literal 11/2 binary64) y) (pow.f64 y #s(literal 7 binary64)))
(.f64 (.f64 (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 11/2 binary64)) y) (pow.f64 y #s(literal 3 binary64)))
(.f64 (.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 11/2 binary64)) (*.f64 y y))
(.f64 (pow.f64 y #s(literal 5 binary64)) (.f64 y (.f64 (.f64 y y) #s(literal 11/2 binary64))))
(.f64 (pow.f64 y #s(literal 7 binary64)) (.f64 y #s(literal 11/2 binary64)))
(.f64 (.f64 (*.f64 y y) #s(literal 11/2 binary64)) (pow.f64 y #s(literal 6 binary64)))
(.f64 (pow.f64 y #s(literal 3 binary64)) (.f64 (pow.f64 y #s(literal 3 binary64)) (.f64 (.f64 y y) #s(literal 11/2 binary64))))
(.f64 (pow.f64 y #s(literal 3 binary64)) (.f64 y (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 11/2 binary64))))
(.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 11/2 binary64)) (pow.f64 y #s(literal 4 binary64)))
(.f64 (pow.f64 y #s(literal 6 binary64)) (.f64 (*.f64 y y) #s(literal 11/2 binary64)))
(.f64 (.f64 y y) (*.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 11/2 binary64)))
(.f64 (pow.f64 y #s(literal 4 binary64)) (.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 11/2 binary64)))
(*.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 11/2 binary64))
(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
(.f64 y (.f64 (pow.f64 y #s(literal 5 binary64)) (.f64 (.f64 y y) #s(literal 11/2 binary64))))
(.f64 y (.f64 y (*.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 11/2 binary64))))
(.f64 y (.f64 (pow.f64 y #s(literal 3 binary64)) (*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 11/2 binary64))))
(.f64 y (.f64 (pow.f64 y #s(literal 7 binary64)) #s(literal 11/2 binary64)))
(*.f64 x #s(literal 11 binary64))
(*.f64 #s(literal 11 binary64) x)
(.f64 (.f64 (*.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 121 binary64)) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (.f64 #s(literal 121 binary64) y) (pow.f64 y #s(literal 3 binary64)))
(.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 121 binary64)) y)
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (*.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 121 binary64))))
(.f64 (pow.f64 y #s(literal 3 binary64)) (.f64 #s(literal 121 binary64) y))
(.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))
(.f64 (.f64 y y) (.f64 (.f64 y y) #s(literal 121 binary64)))
(*.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64))
(*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))
(.f64 y (.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 121 binary64)))

eval35.0ms (0.3%)

Memory: -44.3MiB live, 9.6MiB allocated
Compiler: Compiled 2 052 to 252 computations (87.7% saved)

prune4.0ms (0%)

Memory

4.0MiB live, 4.0MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	1	45

Accuracy

1.4%

Counts

45 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	1.4%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Status

Accuracy

Program

▶

1.4%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Compiler

Compiled 47 to 30 computations (36.2% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize136.0ms (1.2%)

Memory

22.2MiB live, 59.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))
accuracy	0.0	(*.f64 #s(literal 11 binary64) x)
accuracy	0.0	(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)

Samples

118.0ms

256×

valid

Compiler

Compiled 582 to 62 computations (89.3% saved)

Precisions

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

ival-add: 79.0ms (75.6% of total)

ival-mult: 15.0ms (14.4% of total)

ival-pow: 5.0ms (4.8% of total)

ival-sub: 3.0ms (2.9% of total)

ival-div: 2.0ms (1.9% of total)

exact: 1.0ms (1% of total)

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

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

series4.0ms (0%)

Memory

7.2MiB live, 7.2MiB allocated

Counts

4 → 4

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
(*.f64 #s(literal 11 binary64) x)
(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))

Outputs
(* 11 x)
(* 2 y)
(* 11/2 (pow y 8))
(* 1335/4 (pow y 6))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 1335/4 (pow y 6)))
1.0ms	y	@	-inf	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 1335/4 (pow y 6)))
1.0ms	y	@	0	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 1335/4 (pow y 6)))
0.0ms	x	@	0	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 1335/4 (pow y 6)))
0.0ms	x	@	inf	((* 2 y) (* 11/2 (pow y 8)) (* 11 x) (* 1335/4 (pow y 6)))

simplify2.0ms (0%)

Memory

2.4MiB live, 2.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	16
1	18	16
0	18	16

Stop Event

1×	iter limit
1×	saturated

Counts

4 → 4

Calls

Call 1

Inputs
(* 11 x)
(* 2 y)
(* 11/2 (pow y 8))
(* 1335/4 (pow y 6))

Outputs
(* 11 x)
(*.f64 #s(literal 11 binary64) x)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 11/2 (pow y 8))
(*.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 11/2 binary64))
(* 1335/4 (pow y 6))
(*.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 1335/4 binary64))

rewrite60.0ms (0.5%)

Memory

-15.3MiB live, 21.1MiB allocated

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	16
0	20	16
1	37	16
2	72	16
3	189	16
4	580	12
0	3019	12

Stop Event

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

Counts

4 → 22

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))
(*.f64 #s(literal 11 binary64) x)
(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))

Outputs
(.f64 (.f64 y #s(literal 2 binary64)) y)
(.f64 y (.f64 y #s(literal 2 binary64)))
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(.f64 (.f64 #s(literal 11/2 binary64) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64)))) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))))
(.f64 (.f64 (.f64 y #s(literal 11/2 binary64)) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64)))) (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))))
(.f64 (.f64 #s(literal 11/2 binary64) (pow.f64 (exp.f64 #s(literal 8 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64)))) (pow.f64 (exp.f64 #s(literal 8 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))))
(.f64 (.f64 y #s(literal 11/2 binary64)) y)
(.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 y #s(literal 11/2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 8 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 8 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))
(.f64 y (.f64 y #s(literal 11/2 binary64)))
(*.f64 y #s(literal 11/2 binary64))
(*.f64 #s(literal 11/2 binary64) y)
(*.f64 x #s(literal 11 binary64))
(*.f64 #s(literal 11 binary64) x)
(.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64)))) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 1335/4 binary64)))
(.f64 (.f64 y #s(literal 1335/4 binary64)) y)
(.f64 y (.f64 y #s(literal 1335/4 binary64)))
(*.f64 y #s(literal 1335/4 binary64))
(*.f64 #s(literal 1335/4 binary64) y)

eval4.0ms (0%)

Memory: 7.3MiB live, 7.3MiB allocated
Compiler: Compiled 1 338 to 154 computations (88.5% saved)

prune4.0ms (0%)

Memory

6.1MiB live, 6.1MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	23	3	26
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	3	27

Accuracy

7.8%

Counts

27 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	7.8%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 y #s(literal 11/2 binary64))))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
▶	7.8%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
▶	7.8%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Status

Accuracy

Program

▶

7.8%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 y #s(literal 11/2 binary64))))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

▶

7.8%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

▶

7.8%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Compiler

Compiled 165 to 97 computations (41.2% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize213.0ms (1.9%)

Memory

17.1MiB live, 287.4MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)
accuracy	0.0	(log.f64 y)
accuracy	0.0	(exp.f64 #s(literal 6 binary64))
accuracy	2.584962500721156	(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)
accuracy	0.0	(log.f64 y)
accuracy	0.0	(exp.f64 #s(literal 6 binary64))
accuracy	2.584962500721156	(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
accuracy	0.0	(*.f64 x x)
accuracy	0.0	(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))
accuracy	0.0	(*.f64 #s(literal 11 binary64) x)
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)

Samples

157.0ms

256×

valid

Compiler

Compiled 1 972 to 84 computations (95.7% saved)

Precisions

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

ival-mult: 21.0ms (44% of total)

ival-add: 7.0ms (14.7% of total)

ival-pow: 7.0ms (14.7% of total)

ival-exp: 3.0ms (6.3% of total)

ival-sub: 3.0ms (6.3% of total)

ival-log: 3.0ms (6.3% of total)

ival-div: 2.0ms (4.2% of total)

exact: 1.0ms (2.1% of total)

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

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

series103.0ms (0.9%)

Memory

-15.9MiB live, 213.9MiB allocated

Counts

7 → 9

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11 binary64) x)
(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))
(*.f64 x x)
(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
(exp.f64 #s(literal 6 binary64))
(log.f64 y)

Outputs
(* 11 x)
(pow x 2)
(* 2 y)
(* 1335/4 (pow y 6))
(pow y 3)
(log y)
(* -1 (log (/ 1 y)))
(exp (* 3 (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (log -1) (* -1 (log (/ -1 y))))

Calls

6 calls:

Time	Variable		Point	Expression
52.0ms	y	@	0	((* 2 y) (* 11 x) (* 1335/4 (pow y 6)) (* x x) (pow (exp 6) (* (log y) 1/2)) (exp 6) (log y))
23.0ms	y	@	-inf	((* 2 y) (* 11 x) (* 1335/4 (pow y 6)) (* x x) (pow (exp 6) (* (log y) 1/2)) (exp 6) (log y))
20.0ms	y	@	inf	((* 2 y) (* 11 x) (* 1335/4 (pow y 6)) (* x x) (pow (exp 6) (* (log y) 1/2)) (exp 6) (log y))
7.0ms	x	@	inf	((* 2 y) (* 11 x) (* 1335/4 (pow y 6)) (* x x) (pow (exp 6) (* (log y) 1/2)) (exp 6) (log y))
1.0ms	x	@	-inf	((* 2 y) (* 11 x) (* 1335/4 (pow y 6)) (* x x) (pow (exp 6) (* (log y) 1/2)) (exp 6) (log y))

simplify252.0ms (2.3%)

Memory

-34.1MiB live, 120.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	26
1	50	26
2	79	26
3	131	26
4	220	26
5	370	26
6	814	26
7	1669	26
8	2764	26
9	3754	26
10	4288	26
11	5931	26
12	6531	26
13	6742	26
14	6792	26
15	6820	26
16	6820	26
17	7192	26
18	7566	26
19	7736	26
20	7768	26
21	7794	26
22	7794	26
23	7994	26
0	8010	26

Stop Event

1×	iter limit
1×	node limit

Counts

9 → 9

Calls

Call 1

Inputs
(* 11 x)
(pow x 2)
(* 2 y)
(* 1335/4 (pow y 6))
(pow y 3)
(log y)
(* -1 (log (/ 1 y)))
(exp (* 3 (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (log -1) (* -1 (log (/ -1 y))))

Outputs
(* 11 x)
(*.f64 #s(literal 11 binary64) x)
(pow x 2)
(*.f64 x x)
(* 2 y)
(*.f64 y #s(literal 2 binary64))
(* 1335/4 (pow y 6))
(*.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 1335/4 binary64))
(pow y 3)
(pow.f64 y #s(literal 3 binary64))
(log y)
(log.f64 y)
(* -1 (log (/ 1 y)))
(log.f64 y)
(exp (* 3 (+ (log -1) (* -1 (log (/ -1 y))))))
(pow.f64 y #s(literal 3 binary64))
(+ (log -1) (* -1 (log (/ -1 y))))
(log.f64 y)

rewrite32.0ms (0.3%)

Memory

2.8MiB live, 41.7MiB allocated

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	16	25
0	25	21
1	46	21
2	122	21
3	446	17
4	6314	14
5	6914	8
0	8190	8

Stop Event

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

Counts

7 → 28

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11 binary64) x)
(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))
(*.f64 x x)
(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
(exp.f64 #s(literal 6 binary64))
(log.f64 y)

Outputs
#s(literal 2 binary64)
#s(literal 11 binary64)
#s(literal 1335/4 binary64)
x
y
#s(literal 1 binary64)
x
y
#s(literal 1 binary64)
(.f64 (.f64 (exp.f64 #s(literal 9/4 binary64)) (exp.f64 #s(literal 9/4 binary64))) (exp.f64 #s(literal 3/2 binary64)))
(*.f64 (fabs.f64 (exp.f64 #s(literal 9/2 binary64))) (exp.f64 #s(literal 3/2 binary64)))
(*.f64 (exp.f64 #s(literal 9/2 binary64)) (exp.f64 #s(literal 3/2 binary64)))
(.f64 (exp.f64 #s(literal 3/2 binary64)) (.f64 (exp.f64 #s(literal 9/4 binary64)) (exp.f64 #s(literal 9/4 binary64))))
(*.f64 (exp.f64 #s(literal 3/2 binary64)) (fabs.f64 (exp.f64 #s(literal 9/2 binary64))))
(*.f64 (exp.f64 #s(literal 3/2 binary64)) (exp.f64 #s(literal 9/2 binary64)))
(*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 3/4 binary64)) #s(literal 8 binary64))
(pow.f64 (exp.f64 #s(literal 24 binary64)) #s(literal 1/4 binary64))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 12 binary64)) #s(literal 1/2 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 6 binary64)) x)
(sqrt.f64 (exp.f64 #s(literal 12 binary64)))
(fabs.f64 (neg.f64 (exp.f64 #s(literal 6 binary64))))
(fabs.f64 (exp.f64 #s(literal 6 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 24 binary64))) #s(literal 1/4 binary64)))
(exp.f64 #s(literal 6 binary64))
#s(literal 0 binary64)

eval40.0ms (0.4%)

Memory: -2.4MiB live, 80.4MiB allocated
Compiler: Compiled 6 922 to 486 computations (93% saved)

prune4.0ms (0%)

Memory

12.5MiB live, 12.5MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	0	0	0
Picked	3	0	3
Done	0	0	0
Total	114	3	117

Accuracy

8.1%

Counts

117 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

8.1%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 x (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

▶

8.1%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 x (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

▶

7.8%

(+.f64 (+.f64 (+.f64 #s(literal 1335/4 binary64) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Compiler

Compiled 141 to 87 computations (38.3% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize236.0ms (2.1%)

Memory

-3.2MiB live, 189.6MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(exp.f64 #s(literal 6 binary64))
accuracy	1.0	(+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64))))
accuracy	1.0	(.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))
accuracy	2.584962500721156	(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
accuracy	0.0	(*.f64 #s(literal 11 binary64) x)
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)
accuracy	1.0	(+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64))))
accuracy	1.0	(.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))
accuracy	0.0	(*.f64 y #s(literal 11/2 binary64))
accuracy	0.0	(*.f64 x x)
accuracy	0.0	(*.f64 #s(literal 11 binary64) x)
accuracy	0.0	(*.f64 #s(literal 2 binary64) y)

Samples

155.0ms

256×

valid

Compiler

Compiled 1 738 to 84 computations (95.2% saved)

Precisions

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

ival-sub: 39.0ms (46.5% of total)

ival-mult: 21.0ms (25% of total)

ival-add: 8.0ms (9.5% of total)

ival-pow: 7.0ms (8.3% of total)

ival-exp: 3.0ms (3.6% of total)

ival-log: 3.0ms (3.6% of total)

ival-div: 2.0ms (2.4% of total)

exact: 1.0ms (1.2% of total)

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

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

series106.0ms (1%)

Memory

9.8MiB live, 93.5MiB allocated

Counts

8 → 29

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11 binary64) x)
(*.f64 x x)
(*.f64 y #s(literal 11/2 binary64))
(.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64))))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
(exp.f64 #s(literal 6 binary64))

Outputs
(* 11 x)
(pow x 2)
(* -1 (* x (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))))
(* x (+ (* -1 (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))) (* 11 (* (pow x 2) (pow y 2)))))
(* 1335/4 (pow y 6))
(+ (* -1 (* x (+ 2 (+ (* 121 (pow y 4)) (pow y 6))))) (* 1335/4 (pow y 6)))
(+ (* 1335/4 (pow y 6)) (* x (+ (* -1 (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))) (* 11 (* (pow x 2) (pow y 2))))))
(* 11 (* (pow x 3) (pow y 2)))
(* (pow x 3) (+ (* -1 (/ (+ 2 (+ (* 121 (pow y 4)) (pow y 6))) (pow x 2))) (* 11 (pow y 2))))
(* (pow x 3) (- (+ (* 11 (pow y 2)) (* 1335/4 (/ (pow y 6) (pow x 3)))) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2))))))
(* -1 (* (pow x 3) (+ (* -11 (pow y 2)) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2)))))))
(* -1 (* (pow x 3) (+ (* -1335/4 (/ (pow y 6) (pow x 3))) (+ (* -11 (pow y 2)) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2))))))))
(* 2 y)
(* 11/2 y)
(* -2 x)
(+ (* -2 x) (* 11 (* (pow x 3) (pow y 2))))
(+ (* -2 x) (* (pow y 2) (+ (* -121 (* x (pow y 2))) (* 11 (pow x 3)))))
(+ (* -2 x) (* (pow y 2) (+ (* 11 (pow x 3)) (* (pow y 2) (+ (* -121 x) (* -1 (* x (pow y 2))))))))
(+ (* -2 x) (* (pow y 2) (+ (* 11 (pow x 3)) (* (pow y 2) (+ (* -121 x) (* (pow y 2) (+ 1335/4 (* -1 x))))))))
(pow y 3)
(* -1 (* x (pow y 6)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (* -1 x)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4))))))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (+ (* -2 (/ x (pow y 6))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4)))))))
(* (pow y 6) (+ 1335/4 (* -1 x)))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (* -1 x))))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4)))))))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (+ (* -2 (/ x (pow y 6))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4))))))))
(exp (* 3 (+ (log -1) (* -1 (log (/ -1 y))))))

Calls

6 calls:

Time	Variable		Point	Expression
45.0ms	y	@	inf	((* 2 y) (* 11 x) (* x x) (* y 11/2) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2)) (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (pow (exp 6) (* (log y) 1/2)) (exp 6))
40.0ms	y	@	0	((* 2 y) (* 11 x) (* x x) (* y 11/2) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2)) (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (pow (exp 6) (* (log y) 1/2)) (exp 6))
14.0ms	y	@	-inf	((* 2 y) (* 11 x) (* x x) (* y 11/2) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2)) (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (pow (exp 6) (* (log y) 1/2)) (exp 6))
2.0ms	x	@	inf	((* 2 y) (* 11 x) (* x x) (* y 11/2) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2)) (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (pow (exp 6) (* (log y) 1/2)) (exp 6))
2.0ms	x	@	0	((* 2 y) (* 11 x) (* x x) (* y 11/2) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2)) (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (pow (exp 6) (* (log y) 1/2)) (exp 6))

simplify199.0ms (1.8%)

Memory

0.2MiB live, 192.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	118	529
1	360	515
2	1288	501
3	4958	489
0	8303	459

Stop Event

1×	iter limit
1×	node limit

Counts

29 → 29

Calls

Call 1

Inputs
(* 11 x)
(pow x 2)
(* -1 (* x (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))))
(* x (+ (* -1 (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))) (* 11 (* (pow x 2) (pow y 2)))))
(* 1335/4 (pow y 6))
(+ (* -1 (* x (+ 2 (+ (* 121 (pow y 4)) (pow y 6))))) (* 1335/4 (pow y 6)))
(+ (* 1335/4 (pow y 6)) (* x (+ (* -1 (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))) (* 11 (* (pow x 2) (pow y 2))))))
(* 11 (* (pow x 3) (pow y 2)))
(* (pow x 3) (+ (* -1 (/ (+ 2 (+ (* 121 (pow y 4)) (pow y 6))) (pow x 2))) (* 11 (pow y 2))))
(* (pow x 3) (- (+ (* 11 (pow y 2)) (* 1335/4 (/ (pow y 6) (pow x 3)))) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2))))))
(* -1 (* (pow x 3) (+ (* -11 (pow y 2)) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2)))))))
(* -1 (* (pow x 3) (+ (* -1335/4 (/ (pow y 6) (pow x 3))) (+ (* -11 (pow y 2)) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2))))))))
(* 2 y)
(* 11/2 y)
(* -2 x)
(+ (* -2 x) (* 11 (* (pow x 3) (pow y 2))))
(+ (* -2 x) (* (pow y 2) (+ (* -121 (* x (pow y 2))) (* 11 (pow x 3)))))
(+ (* -2 x) (* (pow y 2) (+ (* 11 (pow x 3)) (* (pow y 2) (+ (* -121 x) (* -1 (* x (pow y 2))))))))
(+ (* -2 x) (* (pow y 2) (+ (* 11 (pow x 3)) (* (pow y 2) (+ (* -121 x) (* (pow y 2) (+ 1335/4 (* -1 x))))))))
(pow y 3)
(* -1 (* x (pow y 6)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (* -1 x)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4))))))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (+ (* -2 (/ x (pow y 6))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4)))))))
(* (pow y 6) (+ 1335/4 (* -1 x)))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (* -1 x))))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4)))))))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (+ (* -2 (/ x (pow y 6))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4))))))))
(exp (* 3 (+ (log -1) (* -1 (log (/ -1 y))))))

Outputs
(* 11 x)
(*.f64 #s(literal 11 binary64) x)
(pow x 2)
(*.f64 x x)
(* -1 (* x (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))))
(*.f64 (-.f64 #s(literal -2 binary64) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (pow.f64 y #s(literal 6 binary64)))) x)
(* x (+ (* -1 (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))) (* 11 (* (pow x 2) (pow y 2)))))
(fma.f64 (.f64 #s(literal 11 binary64) y) (.f64 (pow.f64 x #s(literal 3 binary64)) y) (*.f64 (-.f64 #s(literal -2 binary64) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (pow.f64 y #s(literal 6 binary64)))) x))
(* 1335/4 (pow y 6))
(*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))
(+ (* -1 (* x (+ 2 (+ (* 121 (pow y 4)) (pow y 6))))) (* 1335/4 (pow y 6)))
(fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) x (*.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64))))
(+ (* 1335/4 (pow y 6)) (* x (+ (* -1 (+ 2 (+ (* 121 (pow y 4)) (pow y 6)))) (* 11 (* (pow x 2) (pow y 2))))))
(fma.f64 (.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) y) y) #s(literal 11 binary64) (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) x (*.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))))
(* 11 (* (pow x 3) (pow y 2)))
(.f64 (.f64 #s(literal 11 binary64) y) (*.f64 (pow.f64 x #s(literal 3 binary64)) y))
(* (pow x 3) (+ (* -1 (/ (+ 2 (+ (* 121 (pow y 4)) (pow y 6))) (pow x 2))) (* 11 (pow y 2))))
(.f64 (fma.f64 (.f64 #s(literal 11 binary64) y) y (/.f64 (/.f64 (-.f64 #s(literal -2 binary64) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (pow.f64 y #s(literal 6 binary64)))) x) x)) (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (- (+ (* 11 (pow y 2)) (* 1335/4 (/ (pow y 6) (pow x 3)))) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2))))))
(.f64 (neg.f64 (pow.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal -11 binary64) y) y (fma.f64 (+.f64 (/.f64 #s(literal -1335/4 binary64) x) #s(literal 1 binary64)) (/.f64 (/.f64 (pow.f64 y #s(literal 6 binary64)) x) x) (fma.f64 (/.f64 (/.f64 #s(literal 121 binary64) x) x) (pow.f64 y #s(literal 4 binary64)) (/.f64 #s(literal 2 binary64) (*.f64 x x))))))
(* -1 (* (pow x 3) (+ (* -11 (pow y 2)) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2)))))))
(.f64 (-.f64 (.f64 (.f64 y y) #s(literal 11 binary64)) (fma.f64 (/.f64 (/.f64 #s(literal 121 binary64) x) x) (pow.f64 y #s(literal 4 binary64)) (+.f64 (/.f64 (/.f64 (pow.f64 y #s(literal 6 binary64)) x) x) (/.f64 #s(literal 2 binary64) (.f64 x x))))) (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (+ (* -1335/4 (/ (pow y 6) (pow x 3))) (+ (* -11 (pow y 2)) (+ (* 121 (/ (pow y 4) (pow x 2))) (+ (* 2 (/ 1 (pow x 2))) (/ (pow y 6) (pow x 2))))))))
(.f64 (neg.f64 (pow.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal -11 binary64) y) y (fma.f64 (+.f64 (/.f64 #s(literal -1335/4 binary64) x) #s(literal 1 binary64)) (/.f64 (/.f64 (pow.f64 y #s(literal 6 binary64)) x) x) (fma.f64 (/.f64 (/.f64 #s(literal 121 binary64) x) x) (pow.f64 y #s(literal 4 binary64)) (/.f64 #s(literal 2 binary64) (*.f64 x x))))))
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 11/2 y)
(*.f64 #s(literal 11/2 binary64) y)
(* -2 x)
(*.f64 #s(literal -2 binary64) x)
(+ (* -2 x) (* 11 (* (pow x 3) (pow y 2))))
(.f64 x (fma.f64 (.f64 (.f64 x x) #s(literal 11 binary64)) (.f64 y y) #s(literal -2 binary64)))
(+ (* -2 x) (* (pow y 2) (+ (* -121 (* x (pow y 2))) (* 11 (pow x 3)))))
(.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (fma.f64 (.f64 (.f64 x x) #s(literal 11 binary64)) (.f64 y y) #s(literal -2 binary64))))
(+ (* -2 x) (* (pow y 2) (+ (* 11 (pow x 3)) (* (pow y 2) (+ (* -121 x) (* -1 (* x (pow y 2))))))))
(fma.f64 (fma.f64 (.f64 x (fma.f64 (neg.f64 y) y #s(literal -121 binary64))) (.f64 y y) (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 11 binary64))) (.f64 y y) (*.f64 #s(literal -2 binary64) x))
(+ (* -2 x) (* (pow y 2) (+ (* 11 (pow x 3)) (* (pow y 2) (+ (* -121 x) (* (pow y 2) (+ 1335/4 (* -1 x))))))))
(fma.f64 (fma.f64 (fma.f64 (.f64 (-.f64 #s(literal 1335/4 binary64) x) y) y (.f64 #s(literal -121 binary64) x)) (.f64 y y) (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 11 binary64))) (.f64 y y) (.f64 #s(literal -2 binary64) x))
(pow y 3)
(pow.f64 y #s(literal 3 binary64))
(* -1 (* x (pow y 6)))
(*.f64 (neg.f64 x) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (* -1 x)))
(.f64 (fma.f64 (/.f64 x (.f64 y y)) #s(literal -121 binary64) (neg.f64 x)) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4))))))
(*.f64 (fma.f64 (/.f64 (/.f64 #s(literal -121 binary64) y) y) x (fma.f64 (/.f64 #s(literal 11 binary64) (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 3 binary64)) (neg.f64 x))) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ (* -121 (/ x (pow y 2))) (+ (* -2 (/ x (pow y 6))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4)))))))
(.f64 (fma.f64 x (fma.f64 (.f64 x x) (/.f64 #s(literal 11 binary64) (pow.f64 y #s(literal 4 binary64))) (+.f64 (/.f64 #s(literal -2 binary64) (pow.f64 y #s(literal 6 binary64))) (/.f64 (/.f64 #s(literal -121 binary64) y) y))) (neg.f64 x)) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ 1335/4 (* -1 x)))
(*.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (* -1 x))))
(.f64 (fma.f64 (/.f64 x (.f64 y y)) #s(literal -121 binary64) (-.f64 #s(literal 1335/4 binary64) x)) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4)))))))
(.f64 (fma.f64 (/.f64 #s(literal 11 binary64) (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 3 binary64)) (fma.f64 (/.f64 x (.f64 y y)) #s(literal -121 binary64) (-.f64 #s(literal 1335/4 binary64) x))) (pow.f64 y #s(literal 6 binary64)))
(* (pow y 6) (+ 1335/4 (+ (* -121 (/ x (pow y 2))) (+ (* -2 (/ x (pow y 6))) (+ (* -1 x) (* 11 (/ (pow x 3) (pow y 4))))))))
(.f64 (fma.f64 x (fma.f64 (.f64 x x) (/.f64 #s(literal 11 binary64) (pow.f64 y #s(literal 4 binary64))) (+.f64 (/.f64 #s(literal -2 binary64) (pow.f64 y #s(literal 6 binary64))) (/.f64 (/.f64 #s(literal -121 binary64) y) y))) (-.f64 #s(literal 1335/4 binary64) x)) (pow.f64 y #s(literal 6 binary64)))
(exp (* 3 (+ (log -1) (* -1 (log (/ -1 y))))))
(neg.f64 (pow.f64 (/.f64 #s(literal -1 binary64) y) #s(literal -3 binary64)))

rewrite193.0ms (1.8%)

Memory

0.1MiB live, 312.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	81
0	51	81
1	154	74
2	1028	65
0	9034	62

Stop Event

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

Counts

8 → 138

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) y)
(*.f64 #s(literal 11 binary64) x)
(*.f64 x x)
(*.f64 y #s(literal 11/2 binary64))
(.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64))))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64)))
(exp.f64 #s(literal 6 binary64))

Outputs
(*.f64 y #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) y)
(*.f64 x #s(literal 11 binary64))
(*.f64 #s(literal 11 binary64) x)
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(*.f64 x x)
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(*.f64 #s(literal 11/2 binary64) y)
(*.f64 y #s(literal 11/2 binary64))
(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)) x) (pow.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -1 binary64)))
(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)) x) (pow.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64))) (pow.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -1 binary64)))
(.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64))) (pow.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x)
(.f64 x (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x)) (.f64 (.f64 #s(literal -2 binary64) x) (.f64 #s(literal -2 binary64) x))) (-.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (.f64 #s(literal -2 binary64) x)))
(/.f64 (-.f64 (.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))))) (.f64 (.f64 x #s(literal -2 binary64)) (.f64 x #s(literal -2 binary64)))) (-.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (.f64 x #s(literal -2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal -2 binary64) x) #s(literal 3 binary64))) (fma.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (-.f64 (.f64 (.f64 #s(literal -2 binary64) x) (.f64 #s(literal -2 binary64) x)) (.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (.f64 #s(literal -2 binary64) x)))))
(/.f64 (+.f64 (pow.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) #s(literal 3 binary64)) (pow.f64 (.f64 x #s(literal -2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (-.f64 (.f64 (.f64 x #s(literal -2 binary64)) (.f64 x #s(literal -2 binary64))) (.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (.f64 x #s(literal -2 binary64))))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)) x)) (neg.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)) x)) (neg.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)))) (neg.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)))) (neg.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)) x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)) x) (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))))
(/.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64))) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))))
(/.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64))) (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)) x)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))) (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)) x)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))) (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)))))
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))
(fma.f64 (.f64 x (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) #s(literal 2 binary64)) (.f64 (pow.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 14641 binary64)))) (pow.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal -1 binary64)) (*.f64 x #s(literal -2 binary64)))
(fma.f64 (.f64 x (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) #s(literal 3 binary64)) (.f64 #s(literal 1771561 binary64) (pow.f64 y #s(literal 12 binary64))))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64)) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) (pow.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 x #s(literal -2 binary64)))
(fma.f64 #s(literal -2 binary64) x (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x))
(fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x (*.f64 #s(literal -2 binary64) x))
(fma.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) x (*.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) x))
(fma.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) x (*.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) x))
(fma.f64 x #s(literal -2 binary64) (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))))
(fma.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) (*.f64 x #s(literal -2 binary64)))
(fma.f64 x (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) (*.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))
(fma.f64 x (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (*.f64 x (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))
(+.f64 (.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) x) (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)) x))
(+.f64 (.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) x) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))) x))
(+.f64 (.f64 x (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))
(+.f64 (.f64 x (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)))) (.f64 x (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))
(+.f64 (.f64 #s(literal -2 binary64) x) (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x))
(+.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (.f64 #s(literal -2 binary64) x))
(+.f64 (.f64 x #s(literal -2 binary64)) (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))))
(+.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (.f64 x #s(literal -2 binary64)))
(.f64 (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))))
(.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(.f64 (neg.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(.f64 (neg.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))))))
(.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64))) (pow.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))) #s(literal -1 binary64)))
(.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)) (.f64 (.f64 (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))) (.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))))) (+.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (fma.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))))) (neg.f64 (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (*.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)))) (.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (*.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (-.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (*.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)) (.f64 (.f64 (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)))) (neg.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))))
(/.f64 (neg.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)) (.f64 (.f64 (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(/.f64 (neg.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))))))
(/.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))
(/.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)) (.f64 (.f64 (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))))
(/.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64))) (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64)))) (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))))))
(neg.f64 (/.f64 (-.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64))) (neg.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(neg.f64 (/.f64 (fma.f64 #s(literal 2379270375/64 binary64) (pow.f64 y #s(literal 18 binary64)) (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 3 binary64))) (neg.f64 (fma.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64)))))))
(fma.f64 (.f64 x (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) #s(literal 2 binary64)) (.f64 (pow.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 14641 binary64)))) (pow.f64 (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal -1 binary64)) (fma.f64 x #s(literal -2 binary64) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(fma.f64 (.f64 x (-.f64 (pow.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) #s(literal 3 binary64)) (.f64 #s(literal 1771561 binary64) (pow.f64 y #s(literal 12 binary64))))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64)) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 121 binary64) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) (pow.f64 (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))) #s(literal 2 binary64))) #s(literal -1 binary64)) (fma.f64 x #s(literal -2 binary64) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(fma.f64 (.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 3 binary64))) (pow.f64 y #s(literal 3/2 binary64))) (pow.f64 y #s(literal 3/2 binary64)) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 (.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 3 binary64))) (.f64 y y)) y (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 (.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 3 binary64))) y) (.f64 y y) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64)) x) (pow.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -1 binary64)) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(fma.f64 (.f64 (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64)) x) (pow.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(fma.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64)) #s(literal 4 binary64))) (pow.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64)))) #s(literal -1 binary64)) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(fma.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 3 binary64)) #s(literal 8 binary64))) (pow.f64 (+.f64 (fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64) #s(literal 4 binary64)) (pow.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(fma.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 3 binary64))) (pow.f64 y #s(literal 3 binary64)) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 (pow.f64 y #s(literal 3 binary64)) (.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 1335/4 binary64)) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (pow.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(fma.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(fma.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 1335/4 binary64) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(fma.f64 x (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(fma.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) (fma.f64 x #s(literal -2 binary64) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(-.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))) (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x (*.f64 #s(literal -1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))))
(-.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))))
(+.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x)) (.f64 #s(literal -2 binary64) x))
(+.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))))) (.f64 x #s(literal -2 binary64)))
(+.f64 (.f64 (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64)))) x) (fma.f64 #s(literal -2 binary64) x (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(+.f64 (.f64 x (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (pow.f64 y #s(literal 6 binary64))))) (fma.f64 x #s(literal -2 binary64) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))))
(+.f64 (/.f64 (.f64 #s(literal 1782225/16 binary64) (pow.f64 y #s(literal 12 binary64))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64))))))) (neg.f64 (/.f64 (pow.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) #s(literal 2 binary64)) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))))))))
(+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (*.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x))
(+.f64 (.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11 binary64) (pow.f64 (.f64 x y) #s(literal 2 binary64)) (fma.f64 #s(literal -121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal -2 binary64)))) x) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))))
(.f64 (.f64 (pow.f64 y #s(literal 3/2 binary64)) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (.f64 (log.f64 y) #s(literal 1/4 binary64)) #s(literal 1/2 binary64)))) (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (.f64 (log.f64 y) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))))
(*.f64 (pow.f64 (pow.f64 y #s(literal 3/2 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 y #s(literal 3/2 binary64)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (pow.f64 y #s(literal 3 binary64))) (sqrt.f64 (pow.f64 y #s(literal 3 binary64))))
(*.f64 (pow.f64 y #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64)))
(.f64 (.f64 y y) y)
(.f64 y (.f64 y y))
(pow.f64 (exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 y))) #s(literal 6 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 12 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 y)))
(pow.f64 (pow.f64 y #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 12 binary64)) (*.f64 (log.f64 y) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 y))
(pow.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 y #s(literal 12 binary64)) #s(literal 1/4 binary64))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (.f64 (log.f64 y) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 y)))
(pow.f64 (*.f64 y y) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 y #s(literal 6 binary64)) #s(literal 1/2 binary64))
(pow.f64 y #s(literal 3 binary64))
(sqrt.f64 (pow.f64 y #s(literal 6 binary64)))
(fabs.f64 (pow.f64 y #s(literal 3 binary64)))
(exp.f64 (fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1/2 binary64) (log.f64 y)) (.f64 #s(literal 3 binary64) (*.f64 #s(literal 1/2 binary64) (log.f64 y)))))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (*.f64 #s(literal 1/2 binary64) (log.f64 y))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (exp.f64 #s(literal 12 binary64))) (.f64 (log.f64 y) #s(literal 1/4 binary64))))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 y)))
(exp.f64 (*.f64 (log.f64 (pow.f64 y #s(literal 3/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 y) #s(literal 3 binary64)))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 y)))
(exp.f64 #s(literal 6 binary64))

eval55.0ms (0.5%)

Memory: 1.6MiB live, 121.9MiB allocated
Compiler: Compiled 22 181 to 1 308 computations (94.1% saved)

prune14.0ms (0.1%)

Memory

-5.0MiB live, 33.8MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	327	4	331
Fresh	0	0	0
Picked	3	0	3
Done	0	0	0
Total	330	4	334

Accuracy

8.1%

Counts

334 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
	8.1%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (.f64 (.f64 y y) y) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
	8.1%	(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
	8.1%	(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
	1.5%	(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Compiler

Compiled 836 to 239 computations (71.4% saved)

regimes9.0ms (0.1%)

Memory

18.7MiB live, 18.7MiB allocated

Counts

12 → 1

Calls

Call 1

Inputs
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 #s(literal 1335/4 binary64) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (.f64 (.f64 y y) y) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 y #s(literal 11/2 binary64))))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Outputs

(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (*.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Calls

3 calls:

3.0ms

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

3.0ms

2.0ms

Results

Accuracy	Segments	Branch
8.1%	1	`x`
8.1%	1	`y`
8.1%	1	`(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))`

Compiler

Compiled 45 to 34 computations (24.4% saved)

regimes8.0ms (0.1%)

Memory

-23.5MiB live, 15.1MiB allocated

Counts

8 → 1

Calls

Call 1

Inputs
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 #s(literal 1335/4 binary64) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (.f64 (.f64 y y) y) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))

Outputs

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 x (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 (*.f64 y y) #s(literal 121 binary64)) (*.f64 y y))) #s(literal 2 binary64)))) (*.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (log.f64 y) #s(literal 1/2 binary64))) (*.f64 (*.f64 (*.f64 y y) y) #s(literal 11/2 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Calls

3 calls:

3.0ms

2.0ms

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

2.0ms

Results

Accuracy	Segments	Branch
8.1%	1	`x`
8.1%	1	`y`
8.1%	1	`(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))`

Compiler

Compiled 45 to 34 computations (24.4% saved)

regimes6.0ms (0.1%)

Memory

12.9MiB live, 12.9MiB allocated

Counts

7 → 1

Calls

Call 1

Inputs
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 #s(literal 1335/4 binary64) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))

Outputs

(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (*.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (*.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Calls

3 calls:

2.0ms

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

2.0ms

Results

Accuracy	Segments	Branch
8.1%	1	`x`
8.1%	1	`y`
8.1%	1	`(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))`

Compiler

Compiled 45 to 34 computations (24.4% saved)

regimes3.0ms (0%)

Memory

5.7MiB live, 5.7MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs

(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Outputs

(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (*.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Calls

3 calls:

1.0ms

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

1.0ms

Results

Accuracy	Segments	Branch
1.5%	1	`x`
1.5%	1	`y`
1.5%	1	`(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))`

Compiler

Compiled 45 to 34 computations (24.4% saved)

simplify78.0ms (0.7%)

Memory

4.1MiB live, 42.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	220
1	104	220
2	232	220
3	561	208
4	1405	208
5	3072	208
6	4469	208
7	6004	208

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (.f64 (.f64 y y) y) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Outputs
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 x (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 (.f64 y y) #s(literal 121 binary64)) (.f64 y y))) #s(literal 2 binary64)))) (.f64 (pow.f64 (exp.f64 #s(literal 6 binary64)) (.f64 (log.f64 y) #s(literal 1/2 binary64))) (.f64 (.f64 (.f64 y y) y) #s(literal 11/2 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 (-.f64 #s(literal 1335/4 binary64) x) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))
(+.f64 (+.f64 #s(approx (+ (* 1335/4 (pow y 6)) (* x (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* (* (* y y) 121) (* y y))) 2))) (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)))) (.f64 y #s(literal 11/2 binary64))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

soundness7.4s (67.5%)

Memory

-72.1MiB live, 732.9MiB allocated

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	118	529
1	360	515
2	1288	501
3	4958	489
0	8303	459
0	14	16
0	20	16
1	37	16
2	72	16
3	189	16
4	580	12
0	3019	12
0	16	25
0	25	21
1	46	21
2	122	21
3	446	17
4	6314	14
5	6914	8
0	8190	8
0	30	81
0	51	81
1	154	74
2	1028	65
0	9034	62
0	14	16
0	20	16
1	34	16
2	69	16
3	185	16
0	732	16

Stop Event

1×	fuel
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit

Compiler

Compiled 755 to 307 computations (59.3% saved)

preprocess70.0ms (0.6%)

Memory

-11.6MiB live, 61.4MiB allocated

Remove

(sort x y)

(abs x)

(abs y)

Compiler

Compiled 916 to 432 computations (52.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample675.0ms (6.1%)

explain599.0ms (5.5%)

preprocess221.0ms (2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify0.0ms (0%)

localize118.0ms (1.1%)

series6.0ms (0.1%)

simplify2.0ms (0%)

rewrite76.0ms (0.7%)

eval35.0ms (0.3%)

prune4.0ms (0%)

simplify0.0ms (0%)

localize136.0ms (1.2%)

series4.0ms (0%)

simplify2.0ms (0%)

rewrite60.0ms (0.5%)

eval4.0ms (0%)

prune4.0ms (0%)

simplify0.0ms (0%)

localize213.0ms (1.9%)

series103.0ms (0.9%)

simplify252.0ms (2.3%)

rewrite32.0ms (0.3%)

eval40.0ms (0.4%)

prune4.0ms (0%)

simplify0.0ms (0%)

localize236.0ms (2.1%)

series106.0ms (1%)

simplify199.0ms (1.8%)

rewrite193.0ms (1.8%)

eval55.0ms (0.5%)

prune14.0ms (0.1%)

regimes9.0ms (0.1%)

regimes8.0ms (0.1%)

regimes6.0ms (0.1%)

regimes3.0ms (0%)

simplify78.0ms (0.7%)

soundness7.4s (67.5%)

preprocess70.0ms (0.6%)

end0.0ms (0%)

Profiling