Details

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

sample3.3s (66.4%)

Results

2.4s	4085×	body	1024	valid
522.0ms	2097×	body	512	valid
228.0ms	376×	body	2048	valid
193.0ms	1698×	body	256	valid
0.0ms	4×	body	256	invalid

Bogosity

preprocess268.0ms (5.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)

simplify273.0ms (5.5%)

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.9b	(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))
✓	6.4b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 24 to 17 computations (29.2% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	eps	@	-inf	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
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	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	eps	@	0	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

rewrite69.0ms (1.4%)

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

simplify84.0ms (1.7%)

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)

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

rewrite53.0ms (1.1%)

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

simplify60.0ms (1.2%)

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)

eval88.0ms (1.8%)

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

prune39.0ms (0.8%)

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.9b	(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)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.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.9%)

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

simplify54.0ms (1.1%)

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

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

18 → 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.9b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 30 to 23 computations (23.3% saved)

regimes9.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

3.0ms	eps
3.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.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 46 to 34 computations (26.1% saved)

regimes8.0ms (0.2%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Error	Segments	Branch
0.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 40 to 30 computations (25% saved)

regimes8.0ms (0.2%)

Accuracy

Total -58.8b remaining (-11798%)

Threshold costs -58.8b (-11798%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(*.f64 -2 eps)

Calls

3 calls:

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

Results

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

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	51
1	24	51
2	29	51
3	32	51
4	33	51

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 21 to 16 computations (23.8% saved)

soundness539.0ms (10.8%)

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)

end21.0ms (0.4%)

Compiler: Compiled 19 to 14 computations (26.3% saved)

Details

analyze4.0ms (0.1%)

sample3.3s (66.4%)

preprocess268.0ms (5.4%)

simplify273.0ms (5.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.2%)

series4.0ms (0.1%)

rewrite69.0ms (1.4%)

simplify84.0ms (1.7%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite53.0ms (1.1%)

simplify60.0ms (1.2%)

eval88.0ms (1.8%)

prune39.0ms (0.8%)

localize2.0ms (0%)

localize10.0ms (0.2%)

series2.0ms (0%)

rewrite47.0ms (0.9%)

simplify54.0ms (1.1%)

eval4.0ms (0.1%)

prune3.0ms (0.1%)

regimes9.0ms (0.2%)

regimes8.0ms (0.2%)

regimes8.0ms (0.2%)

simplify5.0ms (0.1%)

soundness539.0ms (10.8%)

end21.0ms (0.4%)

Profiling