Metrics for logq (problem 3.4.3)

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	75%	0%	0%	25%	0%	3
40%	25%	37.5%	0%	0%	37.5%	0%	4
66.7%	37.5%	18.7%	0%	0%	43.7%	0%	5
82.4%	43.7%	9.4%	0%	0%	46.9%	0%	6
90.9%	46.9%	4.7%	0%	0%	48.4%	0%	7
95.4%	48.4%	2.3%	0%	0%	49.2%	0%	8
97.7%	49.2%	1.2%	0%	0%	49.6%	0%	9
98.8%	49.6%	0.6%	0%	0%	49.8%	0%	10
99.4%	49.8%	0.3%	0%	0%	49.9%	0%	11
99.7%	49.9%	0.1%	0%	0%	49.9%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample3.4s (61.7%)

Results

2.2s	4140×	body	1024	valid
498.0ms	1999×	body	512	valid
452.0ms	418×	body	2048	valid
248.0ms	1699×	body	256	valid
1.0ms	14×	body	256	invalid

Bogosity

preprocess311.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

8722×	`fma-def`
1220×	`unsub-neg`
1030×	`fma-neg`
668×	`associate-+r+`
656×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	50
1	37	38
2	70	38
3	148	38
4	377	38
5	984	38
6	1861	38
7	2532	38
8	3523	38
9	4766	38
10	5322	38
11	5483	38
12	5658	38
13	6107	38
14	7004	38
15	7072	38
16	7104	38
17	7124	38
18	7216	38
19	7357	38
20	7477	38
21	7477	38

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 10 to 8 computations (20% saved)

simplify255.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

3044×	`fma-def`
1338×	`distribute-lft-in`
944×	`fma-neg`
932×	`sub-neg`
644×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	20	19
2	30	19
3	44	19
4	74	19
5	106	19
6	163	19
7	296	19
8	602	19
9	1053	19
10	1462	19
11	2037	19
12	2865	19
13	4066	19
14	4900	19
15	4996	19
16	5028	19
17	5028	19
18	6533	19
19	7165	19
20	7243	19
21	7251	19
22	7259	19
23	7259	19
24	7459	19

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

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

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

Accurracy

100.0%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
▶	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 32 to 24 computations (25% saved)

localize131.0ms (2.4%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	100.0%	(log1p.f64 eps)
✓	100.0%	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 39 to 22 computations (43.6% saved)

series7.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

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

rewrite66.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1534×	`prod-diff`
920×	`log-prod`
676×	`fma-def`
448×	`pow-prod-up`
412×	`pow-exp`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	279	54
2	3804	8

Stop Event

1×	node limit

Counts

4 → 49

Calls

Call 1

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

Outputs
0
1
(+.f64 (log1p.f64 eps) 0)
(+.f64 0 (log1p.f64 eps))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (/.f64 1 (+.f64 1 (fma.f64 eps eps eps)))))
(+.f64 (log1p.f64 (*.f64 eps eps)) (neg.f64 (log1p.f64 eps)))
(+.f64 (.f64 2 (.f64 1/3 (log1p.f64 eps))) (*.f64 1/3 (log1p.f64 eps)))
(+.f64 (.f64 1/2 (log1p.f64 eps)) (.f64 1/2 (log1p.f64 eps)))
(+.f64 (.f64 1/3 (log1p.f64 eps)) (.f64 2 (*.f64 1/3 (log1p.f64 eps))))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (.f64 eps eps)) (+.f64 1 (.f64 eps eps)))) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (fma.f64 eps eps (+.f64 1 eps))))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(-.f64 (exp.f64 (log1p.f64 (log1p.f64 eps))) 1)
(-.f64 (log.f64 (neg.f64 (+.f64 1 (*.f64 eps eps)))) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (neg.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log.f64 (fma.f64 eps eps -1)) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) 1)) (log1p.f64 eps))
(-.f64 (log.f64 (/.f64 (+.f64 1 (.f64 eps eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (.f64 1/3 (log1p.f64 eps)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (.f64 eps eps)) (hypot.f64 1 (sqrt.f64 eps)))) (.f64 1/2 (log1p.f64 eps)))
(*.f64 1 (log1p.f64 eps))
(*.f64 (log1p.f64 eps) 1)
(*.f64 (cbrt.f64 (log1p.f64 eps)) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2))
(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)))
(*.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)))
(.f64 3 (.f64 1/3 (log1p.f64 eps)))
(.f64 2 (.f64 1/2 (log1p.f64 eps)))
(.f64 1/3 (.f64 3 (log1p.f64 eps)))
(pow.f64 (log1p.f64 eps) 1)
(pow.f64 (cbrt.f64 (log1p.f64 eps)) 3)
(pow.f64 (pow.f64 (log1p.f64 eps) 3) 1/3)
(pow.f64 (sqrt.f64 (log1p.f64 eps)) 2)
(neg.f64 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(neg.f64 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(sqrt.f64 (pow.f64 (log1p.f64 eps) 2))
(log.f64 (+.f64 1 eps))
(cbrt.f64 (pow.f64 (log1p.f64 eps) 3))
(expm1.f64 (log1p.f64 (log1p.f64 eps)))
(exp.f64 (log.f64 (log1p.f64 eps)))
(exp.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (log1p.f64 eps)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (log1p.f64 eps))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (log1p.f64 eps))) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 (log1p.f64 eps)) 3) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (log1p.f64 eps))) 2))
0

simplify57.0ms (1%)

Algorithm

1×	egg-herbie

Rules

900×	`associate-+l+`
872×	`associate-+r+`
780×	`cancel-sign-sub-inv`
522×	`*-commutative`
498×	`distribute-lft-out`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	2085
1	525	1955
2	2021	1949

Stop Event

1×	node limit

Counts

97 → 152

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

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

eval36.0ms (0.7%)

Compiler: Compiled 2145 to 1348 computations (37.2% saved)

prune21.0ms (0.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	148	4	152
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	148	6	154

Accurracy

100.0%

Counts

154 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
▶	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	98.5%	(*.f64 -2 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
▶	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	98.5%	(*.f64 -2 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0

Compiler

Compiled 76 to 58 computations (23.7% saved)

localize56.0ms (1%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
✓	99.8%	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 42 to 26 computations (38.1% saved)

series5.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite61.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1964×	`pow1`
1828×	`add-exp-log`
1826×	`log1p-expm1-u`
1826×	`expm1-log1p-u`
230×	`add-sqr-sqrt`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	238	24
2	2890	24

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

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

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

simplify61.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1088×	`fma-def`
1036×	`fma-neg`
720×	`log-prod`
552×	`associate-/l*`
496×	`unswap-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	1426
1	381	1268
2	1329	1148
3	5821	1148

Stop Event

1×	node limit

Counts

58 → 97

Calls

Call 1

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

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

eval24.0ms (0.4%)

Compiler: Compiled 1171 to 683 computations (41.7% saved)

prune15.0ms (0.3%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	0	1	1
Picked	0	3	3
Done	0	2	2
Total	95	8	103

Accurracy

100.0%

Counts

103 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
✓	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	97.6%	(.f64 eps (+.f64 -2 (.f64 eps -1/2)))
✓	98.5%	(*.f64 -2 eps)
▶	18.7%	(neg.f64 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
✓	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	97.6%	(.f64 eps (+.f64 -2 (.f64 eps -1/2)))
✓	98.5%	(*.f64 -2 eps)
▶	18.7%	(neg.f64 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0

Compiler

Compiled 98 to 74 computations (24.5% saved)

localize35.0ms (0.6%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 eps (+.f64 -2 (.f64 eps -1/2)))

Compiler

Compiled 23 to 16 computations (30.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite61.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1802×	`pow1`
1682×	`add-exp-log`
1682×	`log1p-expm1-u`
1682×	`expm1-log1p-u`
1654×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	178	15
2	2317	15

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

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

simplify52.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1068×	`associate-*r/`
818×	`fma-def`
656×	`fma-neg`
654×	`times-frac`
602×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	89	688
1	255	668
2	1058	648
3	4627	642

Stop Event

1×	node limit

Counts

36 → 38

Calls

Call 1

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

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

eval10.0ms (0.2%)

Compiler: Compiled 525 to 377 computations (28.2% saved)

prune9.0ms (0.2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	1	1
Picked	0	2	2
Done	0	5	5
Total	38	8	46

Accurracy

100.0%

Counts

46 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
✓	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	97.6%	(.f64 eps (+.f64 -2 (.f64 eps -1/2)))
✓	98.5%	(*.f64 -2 eps)
✓	18.7%	(neg.f64 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
✓	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	97.6%	(.f64 eps (+.f64 -2 (.f64 eps -1/2)))
✓	98.5%	(*.f64 -2 eps)
✓	18.7%	(neg.f64 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0

Compiler

Compiled 98 to 74 computations (24.5% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune6.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	7	7
Total	8	8

Accurracy

100.0%

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	97.6%	(-.f64 (log1p.f64 (neg.f64 eps)) eps)
✓	99.0%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	97.6%	(.f64 eps (+.f64 -2 (.f64 eps -1/2)))
✓	98.5%	(*.f64 -2 eps)
✓	18.7%	(neg.f64 eps)
✓	9.0%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.3%	0

Compiler

Compiled 91 to 64 computations (29.7% saved)

regimes11.0ms (0.2%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
100.0%	1	`eps`
100.0%	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
100.0%	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 61 to 41 computations (32.8% saved)

regimes21.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
99.0%	1	`eps`
99.0%	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
99.0%	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 55 to 39 computations (29.1% saved)

regimes10.0ms (0.2%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(*.f64 -2 eps)

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
98.5%	1	`eps`
98.5%	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
98.5%	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 46 to 32 computations (30.4% saved)

regimes3.0ms (0.1%)

Counts

2 → 1

Calls

Call 1

Inputs
0
(neg.f64 eps)

Outputs
(neg.f64 eps)

Calls

1 calls:

3.0ms

eps

Results

Accuracy	Segments	Branch
18.7%	1	`eps`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
0

Outputs
0

Calls

1 calls:

2.0ms

eps

Results

Accuracy	Segments	Branch
5.3%	1	`eps`

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	57
1	24	57
2	29	57
3	32	57
4	33	57

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 26 to 20 computations (23.1% saved)

soundness693.0ms (12.7%)

Rules

3044×	`fma-def`
1534×	`prod-diff`
1338×	`distribute-lft-in`
1088×	`fma-def`
1036×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	20	19
2	30	19
3	44	19
4	74	19
5	106	19
6	163	19
7	296	19
8	602	19
9	1053	19
10	1462	19
11	2037	19
12	2865	19
13	4066	19
14	4900	19
15	4996	19
16	5028	19
17	5028	19
18	6533	19
19	7165	19
20	7243	19
21	7251	19
22	7259	19
23	7259	19
24	7459	19
0	13	62
1	279	54
2	3804	8
0	153	1426
1	381	1268
2	1329	1148
3	5821	1148

Stop Event

1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 187 to 140 computations (25.1% saved)

end0.0ms (0%)

preprocess55.0ms (1%)

Compiler: Compiled 94 to 70 computations (25.5% saved)

analyze3.0ms (0.1%)

sample3.4s (61.7%)

preprocess311.0ms (5.7%)

simplify255.0ms (4.7%)

eval1.0ms (0%)

prune2.0ms (0%)

localize131.0ms (2.4%)

series7.0ms (0.1%)

rewrite66.0ms (1.2%)

simplify57.0ms (1%)

eval36.0ms (0.7%)

prune21.0ms (0.4%)

localize56.0ms (1%)

series5.0ms (0.1%)

rewrite61.0ms (1.1%)

simplify61.0ms (1.1%)

eval24.0ms (0.4%)

prune15.0ms (0.3%)

localize35.0ms (0.6%)

series1.0ms (0%)

rewrite61.0ms (1.1%)

simplify52.0ms (1%)

eval10.0ms (0.2%)

prune9.0ms (0.2%)

localize0.0ms (0%)

eval0.0ms (0%)

prune6.0ms (0.1%)

regimes11.0ms (0.2%)

regimes21.0ms (0.4%)

regimes10.0ms (0.2%)

regimes3.0ms (0.1%)

regimes3.0ms (0.1%)

simplify8.0ms (0.1%)

soundness693.0ms (12.7%)

end0.0ms (0%)

preprocess55.0ms (1%)

Profiling