Metrics for bug333 (missed optimization)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample2.0s (42.6%)

Memory

51.6MiB live, 2 863.2MiB allocated

Samples

829.0ms	3 123×	2	valid
773.0ms	4 829×	1	valid
18.0ms	304×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 1.3s

ival-sqrt: 435.0ms (33.3% of total)

adjust: 264.0ms (20.2% of total)

ival-add: 256.0ms (19.6% of total)

ival-sub: 205.0ms (15.7% of total)

ival-<=: 119.0ms (9.1% of total)

ival-and: 11.0ms (0.8% of total)

exact: 10.0ms (0.8% of total)

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

Bogosity

explain127.0ms (2.7%)

Memory

-1.6MiB live, 162.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))`
0	-	-	`(sqrt.f64 (+.f64 #s(literal 1 binary64) x))`
0	-	-	`(+.f64 #s(literal 1 binary64) x)`
0	-	-	`(-.f64 #s(literal 1 binary64) x)`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(sqrt.f64 (-.f64 #s(literal 1 binary64) x))`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))`	cancellation	256	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

46.0ms	342×	1	valid
28.0ms	162×	2	valid
0.0ms	8×	0	valid

Compiler

Compiled 90 to 44 computations (51.1% saved)

Precisions

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

ival-sqrt: 18.0ms (36.4% of total)

adjust: 12.0ms (24.3% of total)

ival-sub: 12.0ms (24.3% of total)

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

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

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

exact: 0.0ms (0% of total)

preprocess24.0ms (0.5%)

Memory

-24.8MiB live, 13.5MiB allocated

Algorithm

1×	egg-herbie

Rules

92×	`lower-fma.f64`
92×	`lower-fma.f32`
64×	`lower-+.f32`
62×	`lower-+.f64`
56×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	22	19
2	52	18
3	101	18
4	163	18
5	237	18
6	264	18
7	272	18
0	7	9
0	12	9
1	19	9
2	26	9
3	37	9
4	51	9
5	74	9
6	114	9
7	149	9
8	196	9
9	211	9
10	219	9
0	219	9

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Outputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Symmetry

(negabs x)

Compiler

Compiled 10 to 7 computations (30% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	6.5%	(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify9.0ms (0.2%)

Memory

4.5MiB live, 4.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(sqrt.f64 (-.f64 #s(literal 1 binary64) x))
cost-diff	0	(+.f64 #s(literal 1 binary64) x)
cost-diff	0	(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
cost-diff	0	(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Rules

92×	`lower-fma.f64`
92×	`lower-fma.f32`
64×	`lower-+.f32`
62×	`lower-+.f64`
56×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	25
0	12	25
1	19	25
2	26	25
3	37	25
4	51	25
5	74	25
6	114	25
7	149	25
8	196	25
9	211	25
10	219	25
0	219	25

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
(+.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
(sqrt.f64 (-.f64 #s(literal 1 binary64) x))
(-.f64 #s(literal 1 binary64) x)

Outputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
(+.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
(sqrt.f64 (-.f64 #s(literal 1 binary64) x))
(-.f64 #s(literal 1 binary64) x)

localize42.0ms (0.9%)

Memory

26.9MiB live, 26.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 #s(literal 1 binary64) x)
accuracy	0.00390625	(sqrt.f64 (-.f64 #s(literal 1 binary64) x))
accuracy	0.0078125	(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
accuracy	59.821508748171645	(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Samples

18.0ms	171×	1	valid
14.0ms	81×	2	valid
0.0ms	4×	0	valid

Compiler

Compiled 27 to 9 computations (66.7% saved)

Precisions

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

ival-sqrt: 8.0ms (35.8% of total)

adjust: 6.0ms (26.8% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series7.0ms (0.2%)

Memory

-35.1MiB live, 3.4MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#<alt (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))>
#<alt (sqrt.f64 (+.f64 #s(literal 1 binary64) x))>
#<alt (+.f64 #s(literal 1 binary64) x)>
#<alt (sqrt.f64 (-.f64 #s(literal 1 binary64) x))>

Outputs
#<alt x>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))>
#<alt (* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))>
#<alt (* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>
#<alt (* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>
#<alt (* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))>
#<alt 1>
#<alt (+ 1 (* 1/2 x))>
#<alt (+ 1 (* x (+ 1/2 (* -1/8 x))))>
#<alt (+ 1 (* x (+ 1/2 (* x (- (* 1/16 x) 1/8)))))>
#<alt (sqrt x)>
#<alt (* x (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))))>
#<alt (* x (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))))>
#<alt (* x (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* x (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))>
#<alt (* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))))>
#<alt (* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))))>
#<alt 1>
#<alt (+ 1 x)>
#<alt (+ 1 x)>
#<alt (+ 1 x)>
#<alt x>
#<alt (* x (+ 1 (/ 1 x)))>
#<alt (* x (+ 1 (/ 1 x)))>
#<alt (* x (+ 1 (/ 1 x)))>
#<alt x>
#<alt (* x (+ 1 (/ 1 x)))>
#<alt (* x (+ 1 (/ 1 x)))>
#<alt (* x (+ 1 (/ 1 x)))>
#<alt 1>
#<alt (+ 1 (* -1/2 x))>
#<alt (+ 1 (* x (- (* -1/8 x) 1/2)))>
#<alt (+ 1 (* x (- (* x (- (* -1/16 x) 1/8)) 1/2)))>
#<alt (* (sqrt x) (sqrt -1))>
#<alt (* x (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))>
#<alt (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* -1 (* (sqrt x) (sqrt -1)))>
#<alt (* -1 (* x (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	x	@	inf	(- (sqrt (+ 1 x)) (sqrt (- 1 x)))
1.0ms	x	@	-inf	(- (sqrt (+ 1 x)) (sqrt (- 1 x)))
0.0ms	x	@	0	(- (sqrt (+ 1 x)) (sqrt (- 1 x)))
0.0ms	x	@	-inf	(sqrt (+ 1 x))
0.0ms	x	@	inf	(sqrt (- 1 x))

simplify405.0ms (8.7%)

Memory

-12.9MiB live, 297.1MiB allocated

Algorithm

1×	egg-herbie

Rules

21 484×	`lower-fma.f64`
21 484×	`lower-fma.f32`
4 942×	`lower-+.f64`
4 942×	`lower-+.f32`
4 596×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	161	971
1	493	856
2	1729	798
3	7219	798
0	8083	746

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 45

Calls

Call 1

Inputs
x
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))
(* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))
(* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))
(* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))
1
(+ 1 (* 1/2 x))
(+ 1 (* x (+ 1/2 (* -1/8 x))))
(+ 1 (* x (+ 1/2 (* x (- (* 1/16 x) 1/8)))))
(sqrt x)
(* x (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))))
(* x (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))))
(* x (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* x (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))))
1
(+ 1 x)
(+ 1 x)
(+ 1 x)
x
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
x
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
1
(+ 1 (* -1/2 x))
(+ 1 (* x (- (* -1/8 x) 1/2)))
(+ 1 (* x (- (* x (- (* -1/16 x) 1/8)) 1/2)))
(* (sqrt x) (sqrt -1))
(* x (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))
(* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* -1 (* (sqrt x) (sqrt -1)))
(* -1 (* x (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))

Outputs
x
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))
(fma.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 7/128 binary64)) #s(literal 1/8 binary64))) x)
(* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))
(fma.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x (fma.f64 (.f64 x x) #s(literal 33/1024 binary64) #s(literal 7/128 binary64))) #s(literal 1/8 binary64))) x)
(* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))
(.f64 x (.f64 (+.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) #s(literal 1 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 x (-.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 x (+.f64 (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (/.f64 #s(literal 1/8 binary64) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64)))))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(.f64 x (+.f64 (fma.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (-.f64 (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64)))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (/.f64 #s(literal 1/8 binary64) (sqrt.f64 #s(literal -1 binary64))) (.f64 #s(literal 1/16 binary64) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 5 binary64))))))))
(* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 (neg.f64 x) (-.f64 #s(literal -1 binary64) (sqrt.f64 #s(literal -1 binary64)))))
(* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (neg.f64 (sqrt.f64 #s(literal -1 binary64))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/2 binary64))) (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))) (neg.f64 x))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(.f64 x (neg.f64 (-.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (-.f64 #s(literal 1/8 binary64) (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1/8 binary64))) (-.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (.f64 (sqrt.f64 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))
(.f64 (-.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (-.f64 #s(literal 1/8 binary64) (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1/8 binary64))) (-.f64 (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 #s(literal 1/16 binary64) (.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 #s(literal -1 binary64)))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (.f64 (sqrt.f64 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x)))) (fma.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))) (neg.f64 x))
1
#s(literal 1 binary64)
(+ 1 (* 1/2 x))
(fma.f64 x #s(literal 1/2 binary64) #s(literal 1 binary64))
(+ 1 (* x (+ 1/2 (* -1/8 x))))
(fma.f64 x (fma.f64 x #s(literal -1/8 binary64) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(+ 1 (* x (+ 1/2 (* x (- (* 1/16 x) 1/8)))))
(fma.f64 x (fma.f64 x (fma.f64 x #s(literal 1/16 binary64) #s(literal -1/8 binary64)) #s(literal 1/2 binary64)) #s(literal 1 binary64))
(sqrt x)
(sqrt.f64 x)
(* x (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))))
(.f64 x (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(* x (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))))
(.f64 x (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (*.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(* x (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))))
(.f64 x (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (fma.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (*.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* x (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))
(.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (neg.f64 x))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))))
(neg.f64 (.f64 x (-.f64 (fma.f64 #s(literal 1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))))))
(.f64 (-.f64 (fma.f64 #s(literal 1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 #s(literal 1/16 binary64) (*.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 #s(literal -1 binary64))))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (neg.f64 x))
1
#s(literal 1 binary64)
(+ 1 x)
(+.f64 x #s(literal 1 binary64))
(+ 1 x)
(+.f64 x #s(literal 1 binary64))
(+ 1 x)
(+.f64 x #s(literal 1 binary64))
x
(* x (+ 1 (/ 1 x)))
(+.f64 x #s(literal 1 binary64))
(* x (+ 1 (/ 1 x)))
(+.f64 x #s(literal 1 binary64))
(* x (+ 1 (/ 1 x)))
(+.f64 x #s(literal 1 binary64))
x
(* x (+ 1 (/ 1 x)))
(+.f64 x #s(literal 1 binary64))
(* x (+ 1 (/ 1 x)))
(+.f64 x #s(literal 1 binary64))
(* x (+ 1 (/ 1 x)))
(+.f64 x #s(literal 1 binary64))
1
#s(literal 1 binary64)
(+ 1 (* -1/2 x))
(fma.f64 x #s(literal -1/2 binary64) #s(literal 1 binary64))
(+ 1 (* x (- (* -1/8 x) 1/2)))
(fma.f64 x (fma.f64 x #s(literal -1/8 binary64) #s(literal -1/2 binary64)) #s(literal 1 binary64))
(+ 1 (* x (- (* x (- (* -1/16 x) 1/8)) 1/2)))
(fma.f64 x (fma.f64 x (fma.f64 x #s(literal -1/16 binary64) #s(literal -1/8 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))
(* (sqrt x) (sqrt -1))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 x))
(* x (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))
(.f64 x (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))))
(* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 x (fma.f64 #s(literal 1/8 binary64) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 #s(literal -1 binary64))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64)))))))
(* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 x (fma.f64 #s(literal 1/8 binary64) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 #s(literal -1 binary64))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64)) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 #s(literal 1/16 binary64) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 5 binary64))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))))))
(* -1 (* (sqrt x) (sqrt -1)))
(*.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 (sqrt.f64 x)))
(* -1 (* x (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 (.f64 (neg.f64 x) (sqrt.f64 #s(literal -1 binary64))) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(neg.f64 (.f64 x (.f64 (sqrt.f64 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))))
(* -1 (* x (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(neg.f64 (.f64 x (.f64 (sqrt.f64 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (fma.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))))

rewrite178.0ms (3.8%)

Memory

10.1MiB live, 126.5MiB allocated

Rules

3 412×	`lower-fma.f64`
3 412×	`lower-fma.f32`
2 124×	`lower-*.f64`
2 124×	`lower-*.f32`
1 648×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
0	12	20
1	51	20
2	368	20
3	5664	20
0	9321	20

Stop Event

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

Counts

4 → 331

Calls

Call 1

Inputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
(+.f64 #s(literal 1 binary64) x)
(sqrt.f64 (-.f64 #s(literal 1 binary64) x))

Outputs
(+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(+.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(+.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (neg.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(+.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) #s(literal -1 binary64)))
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(-.f64 #s(literal 0 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(-.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(-.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(-.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal 0 binary64)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(fma.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (+.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (+.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (neg.f64 (/.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(fma.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(fma.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (neg.f64 (/.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(fma.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (neg.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(fma.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (pow.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 #s(literal -1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(fma.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 3/4 binary64)) (/.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 3/4 binary64)) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (neg.f64 (/.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(fma.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (neg.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (/.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) #s(literal 1/2 binary64)) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (neg.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(fma.f64 (*.f64 #s(literal -1 binary64) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) (+.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))) (fma.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))) (neg.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(fma.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (-.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (-.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (/.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(fma.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal 1 binary64)))
(/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (neg.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(/.f64 (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))) (-.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))))) (*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))) (+.f64 #s(literal 1 binary64) x))
(/.f64 (-.f64 (.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))))) (*.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (-.f64 (.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))) (*.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) (*.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) x))) (*.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (*.f64 (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))) #s(literal 1 binary64)) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))) #s(literal 1 binary64)) (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(/.f64 (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) #s(literal 1 binary64)) (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(/.f64 (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) #s(literal 1 binary64)) (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) #s(literal 1 binary64)) (*.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (fma.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (*.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))) (.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (/.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(/.f64 (-.f64 (.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) (.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))) (+.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))) (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))
(pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal 1 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (/.f64 #s(literal 1 binary64) (neg.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))))
(*.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (/.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))))
(*.f64 (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))))
(*.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (/.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))))
(*.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))))
(.f64 (/.f64 (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))) (+.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))))
(*.f64 (/.f64 (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(.f64 (/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (fma.f64 (+.f64 #s(literal 1 binary64) x) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))))) (fma.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))) (+.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (-.f64 x (+.f64 #s(literal 1 binary64) x)))) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))))
(.f64 (/.f64 (fma.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (.f64 (+.f64 #s(literal 1 binary64) x) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) (*.f64 (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x))))) (-.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))) (-.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (+.f64 x (+.f64 #s(literal 1 binary64) x)))))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log1p.f64 x)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log1p.f64 x)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/2 binary64) (log1p.f64 x)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log1p.f64 x)) #s(literal 2 binary64)))
(fabs.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))))
(/.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(/.f64 (sqrt.f64 (+.f64 #s(literal -1 binary64) (*.f64 x x))) (sqrt.f64 (+.f64 (neg.f64 x) #s(literal -1 binary64))))
(/.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal -1 binary64))) (sqrt.f64 (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) (sqrt.f64 (+.f64 x #s(literal -1 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (neg.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (neg.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)))
(pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) #s(literal 1 binary64))
(pow.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) #s(literal 1/4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))) #s(literal 1/8 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (pow.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)))
(.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(*.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) #s(literal 1/2 binary64)) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(+.f64 #s(literal 1 binary64) x)
(+.f64 #s(literal 1 binary64) (neg.f64 x))
(+.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 x)))
(+.f64 x #s(literal 1 binary64))
(+.f64 (neg.f64 x) #s(literal 1 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (neg.f64 (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(+.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) #s(literal 1 binary64)) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x x)))
(+.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x x)) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) #s(literal 1 binary64)))
(+.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x #s(literal 1 binary64))) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) x))
(+.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (.f64 (fma.f64 x x x) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))))
(+.f64 (.f64 (fma.f64 x x x) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))))
(+.f64 (.f64 (fma.f64 x x #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))))
(exp.f64 (log1p.f64 x))
(exp.f64 (*.f64 (log1p.f64 x) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log1p.f64 x)) #s(literal 1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/2 binary64) (log1p.f64 x)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (neg.f64 (log1p.f64 x)) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))) #s(literal 2 binary64)))
(fabs.f64 (+.f64 #s(literal 1 binary64) x))
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) (neg.f64 x))
(-.f64 #s(literal 0 binary64) (+.f64 x #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x)))
(-.f64 (/.f64 (*.f64 x x) (+.f64 x #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))))
(sqrt.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))
(fma.f64 #s(literal 1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 x) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (neg.f64 (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (.f64 (fma.f64 x x x) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))))
(fma.f64 x #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 (+.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (-.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (fma.f64 x x x) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))))
(fma.f64 (neg.f64 x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 (fma.f64 x x #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) #s(literal 1 binary64) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (fma.f64 x x x)))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x x) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) #s(literal 1 binary64)))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x #s(literal 1 binary64)) (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) x))
(fma.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (/.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x x))) (+.f64 #s(literal 1 binary64) x) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 x x))) (+.f64 (neg.f64 x) #s(literal -1 binary64)) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x x) #s(literal -1 binary64))) (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal -1 binary64))) (+.f64 x #s(literal -1 binary64)) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1 binary64))) (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (fma.f64 x (.f64 x x) #s(literal 1 binary64)) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x x x) (.f64 (fma.f64 x x x) (fma.f64 x x x)) #s(literal 1 binary64))) (fma.f64 (fma.f64 x x x) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (neg.f64 (.f64 (*.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 x x x) (fma.f64 x x x)))) (-.f64 #s(literal 1 binary64) (fma.f64 x x x)) (neg.f64 (.f64 (*.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))))
(fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (fma.f64 (.f64 x x) (fma.f64 x x #s(literal 1 binary64)) #s(literal 1 binary64)) (neg.f64 (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x)))) (fma.f64 x x #s(literal 1 binary64)) (neg.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(neg.f64 (+.f64 (neg.f64 x) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 x #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64))))
(/.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (+.f64 #s(literal 1 binary64) x))
(/.f64 (+.f64 #s(literal -1 binary64) (*.f64 x x)) (+.f64 (neg.f64 x) #s(literal -1 binary64)))
(/.f64 (fma.f64 x (*.f64 x x) #s(literal -1 binary64)) (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1 binary64)) (.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) (.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))))
(/.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) (.f64 (+.f64 #s(literal 1 binary64) x) (fma.f64 (*.f64 x x) (fma.f64 x x #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (fma.f64 x x #s(literal -1 binary64)) (+.f64 x #s(literal -1 binary64)))
(/.f64 (fma.f64 x x #s(literal -1 binary64)) (-.f64 (neg.f64 x) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) (.f64 (+.f64 #s(literal 1 binary64) x) (fma.f64 x x #s(literal 1 binary64))))
(/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (+.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
(/.f64 (.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (.f64 x (.f64 x x)))) (*.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (-.f64 (+.f64 #s(literal 1 binary64) x) (.f64 x (fma.f64 x x x))) (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x x))) (+.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x x) #s(literal -1 binary64))) (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 x x))) (+.f64 (neg.f64 x) #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (-.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal -1 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (+.f64 #s(literal -1 binary64) (.f64 x x))) (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (+.f64 (neg.f64 x) #s(literal -1 binary64))))
(/.f64 (.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))
(/.f64 (*.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal -1 binary64))) (+.f64 x #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x x #s(literal -1 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (+.f64 x #s(literal -1 binary64))))
(/.f64 (.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)))) (.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) (+.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) #s(literal 1 binary64)) (.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 x x) (fma.f64 x x #s(literal 1 binary64)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) #s(literal 1 binary64)) (*.f64 (fma.f64 x x #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) x)))
(/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1 binary64)) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 (fma.f64 x x x) (.f64 (fma.f64 x x x) (fma.f64 x x x)) #s(literal 1 binary64))) (.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) (fma.f64 (fma.f64 x x x) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 x x x) (fma.f64 x x x)))) (.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (fma.f64 x x x))))
(/.f64 (neg.f64 (+.f64 #s(literal -1 binary64) (*.f64 x x))) (+.f64 #s(literal 1 binary64) x))
(/.f64 (neg.f64 (fma.f64 x (*.f64 x x) #s(literal -1 binary64))) (neg.f64 (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (neg.f64 (fma.f64 x x #s(literal -1 binary64))) (neg.f64 (+.f64 x #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) #s(literal -3 binary64)) (pow.f64 (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (fma.f64 (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (.f64 (*.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))))))
(/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal -3 binary64)) (pow.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x)) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (fma.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x)) (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x)) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (.f64 (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))) (+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (.f64 (.f64 x x) (/.f64 x (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))) (.f64 (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x)) (/.f64 (.f64 x x) (+.f64 #s(literal 1 binary64) x)))) (+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 (*.f64 x x) (+.f64 #s(literal 1 binary64) x))))
(/.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (fma.f64 (fma.f64 x x x) (.f64 (fma.f64 x x x) (fma.f64 x x x)) #s(literal 1 binary64))) (fma.f64 (fma.f64 x x x) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 x x x) (fma.f64 x x x)))) (-.f64 #s(literal 1 binary64) (fma.f64 x x x)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))
(/.f64 (.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))) (fma.f64 (*.f64 x x) (fma.f64 x x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) (.f64 x x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))) (fma.f64 x x #s(literal 1 binary64)))
(/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))) (fma.f64 (.f64 x (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) x))
(/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))
(pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) #s(literal 2 binary64))
(pow.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) #s(literal 1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) #s(literal 4 binary64))
(pow.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))) #s(literal 1/4 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 x #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))
(*.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))))
(.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(*.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)))
(.f64 (+.f64 #s(literal -1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal -1 binary64))))
(.f64 (fma.f64 x (.f64 x x) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal 1 binary64) (.f64 x x)))
(*.f64 #s(literal -1 binary64) (+.f64 (neg.f64 x) #s(literal -1 binary64)))
(*.f64 (fma.f64 x x #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))))
(.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))
(.f64 (pow.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)))
(.f64 (pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) #s(literal 1 binary64)) (pow.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (.f64 x x) #s(literal 1 binary64)))) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) #s(literal -1 binary64)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)))
(.f64 (/.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) (fma.f64 (fma.f64 x x x) (*.f64 (fma.f64 x x x) (fma.f64 x x x)) #s(literal 1 binary64))) (fma.f64 (fma.f64 x x x) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (/.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x x x) (fma.f64 x x x)))) (-.f64 #s(literal 1 binary64) (fma.f64 x x x)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (+.f64 #s(literal -1 binary64) (*.f64 x x))) (+.f64 (neg.f64 x) #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal -1 binary64))) (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x x #s(literal -1 binary64))) (+.f64 x #s(literal -1 binary64)))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log1p.f64 x)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log1p.f64 x)) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/2 binary64) (log1p.f64 x)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log1p.f64 x)) #s(literal 2 binary64)))
(fabs.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(sqrt.f64 (+.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))))
(/.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(/.f64 (sqrt.f64 (+.f64 #s(literal -1 binary64) (*.f64 x x))) (sqrt.f64 (+.f64 (neg.f64 x) #s(literal -1 binary64))))
(/.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal -1 binary64))) (sqrt.f64 (neg.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (sqrt.f64 (fma.f64 x x #s(literal -1 binary64))) (sqrt.f64 (+.f64 x #s(literal -1 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (neg.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(/.f64 (neg.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(/.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64))) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)))
(pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64))
(pow.f64 (neg.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) #s(literal 1 binary64))
(pow.f64 (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) #s(literal 1/4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) (*.f64 (+.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x))) #s(literal 1/8 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (pow.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)))
(.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(.f64 (sqrt.f64 (fma.f64 x (.f64 x x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x)))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(*.f64 (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (+.f64 #s(literal 1 binary64) x) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64))) #s(literal 1/2 binary64)) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))) (sqrt.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x))))
(.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))
(.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(.f64 (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) (sqrt.f64 (fma.f64 x (*.f64 x x) #s(literal 1 binary64)))) (sqrt.f64 (fma.f64 x x (+.f64 #s(literal 1 binary64) x))))

eval41.0ms (0.9%)

Memory: 6.9MiB live, 44.6MiB allocated
Compiler: Compiled 9 873 to 1 184 computations (88% saved)

prune41.0ms (0.9%)

Memory

-29.5MiB live, 52.8MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	375	1	376
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	376	1	377

Accuracy

100.0%

Counts

377 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))

Compiler

Compiled 10 to 5 computations (50% saved)

simplify33.0ms (0.7%)

Memory

15.9MiB live, 15.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x #s(literal 1/8 binary64))
cost-diff	0	(.f64 x (.f64 x #s(literal 1/8 binary64)))
cost-diff	0	(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
cost-diff	0	#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))

Rules

536×	`lower-fma.f32`
534×	`lower-fma.f64`
344×	`lower-*.f32`
340×	`lower-*.f64`
144×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	36
0	16	36
1	30	36
2	45	34
3	61	34
4	82	34
5	105	34
6	174	34
7	234	34
8	344	34
9	448	34
10	541	34
11	590	34
12	651	34
13	697	34
14	718	34
15	720	34
0	720	32

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
x
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(*.f64 x #s(literal 1/8 binary64))
#s(literal 1/8 binary64)

Outputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 #s(literal 1/8 binary64) (.f64 x x)) x))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(fma.f64 x (.f64 #s(literal 1/8 binary64) (.f64 x x)) x)
x
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(.f64 #s(literal 1/8 binary64) (.f64 x x))
(*.f64 x #s(literal 1/8 binary64))
#s(literal 1/8 binary64)

localize55.0ms (1.2%)

Memory

13.7MiB live, 50.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
accuracy	0	(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
accuracy	0	(.f64 x (.f64 x #s(literal 1/8 binary64)))
accuracy	0	(*.f64 x #s(literal 1/8 binary64))
accuracy	0	#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))

Samples

28.0ms	171×	1	valid
16.0ms	81×	2	valid
0.0ms	4×	0	valid

Compiler

Compiled 30 to 14 computations (53.3% saved)

Precisions

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

adjust: 8.0ms (23.2% of total)

ival-sqrt: 8.0ms (23.2% of total)

ival-mult: 7.0ms (20.3% of total)

ival-add: 6.0ms (17.4% of total)

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

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

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

exact: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory

3.2MiB live, 3.2MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#<alt #s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))>
#<alt (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)>
#<alt (.f64 x (.f64 x #s(literal 1/8 binary64)))>
#<alt (*.f64 x #s(literal 1/8 binary64))>

Outputs
#<alt x>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))>
#<alt (* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))>
#<alt (* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>
#<alt (* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>
#<alt (* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))>
#<alt x>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* 1/8 (pow x 3))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* 1/8 (pow x 3))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 (pow x 2))>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>
#<alt (* 1/8 x)>

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(+ (* x (* x (* x 1/8))) x)
0.0ms	x	@	inf	(+ (* x (* x (* x 1/8))) x)
0.0ms	x	@	inf	(* x (* x 1/8))
0.0ms	x	@	0	(* x (* x 1/8))
0.0ms	x	@	-inf	(* x 1/8)

simplify348.0ms (7.5%)

Memory

-29.4MiB live, 221.5MiB allocated

Algorithm

1×	egg-herbie

Rules

18 792×	`lower-fma.f64`
18 792×	`lower-fma.f32`
4 424×	`lower-+.f64`
4 424×	`lower-+.f32`
3 776×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	115	656
1	320	575
2	1119	530
3	5338	511
0	8209	486

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 46

Calls

Call 1

Inputs
x
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))
(* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))
(* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))
(* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))
x
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* 1/8 (pow x 2))))
(* 1/8 (pow x 3))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* 1/8 (pow x 3))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 (pow x 2))
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)
(* 1/8 x)

Outputs
x
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))
(fma.f64 (.f64 x x) (.f64 x (fma.f64 (*.f64 x x) #s(literal 7/128 binary64) #s(literal 1/8 binary64))) x)
(* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))
(fma.f64 (fma.f64 x (.f64 x (fma.f64 (.f64 x x) #s(literal 33/1024 binary64) #s(literal 7/128 binary64))) #s(literal 1/8 binary64)) (.f64 x (.f64 x x)) x)
(* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 x) x))
(* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 x (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (+.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1 binary64)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 x (-.f64 (+.f64 (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (+.f64 #s(literal -1/8 binary64) (/.f64 #s(literal -1/8 binary64) (sqrt.f64 #s(literal -1 binary64)))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal -1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1 binary64)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(.f64 x (+.f64 (fma.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (+.f64 #s(literal -1/8 binary64) (/.f64 #s(literal -1/8 binary64) (sqrt.f64 #s(literal -1 binary64))))) (fma.f64 #s(literal 1/16 binary64) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 5 binary64))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64))))))))
(* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 #s(literal -1 binary64)))))
(* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal -1 binary64) (sqrt.f64 #s(literal -1 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)))) (neg.f64 x))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(.f64 x (neg.f64 (-.f64 (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal -1 binary64) (sqrt.f64 #s(literal -1 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (-.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1/8 binary64)) #s(literal 1/8 binary64))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))
(.f64 x (+.f64 (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) #s(literal -1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (neg.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (-.f64 (/.f64 #s(literal 1/16 binary64) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))) (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/16 binary64))) (.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))))))
x
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 (pow x 2))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))
(* 1/8 x)
(*.f64 x #s(literal 1/8 binary64))

rewrite257.0ms (5.5%)

Memory

12.7MiB live, 132.8MiB allocated

Rules

7 590×	`lower-fma.f32`
7 588×	`lower-fma.f64`
4 348×	`lower-*.f32`
4 344×	`lower-*.f64`
3 164×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
0	16	34
1	71	32
2	506	32
3	7238	32
0	9003	30

Stop Event

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

Counts

4 → 93

Calls

Call 1

Inputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(*.f64 x #s(literal 1/8 binary64))

Outputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))
(+.f64 x (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))
(+.f64 (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))) x)
(+.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(-.f64 (/.f64 (.f64 x x) (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))) (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (-.f64 x (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))))
(fma.f64 #s(literal 1 binary64) x (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))
(fma.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))) x)
(fma.f64 x #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(fma.f64 x (/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 #s(literal 1/8 binary64) (.f64 x (.f64 x x)) x)
(fma.f64 (.f64 x #s(literal 1/8 binary64)) (.f64 x x) x)
(fma.f64 (.f64 x (.f64 x #s(literal 1/8 binary64))) x x)
(fma.f64 (.f64 x (.f64 x #s(literal 1/8 binary64))) (/.f64 (.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))) #s(literal 1 binary64) x)
(fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (/.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 x (.f64 x x)) #s(literal 1/8 binary64) x)
(fma.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (/.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 x x) (.f64 x #s(literal 1/8 binary64)) x)
(fma.f64 (.f64 x x) (/.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))) (/.f64 (.f64 x (.f64 x #s(literal 1/8 binary64))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 (.f64 x x) (.f64 x x)) (/.f64 (.f64 (.f64 x x) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (*.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal 1/8 binary64)) x)
(fma.f64 (.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 x (.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))) (/.f64 (.f64 x #s(literal 1/8 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (/.f64 x (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(fma.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) (fma.f64 x (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64))) (neg.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(neg.f64 (/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)))))
(neg.f64 (/.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))) (neg.f64 (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(neg.f64 (/.f64 (neg.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x)))) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x))))
(neg.f64 (/.f64 (neg.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))) (.f64 x (-.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 (*.f64 x x) #s(literal 1/64 binary64)))))))
(/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)))
(/.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x)))) (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x))))
(/.f64 (neg.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (neg.f64 (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(/.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)) (fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (-.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (*.f64 x x)) #s(literal 1/512 binary64)))))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))))
(/.f64 (.f64 x (-.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))))) (-.f64 x (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))))))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) (.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (fma.f64 x (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64))) (.f64 (.f64 x x) (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x))))))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x)) (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (*.f64 x x))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x))) (.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (-.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64))))))) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x))))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) #s(literal 1 binary64)) (.f64 (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x))) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (*.f64 x x))))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) #s(literal 1 binary64)) (.f64 (fma.f64 x (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64))) (.f64 (.f64 x x) (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x)))) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x)) (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) #s(literal 1 binary64)) (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))))) (neg.f64 (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)))))
(/.f64 (neg.f64 (neg.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))))) (neg.f64 (neg.f64 (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (.f64 x (-.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)))))) (neg.f64 (-.f64 x (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (fma.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 x x) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))) (.f64 (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))) (fma.f64 x (/.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (/.f64 (.f64 x x) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(/.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) #s(literal 1 binary64)) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (*.f64 x x)))
(/.f64 (.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))) #s(literal 1 binary64)) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))
(/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) (pow.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)))) (fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (-.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (*.f64 x x)) #s(literal 1/512 binary64))))))))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x))))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))) (fma.f64 x (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64))) (.f64 (.f64 x x) (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x)))))
(/.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (.f64 x x)) (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))) (.f64 (fma.f64 (.f64 x x) (.f64 (.f64 x x) #s(literal 1/64 binary64)) #s(literal 1 binary64)) (*.f64 x x)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)) #s(literal -1 binary64))
(.f64 #s(literal 1 binary64) (fma.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))) x))
(.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal 1 binary64)))
(.f64 (fma.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))) x) #s(literal 1 binary64))
(.f64 (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(.f64 (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (/.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (*.f64 x x))))
(.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)) (.f64 (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)))))
(.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)) (/.f64 (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (*.f64 x x))))
(.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))) (/.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))))
(.f64 (neg.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (*.f64 x x)))))
(.f64 (neg.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (/.f64 #s(literal 1 binary64) (neg.f64 (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x))) (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64)))) (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))))
(.f64 (.f64 x (-.f64 x (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))))
(.f64 (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal 1 binary64)) x)
(.f64 (.f64 (fma.f64 x (*.f64 x #s(literal 1/8 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)) x)
(.f64 (/.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))) (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x)))) (fma.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))) x))
(.f64 (/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (fma.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 (.f64 x (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))) (.f64 x (.f64 (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))) (.f64 x (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))))))))) (fma.f64 (.f64 x (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))) (-.f64 (.f64 x (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64))) (.f64 (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 1/64 binary64)))))
(.f64 (/.f64 (.f64 (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)) #s(literal 1 binary64)) (.f64 x (.f64 x x))) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) (.f64 x (fma.f64 x (.f64 x #s(literal 1/8 binary64)) #s(literal -1 binary64))) (.f64 x x)) (.f64 x (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))))))) (.f64 x (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64))) (-.f64 x (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))))))))
(.f64 (/.f64 (.f64 x (fma.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x x) #s(literal 1/64 binary64)) (neg.f64 x))) (-.f64 (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) #s(literal 1/512 binary64)))) (.f64 x (.f64 x x)))) (fma.f64 x (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x x))) #s(literal 1/64 binary64))))
(.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal 1/8 binary64))))
(.f64 x (.f64 x #s(literal 1/8 binary64)))
(.f64 #s(literal 1/8 binary64) (.f64 x x))
(.f64 (.f64 x #s(literal 1/8 binary64)) x)
(.f64 (.f64 x (*.f64 x #s(literal 1/8 binary64))) #s(literal 1 binary64))
(.f64 (.f64 x x) #s(literal 1/8 binary64))
(.f64 #s(literal 1 binary64) (.f64 x #s(literal 1/8 binary64)))
(*.f64 x #s(literal 1/8 binary64))
(*.f64 #s(literal 1/8 binary64) x)
(.f64 (.f64 x #s(literal 1/8 binary64)) #s(literal 1 binary64))

eval13.0ms (0.3%)

Memory: 12.2MiB live, 12.2MiB allocated
Compiler: Compiled 4 375 to 329 computations (92.5% saved)

prune13.0ms (0.3%)

Memory

-25.1MiB live, 13.8MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	138	1	139
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	138	2	140

Accuracy

100.0%

Counts

140 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (*.f64 x (*.f64 x #s(literal 1/8 binary64))) x))

▶

6.1%

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (*.f64 #s(literal 1/8 binary64) (*.f64 x (*.f64 x x)))))

Compiler

Compiled 20 to 10 computations (50% saved)

simplify32.0ms (0.7%)

Memory

7.4MiB live, 7.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f64 x (.f64 x x))
cost-diff	0	(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
cost-diff	0	#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x))))
cost-diff	0	#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))

Rules

536×	`lower-fma.f64`
536×	`lower-fma.f32`
344×	`lower-*.f32`
338×	`lower-*.f64`
144×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	61
0	20	53
1	39	49
2	51	49
3	64	49
4	85	49
5	108	49
6	177	49
7	237	49
8	345	49
9	451	49
10	544	49
11	593	49
12	654	49
13	697	49
14	718	49
15	720	49
0	720	47

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))
#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x))))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
#s(literal 1/8 binary64)
(.f64 x (.f64 x x))
x
(*.f64 x x)

Outputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))))))
#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x))))
#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))))
#s(literal 1/8 binary64)
(.f64 x (.f64 x x))
x
(*.f64 x x)

localize68.0ms (1.5%)

Memory

-24.2MiB live, 22.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
accuracy	0	#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))
accuracy	0.078125	(.f64 x (.f64 x x))
accuracy	60.12304499255664	#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x))))

Samples

25.0ms	171×	1	valid
17.0ms	81×	2	valid
0.0ms	4×	0	valid

Compiler

Compiled 37 to 17 computations (54.1% saved)

Precisions

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

adjust: 8.0ms (24.2% of total)

ival-sqrt: 8.0ms (24.2% of total)

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

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

ival-add: 4.0ms (12.1% of total)

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

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

exact: 0.0ms (0% of total)

series2.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#<alt #s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))>
#<alt #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x))))>
#<alt (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))>
#<alt (.f64 x (.f64 x x))>

Outputs
#<alt x>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))>
#<alt (* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))>
#<alt (* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>
#<alt (* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))>
#<alt (* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))>
#<alt (* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))>
#<alt (* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))>
#<alt x>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* x (+ 1 (* 1/8 (pow x 2))))>
#<alt (* 1/8 (pow x 3))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* 1/8 (pow x 3))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (* 1/8 (pow x 3))>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>
#<alt (pow x 3)>

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(* x (* x x))
0.0ms	x	@	0	(* 1/8 (* x (* x x)))
0.0ms	x	@	inf	(* 1/8 (* x (* x x)))
0.0ms	x	@	-inf	(* 1/8 (* x (* x x)))
0.0ms	x	@	inf	(* x (* x x))

simplify337.0ms (7.2%)

Memory

23.8MiB live, 181.1MiB allocated

Algorithm

1×	egg-herbie

Rules

18 792×	`lower-fma.f64`
18 792×	`lower-fma.f32`
4 424×	`lower-+.f64`
4 424×	`lower-+.f32`
3 776×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	656
1	318	575
2	1121	530
3	5345	511
0	8215	486

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 46

Calls

Call 1

Inputs
x
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))
(* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))
(* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))
(* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))
(* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))
x
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* 1/8 (pow x 2))))
(* x (+ 1 (* 1/8 (pow x 2))))
(* 1/8 (pow x 3))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* 1/8 (pow x 3))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(* 1/8 (pow x 3))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)

Outputs
x
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* (pow x 2) (+ 1/8 (* 7/128 (pow x 2))))))
(fma.f64 (fma.f64 (.f64 x x) #s(literal 7/128 binary64) #s(literal 1/8 binary64)) (.f64 x (*.f64 x x)) x)
(* x (+ 1 (* (pow x 2) (+ 1/8 (* (pow x 2) (+ 7/128 (* 33/1024 (pow x 2))))))))
(fma.f64 x (.f64 x (.f64 x (fma.f64 x (.f64 x (fma.f64 x (.f64 x #s(literal 33/1024 binary64)) #s(literal 7/128 binary64))) #s(literal 1/8 binary64)))) x)
(* x (- (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (sqrt -1))))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 (sqrt.f64 #s(literal -1 binary64)) (neg.f64 x) x))
(* x (- (+ (sqrt (/ 1 x)) (* 1/2 (sqrt (/ 1 (pow x 3))))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 x (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (+.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1 binary64)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (* 1/2 (sqrt (/ 1 (pow x 3)))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 x (-.f64 (+.f64 (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (+.f64 #s(literal -1/8 binary64) (/.f64 #s(literal -1/8 binary64) (sqrt.f64 #s(literal -1 binary64)))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal -1/2 binary64) (sqrt.f64 #s(literal -1 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1 binary64)))))
(* x (- (+ (sqrt (/ 1 x)) (+ (* -1/8 (sqrt (/ 1 (pow x 5)))) (+ (* 1/16 (sqrt (/ 1 (pow x 7)))) (* 1/2 (sqrt (/ 1 (pow x 3))))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 3)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (/ 1 (sqrt -1)))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(.f64 x (+.f64 (fma.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (+.f64 #s(literal -1/8 binary64) (/.f64 #s(literal -1/8 binary64) (sqrt.f64 #s(literal -1 binary64))))) (fma.f64 #s(literal 1/16 binary64) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 5 binary64))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (/.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(literal -1 binary64))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (sqrt.f64 #s(literal -1 binary64))))))))
(* -1 (* x (- (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)) (* (sqrt (/ 1 x)) (sqrt -1)))))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 x (+.f64 #s(literal 1 binary64) (sqrt.f64 #s(literal -1 binary64)))))
(* -1 (* x (- (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))
(.f64 (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal -1 binary64) (sqrt.f64 #s(literal -1 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)))) (neg.f64 x))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2)))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1)))))))
(.f64 x (neg.f64 (-.f64 (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (-.f64 #s(literal -1 binary64) (sqrt.f64 #s(literal -1 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (-.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (-.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal -1/8 binary64)) #s(literal 1/8 binary64))))))
(* -1 (* x (- (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (/ 1 (pow (sqrt -1) 2)))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (/ 1 (pow (sqrt -1) 4)))) (+ (* 1/2 (sqrt (/ 1 (pow x 3)))) (* (sqrt (/ 1 x)) (pow (sqrt -1) 2))))) (+ (* -1/8 (* (sqrt (/ 1 (pow x 5))) (sqrt -1))) (+ (* 1/16 (* (sqrt (/ 1 (pow x 7))) (sqrt -1))) (+ (* 1/2 (* (sqrt (/ 1 (pow x 3))) (sqrt -1))) (* (sqrt (/ 1 x)) (sqrt -1))))))))
(.f64 x (+.f64 (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) #s(literal -1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (neg.f64 (-.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (-.f64 (/.f64 #s(literal 1/16 binary64) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))) (.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 1/16 binary64)))) (.f64 (sqrt.f64 #s(literal -1 binary64)) (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) x))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))))))
x
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* x (+ 1 (* 1/8 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* (pow x 3) (+ 1/8 (/ 1 (pow x 2))))
(fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x)
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(* 1/8 (pow x 3))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))
(pow x 3)
(.f64 x (.f64 x x))

rewrite261.0ms (5.6%)

Memory

16.8MiB live, 131.0MiB allocated

Rules

7 710×	`lower-fma.f64`
7 710×	`lower-fma.f32`
4 388×	`lower-*.f32`
4 382×	`lower-*.f64`
3 164×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	56
0	20	48
1	80	44
2	523	44
3	7300	44
0	9076	42

Stop Event

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

Counts

4 → 23

Calls

Call 1

Inputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))
#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x))))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(.f64 x (.f64 x x))

Outputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))))))
#s(approx (+ (* x (* x (* x 1/8))) x) (.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64)))))
(.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))))
(.f64 x (.f64 x (*.f64 x #s(literal 1/8 binary64))))
(.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))
(.f64 (.f64 x #s(literal 1/8 binary64)) (*.f64 x x))
(.f64 (.f64 x (*.f64 x #s(literal 1/8 binary64))) x)
(.f64 (.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64)))) #s(literal 1 binary64))
(.f64 (.f64 x x) (*.f64 x #s(literal 1/8 binary64)))
(.f64 (.f64 x (*.f64 x x)) #s(literal 1/8 binary64))
(.f64 (pow.f64 x #s(literal 3/2 binary64)) (.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal 1/8 binary64)))
(.f64 (.f64 #s(literal 1/8 binary64) (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64)))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)))
(pow.f64 x #s(literal 3 binary64))
(pow.f64 (*.f64 x x) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 3 binary64))
(.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x)))
(.f64 x (.f64 x x))
(.f64 (.f64 x x) x)
(.f64 (.f64 x (*.f64 x x)) #s(literal 1 binary64))
(*.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64)))

eval31.0ms (0.7%)

Memory: -43.9MiB live, 5.8MiB allocated
Compiler: Compiled 962 to 138 computations (85.7% saved)

prune5.0ms (0.1%)

Memory

5.7MiB live, 5.7MiB allocated

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	69	2	71

Accuracy

100.0%

Counts

71 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (*.f64 x (*.f64 x #s(literal 1/8 binary64))) x))

✓

6.1%

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (*.f64 #s(literal 1/8 binary64) (*.f64 x (*.f64 x x)))))

Compiler

Compiled 48 to 24 computations (50% saved)

regimes3.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (*.f64 #s(literal 1/8 binary64) (*.f64 x (*.f64 x x)))))

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (*.f64 x (*.f64 x #s(literal 1/8 binary64))) x))

(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Outputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (.f64 x (.f64 x #s(literal 1/8 binary64))) x))

Calls

2 calls:

2.0ms	x
1.0ms	(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))`

Compiler

Compiled 12 to 8 computations (33.3% saved)

regimes2.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))

Outputs
#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (.f64 #s(literal 1/8 binary64) (.f64 x (*.f64 x x)))))

Calls

2 calls:

1.0ms	x
1.0ms	(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

Results

Accuracy	Segments	Branch
6.1%	1	`x`
6.1%	1	`(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))`

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify5.0ms (0.1%)

Memory

4.1MiB live, 4.1MiB allocated

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
2×	`1-exp_binary64`
2×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	45
1	28	45

Stop Event

1×

saturated

Calls

Call 1

Inputs

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (*.f64 x (*.f64 x #s(literal 1/8 binary64))) x))

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (*.f64 #s(literal 1/8 binary64) (*.f64 x (*.f64 x x)))))

Outputs

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) (fma.f64 x (*.f64 x (*.f64 x #s(literal 1/8 binary64))) x))

#s(approx (- (sqrt (+ 1 x)) (sqrt (- 1 x))) #s(approx (+ (* x (* x (* x 1/8))) x) (*.f64 #s(literal 1/8 binary64) (*.f64 x (*.f64 x x)))))

soundness264.0ms (5.7%)

Memory

3.3MiB live, 3.3MiB allocated

Rules

21 484×	`lower-fma.f64`
21 484×	`lower-fma.f32`
18 792×	`lower-fma.f64`
18 792×	`lower-fma.f32`
4 942×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	115	656
1	320	575
2	1119	530
3	5338	511
0	8209	486
0	161	971
1	493	856
2	1729	798
3	7219	798
0	8083	746

Stop Event

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

Compiler

Compiled 38 to 19 computations (50% saved)

preprocess62.0ms (1.3%)

Memory: -4.1MiB live, 35.0MiB allocated
Remove: (negabs x)
Compiler: Compiled 106 to 60 computations (43.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	9	21
1	22	19
2	52	18
3	101	18
4	163	18
5	237	18
6	264	18
7	272	18
0	7	9
0	12	9
1	19	9
2	26	9
3	37	9
4	51	9
5	74	9
6	114	9
7	149	9
8	196	9
9	211	9
10	219	9
0	219	9

Iter	Nodes	Cost
0	7	25
0	12	25
1	19	25
2	26	25
3	37	25
4	51	25
5	74	25
6	114	25
7	149	25
8	196	25
9	211	25
10	219	25
0	219	25

Iter	Nodes	Cost
0	12	36
0	16	36
1	30	36
2	45	34
3	61	34
4	82	34
5	105	34
6	174	34
7	234	34
8	344	34
9	448	34
10	541	34
11	590	34
12	651	34
13	697	34
14	718	34
15	720	34
0	720	32

Iter	Nodes	Cost
0	17	61
0	20	53
1	39	49
2	51	49
3	64	49
4	85	49
5	108	49
6	177	49
7	237	49
8	345	49
9	451	49
10	544	49
11	593	49
12	654	49
13	697	49
14	718	49
15	720	49
0	720	47

Iter	Nodes	Cost
0	9	21
1	22	19
2	52	18
3	101	18
4	163	18
5	237	18
6	264	18
7	272	18
0	7	9
0	12	9
1	19	9
2	26	9
3	37	9
4	51	9
5	74	9
6	114	9
7	149	9
8	196	9
9	211	9
10	219	9
0	219	9

Iter	Nodes	Cost
0	7	25
0	12	25
1	19	25
2	26	25
3	37	25
4	51	25
5	74	25
6	114	25
7	149	25
8	196	25
9	211	25
10	219	25
0	219	25

Iter	Nodes	Cost
0	12	36
0	16	36
1	30	36
2	45	34
3	61	34
4	82	34
5	105	34
6	174	34
7	234	34
8	344	34
9	448	34
10	541	34
11	590	34
12	651	34
13	697	34
14	718	34
15	720	34
0	720	32

Iter	Nodes	Cost
0	17	61
0	20	53
1	39	49
2	51	49
3	64	49
4	85	49
5	108	49
6	177	49
7	237	49
8	345	49
9	451	49
10	544	49
11	593	49
12	654	49
13	697	49
14	718	49
15	720	49
0	720	47

start0.0ms (0%)

analyze0.0ms (0%)

sample2.0s (42.6%)

explain127.0ms (2.7%)

preprocess24.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify9.0ms (0.2%)

localize42.0ms (0.9%)

series7.0ms (0.2%)

simplify405.0ms (8.7%)

rewrite178.0ms (3.8%)

eval41.0ms (0.9%)

prune41.0ms (0.9%)

simplify33.0ms (0.7%)

localize55.0ms (1.2%)

series3.0ms (0.1%)

simplify348.0ms (7.5%)

rewrite257.0ms (5.5%)

eval13.0ms (0.3%)

prune13.0ms (0.3%)

simplify32.0ms (0.7%)

localize68.0ms (1.5%)

series2.0ms (0%)

simplify337.0ms (7.2%)

rewrite261.0ms (5.6%)

eval31.0ms (0.7%)

prune5.0ms (0.1%)

regimes3.0ms (0.1%)

regimes2.0ms (0%)

simplify5.0ms (0.1%)

soundness264.0ms (5.7%)

preprocess62.0ms (1.3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	9	21
1	22	19
2	52	18
3	101	18
4	163	18
5	237	18
6	264	18
7	272	18
0	7	9
0	12	9
1	19	9
2	26	9
3	37	9
4	51	9
5	74	9
6	114	9
7	149	9
8	196	9
9	211	9
10	219	9
0	219	9

Iter	Nodes	Cost
0	7	25
0	12	25
1	19	25
2	26	25
3	37	25
4	51	25
5	74	25
6	114	25
7	149	25
8	196	25
9	211	25
10	219	25
0	219	25

Iter	Nodes	Cost
0	12	36
0	16	36
1	30	36
2	45	34
3	61	34
4	82	34
5	105	34
6	174	34
7	234	34
8	344	34
9	448	34
10	541	34
11	590	34
12	651	34
13	697	34
14	718	34
15	720	34
0	720	32

Iter	Nodes	Cost
0	17	61
0	20	53
1	39	49
2	51	49
3	64	49
4	85	49
5	108	49
6	177	49
7	237	49
8	345	49
9	451	49
10	544	49
11	593	49
12	654	49
13	697	49
14	718	49
15	720	49
0	720	47