Metrics for logq (problem 3.4.3)

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

Results

1.8s	4086×	body	1024	valid
593.0ms	2083×	body	512	valid
522.0ms	442×	body	2048	valid
204.0ms	1645×	body	256	valid
1.0ms	9×	body	256	invalid

Bogosity

preprocess316.0ms (5.6%)

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	73
1	37	57
2	70	57
3	148	57
4	377	57
5	984	57
6	1861	57
7	2532	57
8	3523	57
9	4766	57
10	5322	57
11	5483	57
12	5658	57
13	6107	57
14	7004	57
15	7072	57
16	7104	57
17	7124	57
18	7216	57
19	7357	57
20	7477	57
21	7477	57

Stop Event

1×	node limit

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(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 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 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 32 to 24 computations (25% saved)

localize159.0ms (2.8%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 39 to 22 computations (43.6% saved)

series4.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite62.0ms (1.1%)

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	57
1	279	49
2	3805	3

Stop Event

1×	node limit

Counts

3 → 3

Calls

Call 1

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

Outputs
0
1
0

simplify63.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1560×	`fma-def`
1226×	`fma-neg`
1032×	`times-frac`
882×	`associate-*r/`
862×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	63	953
1	179	943
2	477	927
3	1372	917
4	4057	909

Stop Event

1×	node limit

Counts

39 → 66

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

eval31.0ms (0.6%)

Compiler: Compiled 811 to 655 computations (19.2% saved)

prune12.0ms (0.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	62	4	66
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	62	6	68

Accuracy

100.0%

Counts

68 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
▶	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
▶	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0

Compiler

Compiled 108 to 86 computations (20.4% saved)

localize183.0ms (3.2%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))
✓	99.9%	(*.f64 -2/7 (pow.f64 eps 7))
✓	99.9%	(*.f64 -2/5 (pow.f64 eps 5))
✓	99.8%	(*.f64 -2/3 (pow.f64 eps 3))
✓	99.8%	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 115 to 90 computations (21.7% saved)

series5.0ms (0.1%)

Counts

5 → 3

Calls

15 calls:

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

rewrite89.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1358×	`log-prod`
692×	`fma-def`
670×	`pow-prod-up`
664×	`pow-exp`
570×	`expm1-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	79
1	355	79
2	4052	79

Stop Event

1×	node limit

Counts

5 → 145

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.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 (sqrt.f64 -2/3) (pow.f64 eps 3/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 eps (cbrt.f64 -2/3))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.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 (sqrt.f64 -2/3) (pow.f64 eps 3/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 eps (cbrt.f64 -2/3))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/5 (pow.f64 eps 5)))) 1)
(pow.f64 (*.f64 -2/5 (pow.f64 eps 5)) 1)
(pow.f64 (cbrt.f64 (*.f64 -2/5 (pow.f64 eps 5))) 3)
(pow.f64 (*.f64 -8/125 (pow.f64 eps 15)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) 2)
(sqrt.f64 (*.f64 4/25 (pow.f64 eps 10)))
(log.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5)))))
(cbrt.f64 (*.f64 -8/125 (pow.f64 eps 15)))
(expm1.f64 (log1p.f64 (*.f64 -2/5 (pow.f64 eps 5))))
(exp.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)))
(exp.f64 (*.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 1))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 -8/125 (pow.f64 eps 15))) 1/3))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 0 (*.f64 -2/7 (pow.f64 eps 7)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/7 (pow.f64 eps 7)))) 1)
(pow.f64 (*.f64 -2/7 (pow.f64 eps 7)) 1)
(pow.f64 (cbrt.f64 (*.f64 -2/7 (pow.f64 eps 7))) 3)
(pow.f64 (*.f64 -8/343 (pow.f64 eps 21)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) 2)
(sqrt.f64 (*.f64 4/49 (pow.f64 eps 14)))
(log.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7)))))
(cbrt.f64 (*.f64 -8/343 (pow.f64 eps 21)))
(expm1.f64 (log1p.f64 (*.f64 -2/7 (pow.f64 eps 7))))
(exp.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)))
(exp.f64 (*.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 1))
(exp.f64 (.f64 (.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 -8/343 (pow.f64 eps 21))) 1/3))
(exp.f64 (.f64 (.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))) 1)
(-.f64 (/.f64 (.f64 4/25 (pow.f64 eps 10)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))) (/.f64 (.f64 4/49 (pow.f64 eps 14)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))))
(.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))) 1)
(.f64 1 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))
(.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) (pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) 2) (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(.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 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14))) (/.f64 1 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) (fma.f64 -8/343 (pow.f64 eps 21) (*.f64 -8/125 (pow.f64 eps 15)))))
(/.f64 1 (/.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7))) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (*.f64 4/49 (pow.f64 eps 14)))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 2/7 (pow.f64 eps 7))))
(/.f64 (neg.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15)))) (neg.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (neg.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14)))) (neg.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 2/7 (pow.f64 eps 7)))))
(/.f64 (-.f64 (.f64 4/49 (pow.f64 eps 14)) (.f64 4/25 (pow.f64 eps 10))) (-.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5))))
(pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 1)
(pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 3)
(pow.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 2)
(pow.f64 (/.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) (fma.f64 -8/343 (pow.f64 eps 21) (*.f64 -8/125 (pow.f64 eps 15)))) -1)
(pow.f64 (/.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7))) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (*.f64 4/49 (pow.f64 eps 14)))) -1)
(sqrt.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 2))
(log.f64 (exp.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))))
(log.f64 (.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)) (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5)))) (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5)))) (+.f64 1 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7))))))
(log.f64 (.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)) (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7)))) (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7)))) (+.f64 1 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5))))))
(cbrt.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 3))
(expm1.f64 (log1p.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(exp.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(exp.f64 (.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) 2))
(log1p.f64 (expm1.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)))
(fma.f64 (pow.f64 eps 5) -2/5 (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (pow.f64 eps 5)) 1 (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 -2/7 (pow.f64 eps 7) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (pow.f64 eps 7) -2/7 (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (.f64 -2/7 (pow.f64 eps 7)) 1 (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 1 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 1 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (pow.f64 eps 14)) (.f64 (cbrt.f64 (pow.f64 eps 7)) -2/7) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (pow.f64 eps 10)) (.f64 (cbrt.f64 (pow.f64 eps 5)) -2/5) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (pow.f64 eps 7/2) (.f64 (pow.f64 eps 7/2) -2/7) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (pow.f64 eps 5/2) (.f64 (pow.f64 eps 5/2) -2/5) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (cbrt.f64 (pow.f64 eps 10))) (cbrt.f64 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (pow.f64 eps 5/2)) (pow.f64 eps 5/2) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/7 (cbrt.f64 (pow.f64 eps 14))) (cbrt.f64 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (.f64 -2/7 (pow.f64 eps 7/2)) (pow.f64 eps 7/2) (.f64 -2/5 (pow.f64 eps 5)))

simplify75.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1828×	`fma-def`
916×	`distribute-lft-in`
900×	`distribute-rgt-in`
650×	`unswap-sqr`
472×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	316	3998
1	711	3830
2	2212	3710

Stop Event

1×	node limit

Counts

148 → 143

Calls

Call 1

Inputs
(*.f64 -2/5 (pow.f64 eps 5))
(*.f64 -2/7 (pow.f64 eps 7))
(*.f64 -2/7 (pow.f64 eps 7))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.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 (sqrt.f64 -2/3) (pow.f64 eps 3/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 eps (cbrt.f64 -2/3))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.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 (sqrt.f64 -2/3) (pow.f64 eps 3/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 eps (cbrt.f64 -2/3))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/5 (pow.f64 eps 5)))) 1)
(pow.f64 (*.f64 -2/5 (pow.f64 eps 5)) 1)
(pow.f64 (cbrt.f64 (*.f64 -2/5 (pow.f64 eps 5))) 3)
(pow.f64 (*.f64 -8/125 (pow.f64 eps 15)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) 2)
(sqrt.f64 (*.f64 4/25 (pow.f64 eps 10)))
(log.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5)))))
(cbrt.f64 (*.f64 -8/125 (pow.f64 eps 15)))
(expm1.f64 (log1p.f64 (*.f64 -2/5 (pow.f64 eps 5))))
(exp.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)))
(exp.f64 (*.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 1))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 -8/125 (pow.f64 eps 15))) 1/3))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 0 (*.f64 -2/7 (pow.f64 eps 7)))
(+.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)))))
(+.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)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/7 (pow.f64 eps 7)))) 1)
(pow.f64 (*.f64 -2/7 (pow.f64 eps 7)) 1)
(pow.f64 (cbrt.f64 (*.f64 -2/7 (pow.f64 eps 7))) 3)
(pow.f64 (*.f64 -8/343 (pow.f64 eps 21)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) 2)
(sqrt.f64 (*.f64 4/49 (pow.f64 eps 14)))
(log.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7)))))
(cbrt.f64 (*.f64 -8/343 (pow.f64 eps 21)))
(expm1.f64 (log1p.f64 (*.f64 -2/7 (pow.f64 eps 7))))
(exp.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)))
(exp.f64 (*.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 1))
(exp.f64 (.f64 (.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 -8/343 (pow.f64 eps 21))) 1/3))
(exp.f64 (.f64 (.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))) 1)
(-.f64 (/.f64 (.f64 4/25 (pow.f64 eps 10)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))) (/.f64 (.f64 4/49 (pow.f64 eps 14)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))))
(.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))) 1)
(.f64 1 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))
(.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) (pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) 2) (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(.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 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14))) (/.f64 1 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) (fma.f64 -8/343 (pow.f64 eps 21) (*.f64 -8/125 (pow.f64 eps 15)))))
(/.f64 1 (/.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7))) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (*.f64 4/49 (pow.f64 eps 14)))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 2/7 (pow.f64 eps 7))))
(/.f64 (neg.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15)))) (neg.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (neg.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14)))) (neg.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 2/7 (pow.f64 eps 7)))))
(/.f64 (-.f64 (.f64 4/49 (pow.f64 eps 14)) (.f64 4/25 (pow.f64 eps 10))) (-.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5))))
(pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 1)
(pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 3)
(pow.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 2)
(pow.f64 (/.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) (fma.f64 -8/343 (pow.f64 eps 21) (*.f64 -8/125 (pow.f64 eps 15)))) -1)
(pow.f64 (/.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7))) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (*.f64 4/49 (pow.f64 eps 14)))) -1)
(sqrt.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 2))
(log.f64 (exp.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))))
(log.f64 (.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)) (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5)))) (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5)))) (+.f64 1 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7))))))
(log.f64 (.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)) (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7)))) (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7)))) (+.f64 1 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5))))))
(cbrt.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 3))
(expm1.f64 (log1p.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(exp.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))
(exp.f64 (.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) 2))
(log1p.f64 (expm1.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)))
(fma.f64 (pow.f64 eps 5) -2/5 (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (pow.f64 eps 5)) 1 (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 -2/7 (pow.f64 eps 7) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (pow.f64 eps 7) -2/7 (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (.f64 -2/7 (pow.f64 eps 7)) 1 (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 1 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 1 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (pow.f64 eps 14)) (.f64 (cbrt.f64 (pow.f64 eps 7)) -2/7) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (pow.f64 eps 10)) (.f64 (cbrt.f64 (pow.f64 eps 5)) -2/5) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (pow.f64 eps 7/2) (.f64 (pow.f64 eps 7/2) -2/7) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (pow.f64 eps 5/2) (.f64 (pow.f64 eps 5/2) -2/5) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (cbrt.f64 (pow.f64 eps 10))) (cbrt.f64 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (pow.f64 eps 5/2)) (pow.f64 eps 5/2) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/7 (cbrt.f64 (pow.f64 eps 14))) (cbrt.f64 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (.f64 -2/7 (pow.f64 eps 7/2)) (pow.f64 eps 7/2) (.f64 -2/5 (pow.f64 eps 5)))

Outputs
(*.f64 -2/5 (pow.f64 eps 5))
(*.f64 -2/7 (pow.f64 eps 7))
(*.f64 -2/7 (pow.f64 eps 7))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(+.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)))))
(+.f64 (*.f64 2 (log.f64 (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)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(+.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)))))
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2)) 2)
(*.f64 -2/3 (pow.f64 eps 3))
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(*.f64 -2/3 (pow.f64 eps 3))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(*.f64 -2/3 (pow.f64 eps 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 eps (cbrt.f64 -2/3))) 3))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1/3))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2))) 2))
(*.f64 -2/3 (pow.f64 eps 3))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(+.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)))))
(+.f64 (*.f64 2 (log.f64 (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)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(+.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)))))
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2)) 2)
(*.f64 -2/3 (pow.f64 eps 3))
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(*.f64 -2/3 (pow.f64 eps 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(*.f64 -2/3 (pow.f64 eps 3))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(*.f64 -2/3 (pow.f64 eps 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 -2/3 (pow.f64 eps 3))) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))) 1) 1))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 eps (cbrt.f64 -2/3))) 3))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1/3))
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/3) (pow.f64 eps 3/2))) 2))
(*.f64 -2/3 (pow.f64 eps 3))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(*.f64 -2/5 (pow.f64 eps 5))
(+.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)))))
(+.f64 (*.f64 2 (log.f64 (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)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)))))
(+.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)))))
(*.f64 -2/5 (pow.f64 eps 5))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/5 (pow.f64 eps 5)))) 1)
(*.f64 -2/5 (pow.f64 eps 5))
(pow.f64 (*.f64 -2/5 (pow.f64 eps 5)) 1)
(*.f64 -2/5 (pow.f64 eps 5))
(pow.f64 (cbrt.f64 (*.f64 -2/5 (pow.f64 eps 5))) 3)
(*.f64 -2/5 (pow.f64 eps 5))
(pow.f64 (*.f64 -8/125 (pow.f64 eps 15)) 1/3)
(cbrt.f64 (*.f64 -8/125 (pow.f64 eps 15)))
(pow.f64 (*.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) 2)
(*.f64 -2/5 (pow.f64 eps 5))
(sqrt.f64 (*.f64 4/25 (pow.f64 eps 10)))
(log.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)))
(*.f64 -2/5 (pow.f64 eps 5))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5)))))
(*.f64 -2/5 (pow.f64 eps 5))
(cbrt.f64 (*.f64 -8/125 (pow.f64 eps 15)))
(expm1.f64 (log1p.f64 (*.f64 -2/5 (pow.f64 eps 5))))
(*.f64 -2/5 (pow.f64 eps 5))
(exp.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)))
(*.f64 -2/5 (pow.f64 eps 5))
(exp.f64 (*.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 1))
(*.f64 -2/5 (pow.f64 eps 5))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 1) 1))
(*.f64 -2/5 (pow.f64 eps 5))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5)))) 3))
(*.f64 -2/5 (pow.f64 eps 5))
(exp.f64 (.f64 (log.f64 (.f64 -8/125 (pow.f64 eps 15))) 1/3))
(cbrt.f64 (*.f64 -8/125 (pow.f64 eps 15)))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 eps) (log.f64 -2/5)) 3) 1/3))
(*.f64 -2/5 (pow.f64 eps 5))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2))) 2))
(*.f64 -2/5 (pow.f64 eps 5))
(log1p.f64 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5))))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 0 (*.f64 -2/7 (pow.f64 eps 7)))
(*.f64 -2/7 (pow.f64 eps 7))
(+.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)))))
(+.f64 (*.f64 2 (log.f64 (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)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)))))
(+.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)))))
(*.f64 -2/7 (pow.f64 eps 7))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/7 (pow.f64 eps 7)))) 1)
(*.f64 -2/7 (pow.f64 eps 7))
(pow.f64 (*.f64 -2/7 (pow.f64 eps 7)) 1)
(*.f64 -2/7 (pow.f64 eps 7))
(pow.f64 (cbrt.f64 (*.f64 -2/7 (pow.f64 eps 7))) 3)
(*.f64 -2/7 (pow.f64 eps 7))
(pow.f64 (*.f64 -8/343 (pow.f64 eps 21)) 1/3)
(cbrt.f64 (*.f64 -8/343 (pow.f64 eps 21)))
(pow.f64 (*.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) 2)
(*.f64 -2/7 (pow.f64 eps 7))
(sqrt.f64 (*.f64 4/49 (pow.f64 eps 14)))
(log.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)))
(*.f64 -2/7 (pow.f64 eps 7))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7)))))
(*.f64 -2/7 (pow.f64 eps 7))
(cbrt.f64 (*.f64 -8/343 (pow.f64 eps 21)))
(expm1.f64 (log1p.f64 (*.f64 -2/7 (pow.f64 eps 7))))
(*.f64 -2/7 (pow.f64 eps 7))
(exp.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)))
(*.f64 -2/7 (pow.f64 eps 7))
(exp.f64 (*.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 1))
(*.f64 -2/7 (pow.f64 eps 7))
(exp.f64 (.f64 (.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 1) 1))
(*.f64 -2/7 (pow.f64 eps 7))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7)))) 3))
(*.f64 -2/7 (pow.f64 eps 7))
(exp.f64 (.f64 (log.f64 (.f64 -8/343 (pow.f64 eps 21))) 1/3))
(cbrt.f64 (*.f64 -8/343 (pow.f64 eps 21)))
(exp.f64 (.f64 (.f64 (fma.f64 7 (log.f64 eps) (log.f64 -2/7)) 3) 1/3))
(*.f64 -2/7 (pow.f64 eps 7))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2))) 2))
(*.f64 -2/7 (pow.f64 eps 7))
(log1p.f64 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7))))
(*.f64 -2/7 (pow.f64 eps 7))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))) 1)
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(-.f64 (/.f64 (.f64 4/25 (pow.f64 eps 10)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))) (/.f64 (.f64 4/49 (pow.f64 eps 14)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))))
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))) 1)
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(.f64 1 (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 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) (pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 2))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) 2) (cbrt.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 (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)))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (+.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (fma.f64 4/25 (pow.f64 eps 10) (.f64 (.f64 (pow.f64 eps 5) 2/5) (.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/125 (pow.f64 eps 15) (.f64 -8/343 (pow.f64 eps 21))) (fma.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)) (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14)))))
(.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14))) (/.f64 1 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7)))))
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(/.f64 1 (/.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) (fma.f64 -8/343 (pow.f64 eps 21) (*.f64 -8/125 (pow.f64 eps 15)))))
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (+.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (fma.f64 4/25 (pow.f64 eps 10) (.f64 (.f64 (pow.f64 eps 5) 2/5) (.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/125 (pow.f64 eps 15) (.f64 -8/343 (pow.f64 eps 21))) (fma.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)) (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14)))))
(/.f64 1 (/.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7))) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (*.f64 4/49 (pow.f64 eps 14)))))
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))))
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (+.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (fma.f64 4/25 (pow.f64 eps 10) (.f64 (.f64 (pow.f64 eps 5) 2/5) (.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/125 (pow.f64 eps 15) (.f64 -8/343 (pow.f64 eps 21))) (fma.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)) (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14)))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))))
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (+.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (fma.f64 4/25 (pow.f64 eps 10) (.f64 (.f64 (pow.f64 eps 5) 2/5) (.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/125 (pow.f64 eps 15) (.f64 -8/343 (pow.f64 eps 21))) (fma.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)) (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14)))))
(/.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 2/7 (pow.f64 eps 7))))
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (neg.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15)))) (neg.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))))))
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (+.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (fma.f64 4/25 (pow.f64 eps 10) (.f64 (.f64 (pow.f64 eps 5) 2/5) (.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/125 (pow.f64 eps 15) (.f64 -8/343 (pow.f64 eps 21))) (fma.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)) (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14)))))
(/.f64 (neg.f64 (-.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 4/49 (pow.f64 eps 14)))) (neg.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 2/7 (pow.f64 eps 7)))))
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (-.f64 (.f64 4/49 (pow.f64 eps 14)) (.f64 4/25 (pow.f64 eps 10))) (-.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5))))
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 1)
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(pow.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 3)
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(pow.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 3) 1/3)
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(pow.f64 (sqrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 2)
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(pow.f64 (/.f64 (-.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) (fma.f64 -8/343 (pow.f64 eps 21) (*.f64 -8/125 (pow.f64 eps 15)))) -1)
(.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (/.f64 1 (+.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14))) (.f64 2/5 (.f64 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))))))
(/.f64 (fma.f64 -8/343 (pow.f64 eps 21) (.f64 -8/125 (pow.f64 eps 15))) (fma.f64 4/49 (pow.f64 eps 14) (fma.f64 4/25 (pow.f64 eps 10) (.f64 (.f64 (pow.f64 eps 5) 2/5) (.f64 -2/7 (pow.f64 eps 7))))))
(/.f64 (fma.f64 -8/125 (pow.f64 eps 15) (.f64 -8/343 (pow.f64 eps 21))) (fma.f64 -2/5 (.f64 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)) (fma.f64 4/25 (pow.f64 eps 10) (.f64 4/49 (pow.f64 eps 14)))))
(pow.f64 (/.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 2/7 (pow.f64 eps 7))) (-.f64 (.f64 4/25 (pow.f64 eps 10)) (*.f64 4/49 (pow.f64 eps 14)))) -1)
(/.f64 (+.f64 (.f64 4/25 (pow.f64 eps 10)) (.f64 -4/49 (pow.f64 eps 14))) (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 (pow.f64 eps 7) 2/7)))
(/.f64 (fma.f64 4/25 (pow.f64 eps 10) (.f64 (pow.f64 eps 14) -4/49)) (fma.f64 -2/5 (pow.f64 eps 5) (.f64 (pow.f64 eps 7) 2/7)))
(sqrt.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 2))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log.f64 (exp.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)))
(log.f64 (+.f64 1 (expm1.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)))
(log.f64 (.f64 (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5)) (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7))))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5)))) (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5)))) (+.f64 1 (expm1.f64 (*.f64 -2/7 (pow.f64 eps 7))))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log.f64 (.f64 (pow.f64 (exp.f64 -2/7) (pow.f64 eps 7)) (+.f64 1 (expm1.f64 (.f64 -2/5 (pow.f64 eps 5))))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7)))) (pow.f64 (exp.f64 -2/5) (pow.f64 eps 5))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -2/7 (pow.f64 eps 7)))) (+.f64 1 (expm1.f64 (*.f64 -2/5 (pow.f64 eps 5))))))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(cbrt.f64 (pow.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))) 3))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(expm1.f64 (log1p.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)))
(exp.f64 (log.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)))
(exp.f64 (.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7)))) 1))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))) 1) 1))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) 3))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7))))) 1/3))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (pow.f64 eps 7))))) 2))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(log1p.f64 (expm1.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)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (pow.f64 eps 5) -2/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 (.f64 -2/5 (pow.f64 eps 5)) 1 (.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)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (pow.f64 eps 7) -2/7 (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/7 (pow.f64 eps 7)) 1 (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 1 (.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 1 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (.f64 -2/7 (pow.f64 eps 7))) (cbrt.f64 (.f64 4/49 (pow.f64 eps 14))) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (pow.f64 eps 14)) (.f64 (cbrt.f64 (pow.f64 eps 7)) -2/7) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (pow.f64 eps 14)) (.f64 -2/7 (cbrt.f64 (pow.f64 eps 7))) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (.f64 (cbrt.f64 (pow.f64 eps 14)) (cbrt.f64 (pow.f64 eps 7)))))
(fma.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (.f64 -2/5 (pow.f64 eps 5))) (cbrt.f64 (.f64 4/25 (pow.f64 eps 10))) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (pow.f64 eps 10)) (.f64 (cbrt.f64 (pow.f64 eps 5)) -2/5) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (pow.f64 eps 10)) (.f64 -2/5 (cbrt.f64 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 -2/5 (.f64 (cbrt.f64 (pow.f64 eps 10)) (cbrt.f64 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) (.f64 (sqrt.f64 -2/7) (pow.f64 eps 7/2)) (*.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) (.f64 (sqrt.f64 -2/5) (pow.f64 eps 5/2)) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (pow.f64 eps 7/2) (.f64 (pow.f64 eps 7/2) -2/7) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (pow.f64 eps 5/2) (.f64 (pow.f64 eps 5/2) -2/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 (.f64 -2/5 (cbrt.f64 (pow.f64 eps 10))) (cbrt.f64 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (cbrt.f64 (pow.f64 eps 10)) (.f64 -2/5 (cbrt.f64 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 -2/5 (.f64 (cbrt.f64 (pow.f64 eps 10)) (cbrt.f64 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/5 (pow.f64 eps 5/2)) (pow.f64 eps 5/2) (.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))
(fma.f64 (.f64 -2/7 (cbrt.f64 (pow.f64 eps 14))) (cbrt.f64 (pow.f64 eps 7)) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 (cbrt.f64 (pow.f64 eps 14)) (.f64 -2/7 (cbrt.f64 (pow.f64 eps 7))) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (.f64 -2/7 (.f64 (cbrt.f64 (pow.f64 eps 14)) (cbrt.f64 (pow.f64 eps 7)))))
(fma.f64 (.f64 -2/7 (pow.f64 eps 7/2)) (pow.f64 eps 7/2) (.f64 -2/5 (pow.f64 eps 5)))
(fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/7 (pow.f64 eps 7)))

eval96.0ms (1.7%)

Compiler: Compiled 4172 to 3453 computations (17.2% saved)

prune327.0ms (5.8%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	1	1
Picked	0	3	3
Done	0	2	2
Total	166	6	172

Accuracy

100.0%

Counts

172 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
✓	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
✓	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0

Compiler

Compiled 108 to 86 computations (20.4% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune5.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	5	5
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
✓	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
✓	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0

Compiler

Compiled 108 to 86 computations (20.4% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune4.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	5	5
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓	99.8%	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/7 (pow.f64 eps 7)))))
✓	99.5%	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	98.9%	(*.f64 -2 eps)
✓	8.5%	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
	5.4%	0

Compiler

Compiled 103 to 81 computations (21.4% saved)

regimes158.0ms (2.8%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

151.0ms	eps
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
2.0ms	(log.f64 (/.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 68 to 52 computations (23.5% saved)

regimes9.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 41 to 31 computations (24.4% saved)

regimes8.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(*.f64 -2 eps)

Calls

3 calls:

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

Results

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

Compiler

Compiled 32 to 24 computations (25% saved)

regimes26.0ms (0.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
0

Outputs
0

Calls

1 calls:

25.0ms

eps

Results

Accuracy	Segments	Branch
5.4%	1	`eps`

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.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	52
1	24	52
2	29	52
3	32	52
4	33	52

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

Compiler

Compiled 23 to 18 computations (21.7% saved)

soundness768.0ms (13.6%)

Rules

8722×	`fma-def`
1534×	`prod-diff`
1220×	`unsub-neg`
1030×	`fma-neg`
920×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 181 to 136 computations (24.9% saved)

end0.0ms (0%)

preprocess89.0ms (1.6%)

Compiler: Compiled 90 to 70 computations (22.2% saved)

analyze4.0ms (0.1%)

sample3.1s (55.6%)

preprocess316.0ms (5.6%)

eval0.0ms (0%)

prune2.0ms (0%)

localize159.0ms (2.8%)

series4.0ms (0.1%)

rewrite62.0ms (1.1%)

simplify63.0ms (1.1%)

eval31.0ms (0.6%)

prune12.0ms (0.2%)

localize183.0ms (3.2%)

series5.0ms (0.1%)

rewrite89.0ms (1.6%)

simplify75.0ms (1.3%)

eval96.0ms (1.7%)

prune327.0ms (5.8%)

localize0.0ms (0%)

eval0.0ms (0%)

prune5.0ms (0.1%)

localize0.0ms (0%)

eval0.0ms (0%)

prune4.0ms (0.1%)

regimes158.0ms (2.8%)

regimes9.0ms (0.2%)

regimes8.0ms (0.1%)

regimes26.0ms (0.5%)

simplify6.0ms (0.1%)

soundness768.0ms (13.6%)

end0.0ms (0%)

preprocess89.0ms (1.6%)

Profiling