Details

analyze1.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 19 computations (26.9% saved)

sample2.0s (65%)

Results

1.0s	6158×	body	256	valid
513.0ms	1000×	body	1024	valid
281.0ms	1066×	body	512	valid
16.0ms	32×	body	2048	valid

Bogosity

preprocess51.0ms (1.7%)

Algorithm

2×	egg-herbie

Rules

1516×	`associate-+l-`
1070×	`distribute-lft-out`
1060×	`associate-+r-`
976×	`distribute-lft-neg-in`
870×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	31	50
2	106	50
3	260	50
4	971	38
5	3882	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(*.f64 eps (+.f64 x (+.f64 x eps)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 eps eps))
(*.f64 x (+.f64 eps (+.f64 x eps)))
(*.f64 x (+.f64 x (+.f64 eps eps)))

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify68.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1696×	`distribute-lft-out--`
1122×	`distribute-lft-in`
874×	`distribute-rgt-in`
850×	`fma-neg`
748×	`*-commutative`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	21	25
2	67	25
3	170	25
4	548	15
5	2315	15
6	7614	15

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

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

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(*.f64 eps (fma.f64 2 x eps))

eval1.0ms (0%)

Compiler: Compiled 26 to 15 computations (42.3% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	2	1	3
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	3	1	4

Error

0.03%

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.03%	(*.f64 eps (fma.f64 2 x eps))

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.03%	(*.f64 eps (fma.f64 2 x eps))

Compiler

Compiled 15 to 8 computations (46.7% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 eps (fma.f64 2 x eps))
0.0ms	eps	@	-inf	(*.f64 eps (fma.f64 2 x eps))
0.0ms	eps	@	0	(*.f64 eps (fma.f64 2 x eps))
0.0ms	eps	@	inf	(*.f64 eps (fma.f64 2 x eps))
0.0ms	x	@	inf	(*.f64 eps (fma.f64 2 x eps))

rewrite53.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1486×	`add-sqr-sqrt`
1472×	`*-un-lft-identity`
1360×	`add-cube-cbrt`
1342×	`add-cbrt-cube`
1326×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	159	15
2	1820	15

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 eps (fma.f64 2 x eps))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 eps (.f64 2 x)) (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 2 x) eps) (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 eps (fma.f64 2 x eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eps (fma.f64 2 x eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 eps (fma.f64 2 x eps))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 eps (fma.f64 2 x eps))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 eps (*.f64 2 x)) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 eps (fma.f64 2 x eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))))))

simplify76.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1268×	`associate--r+`
1104×	`fma-def`
958×	`log-prod`
918×	`*-commutative`
722×	`distribute-lft-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	540
1	108	540
2	346	540
3	2277	540
4	4808	540
5	7983	540

Stop Event

1×	node limit

Counts

38 → 20

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps (.f64 2 x)) (*.f64 eps eps))
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 2 x eps))) 1)
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (.f64 (log.f64 (.f64 eps (fma.f64 2 x eps))) 1))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))

Outputs
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 eps (.f64 2 x)) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 2 x eps))) 1)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(*.f64 eps (fma.f64 2 x eps))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (.f64 eps (fma.f64 2 x eps))) 1))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(*.f64 eps (fma.f64 2 x eps))

eval3.0ms (0.1%)

Compiler: Compiled 157 to 97 computations (38.2% saved)

prune5.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	17	3	20
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	3	21

Error

Counts

21 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.01%	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
▶	31.84%	(.f64 eps (.f64 2 x))
▶	27.49%	(*.f64 eps eps)

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize3.0ms (0.1%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize5.0ms (0.2%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.01%	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))

Compiler

Compiled 25 to 13 computations (48% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
0.0ms	x	@	0	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
0.0ms	eps	@	0	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
0.0ms	eps	@	inf	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
0.0ms	x	@	-inf	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))

rewrite73.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

936×	`*-commutative`
766×	`unswap-sqr`
576×	`swap-sqr`
416×	`distribute-lft-in`
404×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	195	15
2	2566	15

Stop Event

1×	node limit

Counts

1 → 105

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 x eps)))) (-.f64 1 (.f64 eps eps)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 eps eps))) (-.f64 1 (.f64 2 (.f64 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 2 (.f64 x eps)) (exp.f64 (log1p.f64 (.f64 eps eps)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 eps eps) (exp.f64 (log1p.f64 (.f64 2 (.f64 x eps))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 eps (fma.f64 2 x eps))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 eps (fma.f64 2 x eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 eps (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 eps) (.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 eps) 2) (.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (.f64 (.f64 2 x) (cbrt.f64 eps)) (pow.f64 (cbrt.f64 eps) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (pow.f64 (cbrt.f64 eps) 4) (.f64 (.f64 2 x) (cbrt.f64 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 eps) (+.f64 (.f64 (.f64 2 x) (pow.f64 (cbrt.f64 eps) 2)) (.f64 eps (pow.f64 (cbrt.f64 eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 eps) (+.f64 (.f64 eps (pow.f64 (cbrt.f64 eps) 2)) (.f64 (.f64 2 x) (pow.f64 (cbrt.f64 eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 2 x eps) eps)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 eps) (fma.f64 2 x eps)) (sqrt.f64 eps))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 eps) (fma.f64 2 x eps)) (pow.f64 (cbrt.f64 eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) (/.f64 1 (.f64 eps (-.f64 eps (.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 1 (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 1 (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (.f64 eps (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (.f64 (pow.f64 eps 3) (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) 2))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) 3))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) (-.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) (pow.f64 (.f64 2 (.f64 x eps)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 3/2) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3) 1/6) (pow.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eps (fma.f64 2 x eps)) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) (.f64 eps (-.f64 eps (.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (-.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 4 (.f64 x x)) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eps (-.f64 (.f64 4 (.f64 x x)) (.f64 eps eps))) (-.f64 (.f64 2 x) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 eps (+.f64 (pow.f64 (.f64 2 x) 3) (pow.f64 eps 3))) (+.f64 (.f64 4 (.f64 x x)) (.f64 eps (-.f64 eps (.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) 1) (.f64 eps (-.f64 eps (.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) 1) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) 1) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 4 (.f64 x x)) (.f64 eps eps)) eps) (-.f64 (.f64 2 x) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (.f64 2 x) 3) (pow.f64 eps 3)) eps) (+.f64 (.f64 4 (.f64 x x)) (.f64 eps (-.f64 eps (.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps)))) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps)))) (+.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 4 (.f64 x x)) (pow.f64 eps 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (-.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) eps) (-.f64 (.f64 2 x) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) 1) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (.f64 2 (.f64 x eps))))) (-.f64 (sqrt.f64 (.f64 2 (.f64 x eps))) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) 1) (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (.f64 (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))) 1) (+.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2)))) (.f64 (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eps (fma.f64 2 x eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 eps (fma.f64 2 x eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (.f64 x eps) (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 2 x) eps (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 eps (.f64 2 x) (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 eps eps (.f64 2 (.f64 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 2 (.f64 x eps)) (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 eps eps) (.f64 2 (.f64 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 2 (.f64 x eps))) (sqrt.f64 (.f64 2 (.f64 x eps))) (.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 eps) 4) (pow.f64 (cbrt.f64 eps) 2) (.f64 2 (.f64 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x eps))) 2) (cbrt.f64 (.f64 2 (.f64 x eps))) (.f64 eps eps))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 2 (*.f64 x eps)))) (-.f64 1 (*.f64 eps eps)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 eps eps))) (-.f64 1 (*.f64 2 (*.f64 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 4 (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (pow.f64 (*.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 2 (*.f64 x eps)) (exp.f64 (log1p.f64 (*.f64 eps eps)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 eps eps) (exp.f64 (log1p.f64 (*.f64 2 (*.f64 x eps))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 eps (fma.f64 2 x eps))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 eps (fma.f64 2 x eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 eps (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 eps) 2) (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (*.f64 (*.f64 2 x) (cbrt.f64 eps)) (pow.f64 (cbrt.f64 eps) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (pow.f64 (cbrt.f64 eps) 4) (*.f64 (*.f64 2 x) (cbrt.f64 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 eps) (+.f64 (*.f64 (*.f64 2 x) (pow.f64 (cbrt.f64 eps) 2)) (*.f64 eps (pow.f64 (cbrt.f64 eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 eps) (+.f64 (*.f64 eps (pow.f64 (cbrt.f64 eps) 2)) (*.f64 (*.f64 2 x) (pow.f64 (cbrt.f64 eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 2 x eps) eps)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (/.f64 1 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (/.f64 1 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 eps) (fma.f64 2 x eps)) (sqrt.f64 eps))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 eps) (fma.f64 2 x eps)) (pow.f64 (cbrt.f64 eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (*.f64 2 (*.f64 x eps)) 2)) (/.f64 1 (*.f64 eps (-.f64 eps (*.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 eps (-.f64 (*.f64 2 x) eps))) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))) (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 1 (*.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 1 (neg.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (*.f64 eps (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (*.f64 (pow.f64 eps 3) (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 4) (pow.f64 (*.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x))) 2))) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (*.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) 3) (pow.f64 (*.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x))) 3))) (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 4) (*.f64 (*.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x))) (-.f64 (*.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x))) (pow.f64 (*.f64 2 (*.f64 x eps)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))) (*.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6) (pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 eps (fma.f64 2 x eps)) (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (/.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (sqrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))) (/.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (cbrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))) (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (cbrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (*.f64 2 (*.f64 x eps)) 2)) (*.f64 eps (-.f64 eps (*.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 6) (pow.f64 eps 12)) (*.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 4) (pow.f64 eps 8)) (*.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (+.f64 (pow.f64 eps 4) (pow.f64 (*.f64 2 (*.f64 x eps)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (*.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (-.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 6) (pow.f64 eps 12)) (*.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (*.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (+.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 4) (pow.f64 eps 8)) (*.f64 (*.f64 4 (*.f64 x x)) (pow.f64 eps 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (*.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (neg.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 eps (-.f64 (*.f64 4 (*.f64 x x)) (*.f64 eps eps))) (-.f64 (*.f64 2 x) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 eps (+.f64 (pow.f64 (*.f64 2 x) 3) (pow.f64 eps 3))) (+.f64 (*.f64 4 (*.f64 x x)) (*.f64 eps (-.f64 eps (*.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))) (sqrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))) (cbrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (*.f64 2 (*.f64 x eps)) 2)) 1) (*.f64 eps (-.f64 eps (*.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) 1) (*.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) 1) (neg.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 4 (*.f64 x x)) (*.f64 eps eps)) eps) (-.f64 (*.f64 2 x) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (*.f64 2 x) 3) (pow.f64 eps 3)) eps) (+.f64 (*.f64 4 (*.f64 x x)) (*.f64 eps (-.f64 eps (*.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 4) (pow.f64 eps 8)) (/.f64 1 (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (+.f64 (pow.f64 eps 4) (pow.f64 (*.f64 2 (*.f64 x eps)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (/.f64 1 (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (+.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 4) (pow.f64 eps 8)) (*.f64 (*.f64 4 (*.f64 x x)) (pow.f64 eps 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 6) (pow.f64 eps 12)) (/.f64 1 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))) (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (/.f64 1 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))) (-.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 6) (pow.f64 eps 12)) (*.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) 1) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (sqrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)))) (sqrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (*.f64 (cbrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))) (cbrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))) (cbrt.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (*.f64 2 (*.f64 x eps))))) (-.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) eps))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) 1) (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (sqrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))) 1) (+.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (/.f64 4 (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (pow.f64 (*.f64 x eps) 2))) (/.f64 4 (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (pow.f64 (*.f64 x eps) 2)))) (*.f64 (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (*.f64 2 x) eps))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (*.f64 2 x) eps))))) (+.f64 (/.f64 4 (/.f64 (*.f64 eps (-.f64 (*.f64 2 x) eps)) (pow.f64 (*.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)) (*.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)) (neg.f64 (+.f64 (pow.f64 eps 4) (*.f64 (*.f64 2 (*.f64 x eps)) (*.f64 eps (-.f64 (*.f64 2 x) eps)))))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (*.f64 x eps) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 x) eps (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 eps (*.f64 2 x) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 eps eps (*.f64 2 (*.f64 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 2 (*.f64 x eps)) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 eps eps) (*.f64 2 (*.f64 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 2 (*.f64 x eps))) (sqrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 eps) 4) (pow.f64 (cbrt.f64 eps) 2) (*.f64 2 (*.f64 x eps)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x eps))) 2) (cbrt.f64 (*.f64 2 (*.f64 x eps))) (*.f64 eps eps))))))

simplify240.0ms (7.9%)

Algorithm

1×	egg-herbie

Rules

1588×	`associate-*r/`
1562×	`distribute-lft-in`
1352×	`associate-*l/`
690×	`associate-/l/`
674×	`associate-/r/`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	305	7211
1	914	6201
2	3867	6201

Stop Event

1×	node limit

Counts

129 → 187

Calls

Call 1

Inputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 x eps)))) (-.f64 1 (*.f64 eps eps)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(-.f64 (exp.f64 (log1p.f64 (.f64 eps eps))) (-.f64 1 (.f64 2 (*.f64 x eps))))
(-.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (*.f64 2 x) eps))))
(-.f64 (+.f64 (.f64 2 (.f64 x eps)) (exp.f64 (log1p.f64 (*.f64 eps eps)))) 1)
(-.f64 (+.f64 (.f64 eps eps) (exp.f64 (log1p.f64 (.f64 2 (*.f64 x eps))))) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(.f64 1 (.f64 eps (fma.f64 2 x eps)))
(.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(.f64 (sqrt.f64 eps) (.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(.f64 (pow.f64 (cbrt.f64 eps) 2) (.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(.f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (.f64 (*.f64 2 x) (cbrt.f64 eps)) (pow.f64 (cbrt.f64 eps) 4)))
(.f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (pow.f64 (cbrt.f64 eps) 4) (.f64 (*.f64 2 x) (cbrt.f64 eps))))
(.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(.f64 (cbrt.f64 eps) (+.f64 (.f64 (.f64 2 x) (pow.f64 (cbrt.f64 eps) 2)) (.f64 eps (pow.f64 (cbrt.f64 eps) 2))))
(.f64 (cbrt.f64 eps) (+.f64 (.f64 eps (pow.f64 (cbrt.f64 eps) 2)) (.f64 (.f64 2 x) (pow.f64 (cbrt.f64 eps) 2))))
(*.f64 (fma.f64 2 x eps) eps)
(.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (/.f64 1 (.f64 eps (-.f64 (*.f64 2 x) eps))))
(.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(.f64 (.f64 (sqrt.f64 eps) (fma.f64 2 x eps)) (sqrt.f64 eps))
(.f64 (.f64 (cbrt.f64 eps) (fma.f64 2 x eps)) (pow.f64 (cbrt.f64 eps) 2))
(.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) (/.f64 1 (.f64 eps (-.f64 eps (*.f64 2 x)))))
(.f64 (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps))) (-.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))
(.f64 (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 1 (.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps)))))
(.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 1 (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (.f64 eps (fma.f64 2 x eps)))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (.f64 (pow.f64 eps 3) (fma.f64 2 x eps))))
(.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) 2))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x)))))
(.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) 3))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) (-.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) (pow.f64 (.f64 2 (.f64 x eps)) 2)))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))))
(.f64 (.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 3/2) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2))
(.f64 (pow.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3) 1/6) (pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6))
(/.f64 (.f64 eps (fma.f64 2 x eps)) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))
(/.f64 1 (/.f64 1 (*.f64 eps (fma.f64 2 x eps))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (*.f64 eps (fma.f64 2 x eps))))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))
(/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) (.f64 eps (-.f64 eps (.f64 2 x))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (*.f64 x eps)) 2))))
(/.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (-.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))
(/.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 4 (.f64 x x)) (pow.f64 eps 6)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (.f64 eps (-.f64 (.f64 4 (.f64 x x)) (.f64 eps eps))) (-.f64 (*.f64 2 x) eps))
(/.f64 (.f64 eps (+.f64 (pow.f64 (.f64 2 x) 3) (pow.f64 eps 3))) (+.f64 (.f64 4 (.f64 x x)) (.f64 eps (-.f64 eps (.f64 2 x)))))
(/.f64 (.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) 1) (.f64 eps (-.f64 eps (*.f64 2 x))))
(/.f64 (.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) 1) (.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) 1) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (.f64 (-.f64 (.f64 4 (.f64 x x)) (.f64 eps eps)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 2 x) 3) (pow.f64 eps 3)) eps) (+.f64 (.f64 4 (.f64 x x)) (.f64 eps (-.f64 eps (.f64 2 x)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps)))) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (*.f64 x eps)) 2)))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps)))) (+.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 4 (.f64 x x)) (pow.f64 eps 6))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (-.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) 1) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))) (cbrt.f64 (.f64 eps (-.f64 (*.f64 2 x) eps))))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (.f64 2 (.f64 x eps))))) (-.f64 (sqrt.f64 (.f64 2 (.f64 x eps))) eps))
(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) 1) (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (.f64 (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (-.f64 (.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))) 1) (+.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) 1))
(/.f64 (-.f64 (.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2)))) (.f64 (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps)))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps)))))))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 x eps) (.f64 eps eps))
(fma.f64 (.f64 2 x) eps (.f64 eps eps))
(fma.f64 eps (.f64 2 x) (.f64 eps eps))
(fma.f64 eps eps (.f64 2 (.f64 x eps)))
(fma.f64 1 (.f64 2 (.f64 x eps)) (*.f64 eps eps))
(fma.f64 1 (.f64 eps eps) (.f64 2 (*.f64 x eps)))
(fma.f64 (sqrt.f64 (.f64 2 (.f64 x eps))) (sqrt.f64 (.f64 2 (.f64 x eps))) (*.f64 eps eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 4) (pow.f64 (cbrt.f64 eps) 2) (.f64 2 (.f64 x eps)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x eps))) 2) (cbrt.f64 (.f64 2 (.f64 x eps))) (*.f64 eps eps))

Outputs
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 x eps)))) (-.f64 1 (*.f64 eps eps)))
(+.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 eps x)))) 1) (*.f64 eps eps))
(fma.f64 eps eps (expm1.f64 (log1p.f64 (.f64 eps (.f64 2 x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (exp.f64 (log1p.f64 (.f64 eps eps))) (-.f64 1 (.f64 2 (*.f64 x eps))))
(+.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 eps eps))) 1) (.f64 2 (*.f64 eps x)))
(fma.f64 2 (.f64 eps x) (expm1.f64 (log1p.f64 (.f64 eps eps))))
(-.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (*.f64 2 x) eps))))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(-.f64 (+.f64 (.f64 2 (.f64 x eps)) (exp.f64 (log1p.f64 (*.f64 eps eps)))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 eps eps))) 1) (.f64 2 (*.f64 eps x)))
(fma.f64 2 (.f64 eps x) (expm1.f64 (log1p.f64 (.f64 eps eps))))
(-.f64 (+.f64 (.f64 eps eps) (exp.f64 (log1p.f64 (.f64 2 (*.f64 x eps))))) 1)
(+.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 eps x)))) 1) (*.f64 eps eps))
(fma.f64 eps eps (expm1.f64 (log1p.f64 (.f64 eps (.f64 2 x)))))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 1 (.f64 eps (fma.f64 2 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (sqrt.f64 eps) (.f64 (sqrt.f64 eps) (fma.f64 2 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (pow.f64 (cbrt.f64 eps) 2) (.f64 (cbrt.f64 eps) (fma.f64 2 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (.f64 (*.f64 2 x) (cbrt.f64 eps)) (pow.f64 (cbrt.f64 eps) 4)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (pow.f64 (cbrt.f64 eps) 2) (+.f64 (pow.f64 (cbrt.f64 eps) 4) (.f64 (*.f64 2 x) (cbrt.f64 eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (cbrt.f64 eps) (+.f64 (.f64 (.f64 2 x) (pow.f64 (cbrt.f64 eps) 2)) (.f64 eps (pow.f64 (cbrt.f64 eps) 2))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (cbrt.f64 eps) (+.f64 (.f64 eps (pow.f64 (cbrt.f64 eps) 2)) (.f64 (.f64 2 x) (pow.f64 (cbrt.f64 eps) 2))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(*.f64 (fma.f64 2 x eps) eps)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (/.f64 1 (.f64 eps (-.f64 (*.f64 2 x) eps))))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(.f64 (.f64 (sqrt.f64 eps) (fma.f64 2 x eps)) (sqrt.f64 eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 (cbrt.f64 eps) (fma.f64 2 x eps)) (pow.f64 (cbrt.f64 eps) 2))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) (/.f64 1 (.f64 eps (-.f64 eps (*.f64 2 x)))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(.f64 (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps))) (-.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(.f64 (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 1 (.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps)))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 1 (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (.f64 eps (fma.f64 2 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (.f64 (pow.f64 eps 3) (fma.f64 2 x eps))))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (fma.f64 2 x eps) (pow.f64 eps 3))))
(.f64 (/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6))) (fma.f64 (fma.f64 2 x eps) (pow.f64 eps 3) (.f64 4 (pow.f64 (*.f64 eps x) 2))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6)) (fma.f64 (fma.f64 2 x eps) (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 2))))
(.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) 2))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (.f64 (pow.f64 eps 3) (-.f64 eps (*.f64 2 x)))))
(.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 4) (pow.f64 (.f64 (+.f64 eps (.f64 -2 x)) (pow.f64 eps 3)) 2))) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (+.f64 eps (*.f64 -2 x)) (pow.f64 eps 3))))
(.f64 (/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3)) 2))) (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3))))
(.f64 (/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3)) 2))) (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3))))
(.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) 3))) (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) (-.f64 (.f64 (pow.f64 eps 3) (-.f64 eps (.f64 2 x))) (pow.f64 (.f64 2 (.f64 x eps)) 2)))))
(.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) 3) (pow.f64 (.f64 (+.f64 eps (.f64 -2 x)) (pow.f64 eps 3)) 3))) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 4) (.f64 (.f64 (+.f64 eps (.f64 -2 x)) (pow.f64 eps 3)) (-.f64 (.f64 (+.f64 eps (.f64 -2 x)) (pow.f64 eps 3)) (pow.f64 (.f64 2 (.f64 eps x)) 2)))))
(.f64 (/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3)) 3) (pow.f64 (.f64 eps (.f64 2 x)) 6))) (fma.f64 (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3)) (-.f64 (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3)) (.f64 4 (pow.f64 (.f64 eps x) 2))) (pow.f64 (.f64 eps (.f64 2 x)) 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (/.f64 (+.f64 (pow.f64 (.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3)) 3) (pow.f64 (.f64 eps (.f64 2 x)) 6)) (fma.f64 (pow.f64 eps 3) (.f64 (+.f64 eps (.f64 x -2)) (fma.f64 (+.f64 eps (.f64 x -2)) (pow.f64 eps 3) (neg.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2)))) (pow.f64 (.f64 eps (.f64 2 x)) 4))))
(.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (*.f64 eps (fma.f64 2 x eps)))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (.f64 (cbrt.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (cbrt.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))))))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 3/2) (pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3/2))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (pow.f64 (pow.f64 (.f64 eps (fma.f64 2 x eps)) 3) 1/6) (pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/6))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (.f64 eps (fma.f64 2 x eps)) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 1 (/.f64 1 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))
(.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))))
(/.f64 (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2)) (/.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2))))
(/.f64 (.f64 (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2)) (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2))) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))))
(.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4))) (.f64 eps (-.f64 (.f64 2 x) eps))) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 eps x)) 2) (pow.f64 eps 4))))
(/.f64 (sqrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (sqrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)))))
(.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))) (/.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))) (.f64 eps (-.f64 (*.f64 2 x) eps))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))))
(/.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (/.f64 (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (*.f64 eps x)) 3) (pow.f64 eps 6)))))
(/.f64 (cbrt.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6))) (/.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (.f64 (cbrt.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6))) (cbrt.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6))))))
(.f64 (cbrt.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6))) (/.f64 (cbrt.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6))) (/.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (cbrt.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6))))))
(/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 2) (pow.f64 eps 4)))))
(/.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4))) (/.f64 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)))) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)))))
(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))) (cbrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)))) eps) (/.f64 (cbrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))) (-.f64 (*.f64 2 x) eps)))
(.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))) (.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))) (-.f64 (.f64 2 x) eps)) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 2) (pow.f64 eps 4))) eps)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) (.f64 eps (-.f64 eps (.f64 2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 6) (pow.f64 eps 12)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) (.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) (.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (*.f64 x eps)) 2))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 4) (pow.f64 eps 8)) (.f64 eps (.f64 (-.f64 (.f64 2 x) eps) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (*.f64 eps x)) 2)))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 eps 8)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (*.f64 eps x) 2)))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 eps 8)) (.f64 eps (.f64 (-.f64 (.f64 2 x) eps) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (*.f64 2 x)) 2)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))) (-.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6)))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 6) (-.f64 (pow.f64 eps 12) (.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))))
(/.f64 (+.f64 (.f64 512 (pow.f64 (pow.f64 (.f64 eps x) 3) 3)) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (-.f64 (pow.f64 eps 12) (.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (-.f64 (pow.f64 eps 12) (.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6))))))
(/.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 4 (.f64 x x)) (pow.f64 eps 6)))))
(/.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (.f64 eps (-.f64 (.f64 2 x) eps))) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 4) (+.f64 (pow.f64 eps 8) (.f64 4 (.f64 (*.f64 x x) (pow.f64 eps 6))))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (fma.f64 4 (.f64 (pow.f64 eps 6) (.f64 x x)) (+.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 4) (pow.f64 eps 8)))))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) eps) (.f64 (-.f64 (.f64 2 x) eps) (fma.f64 4 (.f64 (pow.f64 eps 6) (.f64 x x)) (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 eps 8)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (.f64 eps (-.f64 (.f64 4 (.f64 x x)) (.f64 eps eps))) (-.f64 (*.f64 2 x) eps))
(/.f64 (.f64 eps (fma.f64 4 (.f64 x x) (neg.f64 (.f64 eps eps)))) (-.f64 (.f64 2 x) eps))
(.f64 (/.f64 eps (-.f64 (.f64 2 x) eps)) (-.f64 (.f64 4 (.f64 x x)) (*.f64 eps eps)))
(.f64 (/.f64 eps (-.f64 (.f64 2 x) eps)) (fma.f64 4 (.f64 x x) (.f64 eps (neg.f64 eps))))
(/.f64 (.f64 eps (+.f64 (pow.f64 (.f64 2 x) 3) (pow.f64 eps 3))) (+.f64 (.f64 4 (.f64 x x)) (.f64 eps (-.f64 eps (.f64 2 x)))))
(/.f64 eps (/.f64 (fma.f64 4 (.f64 x x) (.f64 eps (+.f64 eps (.f64 -2 x)))) (+.f64 (pow.f64 eps 3) (.f64 8 (pow.f64 x 3)))))
(.f64 (/.f64 eps (fma.f64 eps (+.f64 eps (.f64 x -2)) (.f64 4 (.f64 x x)))) (fma.f64 8 (pow.f64 x 3) (pow.f64 eps 3)))
(.f64 (/.f64 eps (fma.f64 eps (+.f64 eps (.f64 x -2)) (.f64 x (.f64 x 4)))) (fma.f64 8 (pow.f64 x 3) (pow.f64 eps 3)))
(/.f64 (.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))))
(.f64 (/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2)))
(.f64 (/.f64 (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2)) (sqrt.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))
(/.f64 (.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (/.f64 (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 eps x)) 2) (pow.f64 eps 4)))))
(.f64 (/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))))
(.f64 (/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (/.f64 (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (cbrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (cbrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))))
(/.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (/.f64 (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 eps x)) 2) (pow.f64 eps 4)))))
(.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))))
(/.f64 (.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 x eps)) 2)) 1) (.f64 eps (-.f64 eps (*.f64 2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (.f64 (neg.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) 1) (.f64 eps (neg.f64 (-.f64 (*.f64 2 x) eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) 1) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))))
(.f64 (/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2)))
(.f64 (/.f64 (hypot.f64 (pow.f64 eps 3) (pow.f64 (.f64 eps (.f64 2 x)) 3/2)) (sqrt.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps))))
(/.f64 (.f64 (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (/.f64 (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (sqrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 eps x)) 2) (pow.f64 eps 4)))))
(.f64 (/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))))
(.f64 (/.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps))))))
(/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (/.f64 (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (cbrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)))) (cbrt.f64 (fma.f64 8 (pow.f64 (*.f64 eps x) 3) (pow.f64 eps 6))))
(/.f64 (.f64 (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2)) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (/.f64 (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (cbrt.f64 (-.f64 (pow.f64 (.f64 2 (*.f64 eps x)) 2) (pow.f64 eps 4)))))
(.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (cbrt.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4))))
(/.f64 (.f64 (-.f64 (.f64 4 (.f64 x x)) (.f64 eps eps)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (.f64 eps (fma.f64 4 (.f64 x x) (neg.f64 (.f64 eps eps)))) (-.f64 (.f64 2 x) eps))
(.f64 (/.f64 eps (-.f64 (.f64 2 x) eps)) (-.f64 (.f64 4 (.f64 x x)) (*.f64 eps eps)))
(.f64 (/.f64 eps (-.f64 (.f64 2 x) eps)) (fma.f64 4 (.f64 x x) (.f64 eps (neg.f64 eps))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 2 x) 3) (pow.f64 eps 3)) eps) (+.f64 (.f64 4 (.f64 x x)) (.f64 eps (-.f64 eps (.f64 2 x)))))
(/.f64 eps (/.f64 (fma.f64 4 (.f64 x x) (.f64 eps (+.f64 eps (.f64 -2 x)))) (+.f64 (pow.f64 eps 3) (.f64 8 (pow.f64 x 3)))))
(.f64 (/.f64 eps (fma.f64 eps (+.f64 eps (.f64 x -2)) (.f64 4 (.f64 x x)))) (fma.f64 8 (pow.f64 x 3) (pow.f64 eps 3)))
(.f64 (/.f64 eps (fma.f64 eps (+.f64 eps (.f64 x -2)) (.f64 x (.f64 x 4)))) (fma.f64 8 (pow.f64 x 3) (pow.f64 eps 3)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps)))) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (*.f64 x eps)) 2)))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 4) (pow.f64 eps 8)) (.f64 eps (.f64 (-.f64 (.f64 2 x) eps) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (*.f64 eps x)) 2)))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 eps 8)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (+.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (*.f64 eps x) 2)))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 eps 8)) (.f64 eps (.f64 (-.f64 (.f64 2 x) eps) (+.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (*.f64 2 x)) 2)))))
(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (/.f64 1 (.f64 eps (-.f64 (.f64 2 x) eps)))) (+.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 4) (pow.f64 eps 8)) (.f64 (.f64 4 (.f64 x x)) (pow.f64 eps 6))))
(/.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) 3) (pow.f64 (pow.f64 eps 4) 3)) (.f64 eps (-.f64 (.f64 2 x) eps))) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 4) (+.f64 (pow.f64 eps 8) (.f64 4 (.f64 (*.f64 x x) (pow.f64 eps 6))))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) (.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (fma.f64 4 (.f64 (pow.f64 eps 6) (.f64 x x)) (+.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 4) (pow.f64 eps 8)))))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) eps) (.f64 (-.f64 (.f64 2 x) eps) (fma.f64 4 (.f64 (pow.f64 eps 6) (.f64 x x)) (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 4) (pow.f64 eps 8)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 6) (pow.f64 eps 12)) (.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) (.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 3) (pow.f64 eps 6))))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (pow.f64 eps 12)) (.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (-.f64 (pow.f64 (.f64 eps (*.f64 2 x)) 3) (pow.f64 eps 6))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (/.f64 1 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (-.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 6) (pow.f64 eps 12)) (.f64 (pow.f64 (.f64 2 (*.f64 x eps)) 3) (pow.f64 eps 6))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps)))) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 6) (-.f64 (pow.f64 eps 12) (.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)))))
(/.f64 (+.f64 (.f64 512 (pow.f64 (pow.f64 (.f64 eps x) 3) 3)) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (-.f64 (pow.f64 eps 12) (.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) 3) (pow.f64 (pow.f64 eps 6) 3)) (.f64 (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (.f64 2 x) eps) (pow.f64 eps 4)) (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 6) (-.f64 (pow.f64 eps 12) (.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6))))))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) 1) (.f64 eps (-.f64 (.f64 2 x) eps)))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps)))) (sqrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))) (cbrt.f64 (.f64 eps (-.f64 (.f64 2 x) eps))))) (cbrt.f64 (.f64 eps (-.f64 (*.f64 2 x) eps))))
(-.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (*.f64 2 x) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (.f64 2 (.f64 x eps))))) (-.f64 (sqrt.f64 (.f64 2 (.f64 x eps))) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (.f64 2 (.f64 eps x))))) (-.f64 (sqrt.f64 (.f64 2 (.f64 eps x))) eps))
(/.f64 (/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (.f64 eps (.f64 2 x))))) (-.f64 (sqrt.f64 (.f64 eps (.f64 2 x))) eps))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) (+.f64 eps (sqrt.f64 (.f64 eps (.f64 2 x))))) (-.f64 (sqrt.f64 (.f64 eps (.f64 2 x))) eps))
(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) 1) (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps)))))) (sqrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (.f64 (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))) (cbrt.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (.f64 2 x) eps))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (-.f64 (.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))) 1) (+.f64 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps)))) 1))
(/.f64 (.f64 (+.f64 1 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))) (.f64 eps (fma.f64 2 x eps))) (+.f64 1 (exp.f64 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))))
(/.f64 (expm1.f64 (.f64 2 (log1p.f64 (.f64 eps (fma.f64 2 x eps))))) (+.f64 1 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))))
(/.f64 (-.f64 (.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2)))) (.f64 (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (/.f64 4 (/.f64 (.f64 eps (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 x eps) 2))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(/.f64 (-.f64 (.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2))) (.f64 (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))) (+.f64 (.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2)) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps)))))
(/.f64 (.f64 (/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps))) (fma.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))) (fma.f64 (/.f64 4 (.f64 eps (-.f64 (.f64 2 x) eps))) (pow.f64 (.f64 eps x) 2) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (*.f64 2 x) eps)))))
(/.f64 (.f64 (/.f64 (/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) eps) (-.f64 (.f64 2 x) eps)) (fma.f64 (/.f64 (/.f64 4 eps) (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 eps x) 2) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps))))) (fma.f64 (/.f64 (/.f64 4 eps) (-.f64 (.f64 2 x) eps)) (pow.f64 (.f64 eps x) 2) (/.f64 (pow.f64 eps 4) (.f64 eps (-.f64 (.f64 2 x) eps)))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 x eps)) 2) (pow.f64 eps 4)) (.f64 eps (neg.f64 (-.f64 (.f64 2 x) eps)))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (.f64 eps (+.f64 eps (.f64 -2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (+.f64 eps (.f64 x -2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 x eps)) 3) (pow.f64 eps 6)) (neg.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 x eps)) (.f64 eps (-.f64 (*.f64 2 x) eps)))))))
(/.f64 (.f64 1 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6))) (+.f64 (pow.f64 eps 4) (.f64 (.f64 (.f64 2 (.f64 eps x)) eps) (-.f64 (.f64 2 x) eps))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 2 (.f64 (.f64 eps x) eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (.f64 (.f64 2 x) (.f64 eps eps)) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 4)))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2))
(fabs.f64 (*.f64 eps (fma.f64 2 x eps)))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 2 (.f64 x eps) (.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (.f64 2 x) eps (.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps (.f64 2 x) (.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps eps (.f64 2 (.f64 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (.f64 2 (.f64 x eps)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (.f64 eps eps) (.f64 2 (*.f64 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (.f64 2 (.f64 x eps))) (sqrt.f64 (.f64 2 (.f64 x eps))) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 4) (pow.f64 (cbrt.f64 eps) 2) (.f64 2 (.f64 x eps)))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x eps))) 2) (cbrt.f64 (.f64 2 (.f64 x eps))) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))

eval139.0ms (4.5%)

Compiler: Compiled 5420 to 3500 computations (35.4% saved)

prune59.0ms (1.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	187	0	187
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	187	3	190

Error

Counts

190 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.01%	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
✓	31.84%	(.f64 eps (.f64 2 x))
✓	27.49%	(*.f64 eps eps)

Compiler

Compiled 23 to 15 computations (34.8% saved)

regimes12.0ms (0.4%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 eps eps)
(.f64 eps (.f64 2 x))
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Outputs
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))

Calls

3 calls:

4.0ms	x
4.0ms	eps
2.0ms	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Results

Error	Segments	Branch
0.01%	1	`x`
0.01%	1	`eps`
0.01%	1	`(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))`

Compiler

Compiled 51 to 31 computations (39.2% saved)

regimes74.0ms (2.4%)

Accuracy

Total -31.9b remaining (-678.7%)

Threshold costs -31.9b (-678.7%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 eps eps)
(.f64 eps (.f64 2 x))

Outputs
(.f64 eps (.f64 2 x))
(*.f64 eps eps)
(.f64 eps (.f64 2 x))

Calls

2 calls:

53.0ms	x
20.0ms	eps

Results

Error	Segments	Branch
7.35%	3	`x`
8.25%	7	`eps`

Compiler

Compiled 16 to 10 computations (37.5% saved)

bsearch36.0ms (1.2%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	5.4907399474175775e-130	1.8365310126938045e-127
20.0ms	-1.1434555084544345e-104	-1.0486319077030402e-105

Results

20.0ms	164×	body	256	valid
13.0ms	60×	body	512	valid

Compiler

Compiled 212 to 152 computations (28.3% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
2×	`+-commutative`
2×	`if-if-or-not`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	77
1	28	77

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))

(if (<=.f64 x -5164499756173817/2582249878086908589655919172003011874329705792829223512830659356540647622016841194629645353280137831435903171972747493376) (*.f64 eps (*.f64 2 x)) (if (<=.f64 x 8877472439961103/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784) (*.f64 eps eps) (*.f64 eps (*.f64 2 x))))

(*.f64 eps eps)

Outputs
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(+.f64 (.f64 eps eps) (.f64 (*.f64 2 x) eps))
(if (<=.f64 x -5164499756173817/2582249878086908589655919172003011874329705792829223512830659356540647622016841194629645353280137831435903171972747493376) (.f64 eps (.f64 2 x)) (if (<=.f64 x 8877472439961103/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784) (.f64 eps eps) (.f64 eps (*.f64 2 x))))
(if (or (<=.f64 x -5164499756173817/2582249878086908589655919172003011874329705792829223512830659356540647622016841194629645353280137831435903171972747493376) (not (<=.f64 x 8877472439961103/48777321098687378615337456715518223527321845979140174232174327494146433419058837814379782860367062049372295798771978482741374619988879457910784))) (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(*.f64 eps eps)

Compiler

Compiled 35 to 23 computations (34.3% saved)

soundness121.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1696×	`distribute-lft-out--`
1122×	`distribute-lft-in`
874×	`distribute-rgt-in`
850×	`fma-neg`
748×	`*-commutative`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	21	25
2	67	25
3	170	25
4	548	15
5	2315	15
6	7614	15

Stop Event

1×	node limit

Compiler

Compiled 120 to 40 computations (66.7% saved)

end22.0ms (0.7%)

Compiler: Compiled 31 to 17 computations (45.2% saved)

Details

analyze1.0ms (0%)

sample2.0s (65%)

preprocess51.0ms (1.7%)

simplify68.0ms (2.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite53.0ms (1.7%)

simplify76.0ms (2.5%)

eval3.0ms (0.1%)

prune5.0ms (0.2%)

localize3.0ms (0.1%)

localize5.0ms (0.2%)

localize10.0ms (0.3%)

series2.0ms (0.1%)

rewrite73.0ms (2.4%)

simplify240.0ms (7.9%)

eval139.0ms (4.5%)

prune59.0ms (1.9%)

regimes12.0ms (0.4%)

regimes74.0ms (2.4%)

bsearch36.0ms (1.2%)

simplify6.0ms (0.2%)

soundness121.0ms (4%)

end22.0ms (0.7%)

Profiling