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

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.6s (30.8%)

Results

1.0s	6196×	256	valid
258.0ms	1039×	512	valid
288.0ms	1007×	1024	valid
5.0ms	14×	2048	valid

Bogosity

preprocess185.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1436×	`fma-def`
1040×	`distribute-lft-neg-in`
918×	`distribute-rgt-neg-in`
856×	`unswap-sqr`
720×	`associate-r`

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
78	1	(5.705293284035125e-92 5.674618551773887e-232)	-	`(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))`
0	0	-	-	`x`
0	76	(4.2398793008661244e-64 -3.414572108417798e-154)	-	`(pow.f64 (+.f64 x eps) 2)`
0	0	-	-	`(+.f64 x eps)`
0	0	-	-	`(pow.f64 x 2)`
0	0	-	-	`2`
0	0	-	-	`eps`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	278
1	73	246
2	212	238
3	896	196
4	4899	196

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2))
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 x (neg.f64 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 eps (+.f64 eps (.f64 x 2)))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(.f64 eps (+.f64 eps (.f64 x 2)))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (-.f64 eps x) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (-.f64 x eps) 2) (pow.f64 x 2))
(.f64 eps (+.f64 eps (.f64 x -2)))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (-.f64 eps x) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (-.f64 x eps) 2) (pow.f64 x 2))
(.f64 eps (+.f64 eps (.f64 x -2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2)))
(+.f64 (neg.f64 (pow.f64 (-.f64 eps x) 2)) (pow.f64 x 2))
(-.f64 (pow.f64 x 2) (pow.f64 (-.f64 eps x) 2))
(.f64 eps (-.f64 (.f64 x 2) eps))
(neg.f64 (-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2)))
(+.f64 (neg.f64 (pow.f64 (-.f64 eps x) 2)) (pow.f64 x 2))
(-.f64 (pow.f64 x 2) (pow.f64 (-.f64 eps x) 2))
(.f64 eps (-.f64 (.f64 x 2) eps))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 eps 2))
(.f64 x (+.f64 x (.f64 2 eps)))

Compiler

Compiled 63 to 36 computations (42.9% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 eps (+.f64 eps (.f64 x 2)))

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize38.0ms (0.7%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	100.0%	x
✓	100.0%	eps
✓	100.0%	2
✓	100.0%	(.f64 eps (+.f64 eps (.f64 x 2)))

Rules

20×	`fma-def`
14×	`*-commutative`
4×	`distribute-rgt-in`
4×	`associate-r`
4×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	66
1	19	58
2	34	58
3	44	58

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 21 to 13 computations (38.1% saved)

series4.0ms (0.1%)

Counts

4 → 24

Calls

12 calls:

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

rewrite590.0ms (11.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1786×	`prod-diff`
614×	`log-prod`
606×	`log1p-expm1-u`
606×	`expm1-log1p-u`
590×	`fma-def`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	37
1	120	33
2	1663	33

Stop Event

1×	node limit

Counts

4 → 112

Calls

Call 1

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

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

simplify374.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

514×	`cancel-sign-sub-inv`
466×	`distribute-rgt-neg-in`
464×	`exp-prod`
446×	`distribute-lft-neg-in`
420×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	3091
1	559	2614
2	2316	2517

Stop Event

1×	node limit

Counts

136 → 139

Calls

Call 1

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

Outputs
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 eps (.f64 x 2)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 0 (*.f64 eps (fma.f64 x 2 eps)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 (pow.f64 eps 2) 1) (.f64 (.f64 eps (.f64 x 2)) 1))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 x 2 eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 x 2 eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 x 2 eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 x 2 eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 x 2 eps)))))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 x 2 eps)))) 1)
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 eps (.f64 x 2)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 eps (.f64 x 2)) 2) (.f64 (pow.f64 eps 2) (.f64 eps (*.f64 x 2))))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 eps (.f64 2 x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (.f64 (pow.f64 eps 3) (.f64 2 x)))))
(/.f64 (+.f64 (pow.f64 eps 6) (.f64 8 (pow.f64 (.f64 eps x) 3))) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (.f64 2 x) (pow.f64 eps 3)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (*.f64 (pow.f64 eps 3) (fma.f64 x -2 eps))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 x 2)) 2)) (-.f64 (pow.f64 eps 2) (.f64 eps (.f64 x 2))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (-.f64 (pow.f64 eps 2) (.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) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (*.f64 eps (fma.f64 x -2 eps)))
(/.f64 (.f64 eps (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3))) (fma.f64 (.f64 x 2) (-.f64 (*.f64 x 2) eps) (pow.f64 eps 2)))
(/.f64 eps (/.f64 (fma.f64 (.f64 2 x) (-.f64 (.f64 2 x) eps) (pow.f64 eps 2)) (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3))))
(.f64 (/.f64 eps (fma.f64 (.f64 2 x) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 2))) (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3)))
(.f64 (/.f64 eps (+.f64 (.f64 4 (pow.f64 x 2)) (*.f64 eps (fma.f64 x -2 eps)))) (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3)))
(/.f64 (.f64 eps (-.f64 (pow.f64 eps 2) (.f64 (pow.f64 x 2) 4))) (+.f64 eps (*.f64 -2 x)))
(/.f64 (-.f64 (pow.f64 eps 2) (.f64 4 (pow.f64 x 2))) (/.f64 (+.f64 eps (.f64 x -2)) eps))
(.f64 (/.f64 eps (fma.f64 x -2 eps)) (fma.f64 eps eps (.f64 (pow.f64 x 2) -4)))
(/.f64 (.f64 (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3)) eps) (fma.f64 (.f64 x 2) (-.f64 (*.f64 x 2) eps) (pow.f64 eps 2)))
(/.f64 eps (/.f64 (fma.f64 (.f64 2 x) (-.f64 (.f64 2 x) eps) (pow.f64 eps 2)) (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3))))
(.f64 (/.f64 eps (fma.f64 (.f64 2 x) (-.f64 (*.f64 2 x) eps) (pow.f64 eps 2))) (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3)))
(.f64 (/.f64 eps (+.f64 (.f64 4 (pow.f64 x 2)) (*.f64 eps (fma.f64 x -2 eps)))) (fma.f64 (pow.f64 x 3) 8 (pow.f64 eps 3)))
(/.f64 (.f64 (-.f64 (pow.f64 eps 2) (.f64 (pow.f64 x 2) 4)) eps) (+.f64 eps (*.f64 -2 x)))
(/.f64 (-.f64 (pow.f64 eps 2) (.f64 4 (pow.f64 x 2))) (/.f64 (+.f64 eps (.f64 x -2)) eps))
(.f64 (/.f64 eps (fma.f64 x -2 eps)) (fma.f64 eps eps (.f64 (pow.f64 x 2) -4)))
(pow.f64 (*.f64 eps (fma.f64 x 2 eps)) 1)
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 x 2 eps))) 3)
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 x 2 eps)) 2) 1/2)
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 x 2 eps)) 3) 1/3)
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 x 2 eps))) 2)
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 x 2 eps)) 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 x 2 eps)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 x 2 eps)))))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (exp.f64 (.f64 eps (*.f64 x 2))) (exp.f64 (pow.f64 eps 2))))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 x 2 eps)) 3))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 x 2 eps))))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 x 2 eps))))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (.f64 eps (fma.f64 x 2 eps))) 1))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 x 2 eps))) 1) 1))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 x 2 eps)))) 3))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 x 2 eps)))) 1/3))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 x 2 eps)))) 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 x 2 eps))))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps eps (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 eps (*.f64 x 2) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 x (*.f64 2 eps) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 2 (*.f64 x eps) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 x 2) eps (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (pow.f64 eps 2) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 1 (.f64 eps (.f64 x 2)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 x 2)) 2) (.f64 (cbrt.f64 (*.f64 x 2)) eps) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (pow.f64 (cbrt.f64 eps) 4) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (.f64 (cbrt.f64 eps) (.f64 x 2)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 eps 2) 1 (.f64 (.f64 eps (*.f64 x 2)) 1))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (.f64 x 2)) (.f64 (sqrt.f64 (*.f64 x 2)) eps) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 eps) (pow.f64 eps 3/2) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 eps) (.f64 (sqrt.f64 eps) (.f64 x 2)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 4) (pow.f64 (cbrt.f64 eps) 2) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (.f64 (cbrt.f64 (.f64 eps (.f64 x 2))) (cbrt.f64 (.f64 eps (.f64 x 2)))) (cbrt.f64 (.f64 eps (*.f64 x 2))) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 eps 3/2) (sqrt.f64 eps) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (sqrt.f64 (.f64 eps (.f64 x 2))) (sqrt.f64 (.f64 eps (.f64 x 2))) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (.f64 eps (.f64 x 2)) 1/2) (pow.f64 (.f64 eps (.f64 x 2)) 1/2) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 5) (cbrt.f64 eps) (.f64 eps (.f64 x 2)))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (.f64 (.f64 x 2) (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (.f64 (.f64 x 2) (sqrt.f64 eps)) (sqrt.f64 eps) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps x) 2 (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (*.f64 eps 2) x (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (.f64 eps (pow.f64 (cbrt.f64 (.f64 x 2)) 2)) (cbrt.f64 (*.f64 x 2)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(fma.f64 (.f64 eps (sqrt.f64 (.f64 x 2))) (sqrt.f64 (*.f64 x 2)) (pow.f64 eps 2))
(fma.f64 eps (*.f64 2 x) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 0 eps)
eps
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 eps)) (cbrt.f64 (exp.f64 eps)))) (log.f64 (cbrt.f64 (exp.f64 eps))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 eps)))) (log.f64 (cbrt.f64 (exp.f64 eps))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 eps))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 eps))) (log.f64 (sqrt.f64 (exp.f64 eps))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 eps))))
(-.f64 (exp.f64 (log1p.f64 eps)) 1)
eps
(*.f64 eps 1)
eps
(*.f64 eps (log.f64 (exp.f64 1)))
eps
(*.f64 1 eps)
eps
(*.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2))
eps
(*.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps))
eps
(*.f64 (sqrt.f64 eps) (sqrt.f64 eps))
eps
(pow.f64 eps 1)
eps
(pow.f64 (cbrt.f64 eps) 3)
eps
(pow.f64 (pow.f64 eps 2) 1/2)
eps
(pow.f64 (pow.f64 eps 3) 1/3)
eps
(pow.f64 (sqrt.f64 eps) 2)
eps
(sqrt.f64 (pow.f64 eps 2))
eps
(log.f64 (exp.f64 eps))
eps
(log.f64 (+.f64 1 (expm1.f64 eps)))
eps
(cbrt.f64 (pow.f64 eps 3))
eps
(expm1.f64 (log1p.f64 eps))
eps
(exp.f64 (log.f64 eps))
eps
(exp.f64 (*.f64 (log.f64 eps) 1))
eps
(exp.f64 (.f64 (.f64 (log.f64 eps) 1) 1))
eps
(exp.f64 (*.f64 (log.f64 (cbrt.f64 eps)) 3))
eps
(exp.f64 (.f64 (.f64 (log.f64 eps) 3) 1/3))
eps
(exp.f64 (.f64 (.f64 3 (log.f64 eps)) 1/3))
eps
(exp.f64 (*.f64 (log.f64 (sqrt.f64 eps)) 2))
eps
(log1p.f64 (expm1.f64 eps))
eps
(+.f64 0 x)
x
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))) (log.f64 (cbrt.f64 (exp.f64 x))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 x)))) (log.f64 (cbrt.f64 (exp.f64 x))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 x))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 x))) (log.f64 (sqrt.f64 (exp.f64 x))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 x))))
(-.f64 (exp.f64 (log1p.f64 x)) 1)
x
(*.f64 x 1)
x
(*.f64 x (log.f64 (exp.f64 1)))
x
(*.f64 1 x)
x
(*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2))
x
(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x))
x
(*.f64 (sqrt.f64 x) (sqrt.f64 x))
x
(pow.f64 x 1)
x
(pow.f64 (cbrt.f64 x) 3)
x
(pow.f64 (pow.f64 x 2) 1/2)
x
(pow.f64 (pow.f64 x 3) 1/3)
x
(pow.f64 (sqrt.f64 x) 2)
x
(sqrt.f64 (pow.f64 x 2))
x
(log.f64 (exp.f64 x))
x
(log.f64 (+.f64 1 (expm1.f64 x)))
x
(cbrt.f64 (pow.f64 x 3))
x
(expm1.f64 (log1p.f64 x))
x
(exp.f64 (log.f64 x))
x
(exp.f64 (*.f64 (log.f64 x) 1))
x
(exp.f64 (.f64 (.f64 (log.f64 x) 1) 1))
x
(exp.f64 (*.f64 (log.f64 (cbrt.f64 x)) 3))
x
(exp.f64 (.f64 (.f64 3 (log.f64 x)) 1/3))
x
(exp.f64 (*.f64 (log.f64 (sqrt.f64 x)) 2))
x
(log1p.f64 (expm1.f64 x))
x

eval334.0ms (6.5%)

Compiler: Compiled 2109 to 1324 computations (37.2% saved)

prune23.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	167	5	172

Accuracy

100.0%

Counts

172 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (*.f64 x 2) eps (pow.f64 eps 2))
▶	100.0%	(fma.f64 eps eps (.f64 eps (.f64 x 2)))
✓	100.0%	(.f64 eps (+.f64 eps (.f64 x 2)))
▶	63.2%	(.f64 eps (.f64 2 x))
▶	63.1%	(.f64 2 (.f64 eps x))

Compiler

Compiled 43 to 29 computations (32.6% saved)

localize414.0ms (8%)

Algorithm

4×	egg-herbie

Localize:

Found 16 expressions with local error:

New	Accuracy	Program
	100.0%	x
	100.0%	eps
✓	100.0%	2
✓	100.0%	(fma.f64 (*.f64 x 2) eps (pow.f64 eps 2))
	100.0%	x
	100.0%	eps
✓	100.0%	2
✓	100.0%	(fma.f64 eps eps (.f64 eps (.f64 x 2)))
✓	100.0%	(*.f64 2 x)
	100.0%	x
	100.0%	eps
✓	100.0%	2
	100.0%	x
	100.0%	eps
✓	100.0%	2
✓	99.9%	(.f64 2 (.f64 eps x))

Rules

2204×	`sqr-pow`
1202×	`cube-prod`
1160×	`fma-def`
868×	`unswap-sqr`
830×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	41
1	14	41
2	21	41
3	23	41
0	10	38
1	14	38
2	21	38
3	23	38
0	12	71
1	18	66
2	28	66
3	40	62
4	42	62
0	12	59
1	20	57
2	39	53
3	75	53
4	159	53
5	444	53
6	1478	53
7	2694	53
8	3017	53
9	3223	53
10	3434	53
11	3735	53
12	4130	53
13	4592	53
14	5126	53
15	5776	53
16	6569	53
17	6896	53
18	7170	53
19	7374	53
20	7434	53
21	7464	53

Stop Event

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

Calls

Call 1

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

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

Call 2

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

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

Call 3

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

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

Call 4

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

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

Compiler

Compiled 61 to 33 computations (45.9% saved)

series7.0ms (0.1%)

Counts

8 → 48

Calls

21 calls:

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

rewrite186.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1610×	`prod-diff`
812×	`log-prod`
631×	`log1p-expm1-u`
631×	`expm1-log1p-u`
630×	`pow-prod-down`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	99
1	215	89
2	2083	81

Stop Event

1×	node limit

Counts

8 → 126

Calls

Call 1

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

Outputs
(+.f64 (.f64 eps x) (.f64 eps x))
(+.f64 0 (.f64 2 (.f64 eps x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))))
(-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 eps x)))) 1)
(pow.f64 (.f64 2 (.f64 eps x)) 1)
(pow.f64 (cbrt.f64 (.f64 2 (.f64 eps x))) 3)
(pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) 1/2)
(pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 2 (.f64 eps x))) 2)
(sqrt.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))
(log.f64 (+.f64 1 (expm1.f64 (.f64 2 (.f64 eps x)))))
(cbrt.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3))
(expm1.f64 (log1p.f64 (.f64 2 (.f64 eps x))))
(exp.f64 (log.f64 (.f64 2 (.f64 eps x))))
(exp.f64 (.f64 (log.f64 (.f64 2 (*.f64 eps x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 2 (.f64 eps x))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2 (*.f64 eps x)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 2 (.f64 eps x)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 2 (*.f64 eps x)))) 2))
(log1p.f64 (expm1.f64 (.f64 2 (.f64 eps x))))
(+.f64 x x)
(+.f64 0 (*.f64 2 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2)) (cbrt.f64 (pow.f64 (exp.f64 x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 2 x))) 1)
(pow.f64 (*.f64 2 x) 1)
(pow.f64 (cbrt.f64 (*.f64 2 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 2 x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(log.f64 (pow.f64 (exp.f64 x) 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 2 x))))
(cbrt.f64 (pow.f64 (*.f64 2 x) 3))
(expm1.f64 (log1p.f64 (*.f64 2 x)))
(exp.f64 (log.f64 (*.f64 2 x)))
(exp.f64 (.f64 (log.f64 (.f64 2 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 2 x)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2 x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 2 x))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 2 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(.f64 (.f64 eps (fma.f64 2 x eps)) (log.f64 (exp.f64 1)))
(.f64 1 (.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))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.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 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(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)))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (exp.f64 (pow.f64 eps 2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (exp.f64 (pow.f64 eps 2)) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(.f64 (.f64 eps (fma.f64 2 x eps)) (log.f64 (exp.f64 1)))
(.f64 1 (.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))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.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 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(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)))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (exp.f64 (pow.f64 eps 2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (exp.f64 (pow.f64 eps 2)) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))

simplify77.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1110×	`unswap-sqr`
944×	`times-frac`
546×	`*-commutative`
512×	`cancel-sign-sub-inv`
420×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	4590
1	492	4409
2	1865	4228

Stop Event

1×	node limit

Counts

174 → 106

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (.f64 eps x) (.f64 eps x))
(+.f64 0 (.f64 2 (.f64 eps x)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))))
(-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 eps x)))) 1)
(pow.f64 (.f64 2 (.f64 eps x)) 1)
(pow.f64 (cbrt.f64 (.f64 2 (.f64 eps x))) 3)
(pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) 1/2)
(pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 2 (.f64 eps x))) 2)
(sqrt.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))
(log.f64 (+.f64 1 (expm1.f64 (.f64 2 (.f64 eps x)))))
(cbrt.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3))
(expm1.f64 (log1p.f64 (.f64 2 (.f64 eps x))))
(exp.f64 (log.f64 (.f64 2 (.f64 eps x))))
(exp.f64 (.f64 (log.f64 (.f64 2 (*.f64 eps x))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 2 (.f64 eps x))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2 (*.f64 eps x)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 2 (.f64 eps x)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 2 (*.f64 eps x)))) 2))
(log1p.f64 (expm1.f64 (.f64 2 (.f64 eps x))))
(+.f64 x x)
(+.f64 0 (*.f64 2 x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2)) (cbrt.f64 (pow.f64 (exp.f64 x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 2 x))) 1)
(pow.f64 (*.f64 2 x) 1)
(pow.f64 (cbrt.f64 (*.f64 2 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 2 x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(log.f64 (pow.f64 (exp.f64 x) 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 2 x))))
(cbrt.f64 (pow.f64 (*.f64 2 x) 3))
(expm1.f64 (log1p.f64 (*.f64 2 x)))
(exp.f64 (log.f64 (*.f64 2 x)))
(exp.f64 (.f64 (log.f64 (.f64 2 x)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 2 x)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2 x))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 2 x))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 2 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 2 x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(.f64 (.f64 eps (fma.f64 2 x eps)) (log.f64 (exp.f64 1)))
(.f64 1 (.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))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.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 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(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)))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (exp.f64 (pow.f64 eps 2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (exp.f64 (pow.f64 eps 2)) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 0 (*.f64 eps (fma.f64 2 x eps)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(.f64 (.f64 eps (fma.f64 2 x eps)) (log.f64 (exp.f64 1)))
(.f64 1 (.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))
(.f64 (pow.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps))) 2) (cbrt.f64 (*.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 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 2 x eps))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 2 x eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(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)))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (exp.f64 (pow.f64 eps 2))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(log.f64 (.f64 (exp.f64 (pow.f64 eps 2)) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(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))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) 2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 2 x eps))))

Outputs
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (.f64 eps x) (.f64 eps x))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 0 (.f64 2 (.f64 eps x)))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))))
(+.f64 (.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (.f64 2 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (*.f64 2 x)))))
(.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (.f64 2 x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(-.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 eps x)))) 1)
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(pow.f64 (.f64 2 (.f64 eps x)) 1)
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(pow.f64 (cbrt.f64 (.f64 2 (.f64 eps x))) 3)
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) 1/2)
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(pow.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) 1/3)
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(pow.f64 (sqrt.f64 (.f64 2 (.f64 eps x))) 2)
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(sqrt.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(log.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(log.f64 (+.f64 1 (expm1.f64 (.f64 2 (.f64 eps x)))))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(cbrt.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(expm1.f64 (log1p.f64 (.f64 2 (.f64 eps x))))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(exp.f64 (log.f64 (.f64 2 (.f64 eps x))))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(exp.f64 (.f64 (log.f64 (.f64 2 (*.f64 eps x))) 1))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(exp.f64 (.f64 (.f64 (log.f64 (.f64 2 (.f64 eps x))) 1) 1))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2 (*.f64 eps x)))) 3))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 2 (.f64 eps x)))) 1/3))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 2 (*.f64 eps x)))) 2))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(log1p.f64 (expm1.f64 (.f64 2 (.f64 eps x))))
(.f64 eps (.f64 2 x))
(.f64 x (.f64 2 eps))
(+.f64 x x)
(*.f64 2 x)
(+.f64 0 (*.f64 2 x))
(*.f64 2 x)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2)) (cbrt.f64 (pow.f64 (exp.f64 x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 2))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 2))))
(*.f64 2 x)
(-.f64 (exp.f64 (log1p.f64 (*.f64 2 x))) 1)
(*.f64 2 x)
(pow.f64 (*.f64 2 x) 1)
(*.f64 2 x)
(pow.f64 (cbrt.f64 (*.f64 2 x)) 3)
(*.f64 2 x)
(pow.f64 (*.f64 (pow.f64 x 2) 4) 1/2)
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(fabs.f64 (*.f64 2 x))
(pow.f64 (pow.f64 (*.f64 2 x) 3) 1/3)
(*.f64 2 x)
(pow.f64 (sqrt.f64 (*.f64 2 x)) 2)
(*.f64 2 x)
(sqrt.f64 (*.f64 (pow.f64 x 2) 4))
(fabs.f64 (*.f64 2 x))
(log.f64 (pow.f64 (exp.f64 x) 2))
(*.f64 2 x)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 2 x))))
(*.f64 2 x)
(cbrt.f64 (pow.f64 (*.f64 2 x) 3))
(*.f64 2 x)
(expm1.f64 (log1p.f64 (*.f64 2 x)))
(*.f64 2 x)
(exp.f64 (log.f64 (*.f64 2 x)))
(*.f64 2 x)
(exp.f64 (.f64 (log.f64 (.f64 2 x)) 1))
(*.f64 2 x)
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 2 x)) 1) 1))
(*.f64 2 x)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 2 x))) 3))
(*.f64 2 x)
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 2 x))) 1/3))
(*.f64 2 x)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 2 x))) 2))
(*.f64 2 x)
(log1p.f64 (expm1.f64 (*.f64 2 x)))
(*.f64 2 x)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.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 0 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 eps (fma.f64 2 x eps)) (log.f64 (exp.f64 1)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 1 (.f64 eps (fma.f64 2 x 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))
(*.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))))
(*.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 eps (fma.f64 2 x eps))
(/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))))
(/.f64 (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 eps (.f64 2 x)) (pow.f64 eps 2)))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (+.f64 (pow.f64 eps 4) (.f64 -2 (.f64 x (pow.f64 eps 3))))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (.f64 (pow.f64 eps 3) (+.f64 eps (.f64 x -2)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 eps (.f64 2 x)) (pow.f64 eps 2)))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (+.f64 (pow.f64 eps 4) (.f64 -2 (.f64 x (pow.f64 eps 3))))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (.f64 (pow.f64 eps 3) (+.f64 eps (.f64 x -2)))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 eps (.f64 2 x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (-.f64 (pow.f64 (.f64 x (.f64 2 eps)) 2) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (-.f64 eps (.f64 2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 x (.f64 2 eps)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.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)) 2) 1/2)
(*.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))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(*.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))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (exp.f64 (pow.f64 eps 2))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (exp.f64 (pow.f64 eps 2)) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(*.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))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) 3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) 2))
(*.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))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(*.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 0 (*.f64 eps (fma.f64 2 x eps)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))) (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 eps) (fma.f64 2 x eps)))))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (exp.f64 (log1p.f64 (*.f64 eps (fma.f64 2 x eps)))) 1)
(*.f64 eps (fma.f64 2 x eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 eps (fma.f64 2 x eps)) 1)
(*.f64 eps (fma.f64 2 x eps))
(.f64 (.f64 eps (fma.f64 2 x eps)) (log.f64 (exp.f64 1)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 1 (.f64 eps (fma.f64 2 x 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))
(*.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))))
(*.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 eps (fma.f64 2 x eps))
(/.f64 (+.f64 (pow.f64 (.f64 2 (.f64 eps x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))))
(/.f64 (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 eps (.f64 2 x)) (pow.f64 eps 2)))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (+.f64 (pow.f64 eps 4) (.f64 -2 (.f64 x (pow.f64 eps 3))))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (.f64 (pow.f64 eps 3) (+.f64 eps (.f64 x -2)))))
(/.f64 (+.f64 (pow.f64 eps 6) (pow.f64 (.f64 2 (.f64 eps x)) 3)) (+.f64 (pow.f64 eps 4) (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (+.f64 (pow.f64 (.f64 eps (.f64 2 x)) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (-.f64 (pow.f64 eps 4) (.f64 (.f64 eps (.f64 2 x)) (pow.f64 eps 2)))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (+.f64 (pow.f64 eps 4) (.f64 -2 (.f64 x (pow.f64 eps 3))))))
(/.f64 (fma.f64 8 (pow.f64 (.f64 eps x) 3) (pow.f64 eps 6)) (fma.f64 (pow.f64 (.f64 eps x) 2) 4 (.f64 (pow.f64 eps 3) (+.f64 eps (.f64 x -2)))))
(/.f64 (-.f64 (pow.f64 (.f64 2 (.f64 eps x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (pow.f64 (.f64 eps (.f64 2 x)) 2) (pow.f64 eps 4)) (-.f64 (.f64 eps (.f64 2 x)) (pow.f64 eps 2)))
(/.f64 (-.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (-.f64 (pow.f64 (.f64 x (.f64 2 eps)) 2) (pow.f64 eps 4)) (.f64 eps (-.f64 (.f64 2 x) eps)))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 2 (.f64 eps x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 eps (.f64 2 x)) 2)) (-.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 (.f64 eps x) 2))) (.f64 eps (-.f64 eps (.f64 2 x))))
(/.f64 (-.f64 (pow.f64 eps 4) (pow.f64 (.f64 x (.f64 2 eps)) 2)) (.f64 eps (+.f64 eps (.f64 x -2))))
(pow.f64 (*.f64 eps (fma.f64 2 x eps)) 1)
(*.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)) 2) 1/2)
(*.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))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
(*.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))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 eps (fma.f64 2 x eps)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 eps) x) 2) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (exp.f64 (pow.f64 eps 2))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x)))) (+.f64 1 (expm1.f64 (pow.f64 eps 2)))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (exp.f64 (pow.f64 eps 2)) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (pow.f64 (pow.f64 (exp.f64 eps) x) 2)))
(*.f64 eps (fma.f64 2 x eps))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 eps 2))) (+.f64 1 (expm1.f64 (.f64 2 (*.f64 eps x))))))
(*.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))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 eps (fma.f64 2 x eps))) 1) 1))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 eps (fma.f64 2 x eps)))) 3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 eps (fma.f64 2 x eps)))) 1/3))
(*.f64 eps (fma.f64 2 x eps))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 eps (fma.f64 2 x eps)))) 2))
(*.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))

eval765.0ms (14.9%)

Compiler: Compiled 16777 to 9361 computations (44.2% saved)

prune110.0ms (2.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	1498	0	1498
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	1498	5	1503

Accuracy

100.0%

Counts

1503 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (*.f64 x 2) eps (pow.f64 eps 2))
✓	100.0%	(fma.f64 eps eps (.f64 eps (.f64 x 2)))
✓	100.0%	(.f64 eps (+.f64 eps (.f64 x 2)))
✓	63.2%	(.f64 eps (.f64 2 x))
✓	63.1%	(.f64 2 (.f64 eps x))

Compiler

Compiled 87 to 56 computations (35.6% saved)

regimes12.0ms (0.2%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 17 to 12 computations (29.4% saved)

regimes78.0ms (1.5%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

74.0ms	x
3.0ms	eps

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes6.0ms (0.1%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	eps
3.0ms	x

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes5.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

2 calls:

2.0ms	x
2.0ms	eps

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	99
1	24	99

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 33 to 22 computations (33.3% saved)

soundness311.0ms (6%)

Rules

1786×	`prod-diff`
1436×	`fma-def`
1040×	`distribute-lft-neg-in`
918×	`distribute-rgt-neg-in`
856×	`unswap-sqr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	278
1	73	246
2	212	238
3	896	196
4	4899	196
0	11	37
1	120	33
2	1663	33
0	265	3091
1	559	2614
2	2316	2517

Stop Event

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

Compiler

Compiled 245 to 128 computations (47.8% saved)

end0.0ms (0%)

preprocess38.0ms (0.7%)

Compiler: Compiled 76 to 48 computations (36.8% saved)

analyze0.0ms (0%)

sample1.6s (30.8%)

preprocess185.0ms (3.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize38.0ms (0.7%)

series4.0ms (0.1%)

rewrite590.0ms (11.5%)

simplify374.0ms (7.3%)

eval334.0ms (6.5%)

prune23.0ms (0.4%)

localize414.0ms (8%)

series7.0ms (0.1%)

rewrite186.0ms (3.6%)

simplify77.0ms (1.5%)

eval765.0ms (14.9%)

prune110.0ms (2.1%)

regimes12.0ms (0.2%)

regimes78.0ms (1.5%)

regimes6.0ms (0.1%)

regimes5.0ms (0.1%)

simplify5.0ms (0.1%)

soundness311.0ms (6%)

end0.0ms (0%)

preprocess38.0ms (0.7%)

Profiling