Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25.7%	74.3%	0
25.7%	0%	74.3%	1

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.5s (46.5%)

Results

927.0ms	6774×	body	128	valid
301.0ms	585×	body	1024	valid
199.0ms	522×	body	512	valid
86.0ms	355×	body	256	valid
12.0ms	20×	body	2048	valid

preprocess31.0ms (1%)

Algorithm

2×	egg-herbie

Rules

718×	`fma-def_binary64`
450×	`distribute-rgt-in_binary64`
422×	`distribute-lft-in_binary64`
275×	`associate-l_binary64`
248×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	29	26
2	62	26
3	136	26
4	395	26
5	1607	26
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) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 eps 5))

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
(-.f64 (pow.f64 (+.f64 eps x) 5) (pow.f64 eps 5))
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 eps 5))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify22.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

436×	`unswap-sqr_binary64`
376×	`fma-def_binary64`
252×	`distribute-rgt-neg-in_binary64`
235×	`distribute-rgt-in_binary64`
219×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	18	13
2	38	13
3	80	13
4	228	13
5	912	13
6	2927	13

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

eval1.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

8.3b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	8.3b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

Compiler

Compiled 22 to 16 computations (27.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (+.f64 x eps) 5)
✓	1.2b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

series8.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

rewrite55.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

907×	`prod-diff_binary64`
171×	`expm1-udef_binary64`
171×	`log1p-udef_binary64`
101×	`add-sqr-sqrt_binary64`
98×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	190	20
2	2667	20

Stop Event

1×	node limit

Counts

2 → 87

Calls

Call 1

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

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

Outputs

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

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

simplify51.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

656×	`associate-+l+_binary64`
638×	`associate-l_binary64`
572×	`associate-r_binary64`
179×	`fma-def_binary64`
146×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	1394
1	376	1307
2	1511	1115

Stop Event

1×	node limit

Counts

135 → 128

Calls

Call 1

Inputs
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4))
(+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)))
(+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 (+.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 eps 4))) x) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -4 (pow.f64 eps 4)) (.f64 -1 (pow.f64 eps 4))) x)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
(+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))
(+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2))))))
(+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5)))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (pow.f64 eps 5))))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(pow.f64 x 5)
(+.f64 (pow.f64 x 5) (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3))))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)) (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)))))
(pow.f64 x 5)
(+.f64 (pow.f64 x 5) (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3)))))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(pow.f64 x 5)
(+.f64 (pow.f64 x 5) (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5)))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (pow.f64 eps 5))))

Outputs
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x))
(+.f64 (pow.f64 eps 5) (.f64 (.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 x (.f64 x (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6))))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5)))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5))))
(.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(.f64 (.f64 eps 5) (pow.f64 x 4))
(+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))
(fma.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))
(+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 x x) (.f64 10 eps)) (*.f64 (pow.f64 x 3) 10))))
(+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 (+.f64 (pow.f64 eps 4) (.f64 4 (pow.f64 eps 4))) x) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))
(.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(.f64 (.f64 eps 5) (pow.f64 x 4))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))
(fma.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 x x) (.f64 10 eps)) (*.f64 (pow.f64 x 3) 10))))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -4 (pow.f64 eps 4)) (.f64 -1 (pow.f64 eps 4))) x)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))
(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(.f64 (.f64 eps 5) (pow.f64 x 4))
(+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))
(fma.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))
(+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2))))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 x x) (.f64 10 eps)) (*.f64 (pow.f64 x 3) 10))))
(+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (*.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (.f64 (.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 x (.f64 x (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6))))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5)))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (.f64 (.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5)))
(fma.f64 -1 (.f64 (pow.f64 eps 3) (fma.f64 -4 (.f64 x x) (neg.f64 (.f64 (.f64 x x) 6)))) (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5)))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (pow.f64 eps 5)) (.f64 (pow.f64 eps 3) (fma.f64 (.f64 x x) -4 (.f64 (*.f64 x x) -6))))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (pow.f64 eps 5)) (.f64 (pow.f64 eps 3) (.f64 (.f64 x x) -10)))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (pow.f64 eps 5))))
(fma.f64 -1 (.f64 (pow.f64 eps 3) (fma.f64 -4 (.f64 x x) (neg.f64 (.f64 (.f64 x x) 6)))) (fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (.f64 x (.f64 (*.f64 x x) 6))) (pow.f64 eps 5))))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (.f64 (pow.f64 x 3) 6)) (pow.f64 eps 5))) (.f64 (pow.f64 eps 3) (fma.f64 (.f64 x x) -4 (.f64 (*.f64 x x) -6))))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (pow.f64 eps 5))) (.f64 (pow.f64 eps 3) (.f64 (.f64 x x) -10)))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x))
(+.f64 (pow.f64 eps 5) (.f64 (.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 x (.f64 x (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6))))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5)))
(+.f64 (pow.f64 eps 5) (+.f64 (.f64 (+.f64 (.f64 4 (pow.f64 eps 4)) (pow.f64 eps 4)) x) (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5))))
(pow.f64 x 5)
(+.f64 (pow.f64 x 5) (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)))
(+.f64 (.f64 (.f64 5 eps) (pow.f64 x 4)) (pow.f64 x 5))
(fma.f64 eps (*.f64 5 (pow.f64 x 4)) (pow.f64 x 5))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (pow.f64 x 5))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (*.f64 8 (pow.f64 eps 2))) (pow.f64 x 3))))
(+.f64 (fma.f64 (.f64 5 eps) (pow.f64 x 4) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))) (pow.f64 x 5))
(+.f64 (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)) (fma.f64 eps (.f64 5 (pow.f64 x 4)) (pow.f64 x 5)))
(+.f64 (.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps))) (pow.f64 x 5))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)) (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 8 (pow.f64 eps 2))) (pow.f64 x 3)))))
(+.f64 (pow.f64 x 5) (fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))) (fma.f64 eps (.f64 5 (pow.f64 x 4)) (pow.f64 x 5)))
(+.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 x x) (.f64 10 eps)) (.f64 (pow.f64 x 3) 10))) (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (pow.f64 x 5)))
(pow.f64 x 5)
(+.f64 (pow.f64 x 5) (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)))
(+.f64 (.f64 (.f64 5 eps) (pow.f64 x 4)) (pow.f64 x 5))
(fma.f64 eps (*.f64 5 (pow.f64 x 4)) (pow.f64 x 5))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (pow.f64 x 5))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3)))))
(+.f64 (fma.f64 (.f64 5 eps) (pow.f64 x 4) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))) (pow.f64 x 5))
(+.f64 (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)) (fma.f64 eps (.f64 5 (pow.f64 x 4)) (pow.f64 x 5)))
(+.f64 (.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps))) (pow.f64 x 5))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (+.f64 (.f64 4 eps) eps) (pow.f64 x 4)) (+.f64 (.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2)))) (.f64 -4 (pow.f64 eps 2))) (pow.f64 x 3))) (.f64 (+.f64 (.f64 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 4 (pow.f64 eps 2))) eps) (*.f64 4 (pow.f64 eps 3))) (pow.f64 x 2)))))
(+.f64 (pow.f64 x 5) (fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))) (fma.f64 eps (.f64 5 (pow.f64 x 4)) (pow.f64 x 5)))
(+.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 x x) (.f64 10 eps)) (.f64 (pow.f64 x 3) 10))) (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (pow.f64 x 5)))
(pow.f64 x 5)
(+.f64 (pow.f64 x 5) (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))
(+.f64 (.f64 (.f64 5 eps) (pow.f64 x 4)) (pow.f64 x 5))
(fma.f64 eps (*.f64 5 (pow.f64 x 4)) (pow.f64 x 5))
(fma.f64 (*.f64 eps 5) (pow.f64 x 4) (pow.f64 x 5))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (.f64 eps (+.f64 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))))
(+.f64 (fma.f64 (.f64 5 eps) (pow.f64 x 4) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))) (pow.f64 x 5))
(+.f64 (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)) (fma.f64 eps (.f64 5 (pow.f64 x 4)) (pow.f64 x 5)))
(+.f64 (.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps))) (pow.f64 x 5))
(+.f64 (pow.f64 x 5) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4))) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(+.f64 (pow.f64 x 5) (fma.f64 (.f64 5 eps) (pow.f64 x 4) (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3))) (fma.f64 eps (.f64 5 (pow.f64 x 4)) (pow.f64 x 5)))
(+.f64 (.f64 (.f64 eps eps) (+.f64 (.f64 (.f64 x x) (.f64 10 eps)) (.f64 (pow.f64 x 3) 10))) (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (pow.f64 x 5)))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (.f64 (.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2))))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 x (.f64 x (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6))))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5)))
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))) x))) (+.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 3) (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 8 (pow.f64 x 2)))))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 (.f64 (.f64 eps eps) 6) eps (.f64 4 (pow.f64 eps 3))) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(+.f64 (pow.f64 eps 5) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (fma.f64 (fma.f64 4 (pow.f64 eps 3) (.f64 (pow.f64 eps 3) 6)) (.f64 x x) (.f64 (.f64 (.f64 eps eps) 10) (pow.f64 x 3)))))
(fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (pow.f64 eps 3) (.f64 x (*.f64 x 10)) (pow.f64 eps 5))))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5))
(+.f64 (pow.f64 eps 5) (.f64 (.f64 5 (pow.f64 eps 4)) x))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (pow.f64 eps 5)))
(fma.f64 -1 (.f64 (pow.f64 eps 3) (fma.f64 -4 (.f64 x x) (neg.f64 (.f64 (.f64 x x) 6)))) (fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5)))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (pow.f64 eps 5)) (.f64 (pow.f64 eps 3) (fma.f64 (.f64 x x) -4 (.f64 (*.f64 x x) -6))))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (pow.f64 eps 5)) (.f64 (pow.f64 eps 3) (.f64 (.f64 x x) -10)))
(+.f64 (.f64 -1 (.f64 (pow.f64 eps 3) (+.f64 (.f64 -4 (pow.f64 x 2)) (.f64 -1 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 4 (pow.f64 x 2))))))) (+.f64 (.f64 (pow.f64 eps 4) (+.f64 (.f64 4 x) x)) (+.f64 (.f64 (pow.f64 eps 2) (+.f64 (.f64 4 (pow.f64 x 3)) (.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 4 (pow.f64 x 2))) x))) (pow.f64 eps 5))))
(fma.f64 -1 (.f64 (pow.f64 eps 3) (fma.f64 -4 (.f64 x x) (neg.f64 (.f64 (.f64 x x) 6)))) (fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (.f64 x (.f64 (*.f64 x x) 6))) (pow.f64 eps 5))))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (fma.f64 4 (pow.f64 x 3) (.f64 (pow.f64 x 3) 6)) (pow.f64 eps 5))) (.f64 (pow.f64 eps 3) (fma.f64 (.f64 x x) -4 (.f64 (*.f64 x x) -6))))
(-.f64 (fma.f64 (pow.f64 eps 4) (.f64 5 x) (fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (pow.f64 eps 5))) (.f64 (pow.f64 eps 3) (.f64 (.f64 x x) -10)))

eval70.0ms (2.1%)

Compiler: Compiled 3309 to 2259 computations (31.7% saved)

prune425.0ms (12.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	124	4	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	125	4	129

Error

0.0b

Counts

129 → 4

Alt Table

Click to see full alt table

Status	Error	Program
	15.0b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
	12.2b	(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
▶	8.7b	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
	11.9b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))

Compiler

Compiled 182 to 134 computations (26.4% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))

series5.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
1.0ms	eps	@	0	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
1.0ms	eps	@	-inf	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
1.0ms	eps	@	inf	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
1.0ms	x	@	-inf	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))

rewrite83.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

803×	`pow1_binary64`
746×	`log1p-expm1-u_binary64`
746×	`expm1-log1p-u_binary64`
90×	`add-sqr-sqrt_binary64`
88×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	191	14
2	2105	14

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))

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

Outputs

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

simplify62.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

740×	`fma-def_binary64`
513×	`unswap-sqr_binary64`
492×	`sqr-pow_binary64`
283×	`associate-l_binary64`
226×	`*-commutative_binary64`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	10	330
1	23	294
2	51	294
3	109	294
4	276	294
5	869	294
6	1290	294
7	2167	276
8	2424	240
9	2922	240
10	3530	240
11	3913	240
12	4409	240

Stop Event

1×	node limit

Counts

47 → 27

Calls

Call 1

Inputs
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))

Outputs
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(pow.f64 eps 5)
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))
(+.f64 (pow.f64 eps 5) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (pow.f64 eps 5))
(fma.f64 5 (*.f64 (pow.f64 eps 4) x) (pow.f64 eps 5))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(.f64 (pow.f64 eps 4) (+.f64 (.f64 5 x) eps))
(*.f64 (pow.f64 eps 4) (fma.f64 5 x eps))

eval12.0ms (0.4%)

Compiler: Compiled 409 to 309 computations (24.4% saved)

prune89.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Error

0.0b

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Error	Program
	15.0b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
	12.2b	(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
✓	8.7b	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
▶	11.9b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))

Compiler

Compiled 170 to 125 computations (26.5% saved)

localize21.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5))))
✓	0.1b	(*.f64 (pow.f64 eps 4) -5)
✓	0.1b	(*.f64 (pow.f64 eps 3) 10)
✓	0.2b	(*.f64 (pow.f64 x 3) 10)

series11.0ms (0.3%)

Counts

4 → 60

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(*.f64 (pow.f64 x 3) 10)
1.0ms	x	@	0	(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5))))
1.0ms	eps	@	0	(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5))))
1.0ms	x	@	inf	(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5))))
1.0ms	x	@	-inf	(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5))))

rewrite37.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

206×	`add-sqr-sqrt_binary64`
200×	`pow1_binary64`
197×	`add-log-exp_binary64`
197×	`log1p-expm1-u_binary64`
197×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	53
1	447	51

Stop Event

1×	node limit

Counts

4 → 60

Calls

Call 1

Inputs
(*.f64 (pow.f64 x 3) 10)
(*.f64 (pow.f64 eps 3) 10)
(*.f64 (pow.f64 eps 4) -5)
(fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5))))

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

simplify56.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

867×	`distribute-lft-out_binary64`
698×	`associate-l_binary64`
490×	`associate-r_binary64`
292×	`distribute-rgt-out_binary64`
275×	`fma-def_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	26	846
1	68	846
2	185	831
3	631	801
4	2826	786
5	3594	786

Stop Event

1×	node limit

Counts

120 → 73

Calls

Call 1

Inputs
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))

Outputs
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 x 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 10 (pow.f64 eps 3))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(*.f64 -5 (pow.f64 eps 4))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(.f64 eps (.f64 (pow.f64 x 4) 5))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 eps (.f64 (pow.f64 x 4) 5)))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 eps (.f64 5 (pow.f64 x 4))))
(fma.f64 eps (.f64 5 (pow.f64 x 4)) (.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x))))
(.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(.f64 5 (.f64 x (pow.f64 eps 4)))
(.f64 x (.f64 (pow.f64 eps 4) 5))
(.f64 (pow.f64 eps 4) (.f64 x 5))
(+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (.f64 (pow.f64 eps 4) 5)))
(.f64 x (+.f64 (.f64 10 (.f64 x (pow.f64 eps 3))) (.f64 (pow.f64 eps 4) 5)))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (*.f64 (pow.f64 eps 4) 5)))
(.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(.f64 5 (.f64 x (pow.f64 eps 4)))
(.f64 x (.f64 (pow.f64 eps 4) 5))
(.f64 (pow.f64 eps 4) (.f64 x 5))
(+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (.f64 (pow.f64 eps 4) 5)))
(.f64 x (+.f64 (.f64 10 (.f64 x (pow.f64 eps 3))) (.f64 (pow.f64 eps 4) 5)))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (*.f64 (pow.f64 eps 4) 5)))
(.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(.f64 5 (.f64 (pow.f64 eps 4) x))
(.f64 5 (.f64 x (pow.f64 eps 4)))
(.f64 x (.f64 (pow.f64 eps 4) 5))
(.f64 (pow.f64 eps 4) (.f64 x 5))
(+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x)))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (.f64 (pow.f64 eps 4) 5)))
(.f64 x (+.f64 (.f64 10 (.f64 x (pow.f64 eps 3))) (.f64 (pow.f64 eps 4) 5)))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (*.f64 (pow.f64 eps 4) 5)))
(.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(.f64 eps (.f64 (pow.f64 x 4) 5))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 eps (.f64 (pow.f64 x 4) 5)))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 eps (.f64 5 (pow.f64 x 4))))
(fma.f64 eps (.f64 5 (pow.f64 x 4)) (.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x))))
(.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(.f64 eps (.f64 (pow.f64 x 4) 5))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 eps (.f64 (pow.f64 x 4) 5)))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 eps (.f64 5 (pow.f64 x 4))))
(fma.f64 eps (.f64 5 (pow.f64 x 4)) (.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x))))
(.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (+.f64 (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.f64 5 (.f64 (pow.f64 eps 4) x))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (*.f64 x (pow.f64 eps 4)))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 x (*.f64 (pow.f64 eps 4) 5))))
(fma.f64 10 (.f64 x (.f64 x (pow.f64 eps 3))) (.f64 5 (+.f64 (.f64 x (pow.f64 eps 4)) (*.f64 eps (pow.f64 x 4)))))
(fma.f64 (pow.f64 eps 3) (.f64 10 (.f64 x x)) (.f64 5 (fma.f64 eps (pow.f64 x 4) (.f64 x (pow.f64 eps 4)))))
(fma.f64 x (.f64 (pow.f64 eps 3) (+.f64 (.f64 10 x) (.f64 eps 5))) (.f64 eps (*.f64 5 (pow.f64 x 4))))

eval54.0ms (1.6%)

Compiler: Compiled 2481 to 1732 computations (30.2% saved)

prune143.0ms (4.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	71	6	77

Error

0.0b

Counts

77 → 6

Alt Table

Click to see full alt table

Status	Error	Program
	15.0b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
	12.2b	(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
▶	12.0b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))))
	12.1b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 5 (.f64 eps (pow.f64 x 4))))
✓	8.7b	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
✓	11.9b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))

Compiler

Compiled 227 to 163 computations (28.2% saved)

localize18.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps))))
✓	0.1b	(.f64 (.f64 x 5) (*.f64 x eps))
✓	0.1b	(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))
	0.2b	(*.f64 (pow.f64 x 3) 10)

series10.0ms (0.3%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	-inf	(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))
1.0ms	eps	@	0	(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))
1.0ms	eps	@	inf	(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))
1.0ms	x	@	0	(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))
1.0ms	x	@	inf	(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))

rewrite56.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

642×	`log-prod_binary64`
254×	`prod-diff_binary64`
224×	`expm1-udef_binary64`
224×	`log1p-udef_binary64`
186×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	275	50
2	3128	50

Stop Event

1×	node limit

Counts

3 → 69

Calls

Call 1

Inputs
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))
(.f64 (.f64 x 5) (*.f64 x eps))
(.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps))))

Outputs

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

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

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

simplify84.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
557×	`associate-l_binary64`
361×	`associate-r_binary64`
312×	`unswap-sqr_binary64`
296×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	1080
1	49	1080
2	135	1080
3	461	1080
4	1869	1080
5	2936	1080
6	3675	1080
7	4190	1080
8	4492	1080

Stop Event

1×	node limit

Counts

141 → 80

Calls

Call 1

Inputs
(.f64 5 (.f64 eps (pow.f64 x 2)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(*.f64 10 (pow.f64 eps 3))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(*.f64 10 (pow.f64 eps 3))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(*.f64 10 (pow.f64 eps 3))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))

Outputs
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(*.f64 10 (pow.f64 eps 3))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(*.f64 10 (pow.f64 eps 3))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(*.f64 10 (pow.f64 eps 3))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 5 (*.f64 eps (pow.f64 x 2))))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 5 eps) (*.f64 x x)))
(fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3)))
(fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x x) (*.f64 5 eps)))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 2)))
(.f64 (.f64 5 eps) (*.f64 x x))
(.f64 5 (.f64 eps (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 5 eps))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(.f64 10 (.f64 (*.f64 x x) (pow.f64 eps 3)))
(.f64 (.f64 x x) (*.f64 10 (pow.f64 eps 3)))
(.f64 x (.f64 x (*.f64 10 (pow.f64 eps 3))))
(.f64 x (.f64 (pow.f64 eps 3) (*.f64 x 10)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 eps))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 eps))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(.f64 5 (.f64 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 eps))
(.f64 eps (.f64 5 (pow.f64 x 4)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(.f64 10 (.f64 (*.f64 x x) (pow.f64 eps 3)))
(.f64 (.f64 x x) (*.f64 10 (pow.f64 eps 3)))
(.f64 x (.f64 x (*.f64 10 (pow.f64 eps 3))))
(.f64 x (.f64 (pow.f64 eps 3) (*.f64 x 10)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(.f64 10 (.f64 (*.f64 x x) (pow.f64 eps 3)))
(.f64 (.f64 x x) (*.f64 10 (pow.f64 eps 3)))
(.f64 x (.f64 x (*.f64 10 (pow.f64 eps 3))))
(.f64 x (.f64 (pow.f64 eps 3) (*.f64 x 10)))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 eps (pow.f64 x 4))) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 10 (.f64 (.f64 x x) (pow.f64 eps 3))))
(fma.f64 5 (.f64 eps (pow.f64 x 4)) (.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3))))
(fma.f64 (.f64 x x) (.f64 10 (pow.f64 eps 3)) (.f64 (pow.f64 x 4) (.f64 5 eps)))
(fma.f64 x (.f64 (pow.f64 eps 3) (.f64 x 10)) (.f64 eps (.f64 5 (pow.f64 x 4))))
(.f64 x (fma.f64 10 (.f64 x (pow.f64 eps 3)) (.f64 (.f64 5 eps) (pow.f64 x 3))))
(.f64 (.f64 x x) (fma.f64 5 (.f64 eps (.f64 x x)) (*.f64 10 (pow.f64 eps 3))))

eval49.0ms (1.5%)

Compiler: Compiled 2788 to 1599 computations (42.6% saved)

prune198.0ms (6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	93	7	100

Error

0.0b

Counts

100 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	15.0b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
	12.2b	(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
	12.1b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 (.f64 x x) (.f64 5 (.f64 eps (pow.f64 x 2)))))
	12.0b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 (.f64 x x) (+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 x (.f64 5 (.f64 eps x))))))
	12.1b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 5 (.f64 eps (pow.f64 x 4))))
✓	8.7b	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
✓	11.9b	(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))

Compiler

Compiled 159 to 114 computations (28.3% saved)

regimes54.0ms (1.6%)

Accuracy

Total -20.4b remaining (-17275.7%)

Threshold costs -20.4b (-17275.7%)

Counts

10 → 3

Calls

Call 1

Inputs
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 (.f64 x x) (.f64 5 (.f64 eps (pow.f64 x 2)))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 (.f64 x x) (+.f64 (.f64 10 (pow.f64 eps 3)) (.f64 x (.f64 5 (.f64 eps x))))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 5 (.f64 eps (pow.f64 x 4))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 (.f64 x x) (fma.f64 10 (pow.f64 eps 3) (.f64 (.f64 x 5) (*.f64 x eps)))))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 5 (.f64 eps (pow.f64 x 4))))
(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (neg.f64 (pow.f64 x 5))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (pow.f64 x 5)))
(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (fma.f64 (.f64 eps 5) (pow.f64 x 4) (.f64 x (-.f64 (.f64 (.f64 (pow.f64 eps 3) 10) x) (*.f64 (pow.f64 eps 4) -5)))))
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
(fma.f64 (.f64 eps eps) (.f64 (pow.f64 x 3) 10) (.f64 5 (.f64 eps (pow.f64 x 4))))
(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

Results

Time	Error	Segments	Branch
18.0ms	0.7b	3	`x`
22.0ms	1.2b	3	`eps`
7.0ms	0.1b	3	`(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))`

Compiler

Compiled 214 to 139 computations (35% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Point		Range
0.0ms	0.0	∈ [	0.0	,	4.93654e-318	]
0.0ms	-2e-311	∈ [	-3.5912612751937e-311	,	0.0	]

Compiler

Compiled 16 to 12 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
3×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	85
1	31	85
2	35	85
3	37	85
4	38	85

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) -66323170363736064/3316158518186977171087283760642741158699936149735704467159471849921418683482035763477878926564345847729145083728966646356210626353328840324989147544629059746554141479347263264595425816446455256534872353644097455203319930608430165174159005378955830171087831965898486080345430665055936553487340789901656166618033483630075818541056) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 0) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (*.f64 5 (*.f64 eps (pow.f64 x 4)))) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))

Outputs

(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) -66323170363736064/3316158518186977171087283760642741158699936149735704467159471849921418683482035763477878926564345847729145083728966646356210626353328840324989147544629059746554141479347263264595425816446455256534872353644097455203319930608430165174159005378955830171087831965898486080345430665055936553487340789901656166618033483630075818541056) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 0) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (*.f64 5 (*.f64 eps (pow.f64 x 4)))) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))

(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) 0) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (*.f64 5 (*.f64 eps (pow.f64 x 4)))) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))))

end45.0ms (1.3%)

Stop Event

1×

fuel

Compiler

Compiled 120 to 80 computations (33.3% saved)

Details

analyze1.0ms (0%)

sample1.5s (46.5%)

preprocess31.0ms (1%)

simplify22.0ms (0.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series8.0ms (0.3%)

rewrite55.0ms (1.7%)

simplify51.0ms (1.5%)

eval70.0ms (2.1%)

prune425.0ms (12.9%)

localize7.0ms (0.2%)

series5.0ms (0.2%)

rewrite83.0ms (2.5%)

simplify62.0ms (1.9%)

eval12.0ms (0.4%)

prune89.0ms (2.7%)

localize21.0ms (0.6%)

series11.0ms (0.3%)

rewrite37.0ms (1.1%)

simplify56.0ms (1.7%)

eval54.0ms (1.6%)

prune143.0ms (4.3%)

localize18.0ms (0.5%)

series10.0ms (0.3%)

rewrite56.0ms (1.7%)

simplify84.0ms (2.6%)

eval49.0ms (1.5%)

prune198.0ms (6%)

regimes54.0ms (1.6%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end45.0ms (1.3%)

Profiling