Metrics for ENA, Section 1.4, Exercise 4b, n=2

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 26 to 18 computations (30.8% saved)

Precisions

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

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

ival-<=: 0.0ms (0% of total)

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

sample1.7s (41.9%)

Results

612.0ms	5172×	0	valid
513.0ms	2537×	1	valid
220.0ms	547×	2	valid

Precisions

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

ival-pow: 330.0ms (38% of total)

ival-<=: 136.0ms (15.6% of total)

ival-add: 133.0ms (15.3% of total)

backward-pass: 119.0ms (13.7% of total)

ival-sub: 90.0ms (10.4% of total)

ival-and: 35.0ms (4% of total)

const: 26.0ms (3% of total)

Bogosity

preprocess197.0ms (4.9%)

Algorithm

2×	egg-herbie

Rules

1814×	`+-lowering-+.f64`
1814×	`+-lowering-+.f32`
1748×	`fmsub-define`
1686×	`fma-lowering-fma.f32`
1686×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	64
1	51	44
2	178	42
3	704	40
4	4141	36
5	7959	36
0	7	9
1	12	7
2	36	7
3	107	7
4	504	6
5	1631	6
6	3488	6
0	8225	6

Stop Event

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

Calls

Call 1

Inputs
(- (pow (+ x eps) 2) (pow x 2))

Outputs
(- (pow (+ x eps) 2) (pow x 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))

Call 2

Inputs
(- (pow (+ x eps) 2) (pow x 2))
(- (pow (+ (neg x) eps) 2) (pow (neg x) 2))
(- (pow (+ x (neg eps)) 2) (pow x 2))
(neg (- (pow (+ (neg x) eps) 2) (pow (neg x) 2)))
(neg (- (pow (+ x (neg eps)) 2) (pow x 2)))
(- (pow (+ eps x) 2) (pow eps 2))

Outputs
(- (pow (+ x eps) 2) (pow x 2))
(* eps (sum3 x eps x))
(- (pow (+ (neg x) eps) 2) (pow (neg x) 2))
(* eps (fma x -2 eps))
(- (pow (+ x (neg eps)) 2) (pow x 2))
(* eps (fma x -2 eps))
(neg (- (pow (+ (neg x) eps) 2) (pow (neg x) 2)))
(* eps (fnmsub x -2 eps))
(neg (- (pow (+ x (neg eps)) 2) (pow x 2)))
(* eps (fnmsub x -2 eps))
(- (pow (+ eps x) 2) (pow eps 2))
(* x (sum3 x eps eps))

explain133.0ms (3.3%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
81	2	(8.298807774559597e-75 2.932896945488677e-249)	-	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`
0	0	-	-	`x`
0	75	(8.784368171293902e-249 1.5096079424307396e-106)	-	`(pow.f64 (+.f64 x eps) #s(literal 2 binary64))`
0	0	-	-	`(+.f64 x eps)`
0	0	-	-	`#s(literal 2 binary64)`
0	0	-	-	`(pow.f64 x #s(literal 2 binary64))`
0	0	-	-	`eps`

Results

40.0ms	190×	1	valid
35.0ms	294×	0	valid
16.0ms	28×	2	valid

Compiler

Compiled 63 to 23 computations (63.5% saved)

Precisions

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

ival-pow: 20.0ms (54.5% of total)

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

backward-pass: 6.0ms (16.3% of total)

ival-sub: 4.0ms (10.9% of total)

const: 1.0ms (2.7% of total)

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	72.5%	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
▶	100.0%	(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))

Compiler

Compiled 20 to 13 computations (35% saved)

simplify147.0ms (3.7%)

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(+.f64 x eps)
✓	cost-diff	256	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
✓	cost-diff	6208	(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
✓	cost-diff	6336	(pow.f64 x #s(literal 2 binary64))
✓	cost-diff	0	(*.f64 x #s(literal -2 binary64))
✓	cost-diff	0	(-.f64 eps (*.f64 x #s(literal -2 binary64)))
✓	cost-diff	0	(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))

Rules

2542×	`+-lowering-+.f64`
2542×	`+-lowering-+.f32`
1740×	`sum4-define`
1458×	`fma-define`
1436×	`--lowering--.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	23	37
2	61	34
3	173	34
4	667	34
5	3101	34
6	7838	34
0	8398	34

Stop Event

1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(* eps (- eps (* x -2)))
eps
(- eps (* x -2))
(* x -2)
x
-2
(- (pow (+ x eps) 2) (pow x 2))
(pow (+ x eps) 2)
(+ x eps)
x
eps
2
(pow x 2)

Outputs
(* eps (- eps (* x -2)))
(.f64 eps (+.f64 eps (.f64 x #s(literal 2 binary64))))
eps
(- eps (* x -2))
(+.f64 eps (*.f64 x #s(literal 2 binary64)))
(* x -2)
(*.f64 x #s(literal -2 binary64))
x
-2
#s(literal -2 binary64)
(- (pow (+ x eps) 2) (pow x 2))
(.f64 eps (+.f64 eps (.f64 x #s(literal 2 binary64))))
(pow (+ x eps) 2)
(*.f64 (+.f64 eps x) (+.f64 eps x))
(+ x eps)
(+.f64 eps x)
x
eps
2
#s(literal 2 binary64)
(pow x 2)
(*.f64 x x)

localize89.0ms (2.2%)

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(pow.f64 x #s(literal 2 binary64))
✓	accuracy	100.0%	(+.f64 x eps)
✓	accuracy	100.0%	(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
✓	accuracy	72.5%	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
✓	accuracy	100.0%	(-.f64 eps (*.f64 x #s(literal -2 binary64)))
✓	accuracy	100.0%	(*.f64 x #s(literal -2 binary64))
✓	accuracy	100.0%	(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))

Results

31.0ms	95×	1	valid
25.0ms	147×	0	valid
8.0ms	14×	2	valid

Compiler

Compiled 44 to 12 computations (72.7% saved)

Precisions

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

ival-pow: 8.0ms (30.6% of total)

ival-mult: 6.0ms (23% of total)

backward-pass: 4.0ms (15.3% of total)

ival-sub: 4.0ms (15.3% of total)

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

const: 1.0ms (3.8% of total)

series9.0ms (0.2%)

Counts

7 → 144

Calls

Call 1

Inputs
#<alt (* eps (- eps (* x -2)))>
#<alt (- eps (* x -2))>
#<alt (* x -2)>
#<alt (pow x 2)>
#<alt (pow (+ x eps) 2)>
#<alt (- (pow (+ x eps) 2) (pow x 2))>
#<alt (+ x eps)>

Outputs
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 x)>
#<alt (- eps (* -2 x))>
#<alt (- eps (* -2 x))>
#<alt (- eps (* -2 x))>
#<alt eps>
#<alt (* eps (+ 1 (* 2 (/ x eps))))>
#<alt (* eps (+ 1 (* 2 (/ x eps))))>
#<alt (* eps (+ 1 (* 2 (/ x eps))))>
#<alt eps>
#<alt (* -1 (* eps (- (* -2 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -2 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -2 (/ x eps)) 1)))>
#<alt eps>
#<alt (+ eps (* 2 x))>
#<alt (+ eps (* 2 x))>
#<alt (+ eps (* 2 x))>
#<alt (* 2 x)>
#<alt (* x (+ 2 (/ eps x)))>
#<alt (* x (+ 2 (/ eps x)))>
#<alt (* x (+ 2 (/ eps x)))>
#<alt (* 2 x)>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 2)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 2)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 2)))>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (* -2 x)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* x (+ x (* 2 eps))) (pow eps 2))>
#<alt (+ (* x (+ x (* 2 eps))) (pow eps 2))>
#<alt (pow x 2)>
#<alt (* (pow x 2) (+ 1 (* 2 (/ eps x))))>
#<alt (* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))>
#<alt (* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))>
#<alt (pow x 2)>
#<alt (* (pow x 2) (+ 1 (* 2 (/ eps x))))>
#<alt (* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))>
#<alt (* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))>
#<alt (pow x 2)>
#<alt (+ (* 2 (* eps x)) (pow x 2))>
#<alt (+ (* eps (+ eps (* 2 x))) (pow x 2))>
#<alt (+ (* eps (+ eps (* 2 x))) (pow x 2))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))>
#<alt (* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))>
#<alt (* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt eps>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt x>
#<alt (* x (+ 1 (/ eps x)))>
#<alt (* x (+ 1 (/ eps x)))>
#<alt (* x (+ 1 (/ eps x)))>
#<alt x>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 1)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 1)))>
#<alt (* -1 (* x (- (* -1 (/ eps x)) 1)))>
#<alt x>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt (+ eps x)>
#<alt eps>
#<alt (* eps (+ 1 (/ x eps)))>
#<alt (* eps (+ 1 (/ x eps)))>
#<alt (* eps (+ 1 (/ x eps)))>
#<alt eps>
#<alt (* -1 (* eps (- (* -1 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -1 (/ x eps)) 1)))>
#<alt (* -1 (* eps (- (* -1 (/ x eps)) 1)))>

Calls

36 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(* x -2)
1.0ms	x	@	inf	(pow x 2)
1.0ms	x	@	0	(* eps (- eps (* x -2)))
1.0ms	eps	@	inf	(* eps (- eps (* x -2)))
0.0ms	eps	@	0	(* eps (- eps (* x -2)))

rewrite299.0ms (7.5%)

Algorithm

1×	batch-egg-rewrite

Rules

4694×	`-lowering-.f32`
4694×	`-lowering-.f64`
2860×	`/-lowering-/.f32`
2860×	`/-lowering-/.f64`
1528×	`+-lowering-+.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	69	31
2	590	29
3	7886	29
0	8068	29

Stop Event

1×	iter limit
1×	node limit

Counts

7 → 361

Calls

Call 1

Inputs
(* eps (- eps (* x -2)))
(- eps (* x -2))
(* x -2)
(pow x 2)
(pow (+ x eps) 2)
(- (pow (+ x eps) 2) (pow x 2))
(+ x eps)

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

simplify207.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

2012×	`-lowering-.f32`
2012×	`-lowering-.f64`
1976×	`fnmsub-define`
1856×	`fma-lowering-fma.f32`
1856×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	80	726
1	268	615
2	775	615
3	2483	606
4	6209	606
0	8649	606

Stop Event

1×	iter limit
1×	node limit

Counts

144 → 144

Calls

Call 1

Inputs
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 x)
(- eps (* -2 x))
(- eps (* -2 x))
(- eps (* -2 x))
eps
(* eps (+ 1 (* 2 (/ x eps))))
(* eps (+ 1 (* 2 (/ x eps))))
(* eps (+ 1 (* 2 (/ x eps))))
eps
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
eps
(+ eps (* 2 x))
(+ eps (* 2 x))
(+ eps (* 2 x))
(* 2 x)
(* x (+ 2 (/ eps x)))
(* x (+ 2 (/ eps x)))
(* x (+ 2 (/ eps x)))
(* 2 x)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(* -2 x)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(pow x 2)
(+ (* 2 (* eps x)) (pow x 2))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
eps
(+ eps x)
(+ eps x)
(+ eps x)
x
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
x
(+ eps x)
(+ eps x)
(+ eps x)
eps
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))

Outputs
(* 2 (* eps x))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(* eps (+ eps (* 2 x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* eps (+ eps (* 2 x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* eps (+ eps (* 2 x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* 2 (* eps x))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* 2 (* eps x))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(- eps (* -2 x))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(- eps (* -2 x))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(- eps (* -2 x))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
eps
(* eps (+ 1 (* 2 (/ x eps))))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* eps (+ 1 (* 2 (/ x eps))))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* eps (+ 1 (* 2 (/ x eps))))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
eps
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
eps
(+ eps (* 2 x))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(+ eps (* 2 x))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(+ eps (* 2 x))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (+ 2 (/ eps x)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* x (+ 2 (/ eps x)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* x (+ 2 (/ eps x)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(-.f64 eps (*.f64 x #s(literal -2 binary64)))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(* -2 x)
(*.f64 x #s(literal -2 binary64))
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(.f64 x (+.f64 x (.f64 #s(literal 2 binary64) eps)))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(.f64 x (+.f64 x (.f64 #s(literal 2 binary64) eps)))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(pow x 2)
(*.f64 x x)
(+ (* 2 (* eps x)) (pow x 2))
(.f64 x (+.f64 x (.f64 #s(literal 2 binary64) eps)))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(.f64 eps (+.f64 eps (.f64 x (-.f64 (/.f64 x eps) #s(literal -2 binary64)))))
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* 2 (* eps x))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* 2 (* eps x))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* 2 (* eps x))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(* eps (+ eps (* 2 x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* eps (+ eps (* 2 x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* eps (+ eps (* 2 x)))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
eps
(+ eps x)
(+.f64 eps x)
(+ eps x)
(+.f64 eps x)
(+ eps x)
(+.f64 eps x)
x
(* x (+ 1 (/ eps x)))
(+.f64 eps x)
(* x (+ 1 (/ eps x)))
(+.f64 eps x)
(* x (+ 1 (/ eps x)))
(+.f64 eps x)
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 eps x)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 eps x)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 eps x)
x
(+ eps x)
(+.f64 eps x)
(+ eps x)
(+.f64 eps x)
(+ eps x)
(+.f64 eps x)
eps
(* eps (+ 1 (/ x eps)))
(+.f64 eps x)
(* eps (+ 1 (/ x eps)))
(+.f64 eps x)
(* eps (+ 1 (/ x eps)))
(+.f64 eps x)
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 eps x)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 eps x)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 eps x)

eval58.0ms (1.4%)

Compiler: Compiled 15852 to 1267 computations (92% saved)

prune49.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	502	3	505
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	503	4	507

Accuracy

100.0%

Counts

507 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (.f64 eps (.f64 x #s(literal 2 binary64))) (*.f64 eps eps))
✓	100.0%	(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
▶	69.6%	(.f64 eps (.f64 #s(literal 2 binary64) x))
▶	70.8%	(*.f64 eps eps)

Compiler

Compiled 32 to 21 computations (34.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 eps eps)
✓	cost-diff	0	(*.f64 x #s(literal 2 binary64))
✓	cost-diff	0	(.f64 eps (.f64 x #s(literal 2 binary64)))
✓	cost-diff	128	(+.f64 (.f64 eps (.f64 x #s(literal 2 binary64))) (*.f64 eps eps))
✓	cost-diff	0	(*.f64 #s(literal 2 binary64) x)
✓	cost-diff	0	(.f64 eps (.f64 #s(literal 2 binary64) x))
✓	cost-diff	0	(*.f64 eps eps)

Rules

30×	`-lowering-.f32`
30×	`-lowering-.f64`
18×	`fma-lowering-fma.f32`
18×	`fma-define`
18×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	20	33
2	35	33
3	37	33
0	37	33

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* eps eps)
eps
(* eps (* 2 x))
eps
(* 2 x)
2
x
(+ (* eps (* x 2)) (* eps eps))
(* eps (* x 2))
eps
(* x 2)
x
2
(* eps eps)

Outputs
(* eps eps)
(*.f64 eps eps)
eps
(* eps (* 2 x))
(.f64 x (.f64 eps #s(literal 2 binary64)))
eps
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
2
#s(literal 2 binary64)
x
(+ (* eps (* x 2)) (* eps eps))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* eps (* x 2))
(.f64 x (.f64 eps #s(literal 2 binary64)))
eps
(* x 2)
(*.f64 #s(literal 2 binary64) x)
x
2
#s(literal 2 binary64)
(* eps eps)
(*.f64 eps eps)

localize50.0ms (1.3%)

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 x #s(literal 2 binary64))
✓	accuracy	100.0%	(.f64 eps (.f64 x #s(literal 2 binary64)))
✓	accuracy	100.0%	(*.f64 eps eps)
✓	accuracy	100.0%	(+.f64 (.f64 eps (.f64 x #s(literal 2 binary64))) (*.f64 eps eps))
✓	accuracy	100.0%	(.f64 eps (.f64 #s(literal 2 binary64) x))
✓	accuracy	100.0%	(*.f64 #s(literal 2 binary64) x)
✓	accuracy	100.0%	(*.f64 eps eps)

Results

38.0ms

256×

valid

Compiler

Compiled 41 to 10 computations (75.6% saved)

Precisions

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

ival-mult: 9.0ms (79.7% of total)

ival-add: 1.0ms (8.9% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series15.0ms (0.4%)

Counts

6 → 108

Calls

Call 1

Inputs
#<alt (* eps eps)>
#<alt (* eps (* 2 x))>
#<alt (* 2 x)>
#<alt (+ (* eps (* x 2)) (* eps eps))>
#<alt (* eps (* x 2))>
#<alt (* x 2)>

Outputs
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (pow eps 2)>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 (* eps x))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (* eps (+ eps (* 2 x)))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (* (pow eps 2) (+ 1 (* 2 (/ x eps))))>
#<alt (pow eps 2)>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (+ (* 2 (* eps x)) (pow eps 2))>
#<alt (* 2 (* eps x))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* x (+ (* 2 eps) (/ (pow eps 2) x)))>
#<alt (* 2 (* eps x))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 (* eps x))>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>

Calls

27 calls:

Time	Variable		Point	Expression
5.0ms	eps	@	inf	(* eps eps)
5.0ms	eps	@	0	(* eps (* 2 x))
1.0ms	x	@	0	(* eps (* 2 x))
0.0ms	x	@	inf	(* eps (* 2 x))
0.0ms	eps	@	inf	(* eps (* 2 x))

rewrite229.0ms (5.7%)

Algorithm

1×	batch-egg-rewrite

Rules

3512×	`-lowering-.f32`
3512×	`-lowering-.f64`
1678×	`pow-lowering-pow.f64`
1678×	`pow-lowering-pow.f32`
1608×	`sum3-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	34	24
2	259	24
3	3267	24
0	8104	24

Stop Event

1×	iter limit
1×	node limit

Counts

6 → 135

Calls

Call 1

Inputs
(* eps eps)
(* eps (* 2 x))
(* 2 x)
(+ (* eps (* x 2)) (* eps eps))
(* eps (* x 2))
(* x 2)

Outputs
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 eps)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 eps)) #s(literal 1 binary64)))
(exp.f64 (-.f64 (*.f64 (log.f64 eps) #s(literal 3 binary64)) (log.f64 eps)))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 eps)) #s(literal 3/2 binary64)) (log.f64 eps)))
(/.f64 (.f64 eps (.f64 eps eps)) eps)
(pow.f64 eps #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 eps))
(*.f64 eps eps)
(exp.f64 (log.f64 (.f64 eps (.f64 #s(literal 2 binary64) x))))
(exp.f64 (.f64 (log.f64 (.f64 eps (*.f64 #s(literal 2 binary64) x))) #s(literal 1 binary64)))
(pow.f64 (.f64 eps (.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(.f64 eps (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1 binary64)))
(.f64 eps (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(.f64 #s(literal 2 binary64) (pow.f64 (.f64 eps x) #s(literal 1 binary64)))
(.f64 x (.f64 eps #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(.f64 (.f64 eps #s(literal 2 binary64)) x)
(.f64 (.f64 eps x) #s(literal 2 binary64))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1 binary64)) eps)
(.f64 (pow.f64 (.f64 eps x) #s(literal 1 binary64)) #s(literal 2 binary64))
(.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 (.f64 eps #s(literal 2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 eps #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 (.f64 eps #s(literal 2 binary64)))))
(.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) x))) eps)
(.f64 (exp.f64 (log.f64 (.f64 eps x))) (exp.f64 (log.f64 #s(literal 2 binary64))))
(.f64 (exp.f64 (log.f64 (.f64 eps #s(literal 2 binary64)))) (exp.f64 (log.f64 x)))
(.f64 (exp.f64 (log.f64 #s(literal 2 binary64))) (exp.f64 (log.f64 (.f64 eps x))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(+.f64 (.f64 eps eps) (.f64 eps (*.f64 #s(literal 2 binary64) x)))
(+.f64 (.f64 eps (.f64 #s(literal 2 binary64) x)) (*.f64 eps eps))
(+.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (neg.f64 (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (*.f64 #s(literal 2 binary64) x) eps))))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (*.f64 #s(literal 2 binary64) x))))) #s(literal -1 binary64)))
(-.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (*.f64 #s(literal 2 binary64) x) eps)))
(-.f64 (/.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))) (/.f64 (.f64 x (.f64 eps (.f64 #s(literal 4 binary64) (.f64 eps x)))) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x)))))
(fma.f64 eps eps (.f64 eps (.f64 #s(literal 2 binary64) x)))
(fma.f64 eps (.f64 #s(literal 2 binary64) x) (.f64 eps eps))
(fma.f64 #s(literal 2 binary64) (.f64 eps x) (.f64 eps eps))
(fma.f64 x (.f64 eps #s(literal 2 binary64)) (.f64 eps eps))
(fma.f64 (.f64 #s(literal 2 binary64) x) eps (.f64 eps eps))
(fma.f64 (.f64 eps #s(literal 2 binary64)) x (.f64 eps eps))
(fma.f64 (.f64 eps x) #s(literal 2 binary64) (.f64 eps eps))
(neg.f64 (/.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))))
(neg.f64 (/.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (-.f64 #s(literal 0 binary64) (.f64 eps (-.f64 (*.f64 #s(literal 2 binary64) x) eps)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64))))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) (.f64 eps (-.f64 (*.f64 #s(literal 2 binary64) x) eps))))
(/.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))
(/.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 eps (-.f64 (*.f64 #s(literal 2 binary64) x) eps)))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64))))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) (-.f64 #s(literal 0 binary64) (.f64 eps (-.f64 (*.f64 #s(literal 2 binary64) x) eps))))
(/.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 eps (.f64 eps eps))) #s(literal 512 binary64)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 eps (.f64 eps (.f64 eps eps))))))) (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (+.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 64 binary64))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (-.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (*.f64 x x)) #s(literal 8 binary64))))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))) (.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (.f64 #s(literal 4 binary64) (*.f64 x x))))))
(/.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))))
(/.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) (.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (+.f64 (.f64 #s(literal 16 binary64) (.f64 (.f64 eps (.f64 x (.f64 eps x))) (.f64 eps (.f64 x (.f64 eps x))))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps)))))))
(/.f64 (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) (.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps)))))
(/.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (.f64 #s(literal 4 binary64) (.f64 x x)))) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))))))
(/.f64 (-.f64 (.f64 (.f64 x (.f64 eps (.f64 #s(literal 4 binary64) (.f64 eps x)))) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (.f64 eps (.f64 eps (.f64 eps eps))))) (.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))))
(/.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 eps (.f64 eps eps))) #s(literal 512 binary64)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 eps (.f64 eps (.f64 eps eps))))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 64 binary64))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (-.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))))
(/.f64 (.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x)))))))
(/.f64 (.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 #s(literal 16 binary64) (.f64 (.f64 eps (.f64 x (.f64 eps x))) (.f64 eps (.f64 x (.f64 eps x))))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))))) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))))
(/.f64 (.f64 (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))))) (neg.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))))) (neg.f64 (-.f64 #s(literal 0 binary64) (.f64 eps (-.f64 (*.f64 #s(literal 2 binary64) x) eps)))))
(/.f64 (neg.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (.f64 #s(literal 4 binary64) (.f64 x x))))) (neg.f64 (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (.f64 (.f64 (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (+.f64 (.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (+.f64 (.f64 (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (*.f64 #s(literal 2 binary64) x) eps))))))
(/.f64 (-.f64 (.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (.f64 (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (+.f64 (.f64 eps (/.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (/.f64 (.f64 eps (.f64 eps eps)) (-.f64 (*.f64 #s(literal 2 binary64) x) eps))))
(/.f64 (.f64 eps (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))
(/.f64 (.f64 eps (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (-.f64 (*.f64 #s(literal 2 binary64) x) eps))
(/.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) #s(literal 1 binary64)) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x))))))
(/.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 eps (.f64 eps eps))) #s(literal 512 binary64)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 eps (.f64 eps (.f64 eps eps))))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))) (+.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 64 binary64))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (-.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (*.f64 x x)) #s(literal 8 binary64)))))))
(/.f64 (.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps)))))
(/.f64 (.f64 (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (+.f64 (.f64 #s(literal 16 binary64) (.f64 (.f64 eps (.f64 x (.f64 eps x))) (.f64 eps (.f64 x (.f64 eps x))))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps))))))
(/.f64 (.f64 (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps))))
(/.f64 (.f64 (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64))) eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))
(/.f64 (.f64 (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)) eps) (-.f64 (*.f64 #s(literal 2 binary64) x) eps))
(/.f64 (/.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) eps) (-.f64 (.f64 #s(literal 2 binary64) x) eps))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))) (.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (.f64 #s(literal 4 binary64) (*.f64 x x))))) #s(literal -1 binary64))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(.f64 (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))) (.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)))))
(.f64 (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))) (/.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (.f64 eps (-.f64 (*.f64 #s(literal 2 binary64) x) eps))))
(.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x)))))))
(.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (.f64 (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))))
(.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (/.f64 (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x)))))))
(.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))))
(.f64 (+.f64 eps (.f64 #s(literal 2 binary64) x)) eps)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (*.f64 #s(literal 2 binary64) x))))))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)))))
(.f64 #s(literal 1 binary64) (.f64 eps (+.f64 eps (*.f64 #s(literal 2 binary64) x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))) (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (*.f64 x x)) #s(literal 8 binary64)))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (*.f64 x x)) #s(literal 8 binary64))))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 eps eps) (.f64 #s(literal 4 binary64) (.f64 x x)))) (/.f64 #s(literal 1 binary64) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))))
(.f64 (/.f64 (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))) eps) (/.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (-.f64 (.f64 #s(literal 2 binary64) x) eps)))
(.f64 (/.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps)))) (.f64 eps (+.f64 eps (*.f64 #s(literal 2 binary64) x))))
(.f64 (/.f64 #s(literal 1 binary64) eps) (pow.f64 (/.f64 (-.f64 (.f64 #s(literal 2 binary64) x) eps) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps)))) #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (+.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 64 binary64))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x)))) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))) (+.f64 (.f64 #s(literal 16 binary64) (.f64 (.f64 eps (.f64 x (.f64 eps x))) (.f64 eps (.f64 x (.f64 eps x))))) (.f64 (.f64 (.f64 eps (.f64 eps eps)) (-.f64 eps (.f64 #s(literal 2 binary64) x))) (-.f64 (.f64 (.f64 eps (.f64 eps eps)) (-.f64 eps (.f64 #s(literal 2 binary64) x))) (.f64 x (.f64 eps (.f64 #s(literal 4 binary64) (.f64 eps x))))))))
(.f64 (/.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))))
(.f64 (/.f64 (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))) (+.f64 (.f64 x (.f64 eps (.f64 #s(literal 4 binary64) (.f64 eps x)))) (.f64 (.f64 eps eps) (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x))))))
(.f64 (pow.f64 (/.f64 eps (.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))) #s(literal -1 binary64)) (pow.f64 (/.f64 (-.f64 (.f64 #s(literal 2 binary64) x) eps) (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 16 binary64) (.f64 (.f64 eps (.f64 x (.f64 eps x))) (.f64 eps (.f64 x (.f64 eps x))))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps)))))))
(.f64 (pow.f64 (/.f64 (.f64 eps (-.f64 (.f64 #s(literal 2 binary64) x) eps)) (.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))) (.f64 (.f64 eps eps) (-.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps eps))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (*.f64 eps eps)))))
(.f64 (pow.f64 (/.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (+.f64 (.f64 (.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 eps (.f64 eps eps))) #s(literal 512 binary64)) (.f64 (.f64 x (.f64 x x)) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 (.f64 eps (.f64 eps (.f64 eps eps))) (.f64 eps (.f64 eps (.f64 eps eps)))))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))) #s(literal 64 binary64))) (.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (-.f64 (.f64 (.f64 eps eps) (.f64 eps (.f64 eps (.f64 eps eps)))) (.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (*.f64 x x)) #s(literal 8 binary64))))))))
(.f64 (pow.f64 (/.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 #s(literal 4 binary64) (.f64 x x)) (.f64 eps (-.f64 eps (.f64 #s(literal 2 binary64) x))))) (.f64 (.f64 (.f64 eps (.f64 eps eps)) (+.f64 (.f64 eps (.f64 eps eps)) (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)))) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 eps (.f64 eps eps)) (-.f64 (.f64 (.f64 x (.f64 x x)) #s(literal 8 binary64)) (.f64 eps (.f64 eps eps))))))
(exp.f64 (log.f64 (.f64 eps (.f64 #s(literal 2 binary64) x))))
(exp.f64 (.f64 (log.f64 (.f64 eps (*.f64 #s(literal 2 binary64) x))) #s(literal 1 binary64)))
(pow.f64 (.f64 eps (.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(.f64 eps (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1 binary64)))
(.f64 eps (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) x))))
(.f64 #s(literal 2 binary64) (.f64 eps x))
(.f64 #s(literal 2 binary64) (pow.f64 (.f64 eps x) #s(literal 1 binary64)))
(.f64 x (.f64 eps #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(.f64 (.f64 eps #s(literal 2 binary64)) x)
(.f64 (.f64 eps x) #s(literal 2 binary64))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1 binary64)) eps)
(.f64 (pow.f64 (.f64 eps x) #s(literal 1 binary64)) #s(literal 2 binary64))
(.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 (.f64 eps #s(literal 2 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 eps #s(literal 2 binary64)) #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 (.f64 eps #s(literal 2 binary64)))))
(.f64 (exp.f64 (log.f64 (.f64 #s(literal 2 binary64) x))) eps)
(.f64 (exp.f64 (log.f64 (.f64 eps x))) (exp.f64 (log.f64 #s(literal 2 binary64))))
(.f64 (exp.f64 (log.f64 (.f64 eps #s(literal 2 binary64)))) (exp.f64 (log.f64 x)))
(.f64 (exp.f64 (log.f64 #s(literal 2 binary64))) (exp.f64 (log.f64 (.f64 eps x))))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))

simplify129.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1986×	`-lowering-.f32`
1986×	`-lowering-.f64`
1654×	`fnmadd-define`
1516×	`fma-define`
986×	`fma-lowering-fma.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	498
1	79	465
2	219	465
3	550	465
4	1695	465
5	3736	465
6	7925	465
0	8297	465

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 108

Calls

Call 1

Inputs
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)

Outputs
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* eps (+ eps (* 2 x)))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* eps (+ eps (* 2 x)))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* eps (+ eps (* 2 x)))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(+ (* 2 (* eps x)) (pow eps 2))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(.f64 eps (+.f64 eps (.f64 #s(literal 2 binary64) x)))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 (* eps x))
(.f64 eps (.f64 #s(literal 2 binary64) x))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)

eval33.0ms (0.8%)

Compiler: Compiled 4767 to 343 computations (92.8% saved)

prune20.0ms (0.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	264	0	264
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	264	4	268

Accuracy

100.0%

Counts

268 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 eps (.f64 x #s(literal 2 binary64))) (*.f64 eps eps))
✓	100.0%	(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
✓	69.6%	(.f64 eps (.f64 #s(literal 2 binary64) x))
✓	70.8%	(*.f64 eps eps)

Compiler

Compiled 67 to 38 computations (43.3% saved)

regimes8.0ms (0.2%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 eps eps)
(.f64 eps (.f64 #s(literal 2 binary64) x))
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(+.f64 (.f64 eps (.f64 x #s(literal 2 binary64))) (*.f64 eps eps))
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Outputs
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))

Calls

3 calls:

3.0ms	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
2.0ms	eps
2.0ms	x

Results

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes3.0ms (0.1%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 eps eps)
(.f64 eps (.f64 #s(literal 2 binary64) x))

Outputs
(.f64 eps (.f64 #s(literal 2 binary64) x))
(*.f64 eps eps)
(.f64 eps (.f64 #s(literal 2 binary64) x))

Calls

2 calls:

2.0ms	eps
1.0ms	x

Results

Accuracy	Segments	Branch
92.9%	3	`x`
89.6%	3	`eps`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 eps eps)

Outputs
(*.f64 eps eps)

Calls

2 calls:

1.0ms	x
1.0ms	eps

Results

Accuracy	Segments	Branch
70.8%	1	`eps`
70.8%	1	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch57.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
24.0ms	3.532329375952419e-104	6.725686434350837e-98
30.0ms	-8.990125338424193e-102	-5.000715597370658e-106

Results

29.0ms	181×	1	valid
11.0ms	91×	0	valid

Compiler

Compiled 254 to 181 computations (28.7% saved)

Precisions

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

ival-pow: 14.0ms (60.9% of total)

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

backward-pass: 3.0ms (13.1% of total)

ival-sub: 2.0ms (8.7% of total)

const: 0.0ms (0% of total)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
8×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	27
1	28	27
2	40	27
3	46	27
4	50	27
5	51	27

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 eps (-.f64 eps (*.f64 x #s(literal -2 binary64))))

(if (<=.f64 x #s(literal -378259259485387/2521728396569246669585858566409191283525103313309788586748690777871726193375821479130513040312634601011624191379636224 binary64)) (*.f64 eps (*.f64 #s(literal 2 binary64) x)) (if (<=.f64 x #s(literal 3833027162785255/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) (*.f64 eps eps) (*.f64 eps (*.f64 #s(literal 2 binary64) x))))

(*.f64 eps eps)

Outputs
(.f64 eps (-.f64 eps (.f64 x #s(literal -2 binary64))))
(if (<=.f64 x #s(literal -378259259485387/2521728396569246669585858566409191283525103313309788586748690777871726193375821479130513040312634601011624191379636224 binary64)) (.f64 eps (.f64 #s(literal 2 binary64) x)) (if (<=.f64 x #s(literal 3833027162785255/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) (.f64 eps eps) (.f64 eps (*.f64 #s(literal 2 binary64) x))))
(if (<=.f64 x #s(literal -378259259485387/2521728396569246669585858566409191283525103313309788586748690777871726193375821479130513040312634601011624191379636224 binary64)) (.f64 eps (.f64 x #s(literal 2 binary64))) (if (<=.f64 x #s(literal 3833027162785255/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) (.f64 eps eps) (.f64 eps (*.f64 x #s(literal 2 binary64)))))
(*.f64 eps eps)

soundness554.0ms (13.8%)

Rules

2012×	`-lowering-.f32`
2012×	`-lowering-.f64`
1976×	`fnmsub-define`
1856×	`fma-lowering-fma.f32`
1856×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	12	7
2	36	7
3	107	7
4	504	6
5	1631	6
6	3488	6
0	8225	6
0	80	726
1	268	615
2	775	615
3	2483	606
4	6209	606
0	8649	606

Stop Event

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

Compiler

Compiled 86 to 51 computations (40.7% saved)

preprocess24.0ms (0.6%)

Compiler: Compiled 88 to 46 computations (47.7% saved)

ENA, Section 1.4, Exercise 4b, n=2

analyze0.0ms (0%)

sample1.7s (41.9%)

preprocess197.0ms (4.9%)

explain133.0ms (3.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify147.0ms (3.7%)

localize89.0ms (2.2%)

series9.0ms (0.2%)

rewrite299.0ms (7.5%)

simplify207.0ms (5.2%)

eval58.0ms (1.4%)

prune49.0ms (1.2%)

simplify5.0ms (0.1%)

localize50.0ms (1.3%)

series15.0ms (0.4%)

rewrite229.0ms (5.7%)

simplify129.0ms (3.2%)

eval33.0ms (0.8%)

prune20.0ms (0.5%)

regimes8.0ms (0.2%)

regimes3.0ms (0.1%)

regimes3.0ms (0.1%)

bsearch57.0ms (1.4%)

simplify8.0ms (0.2%)

soundness554.0ms (13.8%)

preprocess24.0ms (0.6%)

end0.0ms (0%)

Profiling