Details

analyze3.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	25%	25%	0%	3
50%	25%	25%	0%	25%	25%	0%	4
75%	37.5%	12.5%	0%	25%	25%	0%	5
87.5%	43.7%	6.2%	0%	25%	25%	0%	6
93.8%	46.9%	3.1%	0%	25%	25%	0%	7
96.9%	48.4%	1.6%	0%	25%	25%	0%	8
98.4%	49.2%	0.8%	0%	25%	25%	0%	9
99.2%	49.6%	0.4%	0%	25%	25%	0%	10
99.6%	49.8%	0.2%	0%	25%	25%	0%	11
99.8%	49.9%	0.1%	0%	25%	25%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample16.0s (89.5%)

Results

15.1s	4136×	body	1024	valid
478.0ms	2083×	body	512	valid
243.0ms	420×	body	2048	valid
182.0ms	1617×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess88.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

2122×	`rational.json-simplify-35`
858×	`rational.json-simplify-51`
858×	`rational.json-simplify-2`
796×	`rational.json-simplify-1`
774×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	15	23
2	25	23
3	56	23
4	137	23
5	393	23
6	671	23
7	1485	23
8	2889	23
9	4888	23
10	7402	23
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))
(log.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify99.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

2122×	`rational.json-simplify-35`
858×	`rational.json-simplify-51`
858×	`rational.json-simplify-2`
796×	`rational.json-simplify-1`
774×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	15	23
2	25	23
3	56	23
4	137	23
5	393	23
6	671	23
7	1485	23
8	2889	23
9	4888	23
10	7402	23

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))
(log.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))

eval1.0ms (0%)

Compiler: Compiled 25 to 19 computations (24% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	2	1	3
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	3	1	4

Error

58.2b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.2b	(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 1 eps) (-.f64 eps -1))
✓	6.2b	(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))

Compiler

Compiled 25 to 18 computations (28% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite83.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1876×	`bool.json-1`
1876×	`bool.json-2`
1836×	`rational.json-1`
1508×	`bool.json-3`
718×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	110	42
2	344	42
3	791	42
4	1922	42
5	5435	42

Stop Event

1×	node limit

Counts

2 → 70

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))
(/.f64 (-.f64 1 eps) (-.f64 eps -1))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 eps) (/.f64 1 (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 eps) (.f64 2 (/.f64 1/2 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 eps) (.f64 (/.f64 1 (-.f64 -1 eps)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 eps) (.f64 (.f64 2 (/.f64 1 (+.f64 1 eps))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 eps) (.f64 (/.f64 2 (+.f64 1 eps)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 eps) (.f64 -1 (/.f64 1 (-.f64 -1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (+.f64 eps -1) (/.f64 1 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (.f64 2 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 2) (/.f64 1/2 (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 2) (.f64 (/.f64 1 (+.f64 1 eps)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 2) (.f64 (.f64 (/.f64 1 (+.f64 1 eps)) 1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 2) (.f64 (.f64 2 (/.f64 1/2 (+.f64 1 eps))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 2) (.f64 -1/2 (/.f64 1 (-.f64 -1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps -1) (/.f64 1 (-.f64 -1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps -1) (.f64 -1 (/.f64 1 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps -1) (.f64 (.f64 -1 (/.f64 1 (+.f64 1 eps))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps -1) (.f64 (.f64 2 (/.f64 1 (-.f64 -1 eps))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps -1) (.f64 -2 (/.f64 1/2 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (-.f64 1 eps) 2) (/.f64 1 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (-.f64 1 eps) (/.f64 1/2 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (-.f64 1 eps) -2) (/.f64 1 (-.f64 -1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 1/2 (+.f64 1 eps)) (-.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 eps (+.f64 eps -2)) (-.f64 -1 eps)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 4) (/.f64 1/2 (+.f64 2 (+.f64 eps eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 4) (.f64 (/.f64 1/2 (+.f64 2 (+.f64 eps eps))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 4) (.f64 1/4 (/.f64 1 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 1 eps) 4) (.f64 1/2 (/.f64 1/2 (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 1 eps)) (-.f64 1 eps))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (/.f64 (+.f64 eps (+.f64 eps -2)) (-.f64 -1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (/.f64 (+.f64 eps (+.f64 eps -2)) (+.f64 1 eps)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 eps (+.f64 eps -2)) (/.f64 1 (-.f64 -1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (+.f64 1 eps)) (.f64 (-.f64 1 eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 eps -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps (+.f64 eps -2)) (/.f64 1/2 (-.f64 -1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps (+.f64 eps -2)) (.f64 (/.f64 1/2 (-.f64 -1 eps)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 eps (+.f64 eps -2)) (.f64 1/2 (/.f64 1 (-.f64 -1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (+.f64 1 eps)) 1/2) (.f64 (-.f64 1 eps) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1 (/.f64 1 (+.f64 1 eps))) (+.f64 eps -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (+.f64 2 (+.f64 eps eps))) (.f64 (-.f64 1 eps) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (-.f64 -1 eps)) (+.f64 eps (+.f64 eps -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (/.f64 1/2 (+.f64 1 eps)) (/.f64 1/2 (+.f64 1 eps))) (-.f64 1 eps))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 (-.f64 1 eps) (+.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (-.f64 1 eps) (+.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) (*.f64 2 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))))

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

simplify123.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1168×	`rational.json-simplify-2`
1098×	`rational.json-simplify-51`
1080×	`rational.json-simplify-35`
952×	`rational.json-simplify-53`
786×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	2832
1	413	2820
2	783	2244
3	1591	2226
4	3082	2226
5	5609	2226
6	7394	2226

Stop Event

1×	node limit

Counts

94 → 116

Calls

Call 1

Inputs
(*.f64 -2 eps)
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (+.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/3 (pow.f64 eps 3)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
1
(+.f64 (*.f64 -2 eps) 1)
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) 1))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)
(+.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(-.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)
(*.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)
(*.f64 2 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))
(.f64 2 (.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1))
(.f64 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1/2)
(.f64 1/2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))
(*.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)
(/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)
(/.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)
(/.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4) 4)
(/.f64 (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) 8)
(/.f64 (+.f64 (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4))) 16)
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(+.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(+.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(-.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(-.f64 0 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(*.f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(*.f64 (-.f64 1 eps) (/.f64 1 (+.f64 1 eps)))
(.f64 (-.f64 1 eps) (.f64 2 (/.f64 1/2 (+.f64 1 eps))))
(.f64 (-.f64 1 eps) (.f64 (/.f64 1 (-.f64 -1 eps)) -1))
(.f64 (-.f64 1 eps) (.f64 (*.f64 2 (/.f64 1 (+.f64 1 eps))) 1/2))
(.f64 (-.f64 1 eps) (.f64 (/.f64 2 (+.f64 1 eps)) 1/2))
(.f64 (-.f64 1 eps) (.f64 -1 (/.f64 1 (-.f64 -1 eps))))
(*.f64 -1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(.f64 -1 (.f64 (+.f64 eps -1) (/.f64 1 (+.f64 1 eps))))
(.f64 -1 (.f64 (*.f64 2 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))) 1/2))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)
(.f64 (.f64 (-.f64 1 eps) 2) (/.f64 1/2 (+.f64 1 eps)))
(.f64 (.f64 (-.f64 1 eps) 2) (*.f64 (/.f64 1 (+.f64 1 eps)) 1/2))
(.f64 (.f64 (-.f64 1 eps) 2) (.f64 (.f64 (/.f64 1 (+.f64 1 eps)) 1/2) 1))
(.f64 (.f64 (-.f64 1 eps) 2) (.f64 (.f64 2 (/.f64 1/2 (+.f64 1 eps))) 1/2))
(.f64 (.f64 (-.f64 1 eps) 2) (*.f64 -1/2 (/.f64 1 (-.f64 -1 eps))))
(*.f64 (+.f64 eps -1) (/.f64 1 (-.f64 -1 eps)))
(.f64 (+.f64 eps -1) (.f64 -1 (/.f64 1 (+.f64 1 eps))))
(.f64 (+.f64 eps -1) (.f64 (*.f64 -1 (/.f64 1 (+.f64 1 eps))) 1))
(.f64 (+.f64 eps -1) (.f64 (*.f64 2 (/.f64 1 (-.f64 -1 eps))) 1/2))
(.f64 (+.f64 eps -1) (.f64 -2 (/.f64 1/2 (+.f64 1 eps))))
(*.f64 2 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))) 1))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) 2) (/.f64 1 (+.f64 1 eps))))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1/2))
(.f64 2 (.f64 (-.f64 1 eps) (/.f64 1/2 (+.f64 1 eps))))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) -2) (/.f64 1 (-.f64 -1 eps))))
(.f64 2 (.f64 (/.f64 1/2 (+.f64 1 eps)) (-.f64 1 eps)))
(*.f64 (/.f64 (+.f64 eps (+.f64 eps -2)) (-.f64 -1 eps)) 1/2)
(.f64 (.f64 (-.f64 1 eps) 4) (/.f64 1/2 (+.f64 2 (+.f64 eps eps))))
(.f64 (.f64 (-.f64 1 eps) 4) (*.f64 (/.f64 1/2 (+.f64 2 (+.f64 eps eps))) 1))
(.f64 (.f64 (-.f64 1 eps) 4) (*.f64 1/4 (/.f64 1 (+.f64 1 eps))))
(.f64 (.f64 (-.f64 1 eps) 4) (*.f64 1/2 (/.f64 1/2 (+.f64 1 eps))))
(*.f64 (/.f64 1 (+.f64 1 eps)) (-.f64 1 eps))
(*.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)) -1)
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 eps -2)) (-.f64 -1 eps)))
(.f64 1/2 (.f64 (/.f64 (+.f64 eps (+.f64 eps -2)) (+.f64 1 eps)) -1))
(.f64 1/2 (.f64 (+.f64 eps (+.f64 eps -2)) (/.f64 1 (-.f64 -1 eps))))
(.f64 (/.f64 1/2 (+.f64 1 eps)) (.f64 (-.f64 1 eps) 2))
(*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 eps -1))
(*.f64 (+.f64 eps (+.f64 eps -2)) (/.f64 1/2 (-.f64 -1 eps)))
(.f64 (+.f64 eps (+.f64 eps -2)) (.f64 (/.f64 1/2 (-.f64 -1 eps)) 1))
(.f64 (+.f64 eps (+.f64 eps -2)) (.f64 1/2 (/.f64 1 (-.f64 -1 eps))))
(.f64 (.f64 (/.f64 1 (+.f64 1 eps)) 1/2) (*.f64 (-.f64 1 eps) 2))
(.f64 (.f64 -1 (/.f64 1 (+.f64 1 eps))) (+.f64 eps -1))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))) 2)
(.f64 (/.f64 1/2 (+.f64 2 (+.f64 eps eps))) (.f64 (-.f64 1 eps) 4))
(*.f64 (/.f64 1/2 (-.f64 -1 eps)) (+.f64 eps (+.f64 eps -2)))
(*.f64 (+.f64 (/.f64 1/2 (+.f64 1 eps)) (/.f64 1/2 (+.f64 1 eps))) (-.f64 1 eps))
(neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))

Outputs
(*.f64 -2 eps)
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (+.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/3 (pow.f64 eps 3)))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/7 (pow.f64 eps 7)) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
(+.f64 (+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3))) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/7 (pow.f64 eps 7)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (+.f64 (.f64 2/5 (/.f64 1 (pow.f64 eps 5))) (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (+.f64 (.f64 2/5 (/.f64 1 (pow.f64 eps 5))) (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
1
(+.f64 (*.f64 -2 eps) 1)
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) 1))
(+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 (.f64 -2 eps) 1))
(+.f64 (.f64 -2 eps) (+.f64 1 (.f64 2 (pow.f64 eps 2))))
(+.f64 (+.f64 (.f64 -2 eps) 1) (.f64 2 (pow.f64 eps 2)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
(+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 (+.f64 1 (.f64 -2 (pow.f64 eps 3))) (*.f64 -2 eps)))
(+.f64 (.f64 -2 eps) (+.f64 1 (+.f64 (.f64 2 (pow.f64 eps 2)) (*.f64 -2 (pow.f64 eps 3)))))
(+.f64 1 (+.f64 (.f64 2 (pow.f64 eps 2)) (.f64 -2 (+.f64 eps (pow.f64 eps 3)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 (*.f64 2 (/.f64 1 eps)) -1)
(+.f64 -1 (*.f64 2 (/.f64 1 eps)))
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 -1 (*.f64 2 (-.f64 (/.f64 1 (pow.f64 eps 2)) (/.f64 1 eps))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (.f64 2 (/.f64 1 eps)) (-.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2))))))
(-.f64 (.f64 2 (+.f64 (/.f64 1 (pow.f64 eps 3)) (/.f64 1 eps))) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (.f64 2 (+.f64 (/.f64 1 eps) (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 -1 (*.f64 2 (-.f64 (/.f64 1 (pow.f64 eps 2)) (+.f64 (/.f64 1 eps) (/.f64 1 (pow.f64 eps 3))))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 (*.f64 2 (/.f64 1 eps)) -1)
(+.f64 -1 (*.f64 2 (/.f64 1 eps)))
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 -1 (*.f64 2 (-.f64 (/.f64 1 (pow.f64 eps 2)) (/.f64 1 eps))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (.f64 2 (/.f64 1 eps)) (-.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2))))))
(-.f64 (.f64 2 (+.f64 (/.f64 1 (pow.f64 eps 3)) (/.f64 1 eps))) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (.f64 2 (+.f64 (/.f64 1 eps) (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 -1 (*.f64 2 (-.f64 (/.f64 1 (pow.f64 eps 2)) (+.f64 (/.f64 1 eps) (/.f64 1 (pow.f64 eps 3))))))
(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(+.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(-.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(*.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(*.f64 2 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(.f64 2 (.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(.f64 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 1/2)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(.f64 1/2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(*.f64 (/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(/.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(/.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 2) 2)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(/.f64 (*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4) 4)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(/.f64 (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) 8)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(/.f64 (+.f64 (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4)) (.f64 2 (.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 4))) 16)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(+.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(+.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(-.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(-.f64 0 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (-.f64 1 eps) (/.f64 1 (+.f64 1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (-.f64 1 eps) (.f64 2 (/.f64 1/2 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (-.f64 1 eps) (.f64 (/.f64 1 (-.f64 -1 eps)) -1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (-.f64 1 eps) (.f64 (*.f64 2 (/.f64 1 (+.f64 1 eps))) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (-.f64 1 eps) (.f64 (/.f64 2 (+.f64 1 eps)) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (-.f64 1 eps) (.f64 -1 (/.f64 1 (-.f64 -1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 -1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 -1 (.f64 (+.f64 eps -1) (/.f64 1 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 -1 (.f64 (*.f64 2 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 2) (/.f64 1/2 (+.f64 1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 2) (*.f64 (/.f64 1 (+.f64 1 eps)) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 2) (.f64 (.f64 (/.f64 1 (+.f64 1 eps)) 1/2) 1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 2) (.f64 (.f64 2 (/.f64 1/2 (+.f64 1 eps))) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 2) (*.f64 -1/2 (/.f64 1 (-.f64 -1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (+.f64 eps -1) (/.f64 1 (-.f64 -1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (+.f64 eps -1) (.f64 -1 (/.f64 1 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (+.f64 eps -1) (.f64 (*.f64 -1 (/.f64 1 (+.f64 1 eps))) 1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (+.f64 eps -1) (.f64 (*.f64 2 (/.f64 1 (-.f64 -1 eps))) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (+.f64 eps -1) (.f64 -2 (/.f64 1/2 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 2 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))) 1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) 2) (/.f64 1 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1/2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 2 (.f64 (-.f64 1 eps) (/.f64 1/2 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 2 (.f64 (/.f64 (-.f64 1 eps) -2) (/.f64 1 (-.f64 -1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 2 (.f64 (/.f64 1/2 (+.f64 1 eps)) (-.f64 1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (+.f64 eps (+.f64 eps -2)) (-.f64 -1 eps)) 1/2)
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 -2 eps)) (-.f64 -1 eps)))
(*.f64 1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (-.f64 -1 eps)))
(*.f64 -1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (+.f64 eps 1)))
(.f64 (.f64 (-.f64 1 eps) 4) (/.f64 1/2 (+.f64 2 (+.f64 eps eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 4) (*.f64 (/.f64 1/2 (+.f64 2 (+.f64 eps eps))) 1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 4) (*.f64 1/4 (/.f64 1 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 (-.f64 1 eps) 4) (*.f64 1/2 (/.f64 1/2 (+.f64 1 eps))))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 1 (+.f64 1 eps)) (-.f64 1 eps))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)) -1)
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 eps -2)) (-.f64 -1 eps)))
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 -2 eps)) (-.f64 -1 eps)))
(*.f64 1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (-.f64 -1 eps)))
(*.f64 -1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (+.f64 eps 1)))
(.f64 1/2 (.f64 (/.f64 (+.f64 eps (+.f64 eps -2)) (+.f64 1 eps)) -1))
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 -2 eps)) (-.f64 -1 eps)))
(*.f64 1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (-.f64 -1 eps)))
(*.f64 -1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (+.f64 eps 1)))
(.f64 1/2 (.f64 (+.f64 eps (+.f64 eps -2)) (/.f64 1 (-.f64 -1 eps))))
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 -2 eps)) (-.f64 -1 eps)))
(*.f64 1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (-.f64 -1 eps)))
(*.f64 -1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (+.f64 eps 1)))
(.f64 (/.f64 1/2 (+.f64 1 eps)) (.f64 (-.f64 1 eps) 2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 eps -1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (+.f64 eps (+.f64 eps -2)) (/.f64 1/2 (-.f64 -1 eps)))
(*.f64 (+.f64 eps (+.f64 -2 eps)) (/.f64 -1/2 (+.f64 eps 1)))
(*.f64 (+.f64 -2 (+.f64 eps eps)) (/.f64 -1/2 (+.f64 eps 1)))
(*.f64 (+.f64 -2 (+.f64 eps eps)) (/.f64 1/2 (-.f64 -1 eps)))
(.f64 (+.f64 eps (+.f64 eps -2)) (.f64 (/.f64 1/2 (-.f64 -1 eps)) 1))
(*.f64 (+.f64 eps (+.f64 -2 eps)) (/.f64 -1/2 (+.f64 eps 1)))
(*.f64 (+.f64 -2 (+.f64 eps eps)) (/.f64 -1/2 (+.f64 eps 1)))
(*.f64 (+.f64 -2 (+.f64 eps eps)) (/.f64 1/2 (-.f64 -1 eps)))
(.f64 (+.f64 eps (+.f64 eps -2)) (.f64 1/2 (/.f64 1 (-.f64 -1 eps))))
(*.f64 1/2 (/.f64 (+.f64 eps (+.f64 -2 eps)) (-.f64 -1 eps)))
(*.f64 1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (-.f64 -1 eps)))
(*.f64 -1/2 (/.f64 (+.f64 -2 (+.f64 eps eps)) (+.f64 eps 1)))
(.f64 (.f64 (/.f64 1 (+.f64 1 eps)) 1/2) (*.f64 (-.f64 1 eps) 2))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (.f64 -1 (/.f64 1 (+.f64 1 eps))) (+.f64 eps -1))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 2 (+.f64 eps eps))) 2)
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (/.f64 1/2 (+.f64 2 (+.f64 eps eps))) (.f64 (-.f64 1 eps) 4))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 1/2 (-.f64 -1 eps)) (+.f64 eps (+.f64 eps -2)))
(*.f64 (+.f64 eps (+.f64 -2 eps)) (/.f64 -1/2 (+.f64 eps 1)))
(*.f64 (+.f64 -2 (+.f64 eps eps)) (/.f64 -1/2 (+.f64 eps 1)))
(*.f64 (+.f64 -2 (+.f64 eps eps)) (/.f64 1/2 (-.f64 -1 eps)))
(*.f64 (+.f64 (/.f64 1/2 (+.f64 1 eps)) (/.f64 1/2 (+.f64 1 eps))) (-.f64 1 eps))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))

eval35.0ms (0.2%)

Compiler: Compiled 1537 to 1259 computations (18.1% saved)

prune15.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	113	4	117

Error

0.0b

Counts

117 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.4b	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
▶	0.5b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	0.9b	(*.f64 -2 eps)
✓	58.2b	(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))

Compiler

Compiled 39 to 31 computations (20.5% saved)

localize3.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	0.1b	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 25 to 19 computations (24% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite107.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1736×	`bool.json-1`
1736×	`bool.json-2`
1680×	`rational.json-1`
1244×	`rational.json-simplify-35`
1104×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	98	38
2	244	38
3	483	38
4	996	38
5	2159	38
6	4400	38
7	7020	38

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 eps 3) -1/3) (.f64 (pow.f64 eps 3) -1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -2/3 (pow.f64 eps 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 eps 3) -4/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 eps 3) -8/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3))) (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/3 (pow.f64 eps 3)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (neg.f64 eps) (.f64 (pow.f64 eps 3) -1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 eps -4) (.f64 (pow.f64 eps 3) -4/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 eps 3) -1/3) (*.f64 (pow.f64 eps 3) -1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 eps 3) -4/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 eps 3) -8/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (pow.f64 eps 3) 2) -8/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (pow.f64 eps 3) 2) -8/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 eps 3) 2) -8/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 eps 3) 2) -8/3))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (pow.f64 eps 3) 2) -8/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/3 (pow.f64 eps 3)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (neg.f64 eps) (*.f64 (pow.f64 eps 3) -1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 eps -4) (*.f64 (pow.f64 eps 3) -4/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)))))))

simplify248.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

3454×	`rational.json-simplify-41`
2398×	`rational.json-simplify-51`
2028×	`rational.json-simplify-35`
1434×	`rational.json-simplify-49`
814×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	680
1	161	680
2	396	680
3	1016	680
4	1844	680
5	2269	680
6	2371	680
7	2447	680
8	2510	680
9	2571	680
10	2631	680
11	2691	680
12	2751	680
13	2811	680
14	2871	680
15	2931	680
16	2991	680
17	3051	680
18	3111	680
19	4116	680

Stop Event

1×	node limit

Counts

34 → 35

Calls

Call 1

Inputs
(*.f64 -2 eps)
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 (pow.f64 eps 3) -1/3) (.f64 (pow.f64 eps 3) -1/3))
(-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(/.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(/.f64 (*.f64 (pow.f64 eps 3) -4/3) 2)
(/.f64 (*.f64 (pow.f64 eps 3) -8/3) 4)
(/.f64 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (pow.f64 eps 3) 2) -8/3)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3))) (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3)))) 64)
(-.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 0)
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 1)
(.f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)))
(.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1/2))
(.f64 2 (+.f64 (neg.f64 eps) (.f64 (pow.f64 eps 3) -1/3)))
(.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4))
(.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2))
(.f64 1/2 (+.f64 (.f64 eps -4) (*.f64 (pow.f64 eps 3) -4/3)))
(.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4))
(.f64 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 4)
(/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1)
(/.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8)))) 64)

Outputs
(*.f64 -2 eps)
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (.f64 (pow.f64 eps 3) -1/3) (.f64 (pow.f64 eps 3) -1/3))
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (*.f64 (pow.f64 eps 3) -4/3) 2)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (*.f64 (pow.f64 eps 3) -8/3) 4)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3) 8)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (.f64 2 (.f64 (*.f64 (pow.f64 eps 3) 2) -8/3)) 16)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3))) 32)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3))) (.f64 2 (.f64 2 (.f64 (.f64 (pow.f64 eps 3) 2) -8/3)))) 64)
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 0)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 1)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1/2))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 2 (+.f64 (neg.f64 eps) (.f64 (pow.f64 eps 3) -1/3)))
(.f64 2 (+.f64 (.f64 (pow.f64 eps 3) -1/3) (neg.f64 eps)))
(.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2) 1/2)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 4 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4) 1/4)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 1/2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 2))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 1/2 (+.f64 (.f64 eps -4) (*.f64 (pow.f64 eps 3) -4/3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1/2) 2)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 1/4 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 4))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(.f64 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 4)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 1)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 2) 2)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 4) 4)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8) 8)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8)) 16)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 eps -2)) 8))) 32)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 eps -2)) 8)))) 64)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2 eps))

localize21.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
✓	0.1b	(*.f64 -2/5 (pow.f64 eps 5))
	0.1b	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 52 to 41 computations (21.2% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite416.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1908×	`bool.json-1`
1384×	`rational.json-simplify-35`
1280×	`bool.json-2`
1220×	`rational.json-1`
1220×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	116	44
2	278	44
3	538	44
4	1103	44
5	2386	44
6	4869	44
7	7741	44

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

Inputs
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 eps 5) -1/5) (*.f64 (pow.f64 eps 5) -1/5))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2/5 (pow.f64 eps 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 eps 5) -4/5) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 eps 5) -8/5) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 -2/5 (pow.f64 eps 5))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/5 (pow.f64 eps 5)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/5 (pow.f64 eps 5)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (pow.f64 eps 5) -1/5) (*.f64 (pow.f64 eps 3) -1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (pow.f64 eps 3) -4/3) (*.f64 (pow.f64 eps 5) -4/5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))))))

simplify213.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

3570×	`rational.json-simplify-41`
2928×	`rational.json-simplify-51`
2076×	`rational.json-simplify-35`
960×	`rational.json-simplify-2`
560×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	808
1	156	808
2	395	808
3	1119	808
4	2164	808
5	2723	808
6	2925	808
7	3031	808
8	3119	808
9	3205	808
10	3290	808
11	3373	808
12	3455	808
13	3537	808
14	3619	808
15	3619	808

Stop Event

1×	node limit

Counts

34 → 34

Calls

Call 1

Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/5 (pow.f64 eps 5))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 (pow.f64 eps 5) -1/5) (.f64 (pow.f64 eps 5) -1/5))
(-.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(/.f64 (*.f64 -2/5 (pow.f64 eps 5)) 1)
(/.f64 (*.f64 (pow.f64 eps 5) -4/5) 2)
(/.f64 (*.f64 (pow.f64 eps 5) -8/5) 4)
(/.f64 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8)))) 64)
(-.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 0)
(.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)
(.f64 1 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 1/2))
(.f64 2 (+.f64 (.f64 (pow.f64 eps 5) -1/5) (*.f64 (pow.f64 eps 3) -1/3)))
(.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4))
(.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 2))
(.f64 1/2 (+.f64 (.f64 (pow.f64 eps 3) -4/3) (*.f64 (pow.f64 eps 5) -4/5)))
(.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 4))
(.f64 (/.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 4)
(/.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 1)
(/.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 8)))) 64)

Outputs
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/5 (pow.f64 eps 5))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 (pow.f64 eps 5) -1/5) (.f64 (pow.f64 eps 5) -1/5))
(*.f64 -2/5 (pow.f64 eps 5))
(-.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (*.f64 -2/5 (pow.f64 eps 5)) 1)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (*.f64 (pow.f64 eps 5) -4/5) 2)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (*.f64 (pow.f64 eps 5) -8/5) 4)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8) 8)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (.f64 2 (.f64 (*.f64 -2/5 (pow.f64 eps 5)) 8)) 16)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8))) 32)
(*.f64 -2/5 (pow.f64 eps 5))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 -2/5 (pow.f64 eps 5)) 8)))) 64)
(*.f64 -2/5 (pow.f64 eps 5))
(-.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 0)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 1 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 1/2))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 2 (+.f64 (.f64 (pow.f64 eps 5) -1/5) (*.f64 (pow.f64 eps 3) -1/3)))
(.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 2) 1/2)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 4 (/.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 4) 1/4)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 1/2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 2))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 1/2 (+.f64 (.f64 (pow.f64 eps 3) -4/3) (*.f64 (pow.f64 eps 5) -4/5)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 1/2) 2)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 1/4 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 4))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(.f64 (/.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 4)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 1)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 2) 2)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 4) 4)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8) 8)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 8)) 16)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 8))) 32)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3))) 8)))) 64)
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))

eval108.0ms (0.6%)

Compiler: Compiled 1327 to 1115 computations (16% saved)

prune10.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	80	4	84

Error

0.0b

Counts

84 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.4b	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
✓	0.5b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	0.9b	(*.f64 -2 eps)
✓	58.2b	(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))

Compiler

Compiled 39 to 31 computations (20.5% saved)

regimes11.0ms (0.1%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))

Outputs
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))

Calls

3 calls:

5.0ms	eps
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
2.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Results

Error	Segments	Branch
0.4b	1	`eps`
0.4b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.4b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 63 to 48 computations (23.8% saved)

regimes9.0ms (0%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))

Outputs
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))

Calls

3 calls:

4.0ms	eps
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
2.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Results

Error	Segments	Branch
0.5b	1	`eps`
0.5b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.5b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 48 to 36 computations (25% saved)

regimes9.0ms (0.1%)

Accuracy

Total -58.0b remaining (-6121.9%)

Threshold costs -58.0b (-6121.9%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(*.f64 -2 eps)

Calls

3 calls:

4.0ms	eps
2.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Results

Error	Segments	Branch
0.9b	1	`eps`
0.9b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.9b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 39 to 29 computations (25.6% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	75

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)

Outputs
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)

Compiler

Compiled 30 to 24 computations (20% saved)

soundness159.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

2122×	`rational.json-simplify-35`
858×	`rational.json-simplify-51`
858×	`rational.json-simplify-2`
796×	`rational.json-simplify-1`
774×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	15	23
2	25	23
3	56	23
4	137	23
5	393	23
6	671	23
7	1485	23
8	2889	23
9	4888	23
10	7402	23

Stop Event

1×	node limit

Compiler

Compiled 17 to 13 computations (23.5% saved)

end90.0ms (0.5%)

Compiler: Compiled 28 to 22 computations (21.4% saved)

Details

analyze3.0ms (0%)

sample16.0s (89.5%)

preprocess88.0ms (0.5%)

simplify99.0ms (0.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize11.0ms (0.1%)

series2.0ms (0%)

rewrite83.0ms (0.5%)

simplify123.0ms (0.7%)

eval35.0ms (0.2%)

prune15.0ms (0.1%)

localize3.0ms (0%)

localize11.0ms (0.1%)

series2.0ms (0%)

rewrite107.0ms (0.6%)

simplify248.0ms (1.4%)

localize21.0ms (0.1%)

series2.0ms (0%)

rewrite416.0ms (2.3%)

simplify213.0ms (1.2%)

eval108.0ms (0.6%)

prune10.0ms (0.1%)

regimes11.0ms (0.1%)

regimes9.0ms (0%)

regimes9.0ms (0.1%)

simplify2.0ms (0%)

soundness159.0ms (0.9%)

end90.0ms (0.5%)

Profiling