Details

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.5s (54.4%)

Results

944.0ms	6846×	body	128	valid
283.0ms	529×	body	1024	valid
182.0ms	530×	body	512	valid
81.0ms	327×	body	256	valid
12.0ms	24×	body	2048	valid

Compiler

Compiled 52 to 38 computations (26.9% saved)

preprocess28.0ms (1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	29	26
2	62	26
3	136	26
4	395	26
5	1607	26
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify21.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

prune4.0ms (0.1%)

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

7.8b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 33 to 24 computations (27.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
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	@	inf	(-.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))
1.0ms	x	@	-inf	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))

rewrite50.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 71

Calls

Call 1

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

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

Outputs

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

simplify48.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1199×	`distribute-lft-out_binary64`
474×	`*-commutative_binary64`
323×	`distribute-rgt-out_binary64`
244×	`fma-def_binary64`
228×	`associate-+l+_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	33	615
1	105	585
2	307	570
3	1174	528
4	2285	513
5	3316	513
6	4108	510

Stop Event

1×	node limit

Counts

95 → 86

Calls

Call 1

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

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

prune81.0ms (2.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	83	3	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	83	4	87

Error

0.0b

Counts

87 → 4

Alt Table

Status	Error	Program
✓	7.8b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
▶	10.7b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 (*.f64 eps 5) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
	10.7b	(.f64 eps (.f64 (pow.f64 x 3) (+.f64 (.f64 5 x) (.f64 eps 10))))
	10.7b	(.f64 eps (.f64 5 (pow.f64 x 4)))

Compiler

Compiled 2100 to 1358 computations (35.3% saved)

localize14.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series20.0ms (0.7%)

Counts

4 → 84

Calls

21 calls:

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

rewrite42.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

208×	`add-sqr-sqrt_binary64`
202×	`pow1_binary64`
200×	`*-un-lft-identity_binary64`
196×	`add-log-exp_binary64`
196×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	74
1	425	74

Stop Event

1×	node limit

Counts

4 → 72

Calls

Call 1

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

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

simplify87.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

631×	`distribute-lft-out_binary64`
381×	`distribute-rgt-out_binary64`
343×	`associate-+l+_binary64`
330×	`distribute-rgt-in_binary64`
324×	`*-commutative_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	1575
1	115	1488
2	335	1401
3	1365	1326
4	2774	1296
5	3802	1296
6	4265	1296
7	4884	1296

Stop Event

1×	node limit

Counts

156 → 99

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

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

prune113.0ms (4.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	98	5	103

Error

Counts

103 → 5

Alt Table

Status	Error	Program
	10.8b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (pow.f64 (cbrt.f64 (.f64 eps (*.f64 5 (+.f64 (pow.f64 eps 3) (pow.f64 x 3))))) 3)))
✓	10.7b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 (*.f64 eps 5) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
▶	10.6b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 eps (*.f64 5 (pow.f64 x 3)))))
✓	7.8b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
	10.7b	(.f64 eps (.f64 5 (pow.f64 x 4)))

Compiler

Compiled 3163 to 1955 computations (38.2% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series5.0ms (0.2%)

Counts

2 → 24

Calls

9 calls:

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

rewrite37.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

716×	`pow1_binary64`
667×	`add-log-exp_binary64`
667×	`log1p-expm1-u_binary64`
667×	`expm1-log1p-u_binary64`
79×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	170	17
2	1845	17

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify72.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

818×	`unswap-sqr_binary64`
500×	`sqr-pow_binary64`
295×	`*-commutative_binary64`
281×	`cube-prod_binary64`
271×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	20	240
2	50	240
3	127	240
4	280	240
5	743	240
6	965	240
7	1287	240
8	2569	240
9	2670	240
10	2829	240
11	3036	240
12	3343	240
13	3771	240
14	4328	240
15	4979	240

Stop Event

1×	node limit

Counts

50 → 28

Calls

Call 1

Inputs
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 5 (.f64 eps (pow.f64 x 3)))

Outputs
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))
(.f64 5 (.f64 eps (pow.f64 x 3)))
(.f64 (pow.f64 x 3) (.f64 5 eps))

prune76.0ms (2.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	64	5	69

Error

Counts

69 → 5

Alt Table

Status	Error	Program
	10.8b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (pow.f64 (cbrt.f64 (.f64 eps (*.f64 5 (+.f64 (pow.f64 eps 3) (pow.f64 x 3))))) 3)))
✓	10.7b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 (*.f64 eps 5) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
✓	10.6b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 eps (*.f64 5 (pow.f64 x 3)))))
✓	7.8b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
▶	10.7b	(.f64 eps (.f64 5 (pow.f64 x 4)))

Compiler

Compiled 1634 to 976 computations (40.3% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.3%)

Counts

2 → 24

Calls

9 calls:

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

rewrite38.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

699×	`pow1_binary64`
647×	`add-log-exp_binary64`
647×	`log1p-expm1-u_binary64`
647×	`expm1-log1p-u_binary64`
78×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	167	17
2	1838	17

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify66.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

614×	`unswap-sqr_binary64`
590×	`sqr-pow_binary64`
342×	`cube-prod_binary64`
296×	`pow-sqr_binary64`
266×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	240
1	16	240
2	35	240
3	77	240
4	211	240
5	712	240
6	922	240
7	1265	240
8	1345	240
9	1453	240
10	1590	240
11	1781	240
12	2024	240
13	3135	240
14	3635	240
15	4312	240

Stop Event

1×	node limit

Counts

50 → 28

Calls

Call 1

Inputs
(.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)))
(.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 (.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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 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 eps (pow.f64 x 4)))
(.f64 (.f64 5 eps) (pow.f64 x 4))
(.f64 (pow.f64 x 4) (.f64 5 eps))

prune33.0ms (1.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	1	0	1
Picked	1	0	1
Done	0	3	3
Total	29	4	33

Error

Counts

33 → 4

Alt Table

Status	Error	Program
✓	10.6b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 eps (*.f64 5 (pow.f64 x 3)))))
✓	7.8b	(-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))
✓	10.7b	(.f64 x (+.f64 (.f64 (.f64 eps (.f64 eps 10)) (.f64 x (+.f64 eps x))) (.f64 (*.f64 eps 5) (+.f64 (pow.f64 eps 3) (pow.f64 x 3)))))
	11.7b	(.f64 eps (sqrt.f64 (.f64 (pow.f64 x 8) 25)))

Compiler

Compiled 345 to 263 computations (23.8% saved)

regimes229.0ms (8.2%)

Accuracy

Total 1.1b remaining (96.7%)

Threshold costs 0b (0%)

Counts

47 → 3

Compiler

Compiled 783 to 510 computations (34.9% saved)

bsearch18.0ms (0.7%)

Algorithm

2×	binary-search

Calls

2 calls:

18.0ms	x
0.0ms	x

Steps

Iters	Point		Range
4e-47	∈ [	1.8925260098286493e-47	,	4.2013379166750027e-47	]
-7.6e-54	∈ [	-7.730973072264882e-54	,	-7.537337113863979e-54	]

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
5×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	105
1	58	105

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 x -1639164757362759/215679573337205118357336120696157045389097155380324579848828881993728) (*.f64 x (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 2))) (*.f64 eps (*.f64 5 (pow.f64 x 3))))) (if (<=.f64 x 4113761393303015/102844034832575377634685573909834406561420991602098741459288064) (+.f64 (pow.f64 eps 5) (*.f64 x (+.f64 (*.f64 5 (pow.f64 eps 4)) (*.f64 (*.f64 eps (*.f64 eps 10)) (*.f64 x (+.f64 eps x)))))) (*.f64 x (+.f64 (*.f64 (*.f64 eps (*.f64 eps 10)) (*.f64 x (+.f64 eps x))) (*.f64 (pow.f64 x 3) (*.f64 5 eps))))))

Outputs

(if (<=.f64 x -1639164757362759/215679573337205118357336120696157045389097155380324579848828881993728) (*.f64 x (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 2))) (*.f64 eps (*.f64 5 (pow.f64 x 3))))) (if (<=.f64 x 4113761393303015/102844034832575377634685573909834406561420991602098741459288064) (+.f64 (pow.f64 eps 5) (*.f64 x (+.f64 (*.f64 5 (pow.f64 eps 4)) (*.f64 (*.f64 eps (*.f64 eps 10)) (*.f64 x (+.f64 eps x)))))) (*.f64 x (+.f64 (*.f64 (*.f64 eps (*.f64 eps 10)) (*.f64 x (+.f64 eps x))) (*.f64 (pow.f64 x 3) (*.f64 5 eps))))))

(if (<=.f64 x -1639164757362759/215679573337205118357336120696157045389097155380324579848828881993728) (*.f64 x (+.f64 (*.f64 10 (*.f64 (pow.f64 eps 2) (pow.f64 x 2))) (*.f64 eps (*.f64 5 (pow.f64 x 3))))) (if (<=.f64 x 4113761393303015/102844034832575377634685573909834406561420991602098741459288064) (+.f64 (pow.f64 eps 5) (*.f64 x (+.f64 (*.f64 5 (pow.f64 eps 4)) (*.f64 (*.f64 eps (*.f64 10 eps)) (*.f64 x (+.f64 x eps)))))) (*.f64 x (+.f64 (*.f64 (*.f64 eps (*.f64 10 eps)) (*.f64 x (+.f64 x eps))) (*.f64 (pow.f64 x 3) (*.f64 eps 5))))))

end149.0ms (5.3%)

Stop Event

1×

fuel

Compiler

Compiled 217 to 145 computations (33.2% saved)

Details

analyze1.0ms (0%)

sample1.5s (54.4%)

preprocess28.0ms (1%)

simplify21.0ms (0.7%)

prune4.0ms (0.1%)

localize5.0ms (0.2%)

series5.0ms (0.2%)

rewrite50.0ms (1.8%)

simplify48.0ms (1.7%)

prune81.0ms (2.9%)

localize14.0ms (0.5%)

series20.0ms (0.7%)

rewrite42.0ms (1.5%)

simplify87.0ms (3.1%)

prune113.0ms (4.1%)

localize11.0ms (0.4%)

series5.0ms (0.2%)

rewrite37.0ms (1.3%)

simplify72.0ms (2.6%)

prune76.0ms (2.7%)

localize4.0ms (0.2%)

series9.0ms (0.3%)

rewrite38.0ms (1.4%)

simplify66.0ms (2.4%)

prune33.0ms (1.2%)

regimes229.0ms (8.2%)

bsearch18.0ms (0.7%)

simplify3.0ms (0.1%)

end149.0ms (5.3%)

Profiling