Metrics for logq (problem 3.4.3)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze3.0ms (0.1%)

Memory

3.8MiB live, 3.8MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
0%	0%	50%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
75%	37.5%	12.5%	50%	0%	0%	0%	4
87.5%	43.7%	6.2%	50%	0%	0%	0%	5
93.8%	46.8%	3.1%	50%	0%	0%	0%	6
96.9%	48.4%	1.6%	50%	0%	0%	0%	7
98.4%	49.2%	0.8%	50%	0%	0%	0%	8
99.2%	49.6%	0.4%	50%	0%	0%	0%	9
99.6%	49.8%	0.2%	50%	0%	0%	0%	10
99.8%	49.9%	0.1%	50%	0%	0%	0%	11
99.9%	49.9%	0%	50%	0%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.5s (71%)

Memory

44.1MiB live, 2 839.7MiB allocated; 470ms collecting garbage

Samples

1.3s	3 434×	2	valid
777.0ms	4 693×	1	valid
6.0ms	129×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 1.8s

ival-log: 1.2s (64.6% of total)

adjust: 358.0ms (19.6% of total)

ival-div!: 164.0ms (9% of total)

ival-sub!: 72.0ms (3.9% of total)

ival-add!: 52.0ms (2.8% of total)

ival-assert: 0.0ms (0% of total)

ival-fabs: 0.0ms (0% of total)

ival-<: 0.0ms (0% of total)

Bogosity

preprocess56.0ms (1.6%)

Memory

-17.6MiB live, 27.3MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	22	29
2	27	29
3	51	25
4	140	25
5	735	25
6	5314	25

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	8.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Compiler

Compiled 14 to 12 computations (14.3% saved)

series4.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated; 0ms collecting garbage

Counts

6 → 29

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
eps
(+.f64 #s(literal 1 binary64) eps)

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 1))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (+ 1 (* -2 eps))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (+ 1 (* eps (- (* 2 eps) 2)))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (+ 1 (* eps (- (* eps (+ 2 (* -2 eps))) 2)))))
#s(approx (- 1 eps) #s(hole binary64 1))
#s(approx (- 1 eps) #s(hole binary64 (+ 1 (* -1 eps))))
#s(approx eps #s(hole binary64 eps))
#s(approx (+ 1 eps) #s(hole binary64 1))
#s(approx (+ 1 eps) #s(hole binary64 (+ 1 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 -1))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* 2 (/ 1 eps)) 1)))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* 2 (/ 1 eps)) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (+ (* 2 (/ 1 eps)) (* 2 (/ 1 (pow eps 3)))) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (- 1 eps) #s(hole binary64 (* -1 eps)))
#s(approx (- 1 eps) #s(hole binary64 (* eps (- (/ 1 eps) 1))))
#s(approx (+ 1 eps) #s(hole binary64 eps))
#s(approx (+ 1 eps) #s(hole binary64 (* eps (+ 1 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 1)))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* -1 (/ (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 2) eps)) 1)))
#s(approx (- 1 eps) #s(hole binary64 (* -1 (* eps (- 1 (/ 1 eps))))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	-inf	((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) 1 eps (+ 1 eps))
1.0ms	eps	@	0	((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) 1 eps (+ 1 eps))
1.0ms	eps	@	inf	((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) 1 eps (+ 1 eps))

Time

Variable

Point

Expression

1.0ms

eps

-inf

((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) 1 eps (+ 1 eps))

1.0ms

eps

((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) 1 eps (+ 1 eps))

1.0ms

eps

inf

((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) 1 eps (+ 1 eps))

rewrite197.0ms (5.6%)

Memory

-2.5MiB live, 100.1MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	482
0	128	447
1	680	443
0	6556	405

Stop Event

1×	iter-limit
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

35 → 95

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
eps
(+.f64 #s(literal 1 binary64) eps)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 1))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (+ 1 (* -2 eps))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (+ 1 (* eps (- (* 2 eps) 2)))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (+ 1 (* eps (- (* eps (+ 2 (* -2 eps))) 2)))))
#s(approx (- 1 eps) #s(hole binary64 1))
#s(approx (- 1 eps) #s(hole binary64 (+ 1 (* -1 eps))))
#s(approx eps #s(hole binary64 eps))
#s(approx (+ 1 eps) #s(hole binary64 1))
#s(approx (+ 1 eps) #s(hole binary64 (+ 1 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 -1))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* 2 (/ 1 eps)) 1)))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* 2 (/ 1 eps)) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (+ (* 2 (/ 1 eps)) (* 2 (/ 1 (pow eps 3)))) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (- 1 eps) #s(hole binary64 (* -1 eps)))
#s(approx (- 1 eps) #s(hole binary64 (* eps (- (/ 1 eps) 1))))
#s(approx (+ 1 eps) #s(hole binary64 eps))
#s(approx (+ 1 eps) #s(hole binary64 (* eps (+ 1 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 1)))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(hole binary64 (- (* -1 (/ (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 2) eps)) 1)))
#s(approx (- 1 eps) #s(hole binary64 (* -1 (* eps (- 1 (/ 1 eps))))))

Outputs
(/.f64 (-.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))))) (+.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64)))))
(/.f64 (-.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64))) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64)))))))
(-.f64 (log.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps))) (log.f64 (neg.f64 (-.f64 eps #s(literal -1 binary64)))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 #s(literal 1 binary64) (.f64 eps eps))) (-.f64 #s(literal 1 binary64) eps))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (fma.f64 (.f64 eps eps) eps #s(literal 1 binary64))) (fma.f64 eps (-.f64 eps #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64)))) (.f64 (/.f64 eps (-.f64 eps #s(literal -1 binary64))) (/.f64 eps (-.f64 eps #s(literal -1 binary64))))) (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 eps (-.f64 eps #s(literal -1 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 eps (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (fma.f64 (/.f64 eps (-.f64 eps #s(literal -1 binary64))) (/.f64 eps (-.f64 eps #s(literal -1 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 eps (-.f64 eps #s(literal -1 binary64)))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps))) (neg.f64 (neg.f64 (-.f64 eps #s(literal -1 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (.f64 (-.f64 eps #s(literal -1 binary64)) eps)) (*.f64 (-.f64 eps #s(literal -1 binary64)) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 eps eps)) (.f64 (-.f64 eps #s(literal -1 binary64)) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps)) (*.f64 (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64)) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps)) (neg.f64 (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64)))
(neg.f64 (/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps)) (-.f64 eps #s(literal -1 binary64))))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (neg.f64 (-.f64 eps #s(literal -1 binary64)))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 eps (-.f64 eps #s(literal -1 binary64))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 eps eps)) (fma.f64 (*.f64 eps eps) eps #s(literal 1 binary64))) (fma.f64 eps (-.f64 eps #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 #s(literal 1 binary64) (*.f64 eps eps))) (-.f64 #s(literal 1 binary64) eps))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) eps))
(/.f64 (-.f64 (*.f64 eps eps) #s(literal 1 binary64)) (-.f64 (neg.f64 eps) #s(literal 1 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps))) (neg.f64 (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps))) (neg.f64 (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps)) (-.f64 eps #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps)) (fma.f64 eps eps (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps)) (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64)))
(neg.f64 (+.f64 eps #s(literal -1 binary64)))
(neg.f64 (+.f64 #s(literal -1 binary64) eps))
(fma.f64 (neg.f64 eps) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) eps #s(literal 1 binary64))
(fma.f64 eps #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (neg.f64 eps) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 eps eps) eps) (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 (*.f64 eps eps) (-.f64 eps #s(literal -1 binary64))))
(-.f64 (neg.f64 eps) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 eps) #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) eps)
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64))))
(+.f64 (neg.f64 eps) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (neg.f64 eps))
#s(literal 1 binary64)
eps
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 #s(literal 1 binary64) (*.f64 eps eps))) (-.f64 eps #s(literal -1 binary64)))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps))) (fma.f64 eps (-.f64 eps #s(literal -1 binary64)) #s(literal 1 binary64)))
(*.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal -1 binary64)) eps)
(*.f64 eps (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal -1 binary64)))
(/.f64 (.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 (*.f64 eps eps) eps)) #s(literal 1 binary64)) eps) (fma.f64 (/.f64 #s(literal 1 binary64) eps) (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) eps) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)))
(/.f64 (.f64 eps (+.f64 (/.f64 #s(literal 1 binary64) (.f64 (*.f64 eps eps) eps)) #s(literal 1 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) eps) (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 eps (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)))
(/.f64 (-.f64 (*.f64 eps eps) #s(literal 1 binary64)) (-.f64 eps #s(literal 1 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps))) (neg.f64 (-.f64 #s(literal 1 binary64) eps)))
(/.f64 (neg.f64 (fma.f64 (*.f64 eps eps) eps #s(literal 1 binary64))) (neg.f64 (fma.f64 eps (-.f64 eps #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps)) (-.f64 #s(literal 1 binary64) eps))
(/.f64 (fma.f64 (*.f64 eps eps) eps #s(literal 1 binary64)) (fma.f64 eps eps (-.f64 #s(literal 1 binary64) eps)))
(/.f64 (fma.f64 (*.f64 eps eps) eps #s(literal 1 binary64)) (fma.f64 eps (-.f64 eps #s(literal 1 binary64)) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) eps)) (/.f64 (*.f64 eps eps) (-.f64 #s(literal 1 binary64) eps)))
(-.f64 eps (*.f64 (neg.f64 eps) (/.f64 #s(literal 1 binary64) eps)))
(-.f64 eps (*.f64 (neg.f64 (/.f64 #s(literal 1 binary64) eps)) eps))
(-.f64 eps #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (neg.f64 eps))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 eps (-.f64 eps #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (.f64 (.f64 eps eps) eps) (fma.f64 eps (-.f64 eps #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 eps #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 eps) #s(literal -1 binary64)))
(+.f64 #s(literal 1 binary64) eps)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (*.f64 eps eps) #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(literal 1 binary64))
#s(approx (/ (- 1 eps) (+ 1 eps)) (fma.f64 #s(literal -2 binary64) eps #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (+ 1 eps)) (fma.f64 (fma.f64 #s(literal 2 binary64) eps #s(literal -2 binary64)) eps #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (+ 1 eps)) (fma.f64 (fma.f64 (fma.f64 #s(literal -2 binary64) eps #s(literal 2 binary64)) eps #s(literal -2 binary64)) eps #s(literal 1 binary64)))
#s(approx (- 1 eps) #s(literal 1 binary64))
#s(approx (- 1 eps) (-.f64 #s(literal 1 binary64) eps))
#s(approx eps eps)
#s(approx (+ 1 eps) #s(literal 1 binary64))
#s(approx (+ 1 eps) (-.f64 eps #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (/ (- 1 eps) (+ 1 eps)) #s(literal -1 binary64))
#s(approx (/ (- 1 eps) (+ 1 eps)) (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (+ 1 eps)) (-.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 1 binary64)) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
#s(approx (/ (- 1 eps) (+ 1 eps)) (-.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 eps eps) eps)) (/.f64 #s(literal -2 binary64) eps)) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -1 binary64))))
#s(approx (- 1 eps) (neg.f64 eps))
#s(approx (- 1 eps) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) eps))
#s(approx (+ 1 eps) eps)
#s(approx (+ 1 eps) (-.f64 eps #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (/ (- 1 eps) (+ 1 eps)) (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 2 binary64)) (neg.f64 eps)) #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (+ 1 eps)) (-.f64 (/.f64 (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 2 binary64)) (neg.f64 eps)) #s(literal 2 binary64)) (neg.f64 eps)) #s(literal 1 binary64)))
#s(approx (- 1 eps) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (neg.f64 eps)))

eval9.0ms (0.2%)

Memory: 7.9MiB live, 7.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 700 to 369 computations (47.3% saved)

prune5.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB allocated; 0ms collecting garbage

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	84	5	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	5	90

Accuracy

100.0%

Counts

90 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	8.4%	(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
▶	8.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
▶	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
▶	99.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
▶	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))

Compiler

Compiled 108 to 106 computations (1.9% saved)

series12.0ms (0.3%)

Memory

12.3MiB live, 12.3MiB allocated; 0ms collecting garbage

Counts

26 → 119

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps)
(fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64))
(.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps)
(fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64))
(fma.f64 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 binary64))
#s(literal -2/7 binary64)
(*.f64 eps eps)
eps
#s(literal -2/5 binary64)
#s(literal -2/3 binary64)
#s(literal -2 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
(*.f64 #s(literal -2 binary64) eps)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
(-.f64 eps #s(literal -1 binary64))
#s(literal -1 binary64)
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
(log.f64 (-.f64 #s(literal 1 binary64) eps))
(log.f64 (-.f64 eps #s(literal -1 binary64)))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 -2))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (- (* -2/3 (pow eps 2)) 2)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -2/3 eps)))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* eps (- (* -2/5 (pow eps 2)) 2/3))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 -2/3))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (- (* -2/5 (pow eps 2)) 2/3)))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 -2/5))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 (- (* -2/7 (pow eps 2)) 2/5)))
#s(approx (* eps eps) #s(hole binary64 (pow eps 2)))
#s(approx eps #s(hole binary64 eps))
#s(approx (* -2 eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 -2))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 (- (* -2/3 (pow eps 2)) 2)))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 1))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (+ 1 (* -2 eps))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (+ 1 (* eps (- (* 2 eps) 2)))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (+ 1 (* eps (- (* eps (+ 2 (* -2 eps))) 2)))))
#s(approx (- 1 eps) #s(hole binary64 1))
#s(approx (- 1 eps) #s(hole binary64 (+ 1 (* -1 eps))))
#s(approx (- eps -1) #s(hole binary64 1))
#s(approx (- eps -1) #s(hole binary64 (+ 1 eps)))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* -2 eps)))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* -1 eps)))
#s(approx (log (- 1 eps)) #s(hole binary64 (* eps (- (* -1/2 eps) 1))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* eps (- (* eps (- (* -1/3 eps) 1/2)) 1))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* eps (- (* eps (- (* eps (- (* -1/4 eps) 1/3)) 1/2)) 1))))
#s(approx (log (- eps -1)) #s(hole binary64 eps))
#s(approx (log (- eps -1)) #s(hole binary64 (* eps (+ 1 (* -1/2 eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (* eps (+ 1 (* eps (- (* 1/3 eps) 1/2))))))
#s(approx (log (- eps -1)) #s(hole binary64 (* eps (+ 1 (* eps (- (* eps (+ 1/3 (* -1/4 eps))) 1/2))))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -2/7 (pow eps 7))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -1 (* (pow eps 7) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* (pow eps 7) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* (pow eps 7) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* -2/7 (pow eps 6))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* -1 (* (pow eps 6) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* (pow eps 6) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* (pow eps 6) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -2/7 (pow eps 5))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -1 (* (pow eps 5) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* (pow eps 5) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (* -2/7 (pow eps 4))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (* -1 (* (pow eps 4) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 (* -2/7 (pow eps 2))))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 (* -2/3 (pow eps 2))))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 -1))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* 2 (/ 1 eps)) 1)))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* 2 (/ 1 eps)) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (+ (* 2 (/ 1 eps)) (* 2 (/ 1 (pow eps 3)))) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (- 1 eps) #s(hole binary64 (* -1 eps)))
#s(approx (- 1 eps) #s(hole binary64 (* eps (- (/ 1 eps) 1))))
#s(approx (- eps -1) #s(hole binary64 eps))
#s(approx (- eps -1) #s(hole binary64 (* eps (+ 1 (/ 1 eps)))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (log -1)))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (log -1) (* -1 (log (/ 1 eps))))))
#s(approx (log (- 1 eps)) #s(hole binary64 (- (+ (log -1) (* -1 (log (/ 1 eps)))) (/ 1 eps))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ 1 eps))) (* -1 (/ (+ 1 (* 1/2 (/ 1 eps))) eps))))))
#s(approx (log (- 1 eps)) #s(hole binary64 (- (+ (log -1) (+ (* -1 (log (/ 1 eps))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 eps))) (pow eps 2))))) (/ 1 eps))))
#s(approx (log (- eps -1)) #s(hole binary64 (* -1 (log (/ 1 eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (* -1 (log (/ 1 eps))) (/ 1 eps))))
#s(approx (log (- eps -1)) #s(hole binary64 (- (+ (* -1 (log (/ 1 eps))) (/ 1 eps)) (/ 1/2 (pow eps 2)))))
#s(approx (log (- eps -1)) #s(hole binary64 (- (+ (* -1 (log (/ 1 eps))) (+ (/ 1 eps) (* 1/3 (/ 1 (pow eps 3))))) (/ 1/2 (pow eps 2)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (* 2/5 (/ 1 (pow eps 2)))))))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (+ (* 2/5 (/ 1 (pow eps 2))) (* 2 (/ 1 (pow eps 6))))))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -1 (* (pow eps 5) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (* 2/5 (/ 1 (pow eps 2)))))))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 1)))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* -1 (/ (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 2) eps)) 1)))
#s(approx (- 1 eps) #s(hole binary64 (* -1 (* eps (- 1 (/ 1 eps))))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* -1 (log -1))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* -1 (+ (log -1) (* 2 (/ 1 eps))))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)) (log -1))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)) (log -1))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* -1 (log (/ -1 eps)))))
#s(approx (log (- 1 eps)) #s(hole binary64 (- (* -1 (log (/ -1 eps))) (/ 1 eps))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (* -1 (log (/ -1 eps))) (* -1 (/ (+ 1 (* 1/2 (/ 1 eps))) eps)))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (* -1 (log (/ -1 eps))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow eps 2)) (* 1/2 (/ 1 eps)))) eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (* -1 (log (/ -1 eps))))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ -1 eps))) (/ 1 eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ -1 eps))) (* -1 (/ (- (* 1/2 (/ 1 eps)) 1) eps))))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ -1 eps))) (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ 1 eps)) 1/2) eps)) 1) eps))))))

Calls

3 calls:

Time	Variable		Point	Expression
4.0ms	eps	@	0	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5) -2/7 (* eps eps) eps -2/5 -2/3 -2 (log (/ (- 1 eps) (+ 1 eps))) (* -2 eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (log (/ (- 1 eps) (- eps -1))) (/ (- 1 eps) (- eps -1)) (- 1 eps) 1 (- eps -1) -1 (- (log (- 1 eps)) (log (- eps -1))) (log (- 1 eps)) (log (- eps -1)))
3.0ms	eps	@	inf	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5) -2/7 (* eps eps) eps -2/5 -2/3 -2 (log (/ (- 1 eps) (+ 1 eps))) (* -2 eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (log (/ (- 1 eps) (- eps -1))) (/ (- 1 eps) (- eps -1)) (- 1 eps) 1 (- eps -1) -1 (- (log (- 1 eps)) (log (- eps -1))) (log (- 1 eps)) (log (- eps -1)))
3.0ms	eps	@	-inf	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5) -2/7 (* eps eps) eps -2/5 -2/3 -2 (log (/ (- 1 eps) (+ 1 eps))) (* -2 eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (log (/ (- 1 eps) (- eps -1))) (/ (- 1 eps) (- eps -1)) (- 1 eps) 1 (- eps -1) -1 (- (log (- 1 eps)) (log (- eps -1))) (log (- 1 eps)) (log (- eps -1)))

Time

Variable

Point

Expression

4.0ms

eps

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5) -2/7 (* eps eps) eps -2/5 -2/3 -2 (log (/ (- 1 eps) (+ 1 eps))) (* -2 eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (log (/ (- 1 eps) (- eps -1))) (/ (- 1 eps) (- eps -1)) (- 1 eps) 1 (- eps -1) -1 (- (log (- 1 eps)) (log (- eps -1))) (log (- 1 eps)) (log (- eps -1)))

3.0ms

eps

inf

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5) -2/7 (* eps eps) eps -2/5 -2/3 -2 (log (/ (- 1 eps) (+ 1 eps))) (* -2 eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (log (/ (- 1 eps) (- eps -1))) (/ (- 1 eps) (- eps -1)) (- 1 eps) 1 (- eps -1) -1 (- (log (- 1 eps)) (log (- eps -1))) (log (- 1 eps)) (log (- eps -1)))

3.0ms

eps

-inf

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5) -2/7 (* eps eps) eps -2/5 -2/3 -2 (log (/ (- 1 eps) (+ 1 eps))) (* -2 eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (log (/ (- 1 eps) (- eps -1))) (/ (- 1 eps) (- eps -1)) (- 1 eps) 1 (- eps -1) -1 (- (log (- 1 eps)) (log (- eps -1))) (log (- 1 eps)) (log (- eps -1)))

rewrite165.0ms (4.7%)

Memory

1.5MiB live, 142.4MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	396	2678
0	422	2500
1	2000	2474
0	8624	2419

Stop Event

1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

145 → 242

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps)
(fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64))
(.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps)
(fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64))
(fma.f64 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 binary64))
#s(literal -2/7 binary64)
(*.f64 eps eps)
eps
#s(literal -2/5 binary64)
#s(literal -2/3 binary64)
#s(literal -2 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
(*.f64 #s(literal -2 binary64) eps)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
(-.f64 eps #s(literal -1 binary64))
#s(literal -1 binary64)
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
(log.f64 (-.f64 #s(literal 1 binary64) eps))
(log.f64 (-.f64 eps #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 -2))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (- (* -2/3 (pow eps 2)) 2)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -2/3 eps)))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* eps (- (* -2/5 (pow eps 2)) 2/3))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 -2/3))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (- (* -2/5 (pow eps 2)) 2/3)))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 -2/5))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 (- (* -2/7 (pow eps 2)) 2/5)))
#s(approx (* eps eps) #s(hole binary64 (pow eps 2)))
#s(approx eps #s(hole binary64 eps))
#s(approx (* -2 eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 -2))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 (- (* -2/3 (pow eps 2)) 2)))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 1))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (+ 1 (* -2 eps))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (+ 1 (* eps (- (* 2 eps) 2)))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (+ 1 (* eps (- (* eps (+ 2 (* -2 eps))) 2)))))
#s(approx (- 1 eps) #s(hole binary64 1))
#s(approx (- 1 eps) #s(hole binary64 (+ 1 (* -1 eps))))
#s(approx (- eps -1) #s(hole binary64 1))
#s(approx (- eps -1) #s(hole binary64 (+ 1 eps)))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* -2 eps)))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* -1 eps)))
#s(approx (log (- 1 eps)) #s(hole binary64 (* eps (- (* -1/2 eps) 1))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* eps (- (* eps (- (* -1/3 eps) 1/2)) 1))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* eps (- (* eps (- (* eps (- (* -1/4 eps) 1/3)) 1/2)) 1))))
#s(approx (log (- eps -1)) #s(hole binary64 eps))
#s(approx (log (- eps -1)) #s(hole binary64 (* eps (+ 1 (* -1/2 eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (* eps (+ 1 (* eps (- (* 1/3 eps) 1/2))))))
#s(approx (log (- eps -1)) #s(hole binary64 (* eps (+ 1 (* eps (- (* eps (+ 1/3 (* -1/4 eps))) 1/2))))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -2/7 (pow eps 7))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -1 (* (pow eps 7) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* (pow eps 7) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* (pow eps 7) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* -2/7 (pow eps 6))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* -1 (* (pow eps 6) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* (pow eps 6) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(hole binary64 (* (pow eps 6) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -2/7 (pow eps 5))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -1 (* (pow eps 5) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* (pow eps 5) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (* -2/7 (pow eps 4))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (* -1 (* (pow eps 4) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(hole binary64 (* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 (* -2/7 (pow eps 2))))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(hole binary64 (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 (* -2/3 (pow eps 2))))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(hole binary64 (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 -1))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* 2 (/ 1 eps)) 1)))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* 2 (/ 1 eps)) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (+ (* 2 (/ 1 eps)) (* 2 (/ 1 (pow eps 3)))) (+ 1 (/ 2 (pow eps 2))))))
#s(approx (- 1 eps) #s(hole binary64 (* -1 eps)))
#s(approx (- 1 eps) #s(hole binary64 (* eps (- (/ 1 eps) 1))))
#s(approx (- eps -1) #s(hole binary64 eps))
#s(approx (- eps -1) #s(hole binary64 (* eps (+ 1 (/ 1 eps)))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (log -1)))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (log -1) (* -1 (log (/ 1 eps))))))
#s(approx (log (- 1 eps)) #s(hole binary64 (- (+ (log -1) (* -1 (log (/ 1 eps)))) (/ 1 eps))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ 1 eps))) (* -1 (/ (+ 1 (* 1/2 (/ 1 eps))) eps))))))
#s(approx (log (- 1 eps)) #s(hole binary64 (- (+ (log -1) (+ (* -1 (log (/ 1 eps))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 eps))) (pow eps 2))))) (/ 1 eps))))
#s(approx (log (- eps -1)) #s(hole binary64 (* -1 (log (/ 1 eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (* -1 (log (/ 1 eps))) (/ 1 eps))))
#s(approx (log (- eps -1)) #s(hole binary64 (- (+ (* -1 (log (/ 1 eps))) (/ 1 eps)) (/ 1/2 (pow eps 2)))))
#s(approx (log (- eps -1)) #s(hole binary64 (- (+ (* -1 (log (/ 1 eps))) (+ (/ 1 eps) (* 1/3 (/ 1 (pow eps 3))))) (/ 1/2 (pow eps 2)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (* 2/5 (/ 1 (pow eps 2)))))))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) #s(hole binary64 (* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (+ (* 2/5 (/ 1 (pow eps 2))) (* 2 (/ 1 (pow eps 6))))))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) #s(hole binary64 (* -1 (* (pow eps 5) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (* 2/5 (/ 1 (pow eps 2)))))))))
#s(approx (log (/ (- 1 eps) (- eps -1))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 1)))
#s(approx (/ (- 1 eps) (- eps -1)) #s(hole binary64 (- (* -1 (/ (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 2) eps)) 1)))
#s(approx (- 1 eps) #s(hole binary64 (* -1 (* eps (- 1 (/ 1 eps))))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* -1 (log -1))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (* -1 (+ (log -1) (* 2 (/ 1 eps))))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)) (log -1))))
#s(approx (- (log (- 1 eps)) (log (- eps -1))) #s(hole binary64 (- (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)) (log -1))))
#s(approx (log (- 1 eps)) #s(hole binary64 (* -1 (log (/ -1 eps)))))
#s(approx (log (- 1 eps)) #s(hole binary64 (- (* -1 (log (/ -1 eps))) (/ 1 eps))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (* -1 (log (/ -1 eps))) (* -1 (/ (+ 1 (* 1/2 (/ 1 eps))) eps)))))
#s(approx (log (- 1 eps)) #s(hole binary64 (+ (* -1 (log (/ -1 eps))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow eps 2)) (* 1/2 (/ 1 eps)))) eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (* -1 (log (/ -1 eps))))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ -1 eps))) (/ 1 eps)))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ -1 eps))) (* -1 (/ (- (* 1/2 (/ 1 eps)) 1) eps))))))
#s(approx (log (- eps -1)) #s(hole binary64 (+ (log -1) (+ (* -1 (log (/ -1 eps))) (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ 1 eps)) 1/2) eps)) 1) eps))))))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps)
(.f64 eps (fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)))
(/.f64 (+.f64 #s(literal -8 binary64) (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) (.f64 #s(literal -2 binary64) (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) #s(literal 4 binary64))) (neg.f64 (-.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 3 binary64)) #s(literal -8 binary64))) (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) #s(literal 4 binary64)) (-.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 3 binary64)) #s(literal -8 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64)))))
(fma.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64))
(fma.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) (*.f64 eps eps) #s(literal -2 binary64))
(fma.f64 eps (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) #s(literal -2 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))) (/.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))))
(+.f64 (/.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))))) (/.f64 #s(literal -8 binary64) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))))))
(+.f64 (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps) #s(literal -2 binary64))
(+.f64 #s(literal -2 binary64) (.f64 (.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps))
(.f64 (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps)
(.f64 eps (fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)))
(/.f64 (+.f64 #s(literal -8/27 binary64) (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 3 binary64))) (+.f64 #s(literal 4/9 binary64) (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) (.f64 #s(literal -2/3 binary64) (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) #s(literal 4/9 binary64))) (neg.f64 (-.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 3 binary64)) #s(literal -8/27 binary64))) (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4/9 binary64) (.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) #s(literal 4/9 binary64)) (-.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 3 binary64)) #s(literal -8/27 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4/9 binary64) (.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64)))))
(fma.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps #s(literal -2/3 binary64))
(fma.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64))
(fma.f64 (.f64 eps eps) (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) #s(literal -2/3 binary64))
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))) (/.f64 #s(literal 4/9 binary64) (-.f64 (.f64 (.f64 (fma.f64 (*.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))))
(+.f64 (/.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4/9 binary64) (.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))))) (/.f64 #s(literal -8/27 binary64) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal 2 binary64)) (-.f64 #s(literal 4/9 binary64) (.f64 (.f64 (.f64 (fma.f64 (*.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))))))
(+.f64 (.f64 (.f64 (fma.f64 (*.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps) #s(literal -2/3 binary64))
(+.f64 #s(literal -2/3 binary64) (.f64 (.f64 (fma.f64 (*.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64)) eps) eps))
(/.f64 (+.f64 #s(literal -8/125 binary64) (.f64 #s(literal -8/343 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)))) (+.f64 #s(literal 4/25 binary64) (-.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64))) (.f64 #s(literal -2/5 binary64) (.f64 (.f64 eps eps) #s(literal -2/7 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal -8/343 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) #s(literal -8/125 binary64))) (neg.f64 (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (-.f64 #s(literal 4/25 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64))) #s(literal 4/25 binary64))) (neg.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64))) #s(literal 4/25 binary64)) (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64)))
(/.f64 (fma.f64 #s(literal -8/343 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) #s(literal -8/125 binary64)) (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (-.f64 #s(literal 4/25 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64)))))
(fma.f64 (*.f64 #s(literal -2/7 binary64) eps) eps #s(literal -2/5 binary64))
(fma.f64 (*.f64 eps eps) #s(literal -2/7 binary64) #s(literal -2/5 binary64))
(fma.f64 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 binary64))
(-.f64 (/.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64))) (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))) (/.f64 #s(literal 4/25 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))))
(+.f64 (/.f64 (.f64 #s(literal -8/343 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps))) (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (-.f64 #s(literal 4/25 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))))) (/.f64 #s(literal -8/125 binary64) (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) (-.f64 #s(literal 4/25 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))))))
(+.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal -2/5 binary64))
(+.f64 #s(literal -2/5 binary64) (.f64 (.f64 eps eps) #s(literal -2/7 binary64)))
#s(literal -2/7 binary64)
(*.f64 (neg.f64 (neg.f64 eps)) (neg.f64 (neg.f64 eps)))
(*.f64 (neg.f64 (fabs.f64 eps)) (neg.f64 (fabs.f64 eps)))
(*.f64 (fabs.f64 (fabs.f64 eps)) (fabs.f64 (fabs.f64 eps)))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(*.f64 (fabs.f64 eps) (fabs.f64 eps))
(*.f64 eps eps)
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 (fabs.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 eps #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fabs.f64 (*.f64 eps eps))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))))
eps
#s(literal -2/5 binary64)
#s(literal -2/3 binary64)
#s(literal -2 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
(*.f64 #s(literal -2 binary64) eps)
(*.f64 eps #s(literal -2 binary64))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(.f64 eps (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)))
(/.f64 (+.f64 #s(literal -8 binary64) (.f64 #s(literal -8/27 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)))) (+.f64 #s(literal 4 binary64) (-.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64))) (.f64 #s(literal -2 binary64) (.f64 (.f64 eps eps) #s(literal -2/3 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64))) #s(literal 4 binary64))) (neg.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -8/27 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) #s(literal -8 binary64))) (neg.f64 (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64))) #s(literal 4 binary64)) (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64)))
(/.f64 (fma.f64 #s(literal -8/27 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) #s(literal -8 binary64)) (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64)))))
(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
(fma.f64 #s(literal -2/3 binary64) (*.f64 eps eps) #s(literal -2 binary64))
(fma.f64 eps (*.f64 #s(literal -2/3 binary64) eps) #s(literal -2 binary64))
(-.f64 (/.f64 (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64))) (-.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))) (/.f64 #s(literal 4 binary64) (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))))
(+.f64 (/.f64 (.f64 #s(literal -8/27 binary64) (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps))) (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))))) (/.f64 #s(literal -8 binary64) (fma.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (-.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))))))
(+.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal -2 binary64))
(+.f64 #s(literal -2 binary64) (.f64 (.f64 eps eps) #s(literal -2/3 binary64)))
(/.f64 (neg.f64 (-.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64)))))) (neg.f64 (log.f64 (*.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))))))
(/.f64 (-.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))))) (log.f64 (*.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64)))))
(/.f64 (-.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64))) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64)))))))
(-.f64 (/.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (log.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))) (/.f64 (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64)))) (log.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))))
(-.f64 (/.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))))) (/.f64 (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64)) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))))))
(-.f64 (log.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps))) (log.f64 (neg.f64 (-.f64 eps #s(literal -1 binary64)))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps))) (neg.f64 (neg.f64 (-.f64 eps #s(literal -1 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (.f64 (-.f64 eps #s(literal -1 binary64)) eps)) (*.f64 (-.f64 eps #s(literal -1 binary64)) (-.f64 eps #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps)) (neg.f64 (-.f64 eps #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 eps #s(literal -1 binary64))) (/.f64 eps (-.f64 eps #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps))) (neg.f64 (+.f64 #s(literal 1 binary64) (fma.f64 eps eps (*.f64 #s(literal 1 binary64) eps)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps))) (neg.f64 (+.f64 eps #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps)) (+.f64 eps #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps)) (+.f64 #s(literal 1 binary64) (fma.f64 eps eps (*.f64 #s(literal 1 binary64) eps))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (fma.f64 eps eps (.f64 #s(literal 1 binary64) eps)))) (/.f64 (.f64 (.f64 eps eps) eps) (+.f64 #s(literal 1 binary64) (fma.f64 eps eps (.f64 #s(literal 1 binary64) eps)))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 eps #s(literal 1 binary64))) (/.f64 (*.f64 eps eps) (+.f64 eps #s(literal 1 binary64))))
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) #s(literal 1 binary64))) (neg.f64 (+.f64 eps #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 eps eps) eps) #s(literal -1 binary64))) (neg.f64 (fma.f64 eps eps (+.f64 (neg.f64 eps) #s(literal 1 binary64)))))
(/.f64 (-.f64 (*.f64 eps eps) #s(literal 1 binary64)) (+.f64 eps #s(literal -1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 eps eps) eps) #s(literal -1 binary64)) (fma.f64 eps eps (+.f64 (neg.f64 eps) #s(literal 1 binary64))))
(-.f64 (/.f64 (*.f64 eps eps) (+.f64 eps #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 eps #s(literal -1 binary64))))
(-.f64 (/.f64 (.f64 (.f64 eps eps) eps) (fma.f64 eps eps (+.f64 (neg.f64 eps) #s(literal 1 binary64)))) (/.f64 #s(literal -1 binary64) (fma.f64 eps eps (+.f64 (neg.f64 eps) #s(literal 1 binary64)))))
(-.f64 eps #s(literal -1 binary64))
#s(literal -1 binary64)
(/.f64 (neg.f64 (-.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64)))))) (neg.f64 (log.f64 (*.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))))))
(/.f64 (-.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))))) (log.f64 (*.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64)))))
(/.f64 (-.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64))) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64)))))))
(-.f64 (/.f64 (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps))) (log.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))) (/.f64 (.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64)))) (log.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))))
(-.f64 (/.f64 (pow.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) #s(literal 3 binary64)) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))))) (/.f64 (pow.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) #s(literal 3 binary64)) (fma.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 #s(literal 1 binary64) eps)) (fma.f64 (log.f64 (-.f64 eps #s(literal -1 binary64))) (log.f64 (-.f64 eps #s(literal -1 binary64))) (.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))))))
(-.f64 (log.f64 (neg.f64 (-.f64 #s(literal 1 binary64) eps))) (log.f64 (neg.f64 (-.f64 eps #s(literal -1 binary64)))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) (*.f64 eps eps))) (log.f64 (+.f64 eps #s(literal 1 binary64))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 eps eps) eps))) (log.f64 (+.f64 #s(literal 1 binary64) (fma.f64 eps eps (*.f64 #s(literal 1 binary64) eps)))))
(log.f64 (-.f64 #s(literal 1 binary64) eps))
(-.f64 (log.f64 (-.f64 (*.f64 eps eps) #s(literal 1 binary64))) (log.f64 (+.f64 eps #s(literal -1 binary64))))
(-.f64 (log.f64 (-.f64 (.f64 (.f64 eps eps) eps) #s(literal -1 binary64))) (log.f64 (fma.f64 eps eps (+.f64 (neg.f64 eps) #s(literal 1 binary64)))))
(log.f64 (-.f64 eps #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (.f64 eps eps)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)) eps))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (.f64 eps eps)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) #s(literal -2 binary64))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (-.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)) (.f64 eps eps)) #s(literal 2 binary64)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (-.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (.f64 eps eps)) #s(literal 2/3 binary64)) (.f64 eps eps)) #s(literal 2 binary64)))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (*.f64 #s(literal -2/3 binary64) eps))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)) eps))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (*.f64 eps eps)) #s(literal 2/3 binary64)) eps))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) #s(literal -2/3 binary64))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (-.f64 (.f64 (.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (.f64 eps eps)) #s(literal 2/3 binary64)))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) #s(literal -2/5 binary64))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)))
#s(approx (* eps eps) (*.f64 eps eps))
#s(approx eps eps)
#s(approx (* -2 eps) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)) eps))
#s(approx (+ (* (* eps eps) -2/3) -2) #s(literal -2 binary64))
#s(approx (+ (* (* eps eps) -2/3) -2) (-.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (- eps -1))) (.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (- eps -1))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (- eps -1))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (.f64 eps eps)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (/ (- 1 eps) (- eps -1)) #s(literal 1 binary64))
#s(approx (/ (- 1 eps) (- eps -1)) (fma.f64 #s(literal -2 binary64) eps #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (- eps -1)) (fma.f64 (-.f64 (+.f64 eps eps) #s(literal 2 binary64)) eps #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (- eps -1)) (fma.f64 (-.f64 (*.f64 (fma.f64 #s(literal -2 binary64) eps #s(literal 2 binary64)) eps) #s(literal 2 binary64)) eps #s(literal 1 binary64)))
#s(approx (- 1 eps) #s(literal 1 binary64))
#s(approx (- 1 eps) (+.f64 (neg.f64 eps) #s(literal 1 binary64)))
#s(approx (- eps -1) #s(literal 1 binary64))
#s(approx (- eps -1) (+.f64 eps #s(literal 1 binary64)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (- eps -1))) (.f64 (-.f64 (.f64 (*.f64 eps eps) #s(literal -2/3 binary64)) #s(literal 2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (- eps -1))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/5 binary64)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (- eps -1))) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 (.f64 eps eps) #s(literal -2/7 binary64)) #s(literal 2/5 binary64)) (.f64 eps eps)) #s(literal 2/3 binary64)) (*.f64 eps eps)) #s(literal 2 binary64)) eps))
#s(approx (log (- 1 eps)) (neg.f64 eps))
#s(approx (log (- 1 eps)) (.f64 (-.f64 (.f64 #s(literal -1/2 binary64) eps) #s(literal 1 binary64)) eps))
#s(approx (log (- 1 eps)) (.f64 (-.f64 (.f64 (-.f64 (*.f64 #s(literal -1/3 binary64) eps) #s(literal 1/2 binary64)) eps) #s(literal 1 binary64)) eps))
#s(approx (log (- 1 eps)) (.f64 (-.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 #s(literal -1/4 binary64) eps) #s(literal 1/3 binary64)) eps) #s(literal 1/2 binary64)) eps) #s(literal 1 binary64)) eps))
#s(approx (log (- eps -1)) eps)
#s(approx (log (- eps -1)) (*.f64 (fma.f64 #s(literal -1/2 binary64) eps #s(literal 1 binary64)) eps))
#s(approx (log (- eps -1)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3 binary64) eps) #s(literal 1/2 binary64)) eps #s(literal 1 binary64)) eps))
#s(approx (log (- eps -1)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/4 binary64) eps #s(literal 1/3 binary64)) eps) #s(literal 1/2 binary64)) eps #s(literal 1 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal 2 binary64)) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (log.f64 #s(literal -1 binary64))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (*.f64 (pow.f64 eps #s(literal 7 binary64)) #s(literal -2/7 binary64)))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (neg.f64 (.f64 (pow.f64 eps #s(literal 7 binary64)) (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/5 binary64) (.f64 eps eps))))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (.f64 (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 eps eps)) #s(literal 2/5 binary64)) (*.f64 eps eps))) #s(literal 2/7 binary64)) (pow.f64 eps #s(literal 7 binary64))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (.f64 (-.f64 (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) (.f64 (.f64 eps eps) (.f64 eps eps)))) #s(literal 2/7 binary64)) (/.f64 #s(literal 2/5 binary64) (.f64 eps eps))) (pow.f64 eps #s(literal 7 binary64))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (.f64 (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) #s(literal -2/7 binary64)))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (neg.f64 (.f64 (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps))))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (.f64 (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 eps eps)) #s(literal 2/5 binary64)) (.f64 eps eps))) #s(literal 2/7 binary64))))
#s(approx (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) (.f64 (.f64 (.f64 (.f64 eps eps) eps) (.f64 (.f64 eps eps) eps)) (-.f64 (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) (.f64 (.f64 eps eps) (.f64 eps eps)))) #s(literal 2/7 binary64)) (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps)))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (*.f64 (pow.f64 eps #s(literal 5 binary64)) #s(literal -2/7 binary64)))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (neg.f64 (.f64 (pow.f64 eps #s(literal 5 binary64)) (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/5 binary64) (.f64 eps eps))))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (.f64 (pow.f64 eps #s(literal 5 binary64)) (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 eps eps)) #s(literal 2/5 binary64)) (*.f64 eps eps))) #s(literal 2/7 binary64))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) #s(literal -2/7 binary64)))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (neg.f64 (.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps))))))
#s(approx (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (.f64 (.f64 (.f64 eps eps) (.f64 eps eps)) (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (.f64 eps eps)) #s(literal 2/5 binary64)) (.f64 eps eps))) #s(literal 2/7 binary64))))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) (.f64 (.f64 eps eps) #s(literal -2/7 binary64)))
#s(approx (+ (* -2/7 (* eps eps)) -2/5) (neg.f64 (.f64 (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/5 binary64) (.f64 eps eps))) (*.f64 eps eps))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64))))
#s(approx (+ (* (* eps eps) -2/3) -2) (.f64 (.f64 eps eps) #s(literal -2/3 binary64)))
#s(approx (+ (* (* eps eps) -2/3) -2) (neg.f64 (.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) (*.f64 eps eps))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal 2 binary64)) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (-.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (log.f64 #s(literal -1 binary64))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (/ (- 1 eps) (- eps -1)) #s(literal -1 binary64))
#s(approx (/ (- 1 eps) (- eps -1)) (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (- eps -1)) (-.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 1 binary64)) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
#s(approx (/ (- 1 eps) (- eps -1)) (-.f64 (-.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 (.f64 eps eps) eps)) (/.f64 #s(literal 2 binary64) eps)) #s(literal 1 binary64)) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
#s(approx (- 1 eps) (neg.f64 eps))
#s(approx (- 1 eps) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) eps))
#s(approx (- eps -1) eps)
#s(approx (- eps -1) (fma.f64 #s(literal 1 binary64) eps #s(literal 1 binary64)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal 2 binary64)) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (-.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (log.f64 #s(literal -1 binary64))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (- 1 eps)) (log.f64 (neg.f64 eps)))
#s(approx (log (- 1 eps)) (-.f64 (log.f64 (neg.f64 eps)) (/.f64 #s(literal 1 binary64) eps)))
#s(approx (log (- 1 eps)) (+.f64 (log.f64 (neg.f64 eps)) (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) eps) #s(literal 1 binary64)) eps))))
#s(approx (log (- 1 eps)) (-.f64 (+.f64 (log.f64 (neg.f64 eps)) (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 1/3 binary64) eps) #s(literal 1/2 binary64)) (*.f64 eps eps)))) (/.f64 #s(literal 1 binary64) eps)))
#s(approx (log (- eps -1)) (log.f64 eps))
#s(approx (log (- eps -1)) (+.f64 (log.f64 eps) (/.f64 #s(literal 1 binary64) eps)))
#s(approx (log (- eps -1)) (-.f64 (+.f64 (log.f64 eps) (/.f64 #s(literal 1 binary64) eps)) (/.f64 #s(literal 1/2 binary64) (*.f64 eps eps))))
#s(approx (log (- eps -1)) (-.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/3 binary64) (.f64 (.f64 eps eps) eps)) (/.f64 #s(literal 1 binary64) eps)) (log.f64 eps)) (/.f64 #s(literal 1/2 binary64) (*.f64 eps eps))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (+.f64 (neg.f64 (/.f64 (+.f64 (+.f64 #s(literal 2 binary64) (/.f64 #s(literal 2/5 binary64) (.f64 (.f64 eps eps) (.f64 eps eps)))) (/.f64 #s(literal 2/3 binary64) (.f64 eps eps))) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (neg.f64 (.f64 (+.f64 (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/3 binary64) (.f64 (.f64 eps eps) (.f64 eps eps)))) (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps))) (pow.f64 eps #s(literal 7 binary64)))))
#s(approx (* (+ (* (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) eps) -2) eps) (neg.f64 (.f64 (+.f64 (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/3 binary64) (.f64 (.f64 eps eps) (.f64 eps eps)))) (fma.f64 (pow.f64 eps #s(literal -6 binary64)) #s(literal 2 binary64) (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps)))) (pow.f64 eps #s(literal 7 binary64)))))
#s(approx (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) eps) (neg.f64 (.f64 (+.f64 (+.f64 #s(literal 2/7 binary64) (/.f64 #s(literal 2/3 binary64) (.f64 (.f64 eps eps) (.f64 eps eps)))) (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps))) (pow.f64 eps #s(literal 5 binary64)))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (+.f64 (neg.f64 (/.f64 (+.f64 (+.f64 #s(literal 2 binary64) (/.f64 #s(literal 2/5 binary64) (.f64 (.f64 eps eps) (.f64 eps eps)))) (/.f64 #s(literal 2/3 binary64) (.f64 eps eps))) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (/ (- 1 eps) (- eps -1)) (-.f64 (neg.f64 (/.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 2 binary64)) eps)) #s(literal 1 binary64)))
#s(approx (/ (- 1 eps) (- eps -1)) (-.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 2 binary64)) eps)) #s(literal 2 binary64)) eps)) #s(literal 1 binary64)))
#s(approx (- 1 eps) (*.f64 (neg.f64 eps) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (- eps -1))) (neg.f64 (+.f64 (/.f64 #s(literal 2 binary64) eps) (log.f64 #s(literal -1 binary64)))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (-.f64 (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal 2 binary64)) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (log (/ (- 1 eps) (- eps -1))) (-.f64 (neg.f64 (/.f64 (+.f64 (+.f64 #s(literal 2 binary64) (/.f64 #s(literal 2/5 binary64) (.f64 (.f64 eps eps) (.f64 eps eps)))) (/.f64 #s(literal 2/3 binary64) (.f64 eps eps))) eps)) (log.f64 #s(literal -1 binary64))))
#s(approx (log (- 1 eps)) (neg.f64 (neg.f64 (log.f64 (neg.f64 eps)))))
#s(approx (log (- 1 eps)) (-.f64 (neg.f64 (neg.f64 (log.f64 (neg.f64 eps)))) (/.f64 #s(literal 1 binary64) eps)))
#s(approx (log (- 1 eps)) (+.f64 (neg.f64 (neg.f64 (log.f64 (neg.f64 eps)))) (neg.f64 (/.f64 (+.f64 (/.f64 #s(literal 1/2 binary64) eps) #s(literal 1 binary64)) eps))))
#s(approx (log (- 1 eps)) (+.f64 (neg.f64 (/.f64 (+.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/3 binary64) (*.f64 eps eps))) (/.f64 #s(literal 1/2 binary64) eps)) eps)) (neg.f64 (neg.f64 (log.f64 (neg.f64 eps))))))
#s(approx (log (- eps -1)) (log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) eps)) #s(literal -1 binary64))))
#s(approx (log (- eps -1)) (+.f64 (log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) eps)) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) eps)))
#s(approx (log (- eps -1)) (+.f64 (log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) eps)) #s(literal -1 binary64))) (neg.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/2 binary64) eps) #s(literal 1 binary64)) eps))))
#s(approx (log (- eps -1)) (+.f64 (log.f64 (*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) eps)) #s(literal -1 binary64))) (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/3 binary64) eps) #s(literal 1/2 binary64)) eps)) #s(literal 1 binary64)) eps))))

eval36.0ms (1%)

Memory: -24.1MiB live, 21.6MiB allocated; 3ms collecting garbage
Compiler: Compiled 2 945 to 1 138 computations (61.4% saved)

prune5.0ms (0.2%)

Memory

6.7MiB live, 6.7MiB allocated; 0ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	240	1	241
Fresh	0	0	0
Picked	0	5	5
Done	0	0	0
Total	240	6	246

Accuracy

100.0%

Counts

246 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	8.4%	(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
✓	8.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
✓	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
✓	99.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
▶	36.2%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))))

Compiler

Compiled 77 to 75 computations (2.6% saved)

series6.0ms (0.2%)

Memory

4.3MiB live, 4.3MiB allocated; 0ms collecting garbage

Counts

11 → 26

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64))))
(.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(.f64 (neg.f64 eps) (.f64 eps eps))
(neg.f64 eps)
eps
(*.f64 eps eps)
(+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 eps eps))
#s(literal 2 binary64)
#s(literal 2/3 binary64)

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* -2 eps)))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (neg eps) (* eps eps)) #s(hole binary64 (* -1 (pow eps 3))))
#s(approx (neg eps) #s(hole binary64 (* -1 eps)))
#s(approx eps #s(hole binary64 eps))
#s(approx (* eps eps) #s(hole binary64 (pow eps 2)))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 (/ (+ 2 (* 2/3 (pow eps 2))) (pow eps 2))))
#s(approx (/ 2 (* eps eps)) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 2/3))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	eps	@	0	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (* (neg eps) (* eps eps)) (neg eps) eps (* eps eps) (+ (/ 2 (* eps eps)) 2/3) (/ 2 (* eps eps)) 2 2/3)
2.0ms	eps	@	inf	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (* (neg eps) (* eps eps)) (neg eps) eps (* eps eps) (+ (/ 2 (* eps eps)) 2/3) (/ 2 (* eps eps)) 2 2/3)
2.0ms	eps	@	-inf	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (* (neg eps) (* eps eps)) (neg eps) eps (* eps eps) (+ (/ 2 (* eps eps)) 2/3) (/ 2 (* eps eps)) 2 2/3)

Time

Variable

Point

Expression

2.0ms

eps

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (* (neg eps) (* eps eps)) (neg eps) eps (* eps eps) (+ (/ 2 (* eps eps)) 2/3) (/ 2 (* eps eps)) 2 2/3)

2.0ms

eps

inf

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (* (neg eps) (* eps eps)) (neg eps) eps (* eps eps) (+ (/ 2 (* eps eps)) 2/3) (/ 2 (* eps eps)) 2 2/3)

2.0ms

eps

-inf

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (* (neg eps) (* eps eps)) (neg eps) eps (* eps eps) (+ (/ 2 (* eps eps)) 2/3) (/ 2 (* eps eps)) 2 2/3)

rewrite131.0ms (3.8%)

Memory

11.8MiB live, 103.3MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	111	559
0	122	518
1	540	515
0	4641	472

Stop Event

1×	iter-limit
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

37 → 211

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64))))
(.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(.f64 (neg.f64 eps) (.f64 eps eps))
(neg.f64 eps)
eps
(*.f64 eps eps)
(+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 eps eps))
#s(literal 2 binary64)
#s(literal 2/3 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* -2 eps)))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (neg eps) (* eps eps)) #s(hole binary64 (* -1 (pow eps 3))))
#s(approx (neg eps) #s(hole binary64 (* -1 eps)))
#s(approx eps #s(hole binary64 eps))
#s(approx (* eps eps) #s(hole binary64 (pow eps 2)))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 (/ (+ 2 (* 2/3 (pow eps 2))) (pow eps 2))))
#s(approx (/ 2 (* eps eps)) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 2/3))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(hole binary64 (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
(.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))) (.f64 (*.f64 eps eps) eps))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (neg.f64 eps) eps)) eps)
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) #s(literal -1 binary64)) (.f64 (*.f64 eps eps) eps))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (neg.f64 eps)) (.f64 eps eps))
(.f64 (neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))) (.f64 (.f64 eps eps) eps))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 eps eps)) (neg.f64 eps))
(.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))) #s(literal -1 binary64))
(.f64 (.f64 (.f64 eps eps) eps) (.f64 #s(literal -1 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (.f64 (.f64 eps eps) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 eps eps) eps) (neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))
(.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)))
(.f64 (.f64 eps eps) (.f64 (neg.f64 eps) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (neg.f64 eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 eps eps)))
(.f64 eps (.f64 #s(literal -1 binary64) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (*.f64 eps eps))))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps))) (.f64 (.f64 (neg.f64 eps) eps) eps)) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (-.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal 4/3 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64)))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64))) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)))) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64))) (-.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal 4/3 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64))) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps))))) (.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))) (-.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (-.f64 (.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64))) (.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64))))))
(neg.f64 (.f64 (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))))
(neg.f64 (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(fma.f64 (.f64 #s(literal -2/3 binary64) (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(fma.f64 (.f64 #s(literal 2/3 binary64) (.f64 (neg.f64 eps) eps)) eps (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 #s(literal 2/3 binary64) (neg.f64 eps)) (.f64 eps eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (neg.f64 eps) eps)) eps (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -1 binary64)) (.f64 (.f64 eps eps) eps) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (neg.f64 eps)) (.f64 eps eps) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 eps eps)) (neg.f64 eps) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) #s(literal 2 binary64) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 #s(literal -2/3 binary64) eps) (.f64 eps eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps)) #s(literal -1 binary64) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)) #s(literal 1 binary64) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(fma.f64 (.f64 (.f64 (.f64 eps eps) #s(literal 2/3 binary64)) eps) #s(literal -1 binary64) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(fma.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(fma.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps))) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (neg.f64 eps) eps) (.f64 eps #s(literal 2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (.f64 (neg.f64 eps) eps) eps) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (.f64 #s(literal 2 binary64) (.f64 (.f64 (neg.f64 eps) eps) eps)) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (.f64 eps eps) #s(literal 2/3 binary64)) (neg.f64 eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 (.f64 eps eps) eps) (.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps))) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps)) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 eps eps) #s(literal 2/3 binary64)) eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(fma.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) #s(literal 2/3 binary64) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) eps (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 eps eps) (.f64 (neg.f64 eps) #s(literal 2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 (.f64 eps eps) (.f64 (neg.f64 eps) (/.f64 #s(literal 2 binary64) (.f64 eps eps))) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (.f64 eps eps) (.f64 #s(literal -2/3 binary64) eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 #s(literal 2/3 binary64) (.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 eps) eps) eps)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(fma.f64 #s(literal 2/3 binary64) (.f64 (.f64 (neg.f64 eps) eps) eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 #s(literal 2 binary64) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (.f64 eps eps) (/.f64 #s(literal 2 binary64) (.f64 eps eps))) (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)))
(fma.f64 (neg.f64 eps) (.f64 (.f64 eps eps) #s(literal 2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 #s(literal -2/3 binary64) (.f64 (.f64 eps eps) eps) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(fma.f64 eps (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(-.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 #s(literal -2/3 binary64) (.f64 (*.f64 (neg.f64 eps) eps) eps)))
(-.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (neg.f64 (.f64 (*.f64 (neg.f64 eps) eps) eps)) #s(literal 2/3 binary64)))
(-.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (.f64 (*.f64 eps eps) #s(literal 2/3 binary64)) eps))
(+.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(+.f64 (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(.f64 (.f64 (neg.f64 eps) (fabs.f64 eps)) (fabs.f64 eps))
(.f64 (.f64 (*.f64 eps eps) #s(literal -1 binary64)) eps)
(*.f64 (neg.f64 (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 eps #s(literal 3/2 binary64)) (neg.f64 (pow.f64 eps #s(literal 3/2 binary64))))
(.f64 (.f64 (neg.f64 eps) eps) eps)
(.f64 (fabs.f64 eps) (.f64 (fabs.f64 eps) (neg.f64 eps)))
(.f64 (.f64 (*.f64 eps eps) eps) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 eps eps) eps))
(.f64 (.f64 eps eps) (neg.f64 eps))
(.f64 (neg.f64 eps) (.f64 eps eps))
(.f64 eps (.f64 (*.f64 eps eps) #s(literal -1 binary64)))
(.f64 eps (.f64 (neg.f64 eps) eps))
(pow.f64 (neg.f64 eps) #s(literal 3 binary64))
(neg.f64 (.f64 (.f64 (*.f64 eps eps) eps) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (*.f64 eps eps) eps)))
(neg.f64 (.f64 (.f64 eps eps) eps))
(*.f64 #s(literal -1 binary64) eps)
(*.f64 eps #s(literal -1 binary64))
(neg.f64 eps)
eps
(.f64 (.f64 (neg.f64 eps) #s(literal -1 binary64)) eps)
(*.f64 (neg.f64 (fabs.f64 eps)) (neg.f64 (fabs.f64 eps)))
(*.f64 (fabs.f64 (fabs.f64 eps)) (fabs.f64 (fabs.f64 eps)))
(*.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)))
(.f64 (.f64 (neg.f64 eps) eps) #s(literal -1 binary64))
(*.f64 (fabs.f64 eps) (fabs.f64 eps))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 eps) eps))
(.f64 (.f64 eps eps) #s(literal 1 binary64))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(.f64 eps (.f64 #s(literal -1 binary64) (neg.f64 eps)))
(*.f64 eps eps)
(.f64 #s(literal 1 binary64) (.f64 eps eps))
(pow.f64 (exp.f64 (log.f64 eps)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 eps #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 eps) eps))
(fabs.f64 (*.f64 eps eps))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 8/27 binary64) (pow.f64 (/.f64 #s(literal -2 binary64) (.f64 eps eps)) #s(literal 3 binary64))) (+.f64 #s(literal 4/9 binary64) (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (.f64 #s(literal 2/3 binary64) (/.f64 #s(literal -2 binary64) (.f64 eps eps))))))
(/.f64 (neg.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64))) (neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)))) (neg.f64 (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(/.f64 (neg.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64))) (neg.f64 (-.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal 4/3 binary64) (.f64 eps eps)))))
(/.f64 (neg.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64))) (neg.f64 (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64))))
(/.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(/.f64 (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps))) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps))))
(/.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal 4/3 binary64) (.f64 eps eps))))
(/.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64)) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64)))
(fma.f64 (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (/.f64 #s(literal -2 binary64) eps) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 1 binary64) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2 binary64) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 2 binary64) eps) (/.f64 #s(literal 1 binary64) eps) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 2 binary64) eps) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) eps) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(-.f64 (/.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64))) (/.f64 #s(literal 4/9 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))))
(-.f64 (/.f64 #s(literal 4/9 binary64) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (/.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))
(-.f64 #s(literal 2/3 binary64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps))) #s(literal 2 binary64)))
(-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal -2 binary64) (*.f64 eps eps)))
(+.f64 (+.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
(+.f64 (/.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) (-.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal 4/3 binary64) (.f64 eps eps)))) (/.f64 #s(literal 8/27 binary64) (-.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal 4/3 binary64) (.f64 eps eps)))))
(+.f64 (/.f64 #s(literal 8/27 binary64) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64))) (/.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64))))
(+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(+.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))
(*.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)))
(*.f64 (/.f64 #s(literal -2 binary64) eps) (/.f64 #s(literal 1 binary64) (neg.f64 eps)))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 2 binary64))
(*.f64 (/.f64 #s(literal 2 binary64) eps) (/.f64 #s(literal 1 binary64) eps))
(*.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 2 binary64) eps))
(.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))))
(/.f64 (+.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))))))
(/.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 eps)) (fabs.f64 eps))
(/.f64 #s(literal -4 binary64) (.f64 (.f64 (neg.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 #s(literal -4 binary64) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 eps) eps)))
(/.f64 (fma.f64 eps eps (.f64 eps eps)) (.f64 (.f64 (.f64 eps eps) eps) eps))
(/.f64 (fma.f64 (neg.f64 eps) eps (.f64 (.f64 (neg.f64 eps) eps) #s(literal 1 binary64))) (.f64 (.f64 (neg.f64 eps) eps) (*.f64 eps eps)))
(/.f64 (fma.f64 #s(literal 1 binary64) (.f64 (neg.f64 eps) eps) (.f64 (.f64 eps eps) #s(literal -1 binary64))) (.f64 (.f64 (neg.f64 eps) eps) (.f64 eps eps)))
(/.f64 (/.f64 #s(literal -2 binary64) eps) (neg.f64 eps))
(/.f64 (/.f64 #s(literal 4 binary64) (*.f64 eps eps)) #s(literal 2 binary64))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 eps eps) #s(literal 2 binary64)))
(/.f64 #s(literal 4 binary64) (.f64 #s(literal 2 binary64) (.f64 eps eps)))
(/.f64 (/.f64 #s(literal 2 binary64) eps) eps)
(/.f64 #s(literal 2 binary64) (*.f64 eps eps))
(/.f64 #s(literal -2 binary64) (*.f64 (neg.f64 eps) eps))
(neg.f64 (/.f64 #s(literal -2 binary64) (*.f64 eps eps)))
(fma.f64 (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 1 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
#s(literal 2 binary64)
#s(literal 2/3 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 #s(literal -2/3 binary64) eps) eps #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (*.f64 eps eps) #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (fma.f64 (.f64 #s(literal -2/3 binary64) eps) eps #s(literal -2 binary64)) eps))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (.f64 (fma.f64 (.f64 #s(literal -2/3 binary64) eps) eps #s(literal -2 binary64)) eps))
#s(approx (* (neg eps) (* eps eps)) (.f64 (.f64 (neg.f64 eps) eps) eps))
#s(approx (neg eps) (neg.f64 eps))
#s(approx eps eps)
#s(approx (* eps eps) (*.f64 eps eps))
#s(approx (+ (/ 2 (* eps eps)) 2/3) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))
#s(approx (+ (/ 2 (* eps eps)) 2/3) (/.f64 (fma.f64 (.f64 eps eps) #s(literal 2/3 binary64) #s(literal 2 binary64)) (.f64 eps eps)))
#s(approx (/ 2 (* eps eps)) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
#s(approx (* (* (neg eps) (* eps eps)) (+ (/ 2 (* eps eps)) 2/3)) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
#s(approx (+ (/ 2 (* eps eps)) 2/3) #s(literal 2/3 binary64))
#s(approx (+ (/ 2 (* eps eps)) 2/3) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (/.f64 #s(literal 2 binary64) eps)))

eval14.0ms (0.4%)

Memory: 21.2MiB live, 21.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 247 to 997 computations (55.6% saved)

prune83.0ms (2.4%)

Memory

-75.4MiB live, 7.8MiB allocated; 103ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	198	1	199
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	199	6	205

Accuracy

100.0%

Counts

205 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	8.4%	(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
✓	8.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
✓	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
✓	99.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
▶	36.2%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))

Compiler

Compiled 77 to 76 computations (1.3% saved)

series6.0ms (0.2%)

Memory

7.5MiB live, 7.5MiB allocated; 0ms collecting garbage

Counts

12 → 27

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
(.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))
(-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 eps eps))
#s(literal 2 binary64)
(*.f64 eps eps)
eps
#s(literal -2/3 binary64)
(.f64 (.f64 (neg.f64 eps) eps) eps)
(*.f64 (neg.f64 eps) eps)
(neg.f64 eps)

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* -2 eps)))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 (/ (+ 2 (* 2/3 (pow eps 2))) (pow eps 2))))
#s(approx (/ 2 (* eps eps)) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (* eps eps) #s(hole binary64 (pow eps 2)))
#s(approx eps #s(hole binary64 eps))
#s(approx (* (* (neg eps) eps) eps) #s(hole binary64 (* -1 (pow eps 3))))
#s(approx (* (neg eps) eps) #s(hole binary64 (* -1 (pow eps 2))))
#s(approx (neg eps) #s(hole binary64 (* -1 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 2/3))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	eps	@	-inf	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (- (/ 2 (* eps eps)) -2/3) (/ 2 (* eps eps)) 2 (* eps eps) eps -2/3 (* (* (neg eps) eps) eps) (* (neg eps) eps) (neg eps))
2.0ms	eps	@	inf	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (- (/ 2 (* eps eps)) -2/3) (/ 2 (* eps eps)) 2 (* eps eps) eps -2/3 (* (* (neg eps) eps) eps) (* (neg eps) eps) (neg eps))
2.0ms	eps	@	0	((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (- (/ 2 (* eps eps)) -2/3) (/ 2 (* eps eps)) 2 (* eps eps) eps -2/3 (* (* (neg eps) eps) eps) (* (neg eps) eps) (neg eps))

Time

Variable

Point

Expression

2.0ms

eps

-inf

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (- (/ 2 (* eps eps)) -2/3) (/ 2 (* eps eps)) 2 (* eps eps) eps -2/3 (* (* (neg eps) eps) eps) (* (neg eps) eps) (neg eps))

2.0ms

eps

inf

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (- (/ 2 (* eps eps)) -2/3) (/ 2 (* eps eps)) 2 (* eps eps) eps -2/3 (* (* (neg eps) eps) eps) (* (neg eps) eps) (neg eps))

2.0ms

eps

((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (- (/ 2 (* eps eps)) -2/3) (/ 2 (* eps eps)) 2 (* eps eps) eps -2/3 (* (* (neg eps) eps) eps) (* (neg eps) eps) (neg eps))

rewrite151.0ms (4.3%)

Memory

11.9MiB live, 62.8MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	115	573
0	127	551
1	535	528
0	4570	485

Stop Event

1×	iter-limit
1×	iter-limit
1×	node-limit
1×	iter-limit

Counts

39 → 205

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
(.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))
(-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))
(/.f64 #s(literal 2 binary64) (*.f64 eps eps))
#s(literal 2 binary64)
(*.f64 eps eps)
eps
#s(literal -2/3 binary64)
(.f64 (.f64 (neg.f64 eps) eps) eps)
(*.f64 (neg.f64 eps) eps)
(neg.f64 eps)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* -2 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2 eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* -2 eps)))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* eps (- (* -2/3 (pow eps 2)) 2))))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 (/ (+ 2 (* 2/3 (pow eps 2))) (pow eps 2))))
#s(approx (/ 2 (* eps eps)) #s(hole binary64 (/ 2 (pow eps 2))))
#s(approx (* eps eps) #s(hole binary64 (pow eps 2)))
#s(approx eps #s(hole binary64 eps))
#s(approx (* (* (neg eps) eps) eps) #s(hole binary64 (* -1 (pow eps 3))))
#s(approx (* (neg eps) eps) #s(hole binary64 (* -1 (pow eps 2))))
#s(approx (neg eps) #s(hole binary64 (* -1 eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (log -1)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (log -1) (* 2 (/ 1 eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* -2/3 (pow eps 3))))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) #s(hole binary64 (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 2/3))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(hole binary64 (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(hole binary64 (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
(.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))) (.f64 (*.f64 eps eps) eps))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (neg.f64 eps)) (.f64 eps eps))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) eps) (.f64 (neg.f64 eps) eps))
(.f64 (neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))) (.f64 (.f64 eps eps) eps))
(.f64 (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (neg.f64 eps) eps)) eps)
(.f64 (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))) #s(literal -1 binary64))
(.f64 (.f64 (.f64 eps eps) eps) (.f64 #s(literal -1 binary64) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (.f64 (.f64 eps eps) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 eps eps) eps) (neg.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))
(.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)))
(.f64 (.f64 (neg.f64 eps) eps) (.f64 eps (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 (neg.f64 eps) (.f64 (.f64 eps eps) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(.f64 eps (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (neg.f64 eps) eps)))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(/.f64 (.f64 (-.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal -8/27 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (+.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal -4/3 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64))) (+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal -8/27 binary64))) (+.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal -4/3 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)))) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
(/.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64))) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64)))
(neg.f64 (.f64 (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))))
(neg.f64 (.f64 (.f64 (.f64 eps eps) eps) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(fma.f64 (.f64 #s(literal -2/3 binary64) (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (*.f64 eps eps))))
(fma.f64 (.f64 #s(literal -2/3 binary64) eps) (.f64 eps eps) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(fma.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal 2/3 binary64)) #s(literal -1 binary64) (.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps)) #s(literal -1 binary64)))
(fma.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) #s(literal -2/3 binary64)) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (*.f64 eps eps))))
(fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (.f64 (neg.f64 eps) eps) eps) (.f64 #s(literal 2/3 binary64) (.f64 (.f64 (neg.f64 eps) eps) eps)))
(fma.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 eps eps) eps) #s(literal 2/3 binary64)) (.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(fma.f64 #s(literal 2/3 binary64) (.f64 (.f64 (neg.f64 eps) eps) eps) (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
(fma.f64 (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) eps (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(fma.f64 (.f64 eps eps) (.f64 #s(literal -2/3 binary64) eps) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(fma.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) #s(literal 2/3 binary64)))
(fma.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) #s(literal 2/3 binary64) (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (/.f64 #s(literal 2 binary64) (.f64 eps eps))))
(fma.f64 #s(literal -2/3 binary64) (.f64 (.f64 eps eps) eps) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(fma.f64 eps (.f64 (.f64 eps eps) #s(literal -2/3 binary64)) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (.f64 eps eps))))
(+.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (.f64 (neg.f64 eps) eps) eps)) (.f64 #s(literal 2/3 binary64) (.f64 (*.f64 (neg.f64 eps) eps) eps)))
(+.f64 (.f64 #s(literal 2/3 binary64) (.f64 (.f64 (neg.f64 eps) eps) eps)) (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (.f64 (*.f64 (neg.f64 eps) eps) eps)))
(+.f64 (.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal 2/3 binary64)) #s(literal -1 binary64)) (.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (*.f64 eps eps)) #s(literal -1 binary64)))
(+.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) #s(literal 2/3 binary64)) (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (/.f64 #s(literal 2 binary64) (*.f64 eps eps))))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (.f64 (.f64 eps eps) eps) #s(literal 2/3 binary64))) (.f64 #s(literal -1 binary64) (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (*.f64 eps eps))))
(+.f64 (.f64 (.f64 (.f64 (neg.f64 eps) eps) eps) (/.f64 #s(literal 2 binary64) (.f64 eps eps))) (.f64 (.f64 (*.f64 (neg.f64 eps) eps) eps) #s(literal 2/3 binary64)))
(+.f64 (.f64 (.f64 (.f64 eps eps) eps) #s(literal -2/3 binary64)) (neg.f64 (.f64 (.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) eps) (*.f64 eps eps))))
(/.f64 (-.f64 #s(literal 8/27 binary64) (pow.f64 (/.f64 #s(literal -2 binary64) (.f64 eps eps)) #s(literal 3 binary64))) (+.f64 #s(literal 4/9 binary64) (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (.f64 #s(literal 2/3 binary64) (/.f64 #s(literal -2 binary64) (.f64 eps eps))))))
(/.f64 (neg.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64))) (neg.f64 (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))))
(/.f64 (neg.f64 (-.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal -8/27 binary64))) (neg.f64 (+.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal -4/3 binary64) (.f64 eps eps)))))
(/.f64 (neg.f64 (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)))) (neg.f64 (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps)))))
(/.f64 (neg.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64))) (neg.f64 (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64))))
(/.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(/.f64 (-.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)))
(/.f64 (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps))) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps))))
(/.f64 (-.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal -8/27 binary64)) (+.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal -4/3 binary64) (.f64 eps eps))))
(/.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64)) (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (-.f64 #s(literal 4/9 binary64) (/.f64 #s(literal 4/3 binary64) (.f64 eps eps)))))
(/.f64 (+.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) #s(literal 8/27 binary64)) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64)))
(fma.f64 (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 (/.f64 #s(literal -2 binary64) eps) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 1 binary64) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2 binary64) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 2 binary64) eps) (/.f64 #s(literal 1 binary64) eps) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 2 binary64) eps) #s(literal 2/3 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) eps) (-.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) eps) (+.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64)))
(fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(-.f64 (/.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64))) (/.f64 #s(literal 4/9 binary64) (+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))))
(-.f64 (/.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) (+.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal -4/3 binary64) (.f64 eps eps)))) (/.f64 #s(literal -8/27 binary64) (+.f64 (+.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) #s(literal 4/9 binary64)) (/.f64 #s(literal -4/3 binary64) (.f64 eps eps)))))
(-.f64 (/.f64 #s(literal 4/9 binary64) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (.f64 eps eps)))) (/.f64 (/.f64 #s(literal 4 binary64) (.f64 (.f64 (.f64 eps eps) eps) eps)) (-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))))
(-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64))
(-.f64 #s(literal 2/3 binary64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps))) #s(literal 2 binary64)))
(-.f64 #s(literal 2/3 binary64) (/.f64 #s(literal -2 binary64) (*.f64 eps eps)))
(+.f64 (+.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
(+.f64 (/.f64 #s(literal 8/27 binary64) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64))) (/.f64 (/.f64 (/.f64 #s(literal 8 binary64) (.f64 (.f64 eps eps) eps)) (.f64 (.f64 eps eps) eps)) (fma.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)) #s(literal 4/9 binary64))))
(+.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal 2/3 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))
(+.f64 #s(literal 2/3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))
(*.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)))
(*.f64 (/.f64 #s(literal -2 binary64) eps) (/.f64 #s(literal 1 binary64) (neg.f64 eps)))
(.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 2 binary64))
(*.f64 (/.f64 #s(literal 2 binary64) eps) (/.f64 #s(literal 1 binary64) eps))
(*.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 2 binary64) eps))
(.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))))
(/.f64 (+.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps))))))
(/.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 eps)) (fabs.f64 eps))
(/.f64 #s(literal -4 binary64) (.f64 (.f64 (neg.f64 eps) eps) #s(literal 2 binary64)))
(/.f64 #s(literal -4 binary64) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 eps) eps)))
(/.f64 (fma.f64 eps eps (.f64 eps eps)) (.f64 (.f64 (.f64 eps eps) eps) eps))
(/.f64 (fma.f64 (neg.f64 eps) eps (.f64 (.f64 (neg.f64 eps) eps) #s(literal 1 binary64))) (.f64 (.f64 eps eps) (*.f64 (neg.f64 eps) eps)))
(/.f64 (fma.f64 #s(literal 1 binary64) (.f64 (neg.f64 eps) eps) (.f64 (neg.f64 eps) eps)) (.f64 (.f64 eps eps) (*.f64 (neg.f64 eps) eps)))
(/.f64 (/.f64 #s(literal -2 binary64) eps) (neg.f64 eps))
(/.f64 (/.f64 #s(literal -2 binary64) (*.f64 eps eps)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 4 binary64) (*.f64 eps eps)) #s(literal 2 binary64))
(/.f64 #s(literal 4 binary64) (.f64 (.f64 eps eps) #s(literal 2 binary64)))
(/.f64 #s(literal 4 binary64) (.f64 #s(literal 2 binary64) (.f64 eps eps)))
(/.f64 (/.f64 #s(literal 2 binary64) eps) eps)
(/.f64 #s(literal 2 binary64) (*.f64 eps eps))
(/.f64 #s(literal -2 binary64) (*.f64 (neg.f64 eps) eps))
(neg.f64 (/.f64 #s(literal -2 binary64) (*.f64 eps eps)))
(fma.f64 (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (pow.f64 (.f64 eps eps) #s(literal -1/2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (fabs.f64 eps)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (neg.f64 eps)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (pow.f64 (fabs.f64 eps) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (pow.f64 (neg.f64 eps) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (*.f64 eps eps)) #s(literal 1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) eps) (/.f64 #s(literal 1 binary64) (*.f64 eps eps)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 1 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (.f64 eps eps)) (/.f64 #s(literal 1 binary64) (.f64 eps eps)))
#s(literal 2 binary64)
(.f64 (.f64 (neg.f64 eps) #s(literal -1 binary64)) eps)
(*.f64 (neg.f64 (fabs.f64 eps)) (neg.f64 (fabs.f64 eps)))
(*.f64 (fabs.f64 (fabs.f64 eps)) (fabs.f64 (fabs.f64 eps)))
(*.f64 (exp.f64 (log.f64 eps)) (exp.f64 (log.f64 eps)))
(*.f64 (fabs.f64 eps) (fabs.f64 eps))
(.f64 #s(literal -1 binary64) (.f64 (neg.f64 eps) eps))
(.f64 (.f64 eps eps) #s(literal 1 binary64))
(.f64 (.f64 (neg.f64 eps) eps) #s(literal -1 binary64))
(*.f64 (neg.f64 eps) (neg.f64 eps))
(.f64 eps (.f64 #s(literal -1 binary64) (neg.f64 eps)))
(*.f64 eps eps)
(.f64 #s(literal 1 binary64) (.f64 eps eps))
(pow.f64 (exp.f64 (log.f64 eps)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 eps) #s(literal 2 binary64))
(pow.f64 (*.f64 eps eps) #s(literal 1 binary64))
(pow.f64 (neg.f64 eps) #s(literal 2 binary64))
(pow.f64 eps #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 eps) eps))
(fabs.f64 (*.f64 eps eps))
(exp.f64 (*.f64 (log.f64 eps) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 eps) #s(literal 2 binary64))))
eps
#s(literal -2/3 binary64)
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(.f64 (.f64 (neg.f64 eps) (fabs.f64 eps)) (fabs.f64 eps))
(*.f64 (neg.f64 (pow.f64 eps #s(literal 3/2 binary64))) (pow.f64 eps #s(literal 3/2 binary64)))
(.f64 (pow.f64 eps #s(literal 3/2 binary64)) (.f64 (pow.f64 eps #s(literal 3/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 eps #s(literal 3/2 binary64)) (neg.f64 (pow.f64 eps #s(literal 3/2 binary64))))
(.f64 (.f64 (*.f64 eps eps) eps) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 eps eps) eps))
(.f64 (.f64 eps eps) (neg.f64 eps))
(.f64 (.f64 (neg.f64 eps) eps) eps)
(.f64 (neg.f64 eps) (.f64 eps eps))
(.f64 eps (.f64 (neg.f64 eps) eps))
(pow.f64 (neg.f64 eps) #s(literal 3 binary64))
(neg.f64 (.f64 (.f64 (*.f64 eps eps) eps) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (*.f64 eps eps) eps)))
(neg.f64 (.f64 (.f64 eps eps) eps))
(.f64 (.f64 #s(literal -1 binary64) (fabs.f64 eps)) (fabs.f64 eps))
(.f64 (.f64 #s(literal -1 binary64) (neg.f64 eps)) (neg.f64 eps))
(*.f64 (neg.f64 (fabs.f64 eps)) (fabs.f64 eps))
(.f64 (fabs.f64 eps) (.f64 (fabs.f64 eps) #s(literal -1 binary64)))
(*.f64 (fabs.f64 eps) (neg.f64 (fabs.f64 eps)))
(.f64 #s(literal -1 binary64) (.f64 eps eps))
(.f64 (.f64 eps eps) #s(literal -1 binary64))
(.f64 (neg.f64 eps) (.f64 (neg.f64 eps) #s(literal -1 binary64)))
(*.f64 (neg.f64 eps) eps)
(*.f64 eps (neg.f64 eps))
(neg.f64 (*.f64 eps eps))
(*.f64 #s(literal -1 binary64) eps)
(*.f64 eps #s(literal -1 binary64))
(neg.f64 eps)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 #s(literal -2/3 binary64) eps) eps #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (*.f64 eps eps) #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (fma.f64 (.f64 #s(literal -2/3 binary64) eps) eps #s(literal -2 binary64)) eps))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (*.f64 #s(literal -2 binary64) eps))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (.f64 (fma.f64 (.f64 #s(literal -2/3 binary64) eps) eps #s(literal -2 binary64)) eps))
#s(approx (- (/ 2 (* eps eps)) -2/3) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))
#s(approx (- (/ 2 (* eps eps)) -2/3) (/.f64 (fma.f64 #s(literal 2/3 binary64) (.f64 eps eps) #s(literal 2 binary64)) (.f64 eps eps)))
#s(approx (/ 2 (* eps eps)) (/.f64 #s(literal 2 binary64) (*.f64 eps eps)))
#s(approx (* eps eps) (*.f64 eps eps))
#s(approx eps eps)
#s(approx (* (* (neg eps) eps) eps) (.f64 (.f64 (neg.f64 eps) eps) eps))
#s(approx (* (neg eps) eps) (*.f64 (neg.f64 eps) eps))
#s(approx (neg eps) (neg.f64 eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (log.f64 #s(literal -1 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (/.f64 #s(literal 2 binary64) eps)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
#s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (.f64 (.f64 (*.f64 eps eps) eps) #s(literal -2/3 binary64)))
#s(approx (* (- (/ 2 (* eps eps)) -2/3) (* (* (neg eps) eps) eps)) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps)))
#s(approx (- (/ 2 (* eps eps)) -2/3) #s(literal 2/3 binary64))
#s(approx (- (/ 2 (* eps eps)) -2/3) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (-.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (*.f64 eps eps) eps))) (/.f64 #s(literal 2 binary64) eps)))

eval13.0ms (0.4%)

Memory: 19.8MiB live, 19.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 948 to 973 computations (50.1% saved)

prune9.0ms (0.3%)

Memory

-34.1MiB live, 10.1MiB allocated; 5ms collecting garbage

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	189	6	195

Accuracy

100.0%

Counts

195 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	8.4%	(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
✓	8.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
✓	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))
✓	99.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
✓	36.2%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))

Compiler

Compiled 160 to 131 computations (18.1% saved)

regimes7.0ms (0.2%)

Memory

9.7MiB live, 9.7MiB allocated; 0ms collecting garbage

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))

Outputs

#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 (fma.f64 (*.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 binary64)) (*.f64 eps eps) #s(literal -2/3 binary64)) eps) eps #s(literal -2 binary64)) eps))

Calls

3 calls:

3.0ms	eps
2.0ms	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
2.0ms	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))

Results

Accuracy	Segments	Branch
99.8%	1	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`
99.8%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
99.8%	1	`eps`

Compiler

Compiled 14 to 12 computations (14.3% saved)

regimes6.0ms (0.2%)

Memory

10.3MiB live, 10.3MiB allocated; 0ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (-.f64 eps #s(literal -1 binary64))))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (-.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal -2/3 binary64)) (.f64 (.f64 (neg.f64 eps) eps) eps))))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) #s(approx (* (+ (* (* eps eps) -2/3) -2) eps) (.f64 (.f64 (neg.f64 eps) (.f64 eps eps)) (+.f64 (/.f64 #s(literal 2 binary64) (.f64 eps eps)) #s(literal 2/3 binary64)))))
(-.f64 (log.f64 (-.f64 #s(literal 1 binary64) eps)) (log.f64 (-.f64 eps #s(literal -1 binary64))))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))

Calls

3 calls:

2.0ms	eps
2.0ms	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
2.0ms	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))

Results

Accuracy	Segments	Branch
99.3%	1	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`
99.3%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
99.3%	1	`eps`

Compiler

Compiled 14 to 12 computations (14.3% saved)

regimes3.0ms (0.1%)

Memory

6.2MiB live, 6.2MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))

Calls

3 calls:

1.0ms	eps
1.0ms	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
1.0ms	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))

Results

Accuracy	Segments	Branch
98.8%	1	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`
98.8%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
98.8%	1	`eps`

Compiler

Compiled 14 to 12 computations (14.3% saved)

derivations68.0ms (1.9%)

Memory

4.6MiB live, 51.6MiB allocated; 1ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess28.0ms (0.8%)

Memory: -11.2MiB live, 40.9MiB allocated; 7ms collecting garbage
Compiler: Compiled 44 to 33 computations (25% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze3.0ms (0.1%)

sample2.5s (71%)

preprocess56.0ms (1.6%)

series4.0ms (0.1%)

rewrite197.0ms (5.6%)

eval9.0ms (0.2%)

prune5.0ms (0.1%)

series12.0ms (0.3%)

rewrite165.0ms (4.7%)

eval36.0ms (1%)

prune5.0ms (0.2%)

series6.0ms (0.2%)

rewrite131.0ms (3.8%)

eval14.0ms (0.4%)

prune83.0ms (2.4%)

series6.0ms (0.2%)

rewrite151.0ms (4.3%)

eval13.0ms (0.4%)

prune9.0ms (0.3%)

regimes7.0ms (0.2%)

regimes6.0ms (0.2%)

regimes3.0ms (0.1%)

derivations68.0ms (1.9%)

preprocess28.0ms (0.8%)

end0.0ms (0%)

Profiling