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)

sample20.0s (89.8%)

Results

8.9s	4110×	body	1024	valid
7.7s	1652×	body	256	valid
1.8s	2081×	body	512	valid
1.6s	413×	body	2048	valid
0.0ms	5×	body	256	invalid

Bogosity

preprocess92.0ms (0.4%)

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)

simplify93.0ms (0.4%)

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

57.7b

Counts

4 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 1 eps) (-.f64 eps -1))
✓	5.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))

rewrite79.0ms (0.4%)

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

simplify122.0ms (0.5%)

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

eval33.0ms (0.1%)

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

prune17.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.7b	(*.f64 -2 eps)
✓	57.7b	(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))

Compiler

Compiled 39 to 31 computations (20.5% saved)

localize5.0ms (0%)

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

localize10.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 25 to 19 computations (24% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	0	(*.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))

rewrite89.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1592×	`bool.json-1`
1592×	`bool.json-2`
1534×	`rational.json-1`
1534×	`rational.json-2`
1534×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	188	13
3	381	13
4	758	13
5	1588	13
6	3679	13
7	6378	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.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 (pow.f64 eps 3) -16/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 eps 3) -16/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/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)))))))

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

simplify638.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

8108×	`rational.json-simplify-41`
3924×	`rational.json-simplify-35`
2720×	`rational.json-simplify-2`
2692×	`rational.json-simplify-49`
782×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	143
1	80	143
2	145	143
3	324	143
4	758	143
5	2243	143
6	2980	143
7	3164	143
8	3246	143
9	3316	143
10	3381	143
11	3441	143
12	3498	143
13	3553	143
14	3608	143
15	3664	143
16	3720	143
17	3776	143
18	3832	143
19	3888	143
20	3944	143
21	5789	143
22	5794	143
23	5804	143
24	5804	143
25	6832	143
26	7111	143
27	7359	143
28	7602	143
29	7845	143
30	7845	143
31	7872	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

Inputs
(+.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 (pow.f64 eps 3) -16/3) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 eps 3) -16/3)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 eps 3) -16/3))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/3)))) 64)

Outputs
(+.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 (pow.f64 eps 3) -16/3) 8)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (.f64 2 (.f64 (pow.f64 eps 3) -16/3)) 16)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 eps 3) -16/3))) 32)
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 eps 3) -16/3)))) 64)
(*.f64 -2/3 (pow.f64 eps 3))

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 eps 5)
✓	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)

series3.0ms (0%)

Counts

3 → 3

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	-inf	(pow.f64 eps 5)
0.0ms	eps	@	0	(*.f64 -2/5 (pow.f64 eps 5))
0.0ms	eps	@	inf	(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))

rewrite113.0ms (0.5%)

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	51
1	116	51
2	278	51
3	538	51
4	1103	51
5	2386	51
6	4869	51
7	7741	51

Stop Event

1×	node limit

Counts

3 → 52

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

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

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

simplify344.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

4590×	`rational.json-simplify-41`
3278×	`rational.json-simplify-51`
1948×	`rational.json-simplify-35`
1192×	`rational.json-simplify-2`
698×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	106	955
1	209	955
2	605	955
3	1384	955
4	2388	955
5	3000	955
6	3086	955
7	3148	955
8	3203	955
9	3256	955
10	3309	955
11	3397	955
12	3450	955
13	3503	955
14	3556	955
15	3609	955
16	3662	955
17	3715	955
18	3768	955
19	3821	955

Stop Event

1×	node limit

Counts

55 → 56

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)
(+.f64 (pow.f64 eps 5) 0)
(+.f64 0 (pow.f64 eps 5))
(+.f64 (.f64 (pow.f64 eps 5) 1/2) (.f64 (pow.f64 eps 5) 1/2))
(-.f64 (pow.f64 eps 5) 0)
(*.f64 (pow.f64 eps 5) 1)
(*.f64 1 (pow.f64 eps 5))
(.f64 2 (.f64 (pow.f64 eps 5) 1/2))
(.f64 (.f64 (pow.f64 eps 5) 2) 1/2)
(*.f64 4 (/.f64 (pow.f64 eps 5) 4))
(.f64 (.f64 (pow.f64 eps 5) 4) 1/4)
(.f64 1/2 (.f64 (pow.f64 eps 5) 2))
(.f64 (.f64 (pow.f64 eps 5) 1/2) 2)
(.f64 1/4 (.f64 (pow.f64 eps 5) 4))
(*.f64 (/.f64 (pow.f64 eps 5) 4) 4)
(/.f64 (pow.f64 eps 5) 1)
(/.f64 (*.f64 (pow.f64 eps 5) 2) 2)
(/.f64 (*.f64 (pow.f64 eps 5) 4) 4)
(/.f64 (*.f64 (pow.f64 eps 5) 8) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 eps 5) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 eps 5) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 eps 5) 8))) (.f64 2 (.f64 2 (.f64 (pow.f64 eps 5) 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)))
(+.f64 (pow.f64 eps 5) 0)
(pow.f64 eps 5)
(+.f64 0 (pow.f64 eps 5))
(pow.f64 eps 5)
(+.f64 (.f64 (pow.f64 eps 5) 1/2) (.f64 (pow.f64 eps 5) 1/2))
(pow.f64 eps 5)
(-.f64 (pow.f64 eps 5) 0)
(pow.f64 eps 5)
(*.f64 (pow.f64 eps 5) 1)
(pow.f64 eps 5)
(*.f64 1 (pow.f64 eps 5))
(pow.f64 eps 5)
(.f64 2 (.f64 (pow.f64 eps 5) 1/2))
(pow.f64 eps 5)
(.f64 (.f64 (pow.f64 eps 5) 2) 1/2)
(pow.f64 eps 5)
(*.f64 4 (/.f64 (pow.f64 eps 5) 4))
(pow.f64 eps 5)
(.f64 (.f64 (pow.f64 eps 5) 4) 1/4)
(pow.f64 eps 5)
(.f64 1/2 (.f64 (pow.f64 eps 5) 2))
(pow.f64 eps 5)
(.f64 (.f64 (pow.f64 eps 5) 1/2) 2)
(pow.f64 eps 5)
(.f64 1/4 (.f64 (pow.f64 eps 5) 4))
(pow.f64 eps 5)
(*.f64 (/.f64 (pow.f64 eps 5) 4) 4)
(pow.f64 eps 5)
(/.f64 (pow.f64 eps 5) 1)
(pow.f64 eps 5)
(/.f64 (*.f64 (pow.f64 eps 5) 2) 2)
(pow.f64 eps 5)
(/.f64 (*.f64 (pow.f64 eps 5) 4) 4)
(pow.f64 eps 5)
(/.f64 (*.f64 (pow.f64 eps 5) 8) 8)
(pow.f64 eps 5)
(/.f64 (.f64 2 (.f64 (pow.f64 eps 5) 8)) 16)
(pow.f64 eps 5)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 eps 5) 8))) 32)
(pow.f64 eps 5)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 eps 5) 8))) (.f64 2 (.f64 2 (.f64 (pow.f64 eps 5) 8)))) 64)
(pow.f64 eps 5)

eval306.0ms (1.4%)

Compiler: Compiled 1457 to 1221 computations (16.2% saved)

prune10.0ms (0%)

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.7b	(*.f64 -2 eps)
✓	57.7b	(log.f64 (/.f64 (-.f64 1 eps) (-.f64 eps -1)))

Compiler

Compiled 39 to 31 computations (20.5% saved)

regimes10.0ms (0%)

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	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.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	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.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)

regimes8.0ms (0%)

Accuracy

Total -57.5b remaining (-7699.7%)

Threshold costs -57.5b (-7699.7%)

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:

3.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.7b	1	`eps`
0.7b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.7b	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)

soundness163.0ms (0.7%)

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)

end73.0ms (0.3%)

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

Details

analyze3.0ms (0%)

sample20.0s (89.8%)

preprocess92.0ms (0.4%)

simplify93.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0%)

series2.0ms (0%)

rewrite79.0ms (0.4%)

simplify122.0ms (0.5%)

eval33.0ms (0.1%)

prune17.0ms (0.1%)

localize5.0ms (0%)

localize10.0ms (0%)

series1.0ms (0%)

rewrite89.0ms (0.4%)

simplify638.0ms (2.9%)

localize20.0ms (0.1%)

series3.0ms (0%)

rewrite113.0ms (0.5%)

simplify344.0ms (1.5%)

eval306.0ms (1.4%)

prune10.0ms (0%)

regimes10.0ms (0%)

regimes9.0ms (0%)

regimes8.0ms (0%)

simplify2.0ms (0%)

soundness163.0ms (0.7%)

end73.0ms (0.3%)

Profiling