Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample2.2s (57.4%)

Results

1.4s	6156×	body	256	valid
422.0ms	1010×	body	1024	valid
316.0ms	1075×	body	512	valid
6.0ms	15×	body	2048	valid

Bogosity

preprocess48.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

704×	`rational_best-simplify-96`
696×	`rational_best-simplify-61`
688×	`rational_best-simplify-117`
682×	`rational_best-simplify-65`
656×	`rational_best-simplify-113`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	71	50
2	330	50
3	2089	50
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) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify101.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

934×	`rational_best-simplify-1`
682×	`rational_best-simplify-18`
672×	`rational_best-simplify-20`
402×	`rational_best-simplify-124`
400×	`rational_best-simplify-127`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	37	25
2	175	25
3	1094	25
4	7061	25

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

13.9b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	13.9b	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Compiler

Compiled 11 to 8 computations (27.3% saved)

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (+.f64 x eps) 2)
✓	3.4b	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Compiler

Compiled 25 to 13 computations (48% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite93.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

926×	`rational_best-simplify-1`
682×	`rational_best-simplify-18`
672×	`rational_best-simplify-20`
402×	`rational_best-simplify-124`
400×	`rational_best-simplify-127`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	37	38
2	175	38
3	1094	38
4	7064	38

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 x 2) 0) (/.f64 (-.f64 (pow.f64 (.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (+.f64 x eps) 2) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (+.f64 x eps) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (-.f64 (neg.f64 x) eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (*.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (*.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (-.f64 (*.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)) (*.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 x 2) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (+.f64 x eps) 2) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (*.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (*.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (+.f64 x eps) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (+.f64 x eps) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (-.f64 (neg.f64 x) eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))))))

simplify75.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1040×	`rational_best-simplify-96`
1016×	`rational_best-simplify-61`
1008×	`rational_best-simplify-65`
668×	`rational_best-simplify-3`
620×	`rational_best-simplify-62`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	109	1973
1	532	1973
2	3466	1973

Stop Event

1×	node limit

Counts

85 → 51

Calls

Call 1

Inputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)
(+.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(*.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(/.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) -2)
(/.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1))
(/.f64 (+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) 2)
(/.f64 (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) -4)
(/.f64 (+.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))))
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(if (!=.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 (pow.f64 x 2) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 (pow.f64 (+.f64 x eps) 2) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (*.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 (neg.f64 (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (*.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(if (!=.f64 -1 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) 0)
(+.f64 0 (pow.f64 (+.f64 x eps) 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) 0)
(-.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(*.f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(*.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(*.f64 (pow.f64 (-.f64 (neg.f64 x) eps) 2) 1)
(/.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))

Outputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (.f64 eps (.f64 2 x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (.f64 eps (.f64 2 x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (.f64 eps (.f64 2 x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps (.f64 2 x)) (+.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (pow.f64 (+.f64 x eps) 2) (neg.f64 (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) -2)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (+.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) 2)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) -4)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (+.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (+.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))) (.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 1) (.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(pow.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (pow.f64 x 2) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (pow.f64 (+.f64 x eps) 2) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (*.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (neg.f64 (pow.f64 x 2)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x eps)) 2) (pow.f64 x 4)) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 (*.f64 x (+.f64 x eps)) 2)) (pow.f64 (+.f64 x eps) 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 2)) (pow.f64 (+.f64 x eps) 2)) 0) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 4) (pow.f64 x 4)) (+.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(if (!=.f64 -1 0) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 (pow.f64 (+.f64 x eps) 2) 0)
(pow.f64 (+.f64 eps x) 2)
(+.f64 0 (pow.f64 (+.f64 x eps) 2))
(pow.f64 (+.f64 eps x) 2)
(-.f64 (pow.f64 (+.f64 x eps) 2) 0)
(pow.f64 (+.f64 eps x) 2)
(-.f64 0 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(*.f64 -1 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(pow.f64 (+.f64 eps x) 2)
(*.f64 (pow.f64 (-.f64 (neg.f64 x) eps) 2) 1)
(*.f64 1 (pow.f64 (-.f64 (neg.f64 x) eps) 2))
(*.f64 1 (pow.f64 (-.f64 (neg.f64 eps) x) 2))
(/.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)) -1)
(pow.f64 (+.f64 eps x) 2)
(neg.f64 (neg.f64 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)

eval67.0ms (1.7%)

Compiler: Compiled 1081 to 679 computations (37.2% saved)

prune9.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	4	52

Error

0.0b

Counts

52 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	15.7b	(pow.f64 eps 2)
▶	0.0b	(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
▶	23.7b	(.f64 eps (.f64 2 x))
▶	23.7b	(.f64 2 (.f64 eps x))

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (.f64 eps x))

Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

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

rewrite18.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

12×	`rational_best-simplify-3`
4×	`rational_best-simplify-113`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	11	13
2	15	13
3	17	13

Stop Event

1×

saturated

Counts

1 → 0

Calls

Call 1

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

Outputs
()

simplify67.0ms (1.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

localize5.0ms (0.1%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))

Compiler

Compiled 25 to 16 computations (36% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite57.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

510×	`rational_best-simplify-111`
508×	`rational_best-simplify-3`
500×	`rational_best-simplify-110`
470×	`rational_best-simplify-124`
458×	`rational_best-simplify-126`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	17	25
2	51	25
3	241	25
4	1388	25

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 eps 2) (*.f64 eps (*.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 2 (*.f64 eps x)) (neg.f64 (pow.f64 eps 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))) (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))) (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))) (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))) (+.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1) (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 1 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))) (*.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))) (-.f64 1 (*.f64 1 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -2 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))) (*.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))) (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1) (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))) (*.f64 (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))) (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))))) (-.f64 (*.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1) (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1)) (*.f64 (+.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1) (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2)) 0) (/.f64 (-.f64 (*.f64 (*.f64 2 (*.f64 eps x)) (*.f64 2 (*.f64 eps x))) (pow.f64 eps 4)) (-.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 eps 2)) 0) (/.f64 (+.f64 (pow.f64 eps 4) (*.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 2 (*.f64 eps x)) 0) (/.f64 (*.f64 eps (*.f64 x (*.f64 2 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))))) (*.f64 2 (*.f64 eps x))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 eps 2) (*.f64 eps (*.f64 x -2))) 0) (/.f64 (-.f64 (*.f64 (*.f64 2 (*.f64 eps x)) (*.f64 2 (*.f64 eps x))) (pow.f64 eps 4)) (-.f64 (*.f64 2 (*.f64 eps x)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (*.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 eps (*.f64 x -2)) 0) (/.f64 (*.f64 eps (*.f64 x (*.f64 2 (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))))) (*.f64 2 (*.f64 eps x))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (neg.f64 (*.f64 0 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))) 0) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 0) (/.f64 (*.f64 (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x)))) (-.f64 (*.f64 eps (*.f64 x -2)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))))))

simplify73.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1054×	`rational_best-simplify-61`
1048×	`rational_best-simplify-65`
864×	`rational_best-simplify-3`
656×	`rational_best-simplify-62`
532×	`rational_best-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	97	1349
1	510	1349
2	3428	1349

Stop Event

1×	node limit

Counts

51 → 37

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(-.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))
(-.f64 (.f64 2 (.f64 eps x)) (neg.f64 (pow.f64 eps 2)))
(-.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) 0)
(-.f64 0 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))
(.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))) 1)
(.f64 -1 (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))
(.f64 (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) -1)
(/.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) 1)
(/.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) -1)
(/.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) -2)
(/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (+.f64 (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1))
(/.f64 (+.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) 2)
(/.f64 (+.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) -4)
(/.f64 (+.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))) (+.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1)))
(/.f64 (-.f64 (.f64 1 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))) (-.f64 1 (.f64 1 (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))) (.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))) (-.f64 (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1)) (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))))
(pow.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) 1)
(neg.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))
(if (!=.f64 (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)) 0) (/.f64 (-.f64 (.f64 (.f64 2 (.f64 eps x)) (.f64 2 (.f64 eps x))) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (neg.f64 (pow.f64 eps 2)) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (+.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) 0) (/.f64 (-.f64 (.f64 (.f64 2 (.f64 eps x)) (.f64 2 (.f64 eps x))) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 0 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) 0) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 0) (/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))

Outputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(-.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(-.f64 (.f64 2 (.f64 eps x)) (neg.f64 (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(-.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) 0)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(-.f64 0 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))) 1)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 -1 (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) -1)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) 1)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) -1)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) -2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (+.f64 (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2)) 1))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (+.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (+.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) -4)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (+.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))) (+.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (-.f64 (.f64 1 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))) (-.f64 1 (.f64 1 (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))) (.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))) (-.f64 (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1)) (.f64 (+.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 1) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (-.f64 -1 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) 1)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(neg.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(if (!=.f64 (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)) 0) (/.f64 (-.f64 (.f64 (.f64 2 (.f64 eps x)) (.f64 2 (.f64 eps x))) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(if (!=.f64 (neg.f64 (pow.f64 eps 2)) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (/.f64 (.f64 eps (.f64 2 (.f64 x (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))))) (.f64 2 (.f64 eps x))) (+.f64 (.f64 2 (*.f64 eps x)) (pow.f64 eps 2)))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (/.f64 (.f64 x (.f64 (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)) (.f64 eps 2))) (.f64 2 (.f64 eps x))) (+.f64 (.f64 2 (*.f64 eps x)) (pow.f64 eps 2)))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (/.f64 (.f64 x (.f64 (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)) (.f64 2 eps))) (.f64 2 (.f64 eps x))) (+.f64 (.f64 2 (*.f64 eps x)) (pow.f64 eps 2)))
(if (!=.f64 (+.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) 0) (/.f64 (-.f64 (.f64 (.f64 2 (.f64 eps x)) (.f64 2 (.f64 eps x))) (pow.f64 eps 4)) (-.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 2 (.f64 x (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))))) (.f64 2 (.f64 eps x))) (+.f64 (.f64 2 (*.f64 eps x)) (pow.f64 eps 2)))
(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 x (.f64 (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)) (.f64 eps 2))) (.f64 2 (.f64 eps x))) (+.f64 (.f64 2 (*.f64 eps x)) (pow.f64 eps 2)))
(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 x (.f64 (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2)) (.f64 2 eps))) (.f64 2 (.f64 eps x))) (+.f64 (.f64 2 (*.f64 eps x)) (pow.f64 eps 2)))
(if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 0 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) 0) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(if (!=.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) 0) (/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))

localize9.0ms (0.2%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

eval18.0ms (0.5%)

Compiler: Compiled 1131 to 746 computations (34% saved)

prune8.0ms (0.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	35	6	41

Error

Counts

41 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	12.8b	(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
▶	17.7b	(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
✓	15.7b	(pow.f64 eps 2)
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
✓	23.7b	(.f64 eps (.f64 2 x))
✓	23.7b	(.f64 2 (.f64 eps x))

Compiler

Compiled 104 to 72 computations (30.8% saved)

localize50.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))
✓	0.1b	(.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))
✓	0.4b	(!=.f64 (.f64 eps (.f64 x -2)) 0)
✓	45.5b	(/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (*.f64 eps x)))

Compiler

Compiled 140 to 84 computations (40% saved)

series9.0ms (0.2%)

Counts

4 → 96

Calls

24 calls:

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

rewrite119.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

818×	`rational_best-simplify-1`
728×	`rational_best-simplify-21`
726×	`rational_best-simplify-18`
718×	`rational_best-simplify-20`
580×	`rational_best-simplify-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	160
1	48	160
2	184	160
3	1119	160
4	6962	160

Stop Event

1×	node limit

Counts

4 → 49

Calls

Call 1

Inputs
(/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (*.f64 eps x)))
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))
(.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x (.f64 eps 2)) 0) (+.f64 (pow.f64 eps 2) (.f64 x (.f64 eps 2))) (/.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))) (.f64 x (*.f64 eps 2))))))))
()
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 (.f64 eps x) 4)) (neg.f64 (.f64 x (.f64 (pow.f64 eps 2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 (.f64 eps x) 4)) (neg.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (.f64 x (.f64 (pow.f64 eps 2) -2))) (.f64 x (.f64 (.f64 eps x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2)) (.f64 x (.f64 (.f64 eps x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (neg.f64 (pow.f64 eps 2)) (.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 2 (pow.f64 eps 2))) (.f64 x (.f64 (.f64 eps x) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 2 (.f64 x (pow.f64 eps 2))) (.f64 2 (.f64 x (.f64 eps (.f64 x -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 x 2) (pow.f64 eps 2)) (.f64 (.f64 x 2) (.f64 eps (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 x 2) 0) (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2))) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (.f64 eps x) 4)))) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 x (.f64 (.f64 eps x) 4)))) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (.f64 x (.f64 (pow.f64 eps 2) -2))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (.f64 (.f64 x (pow.f64 eps 2)) -2)) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 eps (.f64 x (.f64 (pow.f64 eps 2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 eps (.f64 (.f64 x (pow.f64 eps 2)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 2 (.f64 eps (.f64 (pow.f64 eps 2) (neg.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 eps x) (.f64 2 (pow.f64 eps 2))) (.f64 (.f64 eps x) (.f64 (.f64 eps x) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 eps (.f64 (.f64 eps x) 4))) (.f64 x (.f64 eps (.f64 (pow.f64 eps 2) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) 0) (/.f64 (.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))))))))

simplify96.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

962×	`rational_best-simplify-52`
632×	`rational_best-simplify-113`
526×	`rational_best-simplify-53`
460×	`rational_best-simplify-1`
418×	`rational_best-simplify-21`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	173	4853
1	954	4739
2	6615	4739

Stop Event

1×	node limit

Counts

145 → 77

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(.f64 2 (.f64 (pow.f64 eps 2) x))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(.f64 4 (.f64 eps (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(.f64 4 (.f64 eps (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(.f64 4 (.f64 eps (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(.f64 2 (.f64 (pow.f64 eps 2) x))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(.f64 2 (.f64 (pow.f64 eps 2) x))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(if (!=.f64 (.f64 x (.f64 eps 2)) 0) (+.f64 (pow.f64 eps 2) (.f64 x (.f64 eps 2))) (/.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))) (.f64 x (*.f64 eps 2))))
(+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (neg.f64 (.f64 x (*.f64 (pow.f64 eps 2) -2))))
(+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (neg.f64 (.f64 (*.f64 x (pow.f64 eps 2)) -2)))
(+.f64 (neg.f64 (.f64 x (.f64 (pow.f64 eps 2) -2))) (.f64 x (.f64 (*.f64 eps x) 4)))
(+.f64 (neg.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2)) (.f64 x (.f64 (*.f64 eps x) 4)))
(-.f64 0 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))
(-.f64 0 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x))
(-.f64 0 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2))
(-.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)))
(-.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (*.f64 (pow.f64 eps 2) -2)))
(-.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (*.f64 x (pow.f64 eps 2)) -2))
(-.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (neg.f64 (pow.f64 eps 2)) (*.f64 x 2)))
(-.f64 (.f64 x (.f64 2 (pow.f64 eps 2))) (.f64 x (.f64 (*.f64 eps x) -4)))
(-.f64 (.f64 2 (.f64 x (pow.f64 eps 2))) (.f64 2 (.f64 x (.f64 eps (.f64 x -2)))))
(-.f64 (.f64 (.f64 x 2) (pow.f64 eps 2)) (.f64 (.f64 x 2) (.f64 eps (.f64 x -2))))
(-.f64 (.f64 (.f64 x 2) 0) (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))
(/.f64 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) -1)
(/.f64 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x) -1)
(/.f64 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2) -1)
(/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)) -1)
(neg.f64 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))
(neg.f64 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x))
(neg.f64 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2))
(neg.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)))
(if (!=.f64 (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2))) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))
(if (!=.f64 (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))
(if (!=.f64 (.f64 x (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (.f64 eps x) 4)))) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(if (!=.f64 (.f64 x (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 x (.f64 (.f64 eps x) 4)))) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(if (!=.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (.f64 x (.f64 (pow.f64 eps 2) -2))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(if (!=.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (.f64 (.f64 x (pow.f64 eps 2)) -2)) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(+.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))) 0)
(+.f64 0 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))))
(+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (*.f64 eps 2)) (pow.f64 eps 2)))
(+.f64 (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)) (.f64 (.f64 eps x) (.f64 (*.f64 eps x) 4)))
(-.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))) 0)
(-.f64 0 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (*.f64 x -2))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 eps (.f64 x (*.f64 (pow.f64 eps 2) -2))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 eps (.f64 (*.f64 x (pow.f64 eps 2)) -2)))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 2 (.f64 eps (*.f64 (pow.f64 eps 2) (neg.f64 x)))))
(-.f64 (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)) (.f64 (.f64 eps x) (.f64 (*.f64 eps x) -4)))
(-.f64 (.f64 (.f64 eps x) (.f64 2 (pow.f64 eps 2))) (.f64 (.f64 eps x) (.f64 (*.f64 eps x) -4)))
(-.f64 (.f64 x (.f64 eps (.f64 (.f64 eps x) 4))) (.f64 x (.f64 eps (*.f64 (pow.f64 eps 2) -2))))
(/.f64 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))) -1)
(pow.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))) 1)
(neg.f64 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))
(if (!=.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))
(if (!=.f64 (+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))))
(if (!=.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) 0) (/.f64 (.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))

Outputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(!=.f64 (.f64 -2 (.f64 eps x)) 0)
(!=.f64 (.f64 eps (.f64 x -2)) 0)
(.f64 2 (.f64 (pow.f64 eps 2) x))
(.f64 2 (.f64 x (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(.f64 4 (.f64 eps (pow.f64 x 2)))
(.f64 eps (.f64 4 (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 eps 4))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(.f64 4 (.f64 eps (pow.f64 x 2)))
(.f64 eps (.f64 4 (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 eps 4))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(.f64 4 (.f64 eps (pow.f64 x 2)))
(.f64 eps (.f64 4 (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 eps 4))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(.f64 2 (.f64 (pow.f64 eps 2) x))
(.f64 2 (.f64 x (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(.f64 2 (.f64 (pow.f64 eps 2) x))
(.f64 2 (.f64 x (pow.f64 eps 2)))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 2 (.f64 (pow.f64 eps 2) x)) (.f64 4 (.f64 eps (pow.f64 x 2))))
(+.f64 (.f64 eps (.f64 4 (pow.f64 x 2))) (.f64 2 (.f64 x (pow.f64 eps 2))))
(+.f64 (.f64 (pow.f64 x 2) (.f64 eps 4)) (.f64 2 (.f64 x (pow.f64 eps 2))))
(.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(.f64 4 (pow.f64 (.f64 eps x) 2))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(.f64 4 (pow.f64 (.f64 eps x) 2))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2)))
(.f64 4 (pow.f64 (.f64 eps x) 2))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(+.f64 (.f64 4 (.f64 (pow.f64 eps 2) (pow.f64 x 2))) (.f64 2 (.f64 (pow.f64 eps 3) x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 (pow.f64 eps 3) (.f64 2 x)))
(+.f64 (.f64 4 (pow.f64 (.f64 eps x) 2)) (.f64 x (.f64 2 (pow.f64 eps 3))))
(if (!=.f64 (.f64 x (.f64 eps 2)) 0) (+.f64 (pow.f64 eps 2) (.f64 x (.f64 eps 2))) (/.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))) (.f64 x (*.f64 eps 2))))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) (/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (.f64 x -2))) (.f64 2 (*.f64 eps x))))
(if (!=.f64 (.f64 2 (.f64 eps x)) 0) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))) (/.f64 (.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))) (.f64 2 (*.f64 eps x))))
(+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (neg.f64 (.f64 x (*.f64 (pow.f64 eps 2) -2))))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (neg.f64 (.f64 (*.f64 x (pow.f64 eps 2)) -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(+.f64 (neg.f64 (.f64 x (.f64 (pow.f64 eps 2) -2))) (.f64 x (.f64 (*.f64 eps x) 4)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(+.f64 (neg.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2)) (.f64 x (.f64 (*.f64 eps x) 4)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 0 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 0 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 0 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (*.f64 (pow.f64 eps 2) -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (*.f64 x (pow.f64 eps 2)) -2))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (neg.f64 (pow.f64 eps 2)) (*.f64 x 2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 x (.f64 2 (pow.f64 eps 2))) (.f64 x (.f64 (*.f64 eps x) -4)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 2 (.f64 x (pow.f64 eps 2))) (.f64 2 (.f64 x (.f64 eps (.f64 x -2)))))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 (.f64 x 2) (pow.f64 eps 2)) (.f64 (.f64 x 2) (.f64 eps (.f64 x -2))))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(-.f64 (.f64 (.f64 x 2) 0) (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(/.f64 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))) -1)
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(/.f64 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x) -1)
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(/.f64 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2) -1)
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(/.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)) -1)
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(neg.f64 (.f64 2 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)))))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(neg.f64 (.f64 (+.f64 (.f64 (pow.f64 eps 2) -2) (.f64 (.f64 eps x) -4)) x))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(neg.f64 (.f64 (.f64 x (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2))) 2))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(neg.f64 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x 2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2))) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (+.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (.f64 x (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (.f64 eps x) 4)))) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (.f64 x (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (.f64 eps x) 4)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 x (.f64 (.f64 eps x) 4)))) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) 0) (/.f64 (-.f64 (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 x (.f64 (pow.f64 eps 2) -2)) (.f64 x (.f64 (pow.f64 eps 2) -2)))) (.f64 x (.f64 (pow.f64 eps 2) -2))) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 x (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 x (pow.f64 eps 2)) -2) (.f64 (.f64 x (pow.f64 eps 2)) -2))) (.f64 (.f64 x (pow.f64 eps 2)) -2)) (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2)))
(.f64 x (-.f64 (.f64 (.f64 eps x) 4) (.f64 (pow.f64 eps 2) -2)))
(.f64 x (+.f64 (.f64 eps (.f64 x 4)) (.f64 2 (pow.f64 eps 2))))
(.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(+.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))) 0)
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(+.f64 0 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 x (*.f64 eps 2)) (pow.f64 eps 2)))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(+.f64 (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)) (.f64 (.f64 eps x) (.f64 (*.f64 eps x) 4)))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))) 0)
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 0 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (*.f64 x -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 eps (.f64 x (*.f64 (pow.f64 eps 2) -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 eps (.f64 (*.f64 x (pow.f64 eps 2)) -2)))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 2 (.f64 eps (*.f64 (pow.f64 eps 2) (neg.f64 x)))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 (.f64 x (.f64 eps 2)) (pow.f64 eps 2)) (.f64 (.f64 eps x) (.f64 (*.f64 eps x) -4)))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 (.f64 eps x) (.f64 2 (pow.f64 eps 2))) (.f64 (.f64 eps x) (.f64 (*.f64 eps x) -4)))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(-.f64 (.f64 x (.f64 eps (.f64 (.f64 eps x) 4))) (.f64 x (.f64 eps (*.f64 (pow.f64 eps 2) -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(/.f64 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))) -1)
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(pow.f64 (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))) 1)
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(neg.f64 (.f64 (.f64 x (.f64 eps 2)) (-.f64 (.f64 eps (*.f64 x -2)) (pow.f64 eps 2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(if (!=.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(if (!=.f64 (+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))) 0) (/.f64 (-.f64 (.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4))) (.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (+.f64 (.f64 (.f64 eps x) (.f64 (.f64 eps x) 4)) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (*.f64 x -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))
(if (!=.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) 0) (/.f64 (.f64 (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2)))) (.f64 (pow.f64 eps 2) (.f64 eps (.f64 x -2)))) (.f64 eps (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 x -2))))
(+.f64 0 (.f64 (-.f64 (.f64 eps (.f64 x -2)) (pow.f64 eps 2)) (.f64 eps (*.f64 x -2))))
(.f64 eps (.f64 (.f64 2 x) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))))

localize36.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (.f64 eps x))
✓	0.1b	(.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))
✓	0.5b	(!=.f64 (pow.f64 eps 2) 0)
✓	41.6b	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))) (pow.f64 eps 2))

Compiler

Compiled 106 to 66 computations (37.7% saved)

series7.0ms (0.2%)

Counts

4 → 48

Calls

21 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))
1.0ms	x	@	0	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))) (pow.f64 eps 2))
1.0ms	eps	@	0	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))) (pow.f64 eps 2))
0.0ms	x	@	inf	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))) (pow.f64 eps 2))
0.0ms	eps	@	inf	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))) (pow.f64 eps 2))

rewrite105.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

902×	`rational_best-simplify-1`
752×	`rational_best-simplify-113`
646×	`rational_best-simplify-21`
646×	`rational_best-simplify-18`
638×	`rational_best-simplify-20`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	100
1	37	100
2	169	100
3	973	100
4	6544	100

Stop Event

1×	node limit

Counts

4 → 7

Calls

Call 1

Inputs
(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))) (pow.f64 eps 2))
(!=.f64 (pow.f64 eps 2) 0)
(.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x)))
(.f64 2 (.f64 eps x))

Outputs
()
()
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 eps (.f64 (pow.f64 eps 2) (.f64 2 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 eps (.f64 (pow.f64 eps 2) (.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 eps (.f64 (pow.f64 eps 2) (.f64 2 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (pow.f64 eps 2) (.f64 (.f64 eps x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 eps 2) (.f64 (.f64 eps x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 eps (.f64 (pow.f64 eps 2) (.f64 2 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)))))))
()

simplify59.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

944×	`rational_best-simplify-110`
702×	`rational_best-simplify-3`
448×	`rational_best-simplify-124`
418×	`rational_best-simplify-96`
414×	`rational_best-simplify-117`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	1099
1	103	1099
2	484	1099
3	3205	1099

Stop Event

1×	node limit

Counts

55 → 14

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(+.f64 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))) 0)
(+.f64 0 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))))
(-.f64 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))) 0)
(-.f64 0 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)))
(/.f64 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)) -1)
(pow.f64 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))) 1)
(neg.f64 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)))

Outputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(+.f64 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))) 0)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(+.f64 0 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(-.f64 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))) 0)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(-.f64 0 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(/.f64 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)) -1)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(pow.f64 (.f64 eps (.f64 (pow.f64 eps 2) (*.f64 2 x))) 1)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))
(neg.f64 (.f64 (pow.f64 eps 2) (.f64 (*.f64 eps x) -2)))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (.f64 2 x) (pow.f64 eps 3))

eval59.0ms (1.5%)

Compiler: Compiled 3908 to 2454 computations (37.2% saved)

prune15.0ms (0.4%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	91	6	97

Error

Counts

97 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	12.8b	(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
✓	17.7b	(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
✓	15.7b	(pow.f64 eps 2)
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
✓	23.7b	(.f64 eps (.f64 2 x))
✓	23.7b	(.f64 2 (.f64 eps x))

Compiler

Compiled 102 to 72 computations (29.4% saved)

localize39.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (.f64 eps x))
✓	0.1b	(.f64 (.f64 2 x) (pow.f64 eps 3))
✓	0.5b	(!=.f64 (pow.f64 eps 2) 0)
✓	41.6b	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))

Compiler

Compiled 105 to 71 computations (32.4% saved)

series1.0ms (0%)

Counts

4 → 48

Calls

21 calls:

Time	Variable		Point	Expression
0.0ms	eps	@	0	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))
0.0ms	eps	@	inf	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))
0.0ms	eps	@	-inf	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))
0.0ms	x	@	-inf	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))
0.0ms	x	@	inf	(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))

rewrite107.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1100×	`rational_best-simplify-52`
906×	`rational_best-simplify-1`
630×	`rational_best-simplify-21`
630×	`rational_best-simplify-18`
622×	`rational_best-simplify-20`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	88
1	38	88
2	165	88
3	940	88
4	6322	88

Stop Event

1×	node limit

Counts

4 → 7

Calls

Call 1

Inputs
(/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2))
(!=.f64 (pow.f64 eps 2) 0)
(.f64 (.f64 2 x) (pow.f64 eps 3))
(.f64 2 (.f64 eps x))

Outputs
()
()
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 2 (.f64 x (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 x (.f64 (pow.f64 eps 3) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 (pow.f64 eps 3) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 x (.f64 (pow.f64 eps 3) -2)))))))
()

simplify56.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

790×	`rational_best-simplify-110`
568×	`rational_best-simplify-3`
468×	`rational_best-simplify-124`
434×	`rational_best-simplify-96`
428×	`rational_best-simplify-117`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	1099
1	98	1099
2	463	1099
3	3250	1099

Stop Event

1×	node limit

Counts

55 → 15

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(+.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 0)
(+.f64 0 (.f64 2 (.f64 x (pow.f64 eps 3))))
(-.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 0)
(-.f64 0 (.f64 x (.f64 (pow.f64 eps 3) -2)))
(/.f64 (.f64 x (.f64 (pow.f64 eps 3) -2)) -1)
(pow.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 1)
(neg.f64 (.f64 x (.f64 (pow.f64 eps 3) -2)))

Outputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 eps 2))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(.f64 2 (.f64 (pow.f64 eps 3) x))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(+.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 0)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(+.f64 0 (.f64 2 (.f64 x (pow.f64 eps 3))))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(-.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 0)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(-.f64 0 (.f64 x (.f64 (pow.f64 eps 3) -2)))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(/.f64 (.f64 x (.f64 (pow.f64 eps 3) -2)) -1)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(pow.f64 (.f64 2 (.f64 x (pow.f64 eps 3))) 1)
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))
(neg.f64 (.f64 x (.f64 (pow.f64 eps 3) -2)))
(.f64 2 (.f64 x (pow.f64 eps 3)))
(.f64 (pow.f64 eps 3) (.f64 2 x))
(.f64 x (.f64 2 (pow.f64 eps 3)))

eval10.0ms (0.3%)

Compiler: Compiled 431 to 301 computations (30.2% saved)

prune5.0ms (0.1%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	15	6	21

Error

Counts

21 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	12.8b	(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
✓	17.7b	(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
✓	15.7b	(pow.f64 eps 2)
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
✓	23.7b	(.f64 eps (.f64 2 x))
✓	23.7b	(.f64 2 (.f64 eps x))

Compiler

Compiled 102 to 72 computations (29.4% saved)

regimes17.0ms (0.4%)

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(.f64 eps (.f64 2 x))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(if (!=.f64 (.f64 eps (.f64 x -2)) 0) (/.f64 (.f64 eps (.f64 x (.f64 2 (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))))) (.f64 2 (.f64 eps x))) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (.f64 2 x) (pow.f64 eps 3))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(if (!=.f64 (pow.f64 eps 2) 0) (/.f64 (+.f64 (pow.f64 eps 4) (.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))) (pow.f64 eps 2)) (+.f64 (pow.f64 eps 2) (.f64 2 (*.f64 eps x))))

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

Calls

3 calls:

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

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`eps`
0.0b	1	`(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))`

Compiler

Compiled 150 to 99 computations (34% saved)

regimes26.0ms (0.7%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

2 calls:

15.0ms	eps
10.0ms	x

Results

Error	Segments	Branch
5.1b	3	`x`
6.9b	5	`eps`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch31.0ms (0.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	4.731564467623672e-128	1.2062043253555742e-125
16.0ms	-2.9629647702121197e-92	-2.2176997333705935e-93

Results

21.0ms	173×	body	256	valid
8.0ms	35×	body	512	valid

Compiler

Compiled 198 to 155 computations (21.7% saved)

regimes7.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	eps
3.0ms	x

Results

Error	Segments	Branch
23.7b	1	`x`
23.7b	1	`eps`

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	102

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(if (<=.f64 x -6458492102628041/293567822846729153486185074598667128421960318613539983838411371441526128139326055432962374798096087878991872) (.f64 2 (.f64 eps x)) (if (<=.f64 x 2286436926500971/190536410541747572716161940294993060653600960856016305594430966774009505543198585212421026798308836130360530463953040948208494609331560382464) (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(.f64 eps (.f64 2 x))
(.f64 2 (.f64 eps x))

Outputs
(+.f64 (pow.f64 eps 2) (.f64 eps (.f64 2 x)))
(if (<=.f64 x -6458492102628041/293567822846729153486185074598667128421960318613539983838411371441526128139326055432962374798096087878991872) (.f64 2 (.f64 eps x)) (if (<=.f64 x 2286436926500971/190536410541747572716161940294993060653600960856016305594430966774009505543198585212421026798308836130360530463953040948208494609331560382464) (pow.f64 eps 2) (.f64 2 (.f64 eps x))))
(.f64 eps (.f64 2 x))
(.f64 2 (.f64 eps x))

Compiler

Compiled 48 to 33 computations (31.3% saved)

soundness67.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1040×	`rational_best-simplify-96`
1016×	`rational_best-simplify-61`
1008×	`rational_best-simplify-65`
668×	`rational_best-simplify-3`
620×	`rational_best-simplify-62`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	109	1973
1	532	1973
2	3466	1973

Stop Event

1×	node limit

Compiler

Compiled 20 to 14 computations (30% saved)

end32.0ms (0.8%)

Compiler: Compiled 42 to 26 computations (38.1% saved)

Details

analyze0.0ms (0%)

sample2.2s (57.4%)

preprocess48.0ms (1.3%)

simplify101.0ms (2.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize11.0ms (0.3%)

series3.0ms (0.1%)

rewrite93.0ms (2.4%)

simplify75.0ms (2%)

eval67.0ms (1.7%)

prune9.0ms (0.2%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite18.0ms (0.5%)

simplify67.0ms (1.8%)

localize5.0ms (0.1%)

localize11.0ms (0.3%)

series1.0ms (0%)

rewrite57.0ms (1.5%)

simplify73.0ms (1.9%)

localize9.0ms (0.2%)

eval18.0ms (0.5%)

prune8.0ms (0.2%)

localize50.0ms (1.3%)

series9.0ms (0.2%)

rewrite119.0ms (3.1%)

simplify96.0ms (2.5%)

localize36.0ms (0.9%)

series7.0ms (0.2%)

rewrite105.0ms (2.7%)

simplify59.0ms (1.5%)

eval59.0ms (1.5%)

prune15.0ms (0.4%)

localize39.0ms (1%)

series1.0ms (0%)

rewrite107.0ms (2.8%)

simplify56.0ms (1.5%)

eval10.0ms (0.3%)

prune5.0ms (0.1%)

regimes17.0ms (0.4%)

regimes26.0ms (0.7%)

bsearch31.0ms (0.8%)

regimes7.0ms (0.2%)

simplify5.0ms (0.1%)

soundness67.0ms (1.7%)

end32.0ms (0.8%)

Profiling