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.7s (54.3%)

Results

2.3s	4167×	body	1024	valid
695.0ms	1986×	body	512	valid
456.0ms	430×	body	2048	valid
234.0ms	1673×	body	256	valid
0.0ms	3×	body	256	invalid

Bogosity

preprocess230.0ms (3.4%)

Algorithm

2×	egg-herbie

Rules

1088×	`fma-neg_binary64`
890×	`fma-def_binary64`
719×	`distribute-rgt-in_binary64`
491×	`distribute-lft-in_binary64`
331×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	10
2	28	10
3	41	10
4	71	10
5	103	10
6	159	10
7	292	10
8	604	10
9	1037	10
10	1444	10
11	2002	10
12	2740	10
13	3835	10
14	4670	10
15	4768	10
16	4800	10
17	4800	10
18	6393	10
19	6748	10
20	6826	10
21	6834	10
22	6842	10
23	6842	10
24	7042	10
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)

simplify224.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1088×	`fma-neg_binary64`
890×	`fma-def_binary64`
719×	`distribute-rgt-in_binary64`
491×	`distribute-lft-in_binary64`
331×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	10
2	28	10
3	41	10
4	71	10
5	103	10
6	159	10
7	292	10
8	604	10
9	1037	10
10	1444	10
11	2002	10
12	2740	10
13	3835	10
14	4670	10
15	4768	10
16	4800	10
17	4800	10
18	6393	10
19	6748	10
20	6826	10
21	6834	10
22	6842	10
23	6842	10
24	7042	10

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)

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

Compiler

Compiled 16 to 12 computations (25% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
✓	7.0b	(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
1.0ms	eps	@	0	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
1.0ms	eps	@	inf	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
1.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))

rewrite73.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

884×	`pow1_binary64`
826×	`log1p-expm1-u_binary64`
826×	`expm1-log1p-u_binary64`
825×	`add-log-exp_binary64`
810×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	22
1	153	20
2	2156	20

Stop Event

1×	node limit

Counts

2 → 64

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

Outputs

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

simplify48.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

613×	`fma-def_binary64`
502×	`times-frac_binary64`
462×	`fma-neg_binary64`
449×	`associate-/l/_binary64`
410×	`associate-*l/_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	57	309
1	164	307
2	410	307
3	1133	301
4	3353	297

Stop Event

1×	node limit

Counts

88 → 92

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

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))))
(fma.f64 eps (fma.f64 eps (.f64 eps -2/3) -2) (.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)))))
(fma.f64 -2 eps (fma.f64 -2/3 (pow.f64 eps 3) (fma.f64 -2/5 (pow.f64 eps 5) (*.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 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 -2/3 (pow.f64 eps 3)))
(-.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3)))
(+.f64 (/.f64 -2 eps) (+.f64 (log.f64 -1) (/.f64 -2/3 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2/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/3 (pow.f64 eps 3)) (/.f64 2/5 (pow.f64 eps 5)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 -2 eps) (+.f64 (/.f64 -2/3 (pow.f64 eps 3)) (/.f64 -2/5 (pow.f64 eps 5)))))
(+.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (+.f64 (/.f64 -2/3 (pow.f64 eps 3)) (/.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 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 -2/3 (pow.f64 eps 3)))
(-.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3)))
(+.f64 (/.f64 -2 eps) (+.f64 (log.f64 -1) (/.f64 -2/3 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2/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/3 (pow.f64 eps 3)) (/.f64 2/5 (pow.f64 eps 5)))))
(+.f64 (log.f64 -1) (+.f64 (/.f64 -2 eps) (+.f64 (/.f64 -2/3 (pow.f64 eps 3)) (/.f64 -2/5 (pow.f64 eps 5)))))
(+.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (+.f64 (/.f64 -2/3 (pow.f64 eps 3)) (/.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))
(fma.f64 -2 eps (fma.f64 eps (*.f64 eps 2) 1))
(fma.f64 eps (fma.f64 eps 2 -2) 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)))
(fma.f64 -2 eps (fma.f64 -2 (pow.f64 eps 3) (fma.f64 eps (*.f64 eps 2) 1)))
(fma.f64 (*.f64 eps eps) (fma.f64 -2 eps 2) (fma.f64 -2 eps 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 2 eps) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (/.f64 2 eps) (-.f64 -1 (/.f64 2 (*.f64 eps eps))))
(+.f64 -1 (+.f64 (/.f64 -2 (*.f64 eps eps)) (/.f64 2 eps)))
(+.f64 (/.f64 2 eps) (+.f64 -1 (/.f64 -2 (*.f64 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 2 eps) (+.f64 1 (/.f64 2 (*.f64 eps eps)))))
(+.f64 (/.f64 2 eps) (-.f64 (/.f64 2 (pow.f64 eps 3)) (+.f64 1 (/.f64 2 (*.f64 eps eps)))))
(+.f64 (+.f64 -1 (/.f64 2 eps)) (+.f64 (/.f64 -2 (*.f64 eps eps)) (/.f64 2 (pow.f64 eps 3))))
(+.f64 (+.f64 (/.f64 2 eps) (+.f64 -1 (/.f64 -2 (*.f64 eps eps)))) (/.f64 2 (pow.f64 eps 3)))
(+.f64 (/.f64 2 eps) (fma.f64 (/.f64 1 (*.f64 eps eps)) (+.f64 (/.f64 2 eps) -2) -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 2 eps) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (/.f64 2 eps) (-.f64 -1 (/.f64 2 (*.f64 eps eps))))
(+.f64 -1 (+.f64 (/.f64 -2 (*.f64 eps eps)) (/.f64 2 eps)))
(+.f64 (/.f64 2 eps) (+.f64 -1 (/.f64 -2 (*.f64 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 2 eps) (+.f64 1 (/.f64 2 (*.f64 eps eps)))))
(+.f64 (/.f64 2 eps) (-.f64 (/.f64 2 (pow.f64 eps 3)) (+.f64 1 (/.f64 2 (*.f64 eps eps)))))
(+.f64 (+.f64 -1 (/.f64 2 eps)) (+.f64 (/.f64 -2 (*.f64 eps eps)) (/.f64 2 (pow.f64 eps 3))))
(+.f64 (+.f64 (/.f64 2 eps) (+.f64 -1 (/.f64 -2 (*.f64 eps eps)))) (/.f64 2 (pow.f64 eps 3)))
(+.f64 (/.f64 2 eps) (fma.f64 (/.f64 1 (*.f64 eps eps)) (+.f64 (/.f64 2 eps) -2) -1))

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)

series3.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))
1.0ms	eps	@	inf	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
1.0ms	eps	@	-inf	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

rewrite53.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

519×	`pow1_binary64`
484×	`add-log-exp_binary64`
484×	`expm1-log1p-u_binary64`
482×	`log1p-expm1-u_binary64`
475×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	130	8
2	1865	8

Stop Event

1×	node limit

Counts

1 → 35

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

simplify79.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

699×	`fma-def_binary64`
530×	`associate-/l*_binary64`
426×	`distribute-neg-frac_binary64`
399×	`fma-neg_binary64`
319×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	180
1	122	177
2	298	174
3	807	174
4	2170	174
5	5425	174
6	7993	174

Stop Event

1×	node limit

Counts

47 → 57

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

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

eval68.0ms (1%)

Compiler: Compiled 1882 to 1147 computations (39.1% saved)

prune24.0ms (0.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	144	5	149
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	144	7	151

Error

Counts

151 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	36.0b	(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
✓	58.3b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
▶	0.1b	(+.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)))))
▶	1.0b	(*.f64 -2 eps)
▶	0.5b	(.f64 eps (fma.f64 eps (.f64 eps -2/3) -2))
▶	50.3b	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)

Compiler

Compiled 126 to 98 computations (22.2% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 85 to 68 computations (20% saved)

series7.0ms (0.1%)

Counts

4 → 6

Calls

12 calls:

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

rewrite100.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

716×	`log-prod_binary64`
626×	`fma-def_binary64`
332×	`fma-neg_binary64`
295×	`expm1-udef_binary64`
295×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	42
1	367	42
2	4478	42

Stop Event

1×	node limit

Counts

4 → 138

Calls

Call 1

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

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

simplify138.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1083×	`sqr-pow_binary64`
672×	`cube-prod_binary64`
624×	`unswap-sqr_binary64`
619×	`fabs-mul_binary64`
378×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	63
1	39	63
2	80	63
3	161	63
4	343	63
5	993	63
6	1463	63
7	2412	63
8	2566	63
9	2812	63
10	3127	63
11	3608	63
12	4287	63
13	5181	63
14	5827	63
15	6334	63
16	6733	63
17	7108	63
18	7326	63

Stop Event

1×	node limit

Counts

144 → 144

Calls

Call 1

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

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

localize3.0ms (0%)

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

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 eps (fma.f64 eps (.f64 eps -2/3) -2))
✓	0.4b	(*.f64 eps -2/3)

Compiler

Compiled 21 to 14 computations (33.3% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite60.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

641×	`pow1_binary64`
596×	`add-log-exp_binary64`
596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
585×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	142	15
2	1594	15

Stop Event

1×	node limit

Counts

2 → 24

Calls

Call 1

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

Outputs

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

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

simplify169.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
666×	`pow-sqr_binary64`
529×	`cube-prod_binary64`
469×	`fabs-mul_binary64`
443×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	165
1	23	165
2	41	165
3	82	165
4	150	165
5	374	165
6	1237	165
7	1944	165
8	2031	165
9	2164	165
10	2322	165
11	2562	165
12	2884	165
13	3305	165
14	3807	165
15	4409	165
16	5129	165
17	5448	165
18	5730	165
19	5952	165
20	6132	165
21	6214	165
22	7154	165

Stop Event

1×	node limit

Counts

48 → 30

Calls

Call 1

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

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

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 30 to 7 computations (76.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

0.0ms

eps

(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))

0.0ms

eps

inf

(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))

0.0ms

eps

-inf

(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))

rewrite55.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

588×	`pow1_binary64`
546×	`add-log-exp_binary64`
546×	`expm1-log1p-u_binary64`
544×	`log1p-expm1-u_binary64`
535×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	154	8
2	2051	8

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

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

simplify74.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

699×	`fma-def_binary64`
530×	`associate-/l*_binary64`
426×	`distribute-neg-frac_binary64`
399×	`fma-neg_binary64`
319×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	180
1	122	177
2	298	174
3	807	174
4	2170	174
5	5425	174
6	7993	174

Stop Event

1×	node limit

Counts

54 → 64

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

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

localize15.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	0.0b	(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3)
✓	42.7b	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)

Compiler

Compiled 35 to 13 computations (62.9% saved)

series14.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	eps	@	-inf	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
3.0ms	eps	@	inf	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
3.0ms	eps	@	0	(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3)
2.0ms	eps	@	-inf	(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3)
2.0ms	eps	@	0	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)

rewrite60.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

766×	`pow1_binary64`
725×	`add-log-exp_binary64`
725×	`expm1-log1p-u_binary64`
723×	`log1p-expm1-u_binary64`
710×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	227	19
2	2590	19

Stop Event

1×	node limit

Counts

2 → 66

Calls

Call 1

Inputs
(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3)

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

simplify59.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

696×	`associate-/l*_binary64`
466×	`associate-+l+_binary64`
457×	`*-commutative_binary64`
332×	`associate-+r+_binary64`
269×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	1334
1	688	1192
2	2681	1124

Stop Event

1×	node limit

Counts

90 → 109

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 -8) eps)
(+.f64 (.f64 (cbrt.f64 -8) eps) (.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2))))
(+.f64 (.f64 (cbrt.f64 -8) eps) (+.f64 (.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2))) (*.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)))))
(+.f64 (.f64 (cbrt.f64 -8) eps) (+.f64 (.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2))) (+.f64 (.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2))) (.f64 1/3 (/.f64 (.f64 (-.f64 (.f64 512/27 (/.f64 1 (pow.f64 (cbrt.f64 -8) 6))) 704/189) (pow.f64 eps 7)) (pow.f64 (cbrt.f64 -8) 2))))))
(log.f64 -1)
(+.f64 (.f64 1/3 (.f64 (/.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)) 1/3))) (log.f64 -1))
(+.f64 (.f64 1/3 (.f64 (/.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)) 1/3))) (+.f64 (log.f64 -1) (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 4 (log.f64 -1)) (.f64 8 (log.f64 -1))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 -1)) 1/3) (pow.f64 (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2))) 2)))) (.f64 (pow.f64 eps 2) (pow.f64 (log.f64 -1) 2))))))
(+.f64 (.f64 1/3 (.f64 (/.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)) 1/3))) (+.f64 (log.f64 -1) (+.f64 (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 -2/3 (pow.f64 (log.f64 -1) 2)) (.f64 -4/3 (pow.f64 (log.f64 -1) 2))) (+.f64 8 (+.f64 (.f64 1/27 (/.f64 (pow.f64 (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2))) 3) (pow.f64 (log.f64 -1) 2))) (.f64 2/3 (.f64 (.f64 (-.f64 (+.f64 (.f64 4 (log.f64 -1)) (.f64 8 (log.f64 -1))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 -1)) 1/3) (pow.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) 2)))) (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2)))) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 5)) 1/3)))))) (.f64 (pow.f64 eps 3) (pow.f64 (log.f64 -1) 2)))) (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 4 (log.f64 -1)) (.f64 8 (log.f64 -1))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 -1)) 1/3) (pow.f64 (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2))) 2)))) (.f64 (pow.f64 eps 2) (pow.f64 (log.f64 -1) 2)))))))
(*.f64 (log.f64 -1) (cbrt.f64 -1))
(+.f64 (.f64 -1/3 (.f64 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (log.f64 -1) 2))) 1/3))) (.f64 (log.f64 -1) (cbrt.f64 -1)))
(+.f64 (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))))) (.f64 (pow.f64 eps 2) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (+.f64 (.f64 -1/3 (.f64 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (log.f64 -1) 2))) 1/3))) (*.f64 (log.f64 -1) (cbrt.f64 -1))))
(+.f64 (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))))) (.f64 (pow.f64 eps 2) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (+.f64 (.f64 -1/3 (.f64 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (log.f64 -1) 2))) 1/3))) (+.f64 (.f64 -1/3 (/.f64 (-.f64 (+.f64 8 (+.f64 (.f64 4/3 (pow.f64 (log.f64 -1) 2)) (.f64 2/3 (pow.f64 (log.f64 -1) 2)))) (+.f64 (.f64 4/9 (.f64 (pow.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 5) (pow.f64 (cbrt.f64 -1) 5))) 1/3) (.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2)))))))) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 5) (pow.f64 (log.f64 -1) 5))) 1/3) (.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2)))))))) (.f64 1/27 (/.f64 (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))))) (.f64 (pow.f64 eps 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (.f64 (log.f64 -1) (cbrt.f64 -1)))))
(*.f64 -8 (pow.f64 eps 3))
(+.f64 (.f64 -8 (pow.f64 eps 5)) (.f64 -8 (pow.f64 eps 3)))
(+.f64 (.f64 -112/15 (pow.f64 eps 7)) (+.f64 (.f64 -8 (pow.f64 eps 5)) (*.f64 -8 (pow.f64 eps 3))))
(+.f64 (.f64 -6544/945 (pow.f64 eps 9)) (+.f64 (.f64 -112/15 (pow.f64 eps 7)) (+.f64 (.f64 -8 (pow.f64 eps 5)) (.f64 -8 (pow.f64 eps 3)))))
(pow.f64 (log.f64 -1) 3)
(+.f64 (.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (+.f64 (pow.f64 (log.f64 -1) 3) (.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps))))
(+.f64 (.f64 4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (+.f64 (pow.f64 (log.f64 -1) 3) (+.f64 (.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (.f64 8 (/.f64 (log.f64 -1) (pow.f64 eps 2)))))))
(-.f64 (+.f64 (.f64 -4/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3))) (+.f64 (.f64 4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (+.f64 (.f64 -2/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3))) (+.f64 (pow.f64 (log.f64 -1) 3) (+.f64 (.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (.f64 8 (/.f64 (log.f64 -1) (pow.f64 eps 2))))))))) (*.f64 8 (/.f64 1 (pow.f64 eps 3))))
(*.f64 -1 (pow.f64 (log.f64 -1) 3))
(+.f64 (.f64 -1 (pow.f64 (log.f64 -1) 3)) (.f64 -1 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps)))
(+.f64 (.f64 -4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -8 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -1 (pow.f64 (log.f64 -1) 3)) (.f64 -1 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps)))))
(+.f64 (.f64 -8 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -1 (pow.f64 (log.f64 -1) 3)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 4/3 (pow.f64 (log.f64 -1) 2)) (+.f64 8 (.f64 2/3 (pow.f64 (log.f64 -1) 2)))) (pow.f64 eps 3))) (.f64 -1 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (*.f64 2 (pow.f64 (log.f64 -1) 2))) eps))))))

Outputs
(*.f64 (cbrt.f64 -8) eps)
(+.f64 (.f64 (cbrt.f64 -8) eps) (.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2))))
(fma.f64 (cbrt.f64 -8) eps (*.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2))))
(fma.f64 (cbrt.f64 -8) eps (*.f64 (/.f64 -8/3 (pow.f64 (cbrt.f64 -8) 2)) (pow.f64 eps 3)))
(+.f64 (.f64 (cbrt.f64 -8) eps) (+.f64 (.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2))) (*.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)))))
(fma.f64 (cbrt.f64 -8) eps (fma.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2)) (*.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)))))
(fma.f64 (cbrt.f64 -8) eps (fma.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)) (*.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2)))))
(fma.f64 (cbrt.f64 -8) eps (fma.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)) (/.f64 (pow.f64 eps 5) (/.f64 (pow.f64 (cbrt.f64 -8) 2) -8/5))))
(+.f64 (.f64 (cbrt.f64 -8) eps) (+.f64 (.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2))) (+.f64 (.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2))) (.f64 1/3 (/.f64 (.f64 (-.f64 (.f64 512/27 (/.f64 1 (pow.f64 (cbrt.f64 -8) 6))) 704/189) (pow.f64 eps 7)) (pow.f64 (cbrt.f64 -8) 2))))))
(fma.f64 (cbrt.f64 -8) eps (fma.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2)) (fma.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)) (*.f64 1/3 (/.f64 (+.f64 (/.f64 512/27 (pow.f64 (cbrt.f64 -8) 6)) -704/189) (/.f64 (pow.f64 (cbrt.f64 -8) 2) (pow.f64 eps 7)))))))
(fma.f64 (cbrt.f64 -8) eps (fma.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2)) (fma.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)) (/.f64 (*.f64 -8/7 (pow.f64 eps 7)) (pow.f64 (cbrt.f64 -8) 2)))))
(fma.f64 (cbrt.f64 -8) eps (fma.f64 -8/5 (/.f64 (pow.f64 eps 5) (pow.f64 (cbrt.f64 -8) 2)) (fma.f64 -8/3 (/.f64 (pow.f64 eps 3) (pow.f64 (cbrt.f64 -8) 2)) (*.f64 (/.f64 -8/7 (pow.f64 (cbrt.f64 -8) 2)) (pow.f64 eps 7)))))
(log.f64 -1)
(+.f64 (.f64 1/3 (.f64 (/.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)) 1/3))) (log.f64 -1))
(fma.f64 1/3 (.f64 (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) eps) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)))) (log.f64 -1))
(fma.f64 1/3 (*.f64 (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps -6)) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)))) (log.f64 -1))
(fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2))) (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6)) (log.f64 -1))
(+.f64 (.f64 1/3 (.f64 (/.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)) 1/3))) (+.f64 (log.f64 -1) (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 4 (log.f64 -1)) (.f64 8 (log.f64 -1))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 -1)) 1/3) (pow.f64 (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2))) 2)))) (.f64 (pow.f64 eps 2) (pow.f64 (log.f64 -1) 2))))))
(+.f64 (fma.f64 1/3 (.f64 (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) eps) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)))) (log.f64 -1)) (.f64 1/3 (/.f64 (-.f64 (.f64 (log.f64 -1) 12) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)))) (.f64 (pow.f64 (log.f64 -1) 2) (*.f64 eps eps)))))
(fma.f64 1/3 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps -6)) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)))) (fma.f64 1/3 (/.f64 (fma.f64 (log.f64 -1) 12 (.f64 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)) -1/3)) (.f64 eps (.f64 eps (pow.f64 (log.f64 -1) 2)))) (log.f64 -1)))
(fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2))) (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6)) (fma.f64 1/3 (/.f64 (fma.f64 (log.f64 -1) 12 (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (.f64 (pow.f64 (log.f64 -1) 4) -36)))) (.f64 eps (*.f64 eps (pow.f64 (log.f64 -1) 2)))) (log.f64 -1)))
(+.f64 (.f64 1/3 (.f64 (/.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)) 1/3))) (+.f64 (log.f64 -1) (+.f64 (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 -2/3 (pow.f64 (log.f64 -1) 2)) (.f64 -4/3 (pow.f64 (log.f64 -1) 2))) (+.f64 8 (+.f64 (.f64 1/27 (/.f64 (pow.f64 (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2))) 3) (pow.f64 (log.f64 -1) 2))) (.f64 2/3 (.f64 (.f64 (-.f64 (+.f64 (.f64 4 (log.f64 -1)) (.f64 8 (log.f64 -1))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 -1)) 1/3) (pow.f64 (+.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (.f64 -4 (pow.f64 (log.f64 -1) 2))) 2)))) (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2)))) (pow.f64 (/.f64 1 (pow.f64 (log.f64 -1) 5)) 1/3)))))) (.f64 (pow.f64 eps 3) (pow.f64 (log.f64 -1) 2)))) (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 4 (log.f64 -1)) (.f64 8 (log.f64 -1))) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (log.f64 -1)) 1/3) (pow.f64 (+.f64 (.f64 -4 (pow.f64 (log.f64 -1) 2)) (.f64 -2 (pow.f64 (log.f64 -1) 2))) 2)))) (.f64 (pow.f64 eps 2) (pow.f64 (log.f64 -1) 2)))))))
(+.f64 (fma.f64 1/3 (.f64 (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) eps) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)))) (log.f64 -1)) (.f64 1/3 (+.f64 (/.f64 (-.f64 (.f64 -2 (pow.f64 (log.f64 -1) 2)) (+.f64 8 (fma.f64 1/27 (/.f64 (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 3) (pow.f64 (log.f64 -1) 2)) (.f64 2/3 (.f64 (-.f64 (.f64 (log.f64 -1) 12) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)))) (.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 5))))))))) (.f64 (pow.f64 eps 3) (pow.f64 (log.f64 -1) 2))) (/.f64 (-.f64 (.f64 (log.f64 -1) 12) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)))) (.f64 (pow.f64 (log.f64 -1) 2) (.f64 eps eps))))))
(fma.f64 1/3 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps -6)) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2)))) (fma.f64 1/3 (+.f64 (/.f64 (fma.f64 (log.f64 -1) 12 (.f64 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)) -1/3)) (.f64 eps (.f64 eps (pow.f64 (log.f64 -1) 2)))) (/.f64 (-.f64 (fma.f64 -2 (pow.f64 (log.f64 -1) 2) -8) (fma.f64 1/27 (/.f64 (.f64 (pow.f64 (pow.f64 (log.f64 -1) 2) 3) -216) (pow.f64 (log.f64 -1) 2)) (.f64 2/3 (.f64 (fma.f64 (log.f64 -1) 12 (.f64 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)) -1/3)) (.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 5)))))))) (*.f64 (pow.f64 eps 3) (pow.f64 (log.f64 -1) 2)))) (log.f64 -1)))
(+.f64 (fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 2))) (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6)) (log.f64 -1)) (.f64 (/.f64 1/3 (pow.f64 (log.f64 -1) 2)) (+.f64 (/.f64 (fma.f64 (log.f64 -1) 12 (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (.f64 (pow.f64 (log.f64 -1) 4) -36)))) (.f64 eps eps)) (/.f64 (-.f64 (fma.f64 -2 (pow.f64 (log.f64 -1) 2) -8) (fma.f64 2/3 (.f64 (fma.f64 (log.f64 -1) 12 (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (log.f64 -1))) (.f64 (pow.f64 (log.f64 -1) 4) -36)))) (.f64 (pow.f64 (log.f64 -1) 2) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (log.f64 -1) 5))) -6))) (.f64 (/.f64 1/27 (pow.f64 (log.f64 -1) 2)) (*.f64 (pow.f64 (pow.f64 (log.f64 -1) 2) 3) -216)))) (pow.f64 eps 3)))))
(*.f64 (log.f64 -1) (cbrt.f64 -1))
(+.f64 (.f64 -1/3 (.f64 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (log.f64 -1) 2))) 1/3))) (.f64 (log.f64 -1) (cbrt.f64 -1)))
(fma.f64 -1/3 (.f64 (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) eps) (cbrt.f64 (/.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (log.f64 -1) 2)))) (*.f64 (log.f64 -1) (cbrt.f64 -1)))
(fma.f64 (log.f64 -1) (cbrt.f64 -1) (.f64 -1/3 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps 6)) (cbrt.f64 (/.f64 1 (*.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))))))
(fma.f64 (log.f64 -1) (cbrt.f64 -1) (.f64 (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))) (.f64 -1/3 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) 6))))
(+.f64 (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))))) (.f64 (pow.f64 eps 2) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (+.f64 (.f64 -1/3 (.f64 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (log.f64 -1) 2))) 1/3))) (*.f64 (log.f64 -1) (cbrt.f64 -1))))
(fma.f64 1/3 (/.f64 (-.f64 (.f64 (log.f64 -1) -12) (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 1 (log.f64 -1)) (cbrt.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) 2)) 1/3)) (.f64 (.f64 eps eps) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))) (fma.f64 -1/3 (.f64 (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) eps) (cbrt.f64 (/.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (log.f64 -1) 2)))) (.f64 (log.f64 -1) (cbrt.f64 -1))))
(fma.f64 1/3 (/.f64 (fma.f64 (log.f64 -1) -12 (.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1)))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)) -1/3)) (.f64 (pow.f64 (log.f64 -1) 2) (.f64 (.f64 eps eps) (pow.f64 (cbrt.f64 -1) 2)))) (fma.f64 (log.f64 -1) (cbrt.f64 -1) (.f64 -1/3 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps 6)) (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))))))
(fma.f64 1/3 (/.f64 (fma.f64 (log.f64 -1) -12 (.f64 -1/3 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1)))) (.f64 (pow.f64 (log.f64 -1) 4) 36)))) (.f64 eps (.f64 eps (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (fma.f64 (log.f64 -1) (cbrt.f64 -1) (.f64 (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))) (.f64 -1/3 (*.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) 6)))))
(+.f64 (.f64 1/3 (/.f64 (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))))) (.f64 (pow.f64 eps 2) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (+.f64 (.f64 -1/3 (.f64 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps) (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (log.f64 -1) 2))) 1/3))) (+.f64 (.f64 -1/3 (/.f64 (-.f64 (+.f64 8 (+.f64 (.f64 4/3 (pow.f64 (log.f64 -1) 2)) (.f64 2/3 (pow.f64 (log.f64 -1) 2)))) (+.f64 (.f64 4/9 (.f64 (pow.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 5) (pow.f64 (cbrt.f64 -1) 5))) 1/3) (.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2)))))))) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 -1) 5) (pow.f64 (log.f64 -1) 5))) 1/3) (.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) (-.f64 (+.f64 (.f64 -4 (log.f64 -1)) (.f64 -8 (log.f64 -1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2))) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1))) 1/3) (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 2)))))))) (.f64 1/27 (/.f64 (pow.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))))) (.f64 (pow.f64 eps 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (.f64 (log.f64 -1) (cbrt.f64 -1)))))
(fma.f64 1/3 (/.f64 (-.f64 (.f64 (log.f64 -1) -12) (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 1 (log.f64 -1)) (cbrt.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) 2)) 1/3)) (.f64 (.f64 eps eps) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))) (fma.f64 -1/3 (.f64 (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) eps) (cbrt.f64 (/.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (log.f64 -1) 2)))) (fma.f64 -1/3 (/.f64 (-.f64 (+.f64 8 (.f64 2 (pow.f64 (log.f64 -1) 2))) (fma.f64 4/9 (.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 5) (pow.f64 (cbrt.f64 -1) 5)))) (.f64 (pow.f64 (log.f64 -1) 2) 6)) (-.f64 (.f64 (log.f64 -1) -12) (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 1 (log.f64 -1)) (cbrt.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) 2)) 1/3))) (fma.f64 2/9 (.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 5) (pow.f64 (cbrt.f64 -1) 5)))) (.f64 (pow.f64 (log.f64 -1) 2) 6)) (-.f64 (.f64 (log.f64 -1) -12) (.f64 (.f64 (cbrt.f64 (/.f64 (/.f64 1 (log.f64 -1)) (cbrt.f64 -1))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) 2)) 1/3))) (.f64 1/27 (/.f64 (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))))) (.f64 (.f64 (pow.f64 eps 3) (pow.f64 (log.f64 -1) 2)) (pow.f64 (cbrt.f64 -1) 2))) (.f64 (log.f64 -1) (cbrt.f64 -1)))))
(fma.f64 1/3 (/.f64 (fma.f64 (log.f64 -1) -12 (.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1)))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)) -1/3)) (.f64 (pow.f64 (log.f64 -1) 2) (.f64 (.f64 eps eps) (pow.f64 (cbrt.f64 -1) 2)))) (fma.f64 -1/3 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps 6)) (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (fma.f64 (log.f64 -1) (cbrt.f64 -1) (.f64 -1/3 (/.f64 (-.f64 (fma.f64 2 (pow.f64 (log.f64 -1) 2) 8) (+.f64 (.f64 1/27 (/.f64 (.f64 (pow.f64 (pow.f64 (log.f64 -1) 2) 3) 216) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))) (.f64 (.f64 (fma.f64 (log.f64 -1) -12 (.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1)))) (pow.f64 (.f64 (pow.f64 (log.f64 -1) 2) -6) 2)) -1/3)) (.f64 (.f64 6 (pow.f64 (log.f64 -1) 2)) (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 5) (pow.f64 (cbrt.f64 -1) 5)))))) 2/3))) (.f64 (pow.f64 eps 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))))))
(fma.f64 1/3 (/.f64 (fma.f64 (log.f64 -1) -12 (.f64 -1/3 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1)))) (.f64 (pow.f64 (log.f64 -1) 4) 36)))) (.f64 eps (.f64 eps (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (fma.f64 -1/3 (.f64 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) 6) (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2))))) (fma.f64 -1/3 (/.f64 (+.f64 (fma.f64 2 (pow.f64 (log.f64 -1) 2) 8) (-.f64 (.f64 (.f64 6 (/.f64 (.f64 (pow.f64 (log.f64 -1) 4) 36) (pow.f64 (cbrt.f64 -1) 2))) -1/27) (.f64 (.f64 (pow.f64 (log.f64 -1) 2) (.f64 6 (fma.f64 (log.f64 -1) -12 (.f64 -1/3 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 -1) (cbrt.f64 -1)))) (.f64 (pow.f64 (log.f64 -1) 4) 36)))))) (.f64 (cbrt.f64 (/.f64 1 (.f64 (pow.f64 (log.f64 -1) 5) (pow.f64 (cbrt.f64 -1) 5)))) 2/3)))) (.f64 (pow.f64 eps 3) (.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 (cbrt.f64 -1) 2)))) (*.f64 (log.f64 -1) (cbrt.f64 -1)))))
(*.f64 -8 (pow.f64 eps 3))
(+.f64 (.f64 -8 (pow.f64 eps 5)) (.f64 -8 (pow.f64 eps 3)))
(*.f64 -8 (+.f64 (pow.f64 eps 5) (pow.f64 eps 3)))
(*.f64 -8 (+.f64 (pow.f64 eps 3) (pow.f64 eps 5)))
(+.f64 (.f64 -112/15 (pow.f64 eps 7)) (+.f64 (.f64 -8 (pow.f64 eps 5)) (*.f64 -8 (pow.f64 eps 3))))
(fma.f64 -112/15 (pow.f64 eps 7) (*.f64 -8 (+.f64 (pow.f64 eps 5) (pow.f64 eps 3))))
(fma.f64 -8 (+.f64 (pow.f64 eps 3) (pow.f64 eps 5)) (*.f64 (pow.f64 eps 7) -112/15))
(+.f64 (.f64 -6544/945 (pow.f64 eps 9)) (+.f64 (.f64 -112/15 (pow.f64 eps 7)) (+.f64 (.f64 -8 (pow.f64 eps 5)) (.f64 -8 (pow.f64 eps 3)))))
(fma.f64 -6544/945 (pow.f64 eps 9) (fma.f64 -112/15 (pow.f64 eps 7) (*.f64 -8 (+.f64 (pow.f64 eps 5) (pow.f64 eps 3)))))
(fma.f64 -6544/945 (pow.f64 eps 9) (fma.f64 -8 (+.f64 (pow.f64 eps 3) (pow.f64 eps 5)) (*.f64 (pow.f64 eps 7) -112/15)))
(pow.f64 (log.f64 -1) 3)
(+.f64 (.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (+.f64 (pow.f64 (log.f64 -1) 3) (.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps))))
(fma.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (+.f64 (pow.f64 (log.f64 -1) 3) (*.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps))))
(fma.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (fma.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (pow.f64 (log.f64 -1) 3)))
(+.f64 (pow.f64 (log.f64 -1) 3) (*.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6))
(+.f64 (.f64 4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (+.f64 (pow.f64 (log.f64 -1) 3) (+.f64 (.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (.f64 8 (/.f64 (log.f64 -1) (pow.f64 eps 2)))))))
(fma.f64 4 (/.f64 (log.f64 -1) (.f64 eps eps)) (fma.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (+.f64 (pow.f64 (log.f64 -1) 3) (fma.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (.f64 8 (/.f64 (log.f64 -1) (*.f64 eps eps)))))))
(fma.f64 4 (/.f64 (log.f64 -1) (.f64 eps eps)) (+.f64 (fma.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (.f64 (/.f64 (log.f64 -1) eps) (/.f64 8 eps))) (fma.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (pow.f64 (log.f64 -1) 3))))
(fma.f64 4 (/.f64 (log.f64 -1) (.f64 eps eps)) (+.f64 (pow.f64 (log.f64 -1) 3) (+.f64 (.f64 8 (/.f64 (log.f64 -1) (.f64 eps eps))) (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6))))
(-.f64 (+.f64 (.f64 -4/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3))) (+.f64 (.f64 4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (+.f64 (.f64 -2/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3))) (+.f64 (pow.f64 (log.f64 -1) 3) (+.f64 (.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps)) (.f64 8 (/.f64 (log.f64 -1) (pow.f64 eps 2))))))))) (*.f64 8 (/.f64 1 (pow.f64 eps 3))))
(-.f64 (fma.f64 -4/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3)) (fma.f64 4 (/.f64 (log.f64 -1) (.f64 eps eps)) (fma.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (fma.f64 -2/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3)) (+.f64 (pow.f64 (log.f64 -1) 3) (fma.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (.f64 8 (/.f64 (log.f64 -1) (*.f64 eps eps))))))))) (/.f64 8 (pow.f64 eps 3)))
(fma.f64 -4/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3)) (+.f64 (fma.f64 4 (/.f64 (log.f64 -1) (.f64 eps eps)) (fma.f64 -2 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (+.f64 (fma.f64 -4 (/.f64 (pow.f64 (log.f64 -1) 2) eps) (.f64 (/.f64 (log.f64 -1) eps) (/.f64 8 eps))) (fma.f64 -2/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3)) (pow.f64 (log.f64 -1) 3))))) (/.f64 -8 (pow.f64 eps 3))))
(+.f64 (fma.f64 4 (/.f64 (log.f64 -1) (.f64 eps eps)) (+.f64 (fma.f64 -2/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3)) (pow.f64 (log.f64 -1) 3)) (+.f64 (.f64 8 (/.f64 (log.f64 -1) (.f64 eps eps))) (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6)))) (fma.f64 -4/3 (/.f64 (pow.f64 (log.f64 -1) 2) (pow.f64 eps 3)) (/.f64 -8 (pow.f64 eps 3))))
(*.f64 -1 (pow.f64 (log.f64 -1) 3))
(neg.f64 (pow.f64 (log.f64 -1) 3))
(+.f64 (.f64 -1 (pow.f64 (log.f64 -1) 3)) (.f64 -1 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps)))
(.f64 -1 (+.f64 (pow.f64 (log.f64 -1) 3) (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) eps)))
(-.f64 (neg.f64 (pow.f64 (log.f64 -1) 3)) (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps 6)))
(-.f64 (*.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6) (pow.f64 (log.f64 -1) 3))
(+.f64 (.f64 -4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -8 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -1 (pow.f64 (log.f64 -1) 3)) (.f64 -1 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (.f64 2 (pow.f64 (log.f64 -1) 2))) eps)))))
(fma.f64 -4 (/.f64 (log.f64 -1) (.f64 eps eps)) (fma.f64 -8 (/.f64 (log.f64 -1) (.f64 eps eps)) (.f64 -1 (+.f64 (pow.f64 (log.f64 -1) 3) (/.f64 (.f64 (pow.f64 (log.f64 -1) 2) 6) eps)))))
(+.f64 (-.f64 (neg.f64 (pow.f64 (log.f64 -1) 3)) (/.f64 (pow.f64 (log.f64 -1) 2) (/.f64 eps 6))) (.f64 (/.f64 (log.f64 -1) (.f64 eps eps)) -12))
(+.f64 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6) (-.f64 (.f64 (/.f64 (log.f64 -1) (*.f64 eps eps)) -12) (pow.f64 (log.f64 -1) 3)))
(+.f64 (.f64 -8 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -4 (/.f64 (log.f64 -1) (pow.f64 eps 2))) (+.f64 (.f64 -1 (pow.f64 (log.f64 -1) 3)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 4/3 (pow.f64 (log.f64 -1) 2)) (+.f64 8 (.f64 2/3 (pow.f64 (log.f64 -1) 2)))) (pow.f64 eps 3))) (.f64 -1 (/.f64 (+.f64 (.f64 4 (pow.f64 (log.f64 -1) 2)) (*.f64 2 (pow.f64 (log.f64 -1) 2))) eps))))))
(fma.f64 -8 (/.f64 (log.f64 -1) (.f64 eps eps)) (fma.f64 -4 (/.f64 (log.f64 -1) (.f64 eps eps)) (fma.f64 -1 (pow.f64 (log.f64 -1) 3) (.f64 -1 (+.f64 (/.f64 (fma.f64 4/3 (pow.f64 (log.f64 -1) 2) (+.f64 8 (.f64 (pow.f64 (log.f64 -1) 2) 2/3))) (pow.f64 eps 3)) (/.f64 (*.f64 (pow.f64 (log.f64 -1) 2) 6) eps))))))
(+.f64 (-.f64 (-.f64 (/.f64 (neg.f64 (.f64 6 (pow.f64 (log.f64 -1) 2))) eps) (/.f64 (fma.f64 2 (pow.f64 (log.f64 -1) 2) 8) (pow.f64 eps 3))) (pow.f64 (log.f64 -1) 3)) (.f64 (/.f64 (log.f64 -1) (*.f64 eps eps)) -12))
(-.f64 (+.f64 (.f64 (/.f64 (pow.f64 (log.f64 -1) 2) eps) -6) (-.f64 (.f64 (/.f64 (log.f64 -1) (*.f64 eps eps)) -12) (pow.f64 (log.f64 -1) 3))) (/.f64 (fma.f64 2 (pow.f64 (log.f64 -1) 2) 8) (pow.f64 eps 3)))

eval229.0ms (3.4%)

Compiler: Compiled 9875 to 7118 computations (27.9% saved)

prune64.0ms (0.9%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	460	1	461
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	460	8	468

Error

Counts

468 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	36.0b	(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
✓	58.3b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
✓	0.1b	(+.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)))))
✓	1.0b	(*.f64 -2 eps)
✓	0.5b	(.f64 eps (fma.f64 eps (.f64 eps -2/3) -2))
✓	50.3b	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
▶	0.5b	(+.f64 (.f64 (.f64 eps (.f64 eps -2/3)) eps) (.f64 -2 eps))

Compiler

Compiled 83 to 63 computations (24.1% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite60.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

548×	`pow1_binary64`
527×	`add-sqr-sqrt_binary64`
506×	`add-log-exp_binary64`
506×	`log1p-expm1-u_binary64`
506×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	122	14
2	1402	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify166.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1208×	`sqr-pow_binary64`
564×	`cube-prod_binary64`
537×	`fabs-mul_binary64`
536×	`unswap-sqr_binary64`
502×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	168
1	23	168
2	48	168
3	105	168
4	296	168
5	1235	168
6	2405	168
7	2571	168
8	2821	168
9	3108	168
10	3487	168
11	3993	168
12	4591	168
13	5301	168
14	5768	168
15	6093	168
16	6367	168
17	6537	168
18	6631	168
19	7308	168

Stop Event

1×	node limit

Counts

46 → 25

Calls

Call 1

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

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

eval10.0ms (0.2%)

Compiler: Compiled 472 to 348 computations (26.3% saved)

prune10.0ms (0.2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	0	0
Picked	0	1	1
Done	1	6	7
Total	37	8	45

Error

Counts

45 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(+.f64 (.f64 (.f64 eps (.f64 eps -2/3)) eps) (.f64 -2 eps))
▶	0.5b	(+.f64 (.f64 (-.f64 (+.f64 1 (.f64 eps (.f64 eps -2/3))) 1) eps) (.f64 -2 eps))
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	36.0b	(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
✓	58.3b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
✓	0.1b	(+.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)))))
✓	1.0b	(*.f64 -2 eps)
✓	50.3b	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)

Compiler

Compiled 90 to 69 computations (23.3% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 58 to 42 computations (27.6% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite65.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

942×	`pow1_binary64`
881×	`add-log-exp_binary64`
881×	`log1p-expm1-u_binary64`
881×	`expm1-log1p-u_binary64`
99×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	29
1	197	17
2	2697	17

Stop Event

1×	node limit

Counts

2 → 72

Calls

Call 1

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

Outputs

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

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

simplify165.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1208×	`sqr-pow_binary64`
564×	`cube-prod_binary64`
537×	`fabs-mul_binary64`
536×	`unswap-sqr_binary64`
502×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	168
1	23	168
2	48	168
3	105	168
4	296	168
5	1235	168
6	2405	168
7	2571	168
8	2821	168
9	3108	168
10	3487	168
11	3993	168
12	4591	168
13	5301	168
14	5768	168
15	6093	168
16	6367	168
17	6537	168
18	6631	168
19	7308	168

Stop Event

1×	node limit

Counts

96 → 74

Calls

Call 1

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

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

eval39.0ms (0.6%)

Compiler: Compiled 1774 to 1258 computations (29.1% saved)

prune15.0ms (0.2%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	99	8	107

Error

Counts

107 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(+.f64 (.f64 (.f64 eps (.f64 eps -2/3)) eps) (.f64 -2 eps))
✓	0.5b	(+.f64 (.f64 (-.f64 (+.f64 1 (.f64 eps (.f64 eps -2/3))) 1) eps) (.f64 -2 eps))
✓	0.0b	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	36.0b	(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
✓	58.3b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
✓	0.1b	(+.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)))))
✓	1.0b	(*.f64 -2 eps)
✓	50.3b	(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)

Compiler

Compiled 90 to 69 computations (23.3% saved)

regimes13.0ms (0.2%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Error	Segments	Branch
0.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 110 to 73 computations (33.6% saved)

regimes22.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 65 to 46 computations (29.2% saved)

regimes5.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

eps

Results

Error	Segments	Branch
0.5b	1	`eps`

Compiler

Compiled 32 to 22 computations (31.3% saved)

regimes4.0ms (0.1%)

Accuracy

Total -0.5b remaining (-93.2%)

Threshold costs -0.5b (-93.2%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

eps

Results

Error	Segments	Branch
0.5b	1	`eps`

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	63
1	38	63
2	44	63
3	47	63
4	48	63

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 48 to 34 computations (29.2% saved)

soundness502.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

1088×	`fma-neg_binary64`
890×	`fma-def_binary64`
719×	`distribute-rgt-in_binary64`
491×	`distribute-lft-in_binary64`
331×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	18	10
2	28	10
3	41	10
4	71	10
5	103	10
6	159	10
7	292	10
8	604	10
9	1037	10
10	1444	10
11	2002	10
12	2740	10
13	3835	10
14	4670	10
15	4768	10
16	4800	10
17	4800	10
18	6393	10
19	6748	10
20	6826	10
21	6834	10
22	6842	10
23	6842	10
24	7042	10

Stop Event

1×	node limit

Compiler

Compiled 43 to 33 computations (23.3% saved)

end39.0ms (0.6%)

Compiler: Compiled 44 to 30 computations (31.8% saved)

Details

analyze4.0ms (0.1%)

sample3.7s (54.3%)

preprocess230.0ms (3.4%)

simplify224.0ms (3.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize12.0ms (0.2%)

series4.0ms (0.1%)

rewrite73.0ms (1.1%)

simplify48.0ms (0.7%)

localize7.0ms (0.1%)

series3.0ms (0%)

rewrite53.0ms (0.8%)

simplify79.0ms (1.2%)

eval68.0ms (1%)

prune24.0ms (0.4%)

localize33.0ms (0.5%)

series7.0ms (0.1%)

rewrite100.0ms (1.5%)

simplify138.0ms (2%)

localize3.0ms (0%)

localize9.0ms (0.1%)

series4.0ms (0.1%)

rewrite60.0ms (0.9%)

simplify169.0ms (2.5%)

localize13.0ms (0.2%)

series1.0ms (0%)

rewrite55.0ms (0.8%)

simplify74.0ms (1.1%)

localize15.0ms (0.2%)

series14.0ms (0.2%)

rewrite60.0ms (0.9%)

simplify59.0ms (0.9%)

eval229.0ms (3.4%)

prune64.0ms (0.9%)

localize13.0ms (0.2%)

series2.0ms (0%)

rewrite60.0ms (0.9%)

simplify166.0ms (2.4%)

eval10.0ms (0.2%)

prune10.0ms (0.2%)

localize25.0ms (0.4%)

series2.0ms (0%)

rewrite65.0ms (1%)

simplify165.0ms (2.4%)

eval39.0ms (0.6%)

prune15.0ms (0.2%)

regimes13.0ms (0.2%)

regimes22.0ms (0.3%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

simplify6.0ms (0.1%)

soundness502.0ms (7.4%)

end39.0ms (0.6%)

Profiling