Details

analyze3.0ms (0.1%)

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)

sample4.2s (68.1%)

Results

2.9s	4163×	body	1024	valid
500.0ms	2064×	body	512	valid
499.0ms	1594×	body	256	valid
321.0ms	435×	body	2048	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess271.0ms (4.4%)

Algorithm

2×	egg-herbie

Rules

1728×	`fma-def`
1078×	`distribute-lft-in`
796×	`associate-+r+`
786×	`associate-+l-`
774×	`associate-+l+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	20	19
2	30	19
3	44	19
4	73	19
5	108	19
6	168	19
7	328	19
8	757	19
9	1448	19
10	2054	19
11	2578	19
12	3638	19
13	4428	19
14	4922	19
15	5098	19
16	5198	19
17	5198	19
18	6692	19
19	7008	19
20	7086	19
21	7094	19
22	7102	19
23	7102	19
24	7302	19
25	7878	19
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)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify274.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1728×	`fma-def`
1078×	`distribute-lft-in`
796×	`associate-+r+`
786×	`associate-+l-`
774×	`associate-+l+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	20	19
2	30	19
3	44	19
4	73	19
5	108	19
6	168	19
7	328	19
8	757	19
9	1448	19
10	2054	19
11	2578	19
12	3638	19
13	4428	19
14	4922	19
15	5098	19
16	5198	19
17	5198	19
18	6692	19
19	7008	19
20	7086	19
21	7094	19
22	7102	19
23	7102	19
24	7302	19
25	7878	19

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 15 to 11 computations (26.7% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	58.8b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 16 to 12 computations (25% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 24 to 17 computations (29.2% 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 1 eps)))
0.0ms	eps	@	inf	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	eps	@	-inf	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	eps	@	inf	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	eps	@	0	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

rewrite67.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1538×	`associate-/r*`
1472×	`associate-*l/`
1052×	`associate-/l*`
922×	`associate-/r/`
880×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	42
1	190	38
2	2580	38

Stop Event

1×	node limit

Counts

2 → 125

Calls

Call 1

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

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

Outputs

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

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

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1380×	`associate-/l*`
1066×	`associate-/r*`
1058×	`associate-*r/`
896×	`associate-*l/`
872×	`associate-+l+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	360	5567
1	1020	4945
2	3886	4937

Stop Event

1×	node limit

Counts

149 → 253

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 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 0)
(+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(+.f64 (log1p.f64 (neg.f64 eps)) (neg.f64 (log1p.f64 eps)))
(+.f64 0 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log1p.f64 (neg.f64 eps)))
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 (neg.f64 eps)))
(+.f64 (+.f64 0 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (+.f64 0 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (-.f64 1 (*.f64 eps eps)))) (log1p.f64 (neg.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(-.f64 (log.f64 (+.f64 -1 eps)) (log.f64 (-.f64 -1 eps)))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (+.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(-.f64 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) 1)
(-.f64 (+.f64 0 (log.f64 (+.f64 -1 eps))) (log.f64 (-.f64 -1 eps)))
(-.f64 (+.f64 0 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) 1)
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) 0) (log1p.f64 eps))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (sqrt.f64 (+.f64 1 eps)))) (log.f64 (sqrt.f64 (+.f64 1 eps))))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (log.f64 (cbrt.f64 (+.f64 1 eps))))
(*.f64 1 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(*.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(/.f64 (-.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (.f64 (-.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) 1) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) 1) (+.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (.f64 (log1p.f64 eps) (log1p.f64 eps)) (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 3)
(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 2))
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3))
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(+.f64 (/.f64 -1 (-.f64 -1 eps)) (neg.f64 (/.f64 eps (+.f64 1 eps))))
(+.f64 (neg.f64 (/.f64 eps (+.f64 1 eps))) (/.f64 -1 (-.f64 -1 eps)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 1 eps)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) 1)
(*.f64 1 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))
(*.f64 (-.f64 1 eps) (/.f64 -1 (-.f64 -1 eps)))
(*.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(*.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 eps))
(.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))))
(*.f64 (+.f64 -1 eps) (/.f64 1 (-.f64 -1 eps)))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (/.f64 1 (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 eps))) (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(.f64 (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))) (+.f64 (-.f64 1 eps) (.f64 eps eps)))
(.f64 (/.f64 1 (-.f64 1 (.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(.f64 (/.f64 1 (+.f64 1 (pow.f64 eps 3))) (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 -1 eps))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))) (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))) (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (+.f64 1 eps)) (cbrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (-.f64 1 (.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(*.f64 (/.f64 1 (/.f64 (+.f64 1 eps) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (.f64 eps eps)) (sqrt.f64 (-.f64 1 eps)))) (sqrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (.f64 eps eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 (-.f64 1 eps) (neg.f64 (-.f64 1 (.f64 eps eps)))) (+.f64 -1 eps))
(.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (neg.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 1 eps) (-.f64 (.f64 eps eps) 1)) (-.f64 eps 1))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (-.f64 1 (.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (-.f64 1 (.f64 eps eps)))) (-.f64 1 eps))
(.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (.f64 eps eps)))
(.f64 (/.f64 (.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps)))
(.f64 (/.f64 (.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (+.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (fma.f64 eps eps eps)))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (+.f64 1 (pow.f64 eps 3)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (-.f64 1 (.f64 eps eps)))) (sqrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (+.f64 1 (pow.f64 eps 3)))) (cbrt.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (-.f64 1 (.f64 eps eps)))) (cbrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (-.f64 1 (.f64 eps eps)) (-.f64 1 (.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (+.f64 1 eps) (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (+.f64 1 eps) (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (-.f64 1 (.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(pow.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)
(pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 3)
(pow.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3) 1/3)
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)) -1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 2))
(log.f64 (exp.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))

Outputs
(*.f64 -2 eps)
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(fma.f64 -2 eps (*.f64 -2/3 (pow.f64 eps 3)))
(fma.f64 -2/3 (pow.f64 eps 3) (*.f64 -2 eps))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.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)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.f64 -2/7 (pow.f64 eps 7) (*.f64 -2/3 (pow.f64 eps 3)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.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 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 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 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 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))))))
(-.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (-.f64 (/.f64 -2 eps) (/.f64 2/5 (pow.f64 eps 5))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (/.f64 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 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 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 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))))))
(-.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (-.f64 (/.f64 -2 eps) (/.f64 2/5 (pow.f64 eps 5))))
1
(+.f64 (*.f64 -2 eps) 1)
(fma.f64 -2 eps 1)
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) 1))
(fma.f64 -2 eps (fma.f64 2 (*.f64 eps eps) 1))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
(fma.f64 -2 eps (+.f64 (fma.f64 2 (.f64 eps eps) 1) (.f64 -2 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 2 (*.f64 eps eps) (fma.f64 -2 (pow.f64 eps 3) 1)))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 (/.f64 2 eps) -1)
(+.f64 -1 (/.f64 2 eps))
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps)))
(+.f64 (/.f64 2 eps) (-.f64 -1 (/.f64 2 (*.f64 eps eps))))
(+.f64 -1 (+.f64 (/.f64 2 eps) (/.f64 (/.f64 -2 eps) 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 (pow.f64 eps 3)) (-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps))))
(-.f64 (+.f64 (/.f64 2 eps) (/.f64 2 (pow.f64 eps 3))) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (+.f64 -1 (/.f64 2 eps)) (+.f64 (/.f64 (/.f64 -2 eps) eps) (/.f64 2 (pow.f64 eps 3))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 (/.f64 2 eps) -1)
(+.f64 -1 (/.f64 2 eps))
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps)))
(+.f64 (/.f64 2 eps) (-.f64 -1 (/.f64 2 (*.f64 eps eps))))
(+.f64 -1 (+.f64 (/.f64 2 eps) (/.f64 (/.f64 -2 eps) 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 (pow.f64 eps 3)) (-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps))))
(-.f64 (+.f64 (/.f64 2 eps) (/.f64 2 (pow.f64 eps 3))) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (+.f64 -1 (/.f64 2 eps)) (+.f64 (/.f64 (/.f64 -2 eps) eps) (/.f64 2 (pow.f64 eps 3))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 0)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(+.f64 (log1p.f64 (neg.f64 eps)) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 0 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(*.f64 2 (log.f64 (sqrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log.f64 (cbrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (*.f64 3 (log.f64 (cbrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 3 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 3 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log.f64 (sqrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (*.f64 2 (log.f64 (sqrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 2 (log.f64 (sqrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 2 (log.f64 (sqrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log1p.f64 (neg.f64 eps)))
(+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 (neg.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (+.f64 0 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(*.f64 2 (log.f64 (sqrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (+.f64 0 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (pow.f64 eps 3))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (pow.f64 eps 3))) (log.f64 (fma.f64 eps eps (-.f64 1 eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (-.f64 1 (*.f64 eps eps)))) (log1p.f64 (neg.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (log1p.f64 (neg.f64 eps))))
(+.f64 (log1p.f64 (neg.f64 eps)) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (*.f64 eps (neg.f64 eps)))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(-.f64 (log.f64 (+.f64 -1 eps)) (log.f64 (-.f64 -1 eps)))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log1p.f64 (fma.f64 eps eps eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (-.f64 (log1p.f64 (neg.f64 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 (pow.f64 eps 3))) (+.f64 (log1p.f64 eps) (log1p.f64 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (+.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log1p.f64 eps)))
(+.f64 (-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 (pow.f64 eps 3))) (+.f64 (log1p.f64 eps) (log1p.f64 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (.f64 eps eps))) (.f64 2 (log1p.f64 eps)))
(+.f64 (log1p.f64 (.f64 eps (neg.f64 eps))) (.f64 -2 (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (log1p.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(-.f64 (log1p.f64 (*.f64 eps (neg.f64 eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (-.f64 (log1p.f64 (*.f64 eps (neg.f64 eps))) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(-.f64 (log.f64 (-.f64 1 (.f64 eps eps))) (.f64 2 (log1p.f64 eps)))
(+.f64 (log1p.f64 (.f64 eps (neg.f64 eps))) (.f64 -2 (log1p.f64 eps)))
(-.f64 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 (+.f64 0 (log.f64 (+.f64 -1 eps))) (log.f64 (-.f64 -1 eps)))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(-.f64 (+.f64 0 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) 0) (log1p.f64 eps))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (sqrt.f64 (+.f64 1 eps)))) (log.f64 (sqrt.f64 (+.f64 1 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (+.f64 (log.f64 (sqrt.f64 (+.f64 eps 1))) (log.f64 (sqrt.f64 (+.f64 eps 1)))))
(-.f64 (log1p.f64 (neg.f64 eps)) (*.f64 2 (log.f64 (sqrt.f64 (+.f64 eps 1)))))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (log.f64 (cbrt.f64 (+.f64 1 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 eps 1)))) (log.f64 (cbrt.f64 (+.f64 eps 1)))))
(-.f64 (log1p.f64 (neg.f64 eps)) (*.f64 3 (log.f64 (cbrt.f64 (+.f64 eps 1)))))
(*.f64 1 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(/.f64 (-.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (/.f64 (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)))))
(/.f64 (.f64 (-.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) 1) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (/.f64 (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(/.f64 (.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) 1) (+.f64 (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (.f64 (log1p.f64 eps) (log1p.f64 eps)) (.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)))))
(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 3)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 2))
(fabs.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (/.f64 -1 (-.f64 -1 eps)) (neg.f64 (/.f64 eps (+.f64 1 eps))))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 eps 1)))
(+.f64 (neg.f64 (/.f64 eps (+.f64 1 eps))) (/.f64 -1 (-.f64 -1 eps)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 eps 1)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 1 eps)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 eps 1)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) 1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 1 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (-.f64 1 eps) (/.f64 -1 (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)))
(/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(/.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 eps))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))))
(.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (+.f64 -1 eps) (/.f64 1 (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (/.f64 1 (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 eps))) (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(.f64 (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))) (+.f64 (-.f64 1 eps) (.f64 eps eps)))
(.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(.f64 (/.f64 1 (-.f64 1 (.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(.f64 (/.f64 1 (+.f64 1 (pow.f64 eps 3))) (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 -1 eps))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))) (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))) (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)))
(/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(/.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (+.f64 1 eps)) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (-.f64 1 (.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(.f64 (/.f64 1 (-.f64 1 (.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(*.f64 (/.f64 1 (/.f64 (+.f64 1 eps) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (.f64 eps eps)) (sqrt.f64 (-.f64 1 eps)))) (sqrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 1 (-.f64 1 (.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (.f64 eps eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(.f64 (/.f64 1 (-.f64 1 (.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(.f64 (/.f64 (-.f64 1 eps) (neg.f64 (-.f64 1 (.f64 eps eps)))) (+.f64 -1 eps))
(/.f64 (.f64 (-.f64 1 eps) (+.f64 eps -1)) (neg.f64 (-.f64 1 (.f64 eps eps))))
(*.f64 (+.f64 eps -1) (/.f64 (-.f64 1 eps) (fma.f64 eps eps -1)))
(.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (neg.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 (pow.f64 eps 3) 1))) (neg.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(neg.f64 (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (-.f64 -1 (pow.f64 eps 3)))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (+.f64 eps -1) (-.f64 -1 (pow.f64 eps 3))))
(.f64 (/.f64 (-.f64 1 eps) (-.f64 (.f64 eps eps) 1)) (-.f64 eps 1))
(/.f64 (.f64 (-.f64 1 eps) (+.f64 eps -1)) (neg.f64 (-.f64 1 (.f64 eps eps))))
(*.f64 (+.f64 eps -1) (/.f64 (-.f64 1 eps) (fma.f64 eps eps -1)))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1))) (.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (fma.f64 eps eps (-.f64 1 eps)) (.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1)))))
(.f64 (/.f64 (-.f64 1 (.f64 eps eps)) (.f64 (-.f64 1 (.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (-.f64 1 (.f64 eps eps)))) (-.f64 1 eps))
(/.f64 (.f64 (-.f64 1 eps) (+.f64 eps -1)) (neg.f64 (-.f64 1 (.f64 eps eps))))
(*.f64 (+.f64 eps -1) (/.f64 (-.f64 1 eps) (fma.f64 eps eps -1)))
(.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (.f64 eps eps)))
(.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 (pow.f64 eps 3) 1))) (neg.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(neg.f64 (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (-.f64 -1 (pow.f64 eps 3)))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (+.f64 eps -1) (-.f64 -1 (pow.f64 eps 3))))
(.f64 (/.f64 (.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps)))
(/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (/.f64 (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (-.f64 1 (fma.f64 eps eps eps))))
(.f64 (/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (-.f64 1 (.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps)))
(.f64 (/.f64 (.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (+.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (fma.f64 eps eps eps)))
(.f64 (/.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3)) (-.f64 1 (pow.f64 eps 3)))) (+.f64 1 (-.f64 (.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)) (fma.f64 eps eps eps))))
(/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (/.f64 (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3)) (-.f64 (fma.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps) 1) (fma.f64 eps eps eps))))
(*.f64 (/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (fma.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps) 1) (fma.f64 eps eps eps)))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (+.f64 1 (pow.f64 eps 3)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 1 eps) (.f64 (sqrt.f64 (+.f64 (pow.f64 eps 3) 1)) (sqrt.f64 (+.f64 eps 1)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (hypot.f64 1 (pow.f64 eps 3/2))) (sqrt.f64 (fma.f64 eps eps (-.f64 1 eps))))
(.f64 (/.f64 (-.f64 1 eps) (.f64 (sqrt.f64 (+.f64 eps 1)) (hypot.f64 1 (pow.f64 eps 3/2)))) (sqrt.f64 (fma.f64 eps eps (-.f64 1 eps))))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (-.f64 1 (.f64 eps eps)))) (sqrt.f64 (-.f64 1 eps)))
(.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (-.f64 1 (.f64 eps eps)))))
(.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (.f64 (sqrt.f64 (+.f64 eps 1)) (sqrt.f64 (-.f64 1 (*.f64 eps eps))))))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (+.f64 1 (pow.f64 eps 3)))) (cbrt.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps))))
(.f64 (/.f64 (-.f64 1 eps) (.f64 (cbrt.f64 (+.f64 (pow.f64 eps 3) 1)) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))) (cbrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (cbrt.f64 (fma.f64 eps eps (-.f64 1 eps)))) (cbrt.f64 (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (cbrt.f64 (+.f64 (pow.f64 eps 3) 1))) (cbrt.f64 (fma.f64 eps eps (-.f64 1 eps))))
(.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (-.f64 1 (.f64 eps eps)))) (cbrt.f64 (-.f64 1 eps)))
(.f64 (cbrt.f64 (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (.f64 (cbrt.f64 (-.f64 1 (*.f64 eps eps))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))))
(/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 eps eps))) (cbrt.f64 (-.f64 1 eps))))
(/.f64 (/.f64 (.f64 (-.f64 1 eps) (cbrt.f64 (-.f64 1 eps))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (cbrt.f64 (-.f64 1 (.f64 eps eps))))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(.f64 (.f64 (+.f64 (-.f64 1 eps) (.f64 eps eps)) (+.f64 (-.f64 1 eps) (.f64 eps eps))) (/.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1))))
(.f64 (fma.f64 eps eps (-.f64 1 eps)) (.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1)))))
(.f64 (fma.f64 eps eps (-.f64 1 eps)) (.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 eps (+.f64 eps (fma.f64 eps eps -1))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1)))))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (-.f64 1 (.f64 eps eps)) (-.f64 1 (.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(.f64 (pow.f64 (-.f64 1 eps) 2) (/.f64 (/.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (-.f64 1 (.f64 eps eps))) (-.f64 1 (*.f64 eps eps))))
(.f64 (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (-.f64 1 (.f64 eps eps))) (/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps))))
(.f64 (/.f64 (-.f64 eps (+.f64 eps (fma.f64 eps eps -1))) (-.f64 1 (.f64 eps eps))) (/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps))))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (+.f64 1 eps) (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps))
(/.f64 (.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (-.f64 1 eps)) (.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 eps 1)))
(.f64 (-.f64 1 eps) (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 eps 1))))
(/.f64 (-.f64 eps (+.f64 eps (fma.f64 eps eps -1))) (/.f64 (-.f64 1 (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 eps 1))))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (+.f64 1 eps) (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(/.f64 (.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (+.f64 (-.f64 1 eps) (.f64 eps eps))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 eps 1)))
(.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 eps 1))))
(/.f64 (.f64 (fma.f64 eps eps (-.f64 1 eps)) (-.f64 eps (+.f64 eps (fma.f64 eps eps -1)))) (.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 eps 1)))
(.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (.f64 (-.f64 1 (.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(.f64 (.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (.f64 eps eps))) (/.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (.f64 (+.f64 (pow.f64 eps 3) 1) (-.f64 1 (*.f64 eps eps)))))
(.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (.f64 (-.f64 1 eps) (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1))) (.f64 (+.f64 (pow.f64 eps 3) 1) (-.f64 1 (.f64 eps eps)))))
(.f64 (-.f64 1 eps) (/.f64 (.f64 (fma.f64 eps eps (-.f64 1 eps)) (-.f64 eps (+.f64 eps (fma.f64 eps eps -1)))) (.f64 (+.f64 (pow.f64 eps 3) 1) (-.f64 1 (.f64 eps eps)))))
(pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 3)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3) 1/3)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)) -1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 2))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)) 2))
(fabs.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))
(log.f64 (exp.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

Compiler

Compiled 15 to 5 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1404×	`add-sqr-sqrt`
1388×	`*-un-lft-identity`
1296×	`add-cube-cbrt`
1284×	`add-cbrt-cube`
1270×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	170	15
2	2301	15

Stop Event

1×	node limit

Counts

1 → 36

Calls

Call 1

Inputs
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

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

Outputs

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

simplify58.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

766×	`*-commutative`
682×	`distribute-lft-in`
634×	`div-sub`
632×	`distribute-lft-out`
532×	`distribute-lft-out--`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	132	512
1	362	512
2	814	512
3	2826	512

Stop Event

1×	node limit

Counts

48 → 59

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))))))
(*.f64 -1 (log.f64 -1))
(-.f64 (.f64 -1 (log.f64 -1)) (.f64 2 (/.f64 1 eps)))
(-.f64 (.f64 -1 (log.f64 -1)) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (.f64 -1 (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 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(+.f64 (log1p.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps))
(*.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(*.f64 1 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 eps) 2) (.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(*.f64 (+.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))))
(/.f64 1 (/.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps)) (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (-.f64 (.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))) (neg.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2)
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 3)
(pow.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3) 1/3)
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 2))
(log.f64 (/.f64 (+.f64 eps 1) (+.f64 eps 1)))
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3))
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(exp.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 1))
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(fma.f64 1 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))

Outputs
(*.f64 -2 eps)
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(fma.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))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.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)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.f64 -2/7 (pow.f64 eps 7) (*.f64 -2/3 (pow.f64 eps 3)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.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 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 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 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 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))))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 eps 3)) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5)))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(*.f64 -1 (log.f64 -1))
(log.f64 -1)
(-.f64 (.f64 -1 (log.f64 -1)) (.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (/.f64 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 eps))
(-.f64 (.f64 -1 (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 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 eps))
(-.f64 (.f64 -1 (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/3 (pow.f64 eps 3)) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5)))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(+.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (log1p.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(log.f64 -1)
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps))
(log.f64 -1)
(*.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(log.f64 -1)
(*.f64 1 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))
(log.f64 -1)
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2))
(log.f64 -1)
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 eps) 2) (.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(log.f64 -1)
(*.f64 (+.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))))
(log.f64 -1)
(/.f64 1 (/.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps)) (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))))
(log.f64 -1)
(/.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))))
(log.f64 -1)
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(log.f64 -1)
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))))
(log.f64 -1)
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(log.f64 -1)
(/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (-.f64 (.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))))
(log.f64 -1)
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))) (neg.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(log.f64 -1)
(pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(log.f64 -1)
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2)
(log.f64 -1)
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 3)
(log.f64 -1)
(pow.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3) 1/3)
(log.f64 -1)
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 2))
(log.f64 -1)
(log.f64 (/.f64 (+.f64 eps 1) (+.f64 eps 1)))
(log.f64 -1)
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3))
(log.f64 -1)
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(exp.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 1))
(log.f64 -1)
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(fma.f64 1 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)

eval87.0ms (1.4%)

Compiler: Compiled 5031 to 3193 computations (36.5% saved)

prune39.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	310	2	312
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	310	4	314

Error

Counts

314 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	0.2b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	0.5b	(*.f64 -2 eps)
✓	58.8b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 30 to 23 computations (23.3% saved)

localize2.0ms (0%)

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

localize11.0ms (0.2%)

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)

series2.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite47.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1236×	`add-sqr-sqrt`
1204×	`*-un-lft-identity`
1142×	`add-cube-cbrt`
1134×	`add-cbrt-cube`
1118×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	149	13
2	1596	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 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))))))

simplify53.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1084×	`distribute-rgt-in`
1068×	`distribute-lft-in`
976×	`associate-*l/`
900×	`associate-*r/`
890×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	39	275
1	98	209
2	327	143
3	1685	143
4	6913	143

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))

Outputs
(-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))

eval4.0ms (0.1%)

Compiler: Compiled 159 to 131 computations (17.6% saved)

prune3.0ms (0.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	13	5	18

Error

Counts

18 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	0.3b	(+.f64 (.f64 -2 eps) (-.f64 (+.f64 1 (.f64 -2/3 (pow.f64 eps 3))) 1))
✓	0.2b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	0.5b	(*.f64 -2 eps)
✓	58.8b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 44 to 35 computations (20.5% saved)

localize17.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 46 to 38 computations (17.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite61.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1986×	`add-sqr-sqrt`
1952×	`*-un-lft-identity`
1850×	`add-cube-cbrt`
1840×	`add-cbrt-cube`
204×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	224	13
2	2790	13

Stop Event

1×	node limit

Counts

1 → 47

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (fma.f64 -2/3 (pow.f64 eps 3) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2/3 (pow.f64 eps 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 eps (*.f64 (*.f64 eps eps) -2/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 eps 3) -2/3)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))) (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 eps 3/2) (*.f64 (pow.f64 eps 3/2) -2/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 eps (cbrt.f64 -2/3)) (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 2) (*.f64 eps (cbrt.f64 -2/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 eps eps) (*.f64 eps -2/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (/.f64 1 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -2/3 eps) (*.f64 eps eps))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -2/3 (pow.f64 eps 3/2)) (pow.f64 eps 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -2/3 (*.f64 eps eps)) eps)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 1) (-.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (-.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (-.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 -2/3 (pow.f64 eps 3) -1))) (-.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 3)) (+.f64 1 (-.f64 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 -2/3 (pow.f64 eps 3) -1)) (fma.f64 -2/3 (pow.f64 eps 3) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1)) (neg.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1)) (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 2) (cbrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) -1)))))

simplify66.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1352×	`associate-/r*`
1166×	`associate-r`
1142×	`associate--l+`
1068×	`associate-+r-`
1042×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	119	1455
1	276	1381
2	924	1369
3	4727	1369

Stop Event

1×	node limit

Counts

59 → 56

Calls

Call 1

Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) -1))
(+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(+.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1)
(+.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1)
(+.f64 -1 (fma.f64 -2/3 (pow.f64 eps 3) 1))
(.f64 1 (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 eps (.f64 (*.f64 eps eps) -2/3))
(*.f64 (pow.f64 eps 3) -2/3)
(.f64 (.f64 -2/3 (pow.f64 eps 3)) 1)
(.f64 (sqrt.f64 (.f64 -2/3 (pow.f64 eps 3))) (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(.f64 (pow.f64 eps 3/2) (.f64 (pow.f64 eps 3/2) -2/3))
(.f64 (.f64 eps (cbrt.f64 -2/3)) (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 2))
(.f64 (pow.f64 (.f64 eps (cbrt.f64 -2/3)) 2) (*.f64 eps (cbrt.f64 -2/3)))
(.f64 (.f64 eps eps) (*.f64 eps -2/3))
(.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (/.f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) 2)))
(.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) 2))))
(.f64 (.f64 -2/3 eps) (*.f64 eps eps))
(.f64 (.f64 -2/3 (pow.f64 eps 3/2)) (pow.f64 eps 3/2))
(.f64 (.f64 -2/3 (*.f64 eps eps)) eps)
(*.f64 (+.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 1) (-.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 1))
(/.f64 1 (/.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1)))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (-.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (-.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1))))
(/.f64 (-.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 -2/3 (pow.f64 eps 3) -1))) (-.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) -1)))
(/.f64 (+.f64 1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 3)) (+.f64 1 (-.f64 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 -2/3 (pow.f64 eps 3) -1)) (fma.f64 -2/3 (pow.f64 eps 3) -1))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1)) (neg.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1)) (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(pow.f64 (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))) 2)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27) 1/3)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (exp.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1)
(fma.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) -1)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 2) (cbrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) -1)

Outputs
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) -1))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1)
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 -1 (fma.f64 -2/3 (pow.f64 eps 3) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 1 (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 eps (.f64 (*.f64 eps eps) -2/3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 (pow.f64 eps 3) -2/3)
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (sqrt.f64 (.f64 -2/3 (pow.f64 eps 3))) (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (pow.f64 eps 3/2) (.f64 (pow.f64 eps 3/2) -2/3))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (.f64 eps (cbrt.f64 -2/3)) (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 2))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (pow.f64 (.f64 eps (cbrt.f64 -2/3)) 2) (*.f64 eps (cbrt.f64 -2/3)))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (.f64 eps eps) (*.f64 eps -2/3))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (/.f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) 2)))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (/.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (fma.f64 -2/3 (pow.f64 eps 3) 2))
(.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) 2))))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(.f64 (.f64 -2/3 eps) (*.f64 eps eps))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (.f64 -2/3 (pow.f64 eps 3/2)) (pow.f64 eps 3/2))
(*.f64 -2/3 (pow.f64 eps 3))
(.f64 (.f64 -2/3 (*.f64 eps eps)) eps)
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 (+.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 1) (-.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(/.f64 1 (/.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1)))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (/.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (fma.f64 -2/3 (pow.f64 eps 3) 2))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1)))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (/.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (fma.f64 -2/3 (pow.f64 eps 3) 2))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1) (-.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (/.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (fma.f64 -2/3 (pow.f64 eps 3) 2))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (-.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1))))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (-.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 -2/3 (pow.f64 eps 3) -1))) (-.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) -1)))
(/.f64 (fma.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 (pow.f64 eps 3) 2/3 1) 1) (+.f64 (*.f64 (pow.f64 eps 3) 2/3) 2))
(/.f64 (fma.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 (pow.f64 eps 3) 2/3 1) 1) (+.f64 2 (*.f64 (pow.f64 eps 3) 2/3)))
(/.f64 (+.f64 1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 3)) (+.f64 1 (-.f64 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (fma.f64 -2/3 (pow.f64 eps 3) -1)) (fma.f64 -2/3 (pow.f64 eps 3) -1))))
(/.f64 (+.f64 1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 3)) (+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (-.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 1))))
(/.f64 (+.f64 1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) 3)) (fma.f64 (fma.f64 -2/3 (pow.f64 eps 3) -1) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) -2) 1))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) -1)) (neg.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2)))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (/.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2)) (fma.f64 -2/3 (pow.f64 eps 3) 2))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3) -1)) (neg.f64 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 2))))
(*.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 2) (fma.f64 -2/3 (pow.f64 eps 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) 3)) (+.f64 1 (*.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1) (fma.f64 -2/3 (pow.f64 eps 3) 2))))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (sqrt.f64 (*.f64 -2/3 (pow.f64 eps 3))) 2)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27) 1/3)
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27))
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (exp.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(*.f64 -2/3 (pow.f64 eps 3))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 eps 3) 3) -8/27))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(fma.f64 1 (fma.f64 -2/3 (pow.f64 eps 3) 1) -1)
(*.f64 -2/3 (pow.f64 eps 3))
(fma.f64 (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) (sqrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) -1)
(*.f64 -2/3 (pow.f64 eps 3))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) 2) (cbrt.f64 (fma.f64 -2/3 (pow.f64 eps 3) 1)) -1)
(*.f64 -2/3 (pow.f64 eps 3))

eval28.0ms (0.4%)

Compiler: Compiled 1257 to 1062 computations (15.5% saved)

prune9.0ms (0.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	0	0
Picked	0	1	1
Done	1	3	4
Total	70	5	75

Error

Counts

75 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	0.3b	(+.f64 (.f64 -2 eps) (-.f64 (+.f64 1 (.f64 -2/3 (pow.f64 eps 3))) 1))
▶	0.2b	(+.f64 (.f64 -2 eps) (.f64 (.f64 eps eps) (.f64 eps -2/3)))
✓	0.5b	(*.f64 -2 eps)
✓	58.8b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 46 to 35 computations (23.9% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 31 to 17 computations (45.2% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite54.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1294×	`add-sqr-sqrt`
1274×	`*-un-lft-identity`
1188×	`add-cube-cbrt`
1172×	`add-cbrt-cube`
1160×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	143	20
2	1699	20

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify45.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1706×	`log-prod`
1212×	`associate-r`
1030×	`associate-l`
932×	`associate-+r+`
908×	`associate-+l+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	460
1	145	460
2	539	460
3	3374	460

Stop Event

1×	node limit

Counts

46 → 24

Calls

Call 1

Inputs
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (+.f64 1 (*.f64 eps -2/3)) 1)
(pow.f64 (*.f64 eps -2/3) 1)
(pow.f64 (sqrt.f64 (*.f64 eps -2/3)) 2)
(pow.f64 (cbrt.f64 (*.f64 eps -2/3)) 3)
(pow.f64 (pow.f64 (*.f64 eps -2/3) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 eps -2/3) 2))
(log.f64 (pow.f64 (exp.f64 -2/3) eps))
(cbrt.f64 (pow.f64 (*.f64 eps -2/3) 3))
(expm1.f64 (log1p.f64 (*.f64 eps -2/3)))
(exp.f64 (log.f64 (*.f64 eps -2/3)))
(log1p.f64 (expm1.f64 (*.f64 eps -2/3)))
(-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(pow.f64 (.f64 eps (sqrt.f64 (.f64 eps -2/3))) 2)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(sqrt.f64 (.f64 (pow.f64 (.f64 eps eps) 3) 4/9))
(log.f64 (exp.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))

Outputs
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 eps)
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (+.f64 1 (*.f64 eps -2/3)) 1)
(*.f64 -2/3 eps)
(pow.f64 (*.f64 eps -2/3) 1)
(*.f64 -2/3 eps)
(pow.f64 (sqrt.f64 (*.f64 eps -2/3)) 2)
(*.f64 -2/3 eps)
(pow.f64 (cbrt.f64 (*.f64 eps -2/3)) 3)
(*.f64 -2/3 eps)
(pow.f64 (pow.f64 (*.f64 eps -2/3) 3) 1/3)
(*.f64 -2/3 eps)
(sqrt.f64 (pow.f64 (*.f64 eps -2/3) 2))
(*.f64 -2/3 eps)
(log.f64 (pow.f64 (exp.f64 -2/3) eps))
(*.f64 -2/3 eps)
(cbrt.f64 (pow.f64 (*.f64 eps -2/3) 3))
(*.f64 -2/3 eps)
(expm1.f64 (log1p.f64 (*.f64 eps -2/3)))
(*.f64 -2/3 eps)
(exp.f64 (log.f64 (*.f64 eps -2/3)))
(*.f64 -2/3 eps)
(log1p.f64 (expm1.f64 (*.f64 eps -2/3)))
(*.f64 -2/3 eps)
(-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (.f64 eps (sqrt.f64 (.f64 eps -2/3))) 2)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(*.f64 -2/3 (pow.f64 eps 3))
(sqrt.f64 (.f64 (pow.f64 (.f64 eps eps) 3) 4/9))
(*.f64 -2/3 (pow.f64 eps 3))
(log.f64 (exp.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(*.f64 -2/3 (pow.f64 eps 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))

eval6.0ms (0.1%)

Compiler: Compiled 299 to 213 computations (28.8% saved)

prune4.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	24	5	29

Error

Counts

29 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	0.3b	(+.f64 (.f64 -2 eps) (-.f64 (+.f64 1 (.f64 -2/3 (pow.f64 eps 3))) 1))
✓	0.2b	(+.f64 (.f64 -2 eps) (.f64 (.f64 eps eps) (.f64 eps -2/3)))
✓	0.5b	(*.f64 -2 eps)
✓	58.8b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 46 to 35 computations (23.9% saved)

regimes10.0ms (0.2%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

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

Compiler

Compiled 70 to 52 computations (25.7% saved)

regimes13.0ms (0.2%)

Accuracy

Total -59.0b remaining (-31639.5%)

Threshold costs -59.0b (-31639.5%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 64 to 48 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
8×	`+-commutative`
6×	`sub-neg`
4×	`neg-mul-1`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	57
1	25	57
2	30	57
3	33	57
4	34	57

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (.f64 -2 eps) (.f64 (.f64 eps eps) (.f64 eps -2/3)))
(+.f64 (.f64 eps -2) (.f64 (.f64 eps eps) (.f64 eps -2/3)))
(*.f64 -2 eps)
(*.f64 eps -2)

Compiler

Compiled 23 to 16 computations (30.4% saved)

soundness539.0ms (8.7%)

Algorithm

1×	egg-herbie

Rules

1728×	`fma-def`
1078×	`distribute-lft-in`
796×	`associate-+r+`
786×	`associate-+l-`
774×	`associate-+l+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	20	19
2	30	19
3	44	19
4	73	19
5	108	19
6	168	19
7	328	19
8	757	19
9	1448	19
10	2054	19
11	2578	19
12	3638	19
13	4428	19
14	4922	19
15	5098	19
16	5198	19
17	5198	19
18	6692	19
19	7008	19
20	7086	19
21	7094	19
22	7102	19
23	7102	19
24	7302	19
25	7878	19

Stop Event

1×	node limit

Compiler

Compiled 42 to 29 computations (31% saved)

end25.0ms (0.4%)

Compiler: Compiled 21 to 14 computations (33.3% saved)

Details

analyze3.0ms (0.1%)

sample4.2s (68.1%)

preprocess271.0ms (4.4%)

simplify274.0ms (4.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite67.0ms (1.1%)

simplify83.0ms (1.3%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite51.0ms (0.8%)

simplify58.0ms (0.9%)

eval87.0ms (1.4%)

prune39.0ms (0.6%)

localize2.0ms (0%)

localize11.0ms (0.2%)

series2.0ms (0%)

rewrite47.0ms (0.8%)

simplify53.0ms (0.9%)

eval4.0ms (0.1%)

prune3.0ms (0.1%)

localize17.0ms (0.3%)

series1.0ms (0%)

rewrite61.0ms (1%)

simplify66.0ms (1.1%)

eval28.0ms (0.4%)

prune9.0ms (0.1%)

localize10.0ms (0.2%)

series1.0ms (0%)

rewrite54.0ms (0.9%)

simplify45.0ms (0.7%)

eval6.0ms (0.1%)

prune4.0ms (0.1%)

regimes10.0ms (0.2%)

regimes13.0ms (0.2%)

simplify5.0ms (0.1%)

soundness539.0ms (8.7%)

end25.0ms (0.4%)

Profiling