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.9s (49.3%)

Results

1.2s	6746×	body	128	valid
361.0ms	592×	body	1024	valid
222.0ms	555×	body	512	valid
87.0ms	340×	body	256	valid
15.0ms	23×	body	2048	valid

preprocess27.0ms (0.7%)

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)

simplify21.0ms (0.6%)

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))

prune2.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

4.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 24 computations (27.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series8.0ms (0.2%)

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))

rewrite52.0ms (1.4%)

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 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 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 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 -.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 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)))))) (#(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))))))

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 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 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 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 -.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 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)))))) (#(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))))))

simplify38.0ms (1%)

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)))

prune345.0ms (9.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

0.0b

Counts

129 → 4

Alt Table

Status	Error	Program
▶	9.6b	(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)))))
✓	4.3b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
	12.6b	(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
	9.8b	(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))

Compiler

Compiled 3458 to 2367 computations (31.6% saved)

localize19.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.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.1b	(*.f64 (pow.f64 x 3) 10)

series10.0ms (0.3%)

Counts

4 → 60

Calls

15 calls:

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

rewrite58.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

282×	`expm1-udef_binary64`
282×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
160×	`add-log-exp_binary64`
160×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	43
1	364	41
2	4236	41

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

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

simplify64.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-def_binary64`
597×	`unswap-sqr_binary64`
558×	`associate-l_binary64`
378×	`associate-r_binary64`
175×	`sqr-pow_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	22	735
1	54	735
2	144	717
3	466	681
4	2015	663
5	3459	627
6	4223	627
7	4769	627

Stop Event

1×	node limit

Counts

122 → 72

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 (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 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.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 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.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 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.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 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(.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 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.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 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 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))) (.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)))

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 (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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(.f64 10 (.f64 (pow.f64 eps 3) (*.f64 x x)))
(.f64 10 (.f64 x (*.f64 x (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(.f64 10 (.f64 (pow.f64 eps 3) (*.f64 x x)))
(.f64 10 (.f64 x (*.f64 x (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2)))
(.f64 10 (.f64 (pow.f64 eps 3) (*.f64 x x)))
(.f64 10 (.f64 x (*.f64 x (pow.f64 eps 3))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(+.f64 (.f64 5 (.f64 (pow.f64 eps 4) x)) (.f64 10 (.f64 (pow.f64 eps 3) (pow.f64 x 2))))
(fma.f64 10 (.f64 (pow.f64 eps 3) (.f64 x x)) (.f64 5 (.f64 x (pow.f64 eps 4))))
(fma.f64 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(.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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))
(.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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 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 (.f64 (pow.f64 eps 4) 5) x (.f64 10 (.f64 x (.f64 x (pow.f64 eps 3)))))
(.f64 x (+.f64 (.f64 (pow.f64 eps 4) 5) (.f64 10 (.f64 x (pow.f64 eps 3)))))
(.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 eps 5) (.f64 10 x))))
(.f64 x (.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5))))

prune163.0ms (4.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	72	4	76

Error

0.0b

Counts

76 → 4

Alt Table

Status	Error	Program
✓	9.6b	(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)))))
✓	4.3b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
	12.6b	(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
▶	9.8b	(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))

Compiler

Compiled 2584 to 1805 computations (30.1% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 (pow.f64 x 3) 10) eps)
✓	0.0b	(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))
✓	0.1b	(*.f64 5 (pow.f64 x 4))
	0.1b	(*.f64 (pow.f64 x 3) 10)

series9.0ms (0.2%)

Counts

3 → 48

Calls

15 calls:

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

rewrite60.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

416×	`fma-def_binary64`
247×	`expm1-udef_binary64`
247×	`log1p-udef_binary64`
197×	`fma-neg_binary64`
147×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	37
1	313	37
2	3850	37

Stop Event

1×	node limit

Counts

3 → 89

Calls

Call 1

Inputs
(*.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 x 3) 10) eps)

Outputs

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

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

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

simplify81.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

739×	`fma-def_binary64`
582×	`unswap-sqr_binary64`
546×	`associate-l_binary64`
522×	`distribute-rgt-in_binary64`
380×	`associate-r_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	18	723
1	47	723
2	132	723
3	421	705
4	1899	651
5	3350	615
6	4074	615
7	4725	615

Stop Event

1×	node limit

Counts

137 → 97

Calls

Call 1

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

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

prune256.0ms (6.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	109	6	115

Error

0.0b

Counts

115 → 6

Alt Table

Status	Error	Program
✓	4.3b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
	9.9b	(pow.f64 (cbrt.f64 (.f64 eps (fma.f64 5 (pow.f64 x 4) (.f64 eps (*.f64 (pow.f64 x 3) 10))))) 3)
✓	9.6b	(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)))))
	12.6b	(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
✓	9.8b	(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))
▶	9.8b	(.f64 eps (.f64 (pow.f64 x 3) (fma.f64 5 x (*.f64 eps 10))))

Compiler

Compiled 2412 to 1752 computations (27.4% saved)

localize18.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

series12.0ms (0.3%)

Counts

3 → 72

Calls

18 calls:

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

rewrite87.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

504×	`log-prod_binary64`
270×	`pow2_binary64`
190×	`pow1/3_binary64`
190×	`expm1-udef_binary64`
190×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	232	39
2	2571	39

Stop Event

1×	node limit

Counts

3 → 77

Calls

Call 1

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

Outputs

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

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

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

simplify75.0ms (2%)

Algorithm

1×	egg-herbie

Rules

854×	`fma-def_binary64`
582×	`unswap-sqr_binary64`
562×	`associate-l_binary64`
387×	`associate-r_binary64`
218×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	1008
1	58	1008
2	151	1008
3	455	954
4	2016	846
5	3496	846
6	4258	846
7	4988	846

Stop Event

1×	node limit

Counts

149 → 93

Calls

Call 1

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

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

prune167.0ms (4.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	93	6	99

Error

0.0b

Counts

99 → 6

Alt Table

Status	Error	Program
✓	4.3b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
	9.9b	(pow.f64 (cbrt.f64 (.f64 eps (fma.f64 5 (pow.f64 x 4) (.f64 eps (*.f64 (pow.f64 x 3) 10))))) 3)
✓	9.6b	(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)))))
	12.6b	(fma.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 10)) (cbrt.f64 (pow.f64 (+.f64 x eps) 5)) (neg.f64 (pow.f64 x 5)))
✓	9.8b	(.f64 eps (+.f64 (.f64 5 (pow.f64 x 4)) (.f64 (.f64 (pow.f64 x 3) 10) eps)))
✓	9.8b	(.f64 eps (.f64 (pow.f64 x 3) (fma.f64 5 x (*.f64 eps 10))))

Compiler

Compiled 1607 to 1173 computations (27% saved)

regimes139.0ms (3.7%)

Accuracy

Total -21.8b remaining (-1774.4%)

Threshold costs -21.8b (-1774.4%)

Counts

35 → 3

Compiler

Compiled 712 to 508 computations (28.7% saved)

bsearch69.0ms (1.8%)

Algorithm

2×	binary-search

Calls

2 calls:

68.0ms	x
0.0ms	x

Steps

Iters	Point		Range
1.82064444690524e-37	∈ [	1.82064444690524e-37	,	1.0004467315078225e-34	]
-1.194e-57	∈ [	-1.1948894881651406e-57	,	-1.1920635292584599e-57	]

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	33	82
1	43	82
2	48	82
3	50	82
4	51	82

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 x -2109615395345391/1766847064778384329583297500742918515827483896875618958121606201292619776) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (*.f64 x (*.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5)))))) (if (<=.f64 x 4359577338100817/23945242826029513411849172299223580994042798784118784) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (*.f64 (pow.f64 x 3) (*.f64 eps (fma.f64 10 eps (*.f64 x 5))))))

Outputs

(if (<=.f64 x -2109615395345391/1766847064778384329583297500742918515827483896875618958121606201292619776) (fma.f64 (*.f64 eps eps) (*.f64 (pow.f64 x 3) 10) (fma.f64 (*.f64 eps 5) (pow.f64 x 4) (*.f64 x (*.f64 (pow.f64 eps 3) (fma.f64 10 x (*.f64 eps 5)))))) (if (<=.f64 x 4359577338100817/23945242826029513411849172299223580994042798784118784) (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)) (*.f64 (pow.f64 x 3) (*.f64 eps (fma.f64 10 eps (*.f64 x 5))))))

end112.0ms (3%)

Stop Event

1×

fuel

Compiler

Compiled 219 to 150 computations (31.5% saved)

Details

analyze1.0ms (0%)

sample1.9s (49.3%)

preprocess27.0ms (0.7%)

simplify21.0ms (0.6%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series8.0ms (0.2%)

rewrite52.0ms (1.4%)

simplify38.0ms (1%)

prune345.0ms (9.1%)

localize19.0ms (0.5%)

series10.0ms (0.3%)

rewrite58.0ms (1.5%)

simplify64.0ms (1.7%)

prune163.0ms (4.3%)

localize9.0ms (0.2%)

series9.0ms (0.2%)

rewrite60.0ms (1.6%)

simplify81.0ms (2.1%)

prune256.0ms (6.8%)

localize18.0ms (0.5%)

series12.0ms (0.3%)

rewrite87.0ms (2.3%)

simplify75.0ms (2%)

prune167.0ms (4.4%)

regimes139.0ms (3.7%)

bsearch69.0ms (1.8%)

simplify4.0ms (0.1%)

end112.0ms (3%)

Profiling