Details

analyze1.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.5s (22.2%)

Results

1.4s	6105×	body	256	valid
694.0ms	1007×	body	1024	valid
397.0ms	1122×	body	512	valid
18.0ms	22×	body	2048	valid

Bogosity

preprocess244.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	14	50
0	2	2

Stop Event

1×	saturated
1×	saturated

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)

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	10	25

Stop Event

1×

saturated

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

eval2.0ms (0%)

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

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

15.7b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

localize84.0ms (0.7%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series6.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))
1.0ms	x	@	0	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
1.0ms	eps	@	0	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
1.0ms	eps	@	inf	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

rewrite292.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1680×	`rational.json-5`
1678×	`exponential.json-3`
1678×	`rational.json-1`
1678×	`rational.json-2`
1678×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	74	38
2	240	38
3	862	38
4	3290	38

Stop Event

1×	node limit

Counts

2 → 34

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 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)))) (#(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 1 (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) 1)))) (#(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 (+.f64 x eps) 2) (pow.f64 x 2)) (/.f64 (-.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 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(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))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(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))) (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 (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 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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)))))))) (#(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 (+.f64 x eps) 2) (pow.f64 x 2)) (/.f64 (-.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 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(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 +.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 (pow.f64 (+.f64 x eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2) (/.f64 1 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2) (pow.f64 (/.f64 1 (+.f64 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (+.f64 x eps)))) 2) (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2)) (pow.f64 (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (+.f64 x eps)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 1 (+.f64 x eps)) 2) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 x eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))))))

Outputs

((#(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 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) 1)))) (#(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 (+.f64 x eps) 2) (pow.f64 x 2)) (/.f64 (-.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 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(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))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))))) (#(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))) (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 (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 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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)))))))) (#(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 (+.f64 x eps) 2) (pow.f64 x 2)) (/.f64 (-.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 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)))) (#(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 +.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 (pow.f64 (+.f64 x eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2) (/.f64 1 (pow.f64 (+.f64 x eps) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2) (pow.f64 (/.f64 1 (+.f64 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) 2) (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2)) (pow.f64 (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1 (+.f64 x eps)) 2) (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 x eps) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))))))

simplify345.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1264×	`rational.json-simplify-76`
1034×	`rational.json-simplify-55`
934×	`rational.json-simplify-54`
916×	`rational.json-simplify-104`
902×	`rational.json-simplify-50`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	1816
1	118	1816
2	251	1816
3	712	1816
4	2856	1816
5	6091	1816

Stop Event

1×	node limit

Counts

82 → 46

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 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 0)
(+.f64 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(+.f64 1 (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))))
(+.f64 (-.f64 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2))) 1)
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(*.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(*.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 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))) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(*.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))) (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(.f64 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 (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 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 -1 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)))
(.f64 (/.f64 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (/.f64 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)) (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (+.f64 x eps) 2)) -1)
(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)))
(+.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 (pow.f64 (+.f64 x eps) 2) 1)
(*.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))
(*.f64 1 (pow.f64 (+.f64 x eps) 2))
(*.f64 (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))
(.f64 (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2) (/.f64 1 (pow.f64 (+.f64 x eps) 2)))
(.f64 (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2) (pow.f64 (/.f64 1 (+.f64 x eps)) 2))
(.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2))
(.f64 (pow.f64 (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (+.f64 x eps)))) 2) (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2)))
(.f64 (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2)) (pow.f64 (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) 2))
(.f64 (pow.f64 (/.f64 1 (+.f64 x eps)) 2) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2))
(/.f64 (pow.f64 (+.f64 x eps) 2) 1)
(/.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (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 (pow.f64 eps 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 (pow.f64 eps 2) (+.f64 (.f64 eps (.f64 2 x)) (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 (pow.f64 eps 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 (pow.f64 eps 2) (+.f64 (.f64 eps (.f64 2 x)) (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 (pow.f64 eps 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 (pow.f64 eps 2) (+.f64 (.f64 eps (.f64 2 x)) (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 (pow.f64 eps 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 (pow.f64 eps 2) (+.f64 (.f64 eps (.f64 2 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 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 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 (pow.f64 eps 2) (+.f64 (.f64 eps (.f64 2 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 eps (.f64 2 x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 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 (pow.f64 eps 2) (+.f64 (.f64 eps (.f64 2 x)) (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 0 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 x 2))
(+.f64 1 (-.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 (-.f64 -1 (-.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 (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 (+.f64 x eps) 2) (pow.f64 x 2)) (/.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 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 (-.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))
(*.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))) (/.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 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 (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 (/.f64 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 -1 (-.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 1 (-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 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 (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 (+.f64 x eps) 2) (pow.f64 x 2)) (/.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 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))
(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))
(+.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 (pow.f64 (+.f64 x eps) 2) 1)
(pow.f64 (+.f64 eps x) 2)
(*.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(*.f64 1 (pow.f64 (+.f64 x eps) 2))
(pow.f64 (+.f64 eps x) 2)
(*.f64 (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)) (pow.f64 (+.f64 x eps) 2))
(pow.f64 (+.f64 eps x) 2)
(.f64 (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2) (/.f64 1 (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)
(.f64 (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2) (pow.f64 (/.f64 1 (+.f64 x eps)) 2))
(pow.f64 (+.f64 eps x) 2)
(.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2))
(pow.f64 (+.f64 eps x) 2)
(.f64 (pow.f64 (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (+.f64 x eps)))) 2) (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (*.f64 (+.f64 x eps) (+.f64 x eps)) 2)))
(pow.f64 (+.f64 eps x) 2)
(.f64 (/.f64 (/.f64 1 (pow.f64 (+.f64 x eps) 2)) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2)) (pow.f64 (.f64 (+.f64 x eps) (.f64 (+.f64 x eps) (*.f64 (+.f64 x eps) (+.f64 x eps)))) 2))
(pow.f64 (+.f64 eps x) 2)
(.f64 (pow.f64 (/.f64 1 (+.f64 x eps)) 2) (pow.f64 (.f64 (+.f64 x eps) (+.f64 x eps)) 2))
(pow.f64 (+.f64 eps x) 2)
(/.f64 (pow.f64 (+.f64 x eps) 2) 1)
(pow.f64 (+.f64 eps x) 2)
(/.f64 (pow.f64 (+.f64 x eps) 2) (/.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 (+.f64 x eps) 2)))
(pow.f64 (+.f64 eps x) 2)

eval205.0ms (1.8%)

Compiler: Compiled 835 to 484 computations (42% saved)

prune15.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	42	4	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	4	47

Error

0.0b

Counts

47 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	16.8b	(pow.f64 eps 2)
▶	0.0b	(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
▶	23.9b	(.f64 eps (.f64 2 x))
▶	23.9b	(.f64 2 (.f64 eps x))

Compiler

Compiled 30 to 22 computations (26.7% saved)

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

series5.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite112.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1520×	`rational.json-5`
1518×	`exponential.json-3`
1518×	`rational.json-1`
1518×	`rational.json-2`
1518×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	61	13
2	208	13
3	766	13
4	2950	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify284.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1406×	`rational.json-simplify-43`
944×	`rational.json-simplify-104`
928×	`rational.json-simplify-79`
900×	`rational.json-simplify-73`
816×	`rational.json-simplify-47`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	183
1	54	177
2	120	177
3	318	177
4	887	171
5	3307	171
6	4965	171
7	6098	171
8	7552	171

Stop Event

1×	node limit

Counts

11 → 23

Calls

Call 1

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

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

localize11.0ms (0.1%)

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

localize86.0ms (0.8%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series2.0ms (0%)

Counts

1 → 6

Calls

6 calls:

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

rewrite188.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1938×	`rational.json-5`
1936×	`rational.json-1`
1936×	`rational.json-2`
1936×	`rational.json-4`
1936×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	78	25
2	260	25
3	964	25
4	3760	25

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify413.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1254×	`rational.json-simplify-58`
934×	`rational.json-simplify-1`
928×	`rational.json-simplify-47`
632×	`rational.json-simplify-49`
610×	`rational.json-simplify-104`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	335
1	54	335
2	171	335
3	814	335
4	3278	335
5	5379	335
6	7683	335

Stop Event

1×	node limit

Counts

17 → 14

Calls

Call 1

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

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

localize6.0ms (0.1%)

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

eval22.0ms (0.2%)

Compiler: Compiled 772 to 344 computations (55.4% saved)

prune146.0ms (1.3%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	57	7	64

Error

0.0b

Counts

64 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	16.8b	(pow.f64 eps 2)
▶	40.0b	(-.f64 (-.f64 0 (-.f64 -1 (.f64 2 (.f64 eps x)))) 1)
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
▶	45.7b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (/.f64 x (*.f64 eps x))))
▶	50.7b	(.f64 eps (.f64 (.f64 eps (.f64 x x)) (/.f64 2 (*.f64 eps x))))
✓	23.9b	(.f64 eps (.f64 2 x))
✓	23.9b	(.f64 2 (.f64 eps x))

Compiler

Compiled 73 to 51 computations (30.1% saved)

localize26.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 eps (.f64 x x))
✓	0.1b	(/.f64 2 (*.f64 eps x))
✓	44.9b	(.f64 (.f64 eps (.f64 x x)) (/.f64 2 (.f64 eps x)))

Compiler

Compiled 45 to 15 computations (66.7% saved)

series11.0ms (0.1%)

Counts

3 → 48

Calls

18 calls:

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

rewrite196.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1178×	`rational.json-simplify-49`
836×	`rational.json-simplify-47`
672×	`rational.json-simplify-55`
628×	`rational.json-simplify-58`
514×	`rational.json-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	57
1	87	57
2	282	57
3	1072	57
4	4926	57

Stop Event

1×	node limit

Counts

3 → 35

Calls

Call 1

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

Outputs

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

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

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

simplify281.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1098×	`rational.json-simplify-47`
1028×	`rational.json-simplify-2`
750×	`rational.json-simplify-54`
728×	`rational.json-simplify-1`
690×	`rational.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	1097
1	172	1097
2	394	1097
3	1566	1097
4	5513	1097

Stop Event

1×	node limit

Counts

83 → 42

Calls

Call 1

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

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

localize225.0ms (2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	25.7b	(.f64 (.f64 x (.f64 eps 2)) (/.f64 x (.f64 eps x)))
✓	25.8b	(/.f64 x (*.f64 eps x))

Compiler

Compiled 45 to 19 computations (57.8% saved)

series2.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite286.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

916×	`rational.json-simplify-47`
892×	`rational.json-simplify-50`
890×	`rational.json-simplify-79`
662×	`rational.json-simplify-58`
606×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	44
1	87	44
2	288	44
3	1112	44
4	4756	44

Stop Event

1×	node limit

Counts

2 → 28

Calls

Call 1

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

Outputs

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

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

simplify246.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1212×	`rational.json-simplify-49`
1152×	`rational.json-simplify-47`
1002×	`rational.json-simplify-54`
946×	`rational.json-simplify-43`
690×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	952
1	141	952
2	324	952
3	1649	952
4	5726	952

Stop Event

1×	node limit

Counts

76 → 39

Calls

Call 1

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

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

localize26.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 43 to 27 computations (37.2% saved)

eval172.0ms (1.5%)

Compiler: Compiled 2139 to 832 computations (61.1% saved)

prune39.0ms (0.3%)

Pruning

12 alts after pruning (5 fresh and 7 done)

	Pruned	Kept	Total
New	99	5	104
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	99	12	111

Error

0.0b

Counts

111 → 12

Alt Table

Click to see full alt table

Status	Error	Program
✓	16.8b	(pow.f64 eps 2)
✓	40.0b	(-.f64 (-.f64 0 (-.f64 -1 (.f64 2 (.f64 eps x)))) 1)
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
✓	45.7b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (/.f64 x (*.f64 eps x))))
▶	23.9b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (/.f64 1 eps)))
▶	54.2b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps))))))
▶	60.4b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps)))))))
✓	50.7b	(.f64 eps (.f64 (.f64 eps (.f64 x x)) (/.f64 2 (*.f64 eps x))))
▶	45.7b	(.f64 eps (.f64 x (.f64 (/.f64 x (.f64 eps x)) (+.f64 eps eps))))
▶	45.7b	(.f64 eps (.f64 eps (.f64 (+.f64 x x) (/.f64 x (.f64 x eps)))))
✓	23.9b	(.f64 eps (.f64 2 x))
✓	23.9b	(.f64 2 (.f64 eps x))

Compiler

Compiled 323 to 159 computations (50.8% saved)

localize24.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	25.7b	(.f64 (.f64 x (*.f64 eps 2)) (/.f64 1 eps))

Compiler

Compiled 37 to 24 computations (35.1% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite146.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

914×	`rational.json-simplify-47`
906×	`rational.json-simplify-79`
872×	`rational.json-simplify-50`
648×	`rational.json-simplify-58`
642×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	86	19
2	274	19
3	1064	19
4	4616	19

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

Inputs
(.f64 (.f64 x (*.f64 eps 2)) (/.f64 1 eps))

Outputs

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

simplify243.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1442×	`rational.json-simplify-2`
1130×	`rational.json-simplify-49`
920×	`rational.json-simplify-111`
818×	`rational.json-simplify-43`
774×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	339
1	53	339
2	136	339
3	471	339
4	2042	339
5	5559	339
6	7883	339

Stop Event

1×	node limit

Counts

33 → 14

Calls

Call 1

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

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

localize20.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 eps (.f64 (+.f64 x x) (/.f64 x (*.f64 x eps))))
✓	0.3b	(.f64 (+.f64 x x) (/.f64 x (.f64 x eps)))
✓	25.8b	(/.f64 x (*.f64 x eps))

Compiler

Compiled 48 to 8 computations (83.3% saved)

series3.0ms (0%)

Counts

3 → 72

Calls

18 calls:

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

rewrite393.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

944×	`rational.json-simplify-79`
860×	`rational.json-simplify-50`
814×	`rational.json-simplify-47`
522×	`rational.json-simplify-76`
522×	`rational.json-simplify-58`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	69
1	79	69
2	276	69
3	1042	69
4	4579	69

Stop Event

1×	node limit

Counts

3 → 38

Calls

Call 1

Inputs
(/.f64 x (*.f64 x eps))
(.f64 (+.f64 x x) (/.f64 x (.f64 x eps)))
(.f64 eps (.f64 (+.f64 x x) (/.f64 x (*.f64 x eps))))

Outputs

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

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

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

simplify278.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1338×	`rational.json-simplify-47`
1232×	`rational.json-simplify-54`
940×	`rational.json-simplify-1`
860×	`rational.json-simplify-43`
812×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	83	1442
1	173	1442
2	398	1442
3	1900	1442
4	6038	1442

Stop Event

1×	node limit

Counts

110 → 48

Calls

Call 1

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

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

localize19.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (/.f64 x (.f64 eps x)) (+.f64 eps eps))
	25.8b	(/.f64 x (*.f64 eps x))

Compiler

Compiled 48 to 8 computations (83.3% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite316.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1908×	`rational.json-5`
1906×	`exponential.json-3`
1906×	`rational.json-1`
1906×	`rational.json-2`
1906×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	68	25
2	231	25
3	846	25
4	3530	25

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(.f64 (/.f64 x (.f64 eps x)) (+.f64 eps eps))

Outputs

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

simplify246.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1292×	`rational.json-simplify-2`
1204×	`rational.json-simplify-47`
874×	`rational.json-simplify-76`
862×	`rational.json-simplify-54`
848×	`rational.json-simplify-111`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	174
1	30	174
2	79	174
3	238	174
4	1027	174
5	2522	174
6	5637	174
7	7332	174

Stop Event

1×	node limit

Counts

30 → 8

Calls

Call 1

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

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

localize49.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps)))
✓	25.7b	(.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps)))))
	25.8b	(/.f64 x (*.f64 x eps))
✓	28.7b	(.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps))))

Compiler

Compiled 111 to 32 computations (71.2% saved)

series3.0ms (0%)

Counts

3 → 72

Calls

18 calls:

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

rewrite236.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

934×	`rational.json-simplify-55`
776×	`rational.json-5`
774×	`exponential.json-3`
774×	`rational.json-1`
774×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	159
1	125	75
2	419	75
3	1661	75
4	7108	75

Stop Event

1×	node limit

Counts

3 → 64

Calls

Call 1

Inputs

(*.f64 (/.f64 1 (/.f64 x (*.f64 x eps))) (*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps))))

(*.f64 (*.f64 x (*.f64 eps 2)) (*.f64 (/.f64 1 (/.f64 x (*.f64 x eps))) (*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps)))))

(*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps)))

Outputs

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

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

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

simplify426.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1542×	`rational.json-simplify-104`
1476×	`rational.json-simplify-76`
1344×	`rational.json-simplify-55`
996×	`rational.json-simplify-41`
910×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	144	2452
1	303	2452
2	533	2452
3	2797	2452
4	6641	2452

Stop Event

1×	node limit

Counts

136 → 72

Calls

Call 1

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

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

localize264.0ms (2.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps)))
✓	25.7b	(.f64 (.f64 x (.f64 eps 2)) (.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps))))))
	25.8b	(/.f64 x (*.f64 x eps))
✓	45.3b	(.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps)))))

Compiler

Compiled 242 to 40 computations (83.5% saved)

series2.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite116.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1292×	`rational.json-simplify-55`
876×	`rational.json-5`
874×	`exponential.json-3`
874×	`rational.json-1`
874×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	272
1	149	272
2	481	44
3	1974	44

Stop Event

1×	node limit

Counts

2 → 13

Calls

Call 1

Inputs

(*.f64 (*.f64 (/.f64 x (*.f64 x eps)) (*.f64 (/.f64 x (*.f64 x eps)) (*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (*.f64 x eps))) (*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps)))))

(*.f64 (*.f64 x (*.f64 eps 2)) (*.f64 (*.f64 (/.f64 x (*.f64 x eps)) (*.f64 (/.f64 x (*.f64 x eps)) (*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (*.f64 x eps))) (*.f64 (/.f64 x (*.f64 x eps)) (/.f64 x (*.f64 x eps))))))

Outputs

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

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

simplify238.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1096×	`rational.json-simplify-79`
1094×	`rational.json-simplify-2`
970×	`rational.json-simplify-49`
832×	`rational.json-simplify-80`
788×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	613
1	49	613
2	140	613
3	517	613
4	1667	613
5	4596	613
6	6630	613

Stop Event

1×	node limit

Counts

61 → 20

Calls

Call 1

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

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

eval623.0ms (5.5%)

Compiler: Compiled 21464 to 4615 computations (78.5% saved)

prune223.0ms (2%)

Pruning

21 alts after pruning (12 fresh and 9 done)

	Pruned	Kept	Total
New	464	12	476
Fresh	0	0	0
Picked	1	0	1
Done	2	9	11
Total	467	21	488

Error

0.0b

Counts

488 → 21

Alt Table

Click to see full alt table

Status	Error	Program
✓	16.8b	(pow.f64 eps 2)
✓	40.0b	(-.f64 (-.f64 0 (-.f64 -1 (.f64 2 (.f64 eps x)))) 1)
✓	0.0b	(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
✓	45.7b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (/.f64 x (*.f64 eps x))))
	54.2b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 1 eps)))))
	54.2b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps))))))))
	54.2b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (/.f64 1 eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))))
	54.2b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps))))))
	60.1b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (/.f64 1 (.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps)))))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))))
	60.4b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (*.f64 x eps)) (/.f64 1 eps))))))
	60.4b	(.f64 eps (.f64 (.f64 x (.f64 eps 2)) (.f64 (.f64 (.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps)))))))
✓	50.7b	(.f64 eps (.f64 (.f64 eps (.f64 x x)) (/.f64 2 (*.f64 eps x))))
✓	45.7b	(.f64 eps (.f64 x (.f64 (/.f64 x (.f64 eps x)) (+.f64 eps eps))))
	54.2b	(.f64 eps (.f64 x (.f64 (.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps)))) (+.f64 eps eps))))
	60.4b	(.f64 eps (.f64 x (.f64 (.f64 (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (.f64 x eps))))) (/.f64 (/.f64 1 (/.f64 x (.f64 x eps))) (.f64 (/.f64 x (.f64 x eps)) (/.f64 x (*.f64 x eps))))) (+.f64 eps eps))))
	45.8b	(.f64 eps (.f64 eps (-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 x (.f64 x eps)) (+.f64 x x)))) 1)))
	24.0b	(.f64 eps (.f64 eps (*.f64 (/.f64 2 eps) x)))
✓	45.7b	(.f64 eps (.f64 eps (.f64 (+.f64 x x) (/.f64 x (.f64 x eps)))))
	23.9b	(.f64 eps (.f64 eps (*.f64 2 (/.f64 x eps))))
✓	23.9b	(.f64 eps (.f64 2 x))
✓	23.9b	(.f64 2 (.f64 eps x))

Compiler

Compiled 577 to 244 computations (57.7% saved)

regimes91.0ms (0.8%)

Counts

25 → 1

Calls

Call 1

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

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

Calls

3 calls:

36.0ms	x
25.0ms	eps
8.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 652 to 204 computations (68.7% saved)

regimes301.0ms (2.6%)

Counts

23 → 3

Calls

Call 1

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

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

Calls

2 calls:

150.0ms	x
140.0ms	eps

Results

Error	Segments	Branch
4.9b	3	`x`
8.8b	3	`eps`

Compiler

Compiled 623 to 185 computations (70.3% saved)

bsearch250.0ms (2.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
200.0ms	4.365697827521856e-105	1.7379919380570916e-102
49.0ms	-3.0798478965121153e-75	-2.48315427492318e-82

Results

197.0ms	90×	body	512	valid
23.0ms	135×	body	256	valid
23.0ms	47×	body	1024	valid

Compiler

Compiled 254 to 199 computations (21.7% saved)

regimes138.0ms (1.2%)

Accuracy

Total -39.6b remaining (-165.6%)

Threshold costs -39.6b (-165.6%)

Counts

22 → 1

Calls

Call 1

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

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

Calls

2 calls:

106.0ms	eps
19.0ms	x

Results

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

Compiler

Compiled 620 to 183 computations (70.5% saved)

simplify124.0ms (1.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	89

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -2349585739513001/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288) (*.f64 2 (*.f64 eps x)) (if (<=.f64 x 6778405929978135/322781234760863573706989896500376484291213224103652939103832419567580952752105149328705669160017228929487896496593436672) (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))

(*.f64 2 (*.f64 eps x))

Outputs

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

(if (<=.f64 x -2349585739513001/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288) (*.f64 2 (*.f64 eps x)) (if (<=.f64 x 6778405929978135/322781234760863573706989896500376484291213224103652939103832419567580952752105149328705669160017228929487896496593436672) (pow.f64 eps 2) (*.f64 2 (*.f64 eps x))))

(*.f64 2 (*.f64 eps x))

Compiler

Compiled 41 to 28 computations (31.7% saved)

soundness0.0ms (0%)

end41.0ms (0.4%)

Compiler: Compiled 37 to 22 computations (40.5% saved)

Details

analyze1.0ms (0%)

sample2.5s (22.2%)

preprocess244.0ms (2.1%)

simplify41.0ms (0.4%)

eval2.0ms (0%)

prune3.0ms (0%)

localize84.0ms (0.7%)

series6.0ms (0.1%)

rewrite292.0ms (2.6%)

simplify345.0ms (3%)

eval205.0ms (1.8%)

prune15.0ms (0.1%)

localize8.0ms (0.1%)

series5.0ms (0%)

rewrite112.0ms (1%)

simplify284.0ms (2.5%)

localize11.0ms (0.1%)

localize86.0ms (0.8%)

series2.0ms (0%)

rewrite188.0ms (1.7%)

simplify413.0ms (3.6%)

localize6.0ms (0.1%)

eval22.0ms (0.2%)

prune146.0ms (1.3%)

localize26.0ms (0.2%)

series11.0ms (0.1%)

rewrite196.0ms (1.7%)

simplify281.0ms (2.5%)

localize225.0ms (2%)

series2.0ms (0%)

rewrite286.0ms (2.5%)

simplify246.0ms (2.2%)

localize26.0ms (0.2%)

eval172.0ms (1.5%)

prune39.0ms (0.3%)

localize24.0ms (0.2%)

series1.0ms (0%)

rewrite146.0ms (1.3%)

simplify243.0ms (2.1%)

localize20.0ms (0.2%)

series3.0ms (0%)

rewrite393.0ms (3.5%)

simplify278.0ms (2.4%)

localize19.0ms (0.2%)

series1.0ms (0%)

rewrite316.0ms (2.8%)

simplify246.0ms (2.2%)

localize49.0ms (0.4%)

series3.0ms (0%)

rewrite236.0ms (2.1%)

simplify426.0ms (3.7%)

localize264.0ms (2.3%)

series2.0ms (0%)

rewrite116.0ms (1%)

simplify238.0ms (2.1%)

eval623.0ms (5.5%)

prune223.0ms (2%)

regimes91.0ms (0.8%)

regimes301.0ms (2.6%)

bsearch250.0ms (2.2%)

regimes138.0ms (1.2%)

simplify124.0ms (1.1%)

soundness0.0ms (0%)

end41.0ms (0.4%)

Profiling