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)

sample2.2s (51.1%)

Results

1.1s	6586×	body	64	valid
475.0ms	585×	body	1024	valid
273.0ms	522×	body	512	valid
221.0ms	355×	body	256	valid
51.0ms	188×	body	128	valid
17.0ms	20×	body	2048	valid

preprocess46.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

718×	`fma-def_binary64`
664×	`unswap-sqr_binary64`
450×	`distribute-rgt-in_binary64`
422×	`distribute-lft-in_binary64`
374×	`fma-neg_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
6	5232	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)

simplify37.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

672×	`distribute-rgt-neg-in_binary64`
579×	`distribute-lft-neg-in_binary64`
436×	`unswap-sqr_binary64`
376×	`fma-def_binary64`
259×	`*-commutative_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
7	5451	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

8.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 24 computations (27.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

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

rewrite64.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

907×	`prod-diff_binary64`
425×	`log-prod_binary64`
325×	`fma-def_binary64`
290×	`pow-prod-down_binary64`
258×	`pow2_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 → 118

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

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (+.f64 x eps) 5))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (+.f64 x eps) 5)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (+.f64 x eps) 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 x eps) 5) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (+.f64 x eps) 5))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.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)) (pow.f64 (cbrt.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 (cbrt.f64 (+.f64 x eps)) 10) (pow.f64 (cbrt.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 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))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (+.f64 x eps) 5)))))))

simplify64.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

656×	`associate-+l+_binary64`
638×	`associate-l_binary64`
578×	`distribute-rgt-neg-in_binary64`
572×	`associate-r_binary64`
551×	`associate-+r+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	1374
1	376	1293
2	1511	1107
3	6450	1107

Stop Event

1×	node limit

Counts

166 → 157

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

prune548.0ms (13%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	4	158

Error

0.1b

Counts

158 → 4

Alt Table

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

Compiler

Compiled 3856 to 2617 computations (32.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite46.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

803×	`pow1_binary64`
746×	`add-log-exp_binary64`
746×	`log1p-expm1-u_binary64`
746×	`expm1-log1p-u_binary64`
727×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

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

Outputs

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

simplify132.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1005×	`sqr-pow_binary64`
755×	`fma-def_binary64`
621×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
513×	`unswap-sqr_binary64`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	10	330
1	23	294
2	51	294
3	109	294
4	276	294
5	869	294
6	1290	294
7	2167	276
8	2424	240
9	2922	240
10	3530	240
11	3913	240
12	4409	240
13	5086	240
14	5867	240
15	6441	240
16	6881	240
17	7233	240
18	7503	240
19	7629	240

Stop Event

1×	node limit

Counts

45 → 25

Calls

Call 1

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

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

prune36.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	25	4	29

Error

0.1b

Counts

29 → 4

Alt Table

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

Compiler

Compiled 509 to 380 computations (25.3% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.3%)

Counts

4 → 48

Calls

15 calls:

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

rewrite63.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

603×	`log-prod_binary64`
440×	`exp-prod_binary64`
359×	`pow-prod-down_binary64`
319×	`pow2_binary64`
253×	`pow-unpow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	296	31
2	3145	31

Stop Event

1×	node limit

Counts

4 → 101

Calls

Call 1

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

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

simplify176.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

985×	`sqr-pow_binary64`
600×	`associate-l_binary64`
567×	`pow-sqr_binary64`
553×	`cube-prod_binary64`
536×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	408
1	29	408
2	64	408
3	153	408
4	419	408
5	1710	408
6	2747	408
7	2922	408
8	3174	408
9	3465	408
10	3848	408
11	4351	408
12	4952	408
13	5665	408
14	6106	408
15	6411	408
16	6669	408
17	6835	408
18	6919	408
19	7610	408

Stop Event

1×	node limit

Counts

149 → 106

Calls

Call 1

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

Outputs
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.f64 10 (pow.f64 eps 2))
(.f64 10 (.f64 eps eps))
(*.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 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))
(.f64 10 (.f64 (pow.f64 eps 2) x))
(.f64 10 (.f64 (*.f64 eps eps) x))
(.f64 (.f64 eps eps) (*.f64 10 x))
(.f64 eps (.f64 (*.f64 10 eps) x))
(.f64 10 (.f64 eps (*.f64 eps x)))
(.f64 eps (.f64 10 (*.f64 eps x)))

prune367.0ms (8.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	106	4	110

Error

0.1b

Counts

110 → 4

Alt Table

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

Compiler

Compiled 3870 to 2557 computations (33.9% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series10.0ms (0.2%)

Counts

3 → 24

Calls

12 calls:

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

rewrite57.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

952×	`pow1_binary64`
892×	`add-log-exp_binary64`
891×	`log1p-expm1-u_binary64`
891×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	185	24
2	2531	24

Stop Event

1×	node limit

Counts

3 → 77

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x 4) 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 16 (pow.f64 x 8)) (*.f64 (pow.f64 x 4) 3)) (/.f64 (pow.f64 x 8) (*.f64 (pow.f64 x 4) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 4) 5)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 4) 5) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (pow.f64 x 4) 5))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 5)) (cbrt.f64 (*.f64 25 (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 25 (pow.f64 x 8))) (cbrt.f64 (*.f64 (pow.f64 x 4) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 5) (*.f64 x x)) (*.f64 (sqrt.f64 5) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 64 (pow.f64 x 12)) (pow.f64 x 12)) (/.f64 1 (+.f64 (*.f64 16 (pow.f64 x 8)) (-.f64 (pow.f64 x 8) (*.f64 4 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 16 (pow.f64 x 8)) (pow.f64 x 8)) (/.f64 1 (*.f64 (pow.f64 x 4) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 5 (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 5 (cbrt.f64 (pow.f64 x 8))) (cbrt.f64 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 5 (*.f64 x x)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 16 (pow.f64 x 8)) (-.f64 (pow.f64 x 8) (*.f64 4 (pow.f64 x 8)))) (+.f64 (*.f64 64 (pow.f64 x 12)) (pow.f64 x 12))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 (pow.f64 x 4) 3) (-.f64 (*.f64 16 (pow.f64 x 8)) (pow.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 64 (pow.f64 x 12)) (pow.f64 x 12)) (+.f64 (*.f64 16 (pow.f64 x 8)) (-.f64 (pow.f64 x 8) (*.f64 4 (pow.f64 x 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 64 (pow.f64 x 12)) (pow.f64 x 12)) (+.f64 (pow.f64 x 8) (-.f64 (*.f64 16 (pow.f64 x 8)) (*.f64 4 (pow.f64 x 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 16 (pow.f64 x 8)) (pow.f64 x 8)) (*.f64 (pow.f64 x 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 64 (pow.f64 x 12)) (pow.f64 x 12))) (neg.f64 (+.f64 (*.f64 16 (pow.f64 x 8)) (-.f64 (pow.f64 x 8) (*.f64 4 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 16 (pow.f64 x 8)) (pow.f64 x 8))) (neg.f64 (*.f64 (pow.f64 x 4) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 8) (*.f64 16 (pow.f64 x 8))) (-.f64 (pow.f64 x 4) (*.f64 4 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 4) 5) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 x 4) 5) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 5)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 5) (*.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 25 (pow.f64 x 8)))))) (#(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 (pow.f64 x 4) 5))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 x 4) 5) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 4 (pow.f64 x 4) (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 4) 4 (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 x 4) (*.f64 4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 4 (pow.f64 x 4)) (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 16 (pow.f64 x 8))) (cbrt.f64 (*.f64 4 (pow.f64 x 4))) (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 8)) (cbrt.f64 (pow.f64 x 4)) (*.f64 4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 x x)) (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) (*.f64 x x) (*.f64 4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 x 4) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 x 4) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 x 4) 5)))))))

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

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

simplify125.0ms (3%)

Algorithm

1×	egg-herbie

Rules

952×	`cube-prod_binary64`
776×	`sqr-pow_binary64`
618×	`unswap-sqr_binary64`
500×	`fabs-mul_binary64`
493×	`cube-mult_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	204
1	18	204
2	39	204
3	89	204
4	241	204
5	810	204
6	999	204
7	1342	204
8	1422	204
9	1530	204
10	1662	204
11	1853	204
12	2096	204
13	3215	204
14	3716	204
15	4388	204
16	5133	204
17	6064	204
18	6634	204
19	7317	204
20	7766	204

Stop Event

1×	node limit

Counts

101 → 79

Calls

Call 1

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

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

prune148.0ms (3.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	76	7	83

Error

0.0b

Counts

83 → 7

Alt Table

Status	Error	Program
	12.2b	(.f64 5 (.f64 (pow.f64 x 4) eps))
✓	8.7b	(fma.f64 (pow.f64 eps 4) (*.f64 5 x) (pow.f64 eps 5))
	12.3b	(.f64 eps (pow.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 5)) 3))
	12.2b	(.f64 eps (fma.f64 (.f64 2 (.f64 x x)) (.f64 2 (*.f64 x x)) (pow.f64 x 4)))
✓	12.2b	(.f64 eps (+.f64 (.f64 4 (pow.f64 x 4)) (pow.f64 x 4)))
	21.0b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 x eps) 15)) (pow.f64 x 5))
✓	11.9b	(fma.f64 (.f64 eps 5) (pow.f64 x 4) (fma.f64 (.f64 5 (pow.f64 eps 4)) x (.f64 (.f64 x x) (+.f64 (.f64 (pow.f64 eps 3) 10) (.f64 x (.f64 (.f64 eps eps) 10))))))

Compiler

Compiled 1265 to 948 computations (25.1% saved)

regimes46.0ms (1.1%)

Accuracy

Total -25.0b remaining (-21210%)

Threshold costs -25.0b (-21210%)

Counts

8 → 3

Calls

Call 1

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

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

Results

15.0ms	0.7b	`x`
19.0ms	1.2b	`eps`
8.0ms	0.1b	`(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))`

Compiler

Compiled 123 to 83 computations (32.5% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Calls

2 calls:

0.0ms	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
0.0ms	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

Steps

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

Compiler

Compiled 16 to 12 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-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	19	72
1	24	72
2	28	72
3	30	72
4	31	72

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

Outputs

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

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

end34.0ms (0.8%)

Stop Event

1×

fuel

Compiler

Compiled 102 to 68 computations (33.3% saved)

Details

analyze1.0ms (0%)

sample2.2s (51.1%)

preprocess46.0ms (1.1%)

simplify37.0ms (0.9%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series9.0ms (0.2%)

rewrite64.0ms (1.5%)

simplify64.0ms (1.5%)

prune548.0ms (13%)

localize6.0ms (0.1%)

series5.0ms (0.1%)

rewrite46.0ms (1.1%)

simplify132.0ms (3.1%)

prune36.0ms (0.8%)

localize17.0ms (0.4%)

series11.0ms (0.3%)

rewrite63.0ms (1.5%)

simplify176.0ms (4.2%)

prune367.0ms (8.7%)

localize5.0ms (0.1%)

series10.0ms (0.2%)

rewrite57.0ms (1.3%)

simplify125.0ms (3%)

prune148.0ms (3.5%)

regimes46.0ms (1.1%)

bsearch1.0ms (0%)

simplify3.0ms (0.1%)

end34.0ms (0.8%)

Profiling