Metrics for logq (problem 3.4.3)

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

analyze3.0ms (0%)

Memory

5.0MiB live, 5.0MiB allocated

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)

sample3.0s (46.8%)

Memory

28.3MiB live, 3 157.9MiB allocated

Samples

1.6s	3 142×	2	valid
963.0ms	4 829×	1	valid
19.0ms	285×	0	valid

Precisions

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

ival-log: 1.5s (63.7% of total)

adjust: 225.0ms (9.7% of total)

ival-add: 190.0ms (8.2% of total)

ival-div: 168.0ms (7.3% of total)

ival-sub: 153.0ms (6.6% of total)

ival-fabs: 63.0ms (2.7% of total)

ival-<: 29.0ms (1.3% of total)

exact: 7.0ms (0.3% of total)

ival-assert: 4.0ms (0.2% of total)

Bogosity

explain377.0ms (5.8%)

Memory

34.8MiB live, 273.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
255	-	-	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
0	-	-	`(+.f64 #s(literal 1 binary64) eps)`
0	-	-	`eps`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`
0	-	-	`(-.f64 #s(literal 1 binary64) eps)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`	sensitivity	255	0

Confusion

	Predicted +	Predicted -
+	255	0
-	0	1

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	255	0	0
-	0	0	1

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	1
1	255

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

206.0ms	286×	1	valid
83.0ms	208×	2	valid
1.0ms	18×	0	valid

Compiler

Compiled 127 to 62 computations (51.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 131.0ms

ival-log: 73.0ms (55.9% of total)

ival-add: 26.0ms (19.9% of total)

adjust: 12.0ms (9.2% of total)

ival-div: 9.0ms (6.9% of total)

ival-sub: 8.0ms (6.1% of total)

ival-true: 1.0ms (0.8% of total)

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

exact: 0.0ms (0% of total)

preprocess77.0ms (1.2%)

Memory

-21.4MiB live, 14.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	158	17
5	326	17
6	593	17
7	616	17
0	6	8
0	10	8
1	18	8
2	24	8
3	35	8
4	58	8
5	92	8
6	129	8
7	202	8
8	322	8
9	492	8
10	528	8
0	528	8

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify12.0ms (0.2%)

Memory

4.6MiB live, 4.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 #s(literal 1 binary64) eps)
cost-diff	0	(-.f64 #s(literal 1 binary64) eps)
cost-diff	0	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
cost-diff	0	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	23
0	10	23
1	18	23
2	24	23
3	35	23
4	58	23
5	92	23
6	129	23
7	202	23
8	322	23
9	492	23
10	528	23
0	528	23

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

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
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
(log.f64 (/.f64 (-.f64 eps #s(literal 1 binary64)) (-.f64 #s(literal -1 binary64) eps)))
(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
(/.f64 (-.f64 eps #s(literal 1 binary64)) (-.f64 #s(literal -1 binary64) eps))
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
eps
(+.f64 #s(literal 1 binary64) eps)
(-.f64 eps #s(literal -1 binary64))

localize118.0ms (1.8%)

Memory

-1.7MiB live, 79.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 #s(literal 1 binary64) eps)
accuracy	0	(+.f64 #s(literal 1 binary64) eps)
accuracy	0.0078125	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
accuracy	58.759523899470075	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Samples

66.0ms	104×	2	valid
44.0ms	143×	1	valid
1.0ms	9×	0	valid

Compiler

Compiled 48 to 14 computations (70.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 72.0ms

ival-log: 34.0ms (47.2% of total)

ival-div: 22.0ms (30.5% of total)

adjust: 9.0ms (12.5% of total)

ival-sub: 4.0ms (5.5% of total)

ival-add: 3.0ms (4.2% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory

3.4MiB live, 3.4MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())
#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())
#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())
#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())

Outputs
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -2 eps)) (taylor 0 eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* eps (- (* 2 eps) 2))) (taylor 0 eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* eps (- (* eps (+ 2 (* -2 eps))) 2))) (taylor 0 eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 eps)) (taylor 0 eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 eps)) (taylor 0 eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 eps)) (taylor 0 eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (+ 1 eps) (taylor 0 eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (+ 1 eps) (taylor 0 eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (+ 1 eps) (taylor 0 eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (- (* 2 (/ 1 eps)) 1) (taylor inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (- (* 2 (/ 1 eps)) (+ 1 (/ 2 (pow eps 2)))) (taylor inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* 2 (/ 1 eps)) (* 2 (/ 1 (pow eps 3)))) (+ 1 (/ 2 (pow eps 2)))) (taylor inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 eps) (taylor inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (/ 1 eps) 1)) (taylor inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (/ 1 eps) 1)) (taylor inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (/ 1 eps) 1)) (taylor inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt eps (taylor inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (/ 1 eps))) (taylor inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (/ 1 eps))) (taylor inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (/ 1 eps))) (taylor inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor -inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor -inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor -inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps))) (taylor -inf eps) (#s(alt (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (- (* 2 (/ 1 eps)) 1) (taylor -inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 1) (taylor -inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (/ (- (* -1 (/ (- (* 2 (/ 1 eps)) 2) eps)) 2) eps)) 1) (taylor -inf eps) (#s(alt (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 eps) (taylor -inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- 1 (/ 1 eps)))) (taylor -inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- 1 (/ 1 eps)))) (taylor -inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* eps (- 1 (/ 1 eps)))) (taylor -inf eps) (#s(alt (-.f64 #s(literal 1 binary64) eps) (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt eps (taylor -inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (/ 1 eps))) (taylor -inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (/ 1 eps))) (taylor -inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (+ 1 (/ 1 eps))) (taylor -inf eps) (#s(alt (+.f64 #s(literal 1 binary64) eps) (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

eps

((log (/ (- 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.0ms

eps

inf

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

simplify132.0ms (2.1%)

Memory

-11.1MiB live, 65.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	89	295
1	220	282
2	488	274
3	1298	270
4	2829	270
5	6030	270
0	8583	258

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 46

Calls

Call 1

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

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

rewrite183.0ms (2.8%)

Memory

-1.7MiB live, 78.5MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	6	21
0	10	21
1	44	21
2	328	21
3	4559	8
0	10096	8

Stop Event

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

Counts

4 → 304

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)
(+.f64 #s(literal 1 binary64) eps)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval51.0ms (0.8%)

Memory: 13.2MiB live, 49.8MiB allocated
Compiler: Compiled 7 265 to 1 010 computations (86.1% saved)

prune8.0ms (0.1%)

Memory

19.6MiB live, 19.6MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	345	5	350
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	345	6	351

Accuracy

100.0%

Counts

351 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	8.2%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
▶	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
▶	99.7%	#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))
▶	99.7%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
▶	99.1%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
▶	5.4%	#s(literal 0 binary64)

Compiler

Compiled 102 to 72 computations (29.4% saved)

simplify353.0ms (5.5%)

Memory

-3.9MiB live, 187.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 #s(literal -2/5 binary64) (*.f64 eps eps) #s(literal -2/3 binary64))
cost-diff	0	(fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64))
cost-diff	0	(.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)
cost-diff	0	#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))
cost-diff	0	(*.f64 eps eps)
cost-diff	0	(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
cost-diff	0	(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
cost-diff	0	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
cost-diff	0	(*.f64 eps #s(literal -2 binary64))
cost-diff	0	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
cost-diff	0	(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))
cost-diff	0	(fma.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)) (*.f64 eps eps) #s(literal -2 binary64))
cost-diff	0	(.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)
cost-diff	0	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	200
0	43	200
1	78	200
2	138	200
3	294	200
4	656	200
5	981	200
6	1037	200
7	1280	200
8	1644	200
9	1982	200
10	2195	200
11	4236	200
12	6067	200
13	6659	200
14	6702	200
15	6702	200
16	6724	200
17	6800	200
18	6800	200
19	6800	200
0	8170	200

Stop Event

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

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
(.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)
(fma.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)) (*.f64 eps eps) #s(literal -2 binary64))
(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(literal 0 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
(*.f64 eps #s(literal -2 binary64))
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)
(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
(*.f64 eps eps)
eps
#s(literal -2/3 binary64)
#s(literal -2 binary64)
#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))
(.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)
(fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64))
(fma.f64 #s(literal -2/5 binary64) (*.f64 eps eps) #s(literal -2/3 binary64))
#s(literal -2/5 binary64)
(*.f64 eps eps)
eps
#s(literal -2/3 binary64)
#s(literal -2 binary64)

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (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)) eps))
(.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)
(.f64 (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)) eps)
(fma.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)) (*.f64 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 (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 (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 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 binary64))
(fma.f64 (*.f64 eps eps) #s(literal -2/7 binary64) #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(literal 0 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
(*.f64 eps #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) eps)
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))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 #s(literal -2/3 binary64) (.f64 eps eps) #s(literal -2 binary64)) eps))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(.f64 (fma.f64 #s(literal -2/3 binary64) (.f64 eps eps) #s(literal -2 binary64)) eps)
(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))
(*.f64 eps eps)
eps
#s(literal -2/3 binary64)
#s(literal -2 binary64)
#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))
(.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)
(fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64))
(fma.f64 #s(literal -2/5 binary64) (*.f64 eps eps) #s(literal -2/3 binary64))
#s(literal -2/5 binary64)
(*.f64 eps eps)
eps
#s(literal -2/3 binary64)
#s(literal -2 binary64)

localize232.0ms (3.6%)

Memory

-18.3MiB live, 342.5MiB allocated

Localize:

Found 14 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 eps eps)
accuracy	0.015625	(fma.f64 #s(literal -2/5 binary64) (*.f64 eps eps) #s(literal -2/3 binary64))
accuracy	0.015625	(.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)
accuracy	0.14799264408694704	#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))
accuracy	0	(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
accuracy	0	(*.f64 eps eps)
accuracy	0.01953125	(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
accuracy	0.19092394368156135	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
accuracy	0	(*.f64 eps #s(literal -2 binary64))
accuracy	0.5837911260467794	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
accuracy	0.01171875	(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))
accuracy	0.015625	(.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)
accuracy	0.01953125	(fma.f64 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 binary64))
accuracy	0.13165093250534285	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))

Samples

125.0ms	104×	2	valid
79.0ms	143×	1	valid
2.0ms	9×	0	valid

Compiler

Compiled 340 to 51 computations (85% saved)

Precisions

Click to see histograms. Total time spent on operations: 171.0ms

ival-div: 39.0ms (22.8% of total)

ival-log: 37.0ms (21.7% of total)

ival-mult: 29.0ms (17% of total)

const: 26.0ms (15.2% of total)

adjust: 19.0ms (11.1% of total)

ival-add: 16.0ms (9.4% of total)

ival-sub: 4.0ms (2.3% of total)

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

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

exact: 0.0ms (0% of total)

series14.0ms (0.2%)

Memory

28.9MiB live, 28.9MiB allocated

Counts

15 → 180

Calls

Call 1

Inputs
#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())
#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())
#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())
#s(alt (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)) (patch (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)) #<representation binary64>) () ())
#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())
#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())
#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())
#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())
#s(alt #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)) (patch #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)) #<representation binary64>) () ())
#s(alt (.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) (patch (.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) #<representation binary64>) () ())
#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())
#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())

Outputs
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt -2 (taylor 0 eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/3 (pow eps 2)) 2) (taylor 0 eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2) (taylor 0 eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2) (taylor 0 eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt -2/3 (taylor 0 eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/5 (pow eps 2)) 2/3) (taylor 0 eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3) (taylor 0 eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3) (taylor 0 eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt -2 (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/3 (pow eps 2)) 2) (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/3 (pow eps 2)) 2) (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/3 (pow eps 2)) 2) (taylor 0 eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt -2 (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/3 (pow eps 2)) 2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2) (taylor 0 eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt -2/3 (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/5 (pow eps 2)) 2/3) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/5 (pow eps 2)) 2/3) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/5 (pow eps 2)) 2/3) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt -2/5 (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/7 (pow eps 2)) 2/5) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/7 (pow eps 2)) 2/5) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* -2/7 (pow eps 2)) 2/5) (taylor 0 eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 7)) (taylor inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 7) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 7) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 7) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 6)) (taylor inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 6) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 4)) (taylor inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 4) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 3)) (taylor inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (* -2/5 (pow eps 5)) (taylor inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 5) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 5) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5)) (taylor inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 5) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5)) (taylor inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* -2/5 (pow eps 4)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 4) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5)) (taylor inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2/5 (pow eps 2)) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 2)) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 7)) (taylor -inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 7) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (* 2/5 (/ 1 (pow eps 2))))))) (taylor -inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (+ (* 2/5 (/ 1 (pow eps 2))) (* 2 (/ 1 (pow eps 6)))))))) (taylor -inf eps) (#s(alt (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) (patch (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 6)) (taylor -inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 6) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor -inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 6) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 4)) (taylor -inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 4) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor -inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7)) (taylor -inf eps) (#s(alt (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)) (patch (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)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 eps #s(literal -2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 eps #s(literal -2 binary64)) (patch (.f64 eps #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 3)) (taylor -inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) (patch (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) (patch (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor -inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor -inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor -inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps))) (taylor -inf eps) (#s(alt #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)) (patch #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)) #<representation binary64>) () ())) ())
#s(alt (* -2/5 (pow eps 5)) (taylor -inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 5) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 5) (+ 2/5 (+ (* 2/3 (/ 1 (pow eps 2))) (/ 2 (pow eps 4)))))) (taylor -inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 5) (+ 2/5 (+ (* 2/3 (/ 1 (pow eps 2))) (/ 2 (pow eps 4)))))) (taylor -inf eps) (#s(alt (.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) (patch (.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) #<representation binary64>) () ())) ())
#s(alt (* -2/5 (pow eps 4)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 4) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5)) (taylor -inf eps) (#s(alt (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) (patch (fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2/5 (pow eps 2)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (patch (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -2/7 (pow eps 2)) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (patch (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
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) (log (/ (- 1 eps) (+ 1 eps))) (* eps -2) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (* eps eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (+ (* -2/5 (* eps eps)) -2/3) (* eps eps)) -2) eps) (+ (* (+ (* -2/5 (* eps eps)) -2/3) (* eps eps)) -2) (+ (* -2/5 (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5))
2.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) (log (/ (- 1 eps) (+ 1 eps))) (* eps -2) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (* eps eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (+ (* -2/5 (* eps eps)) -2/3) (* eps eps)) -2) eps) (+ (* (+ (* -2/5 (* eps eps)) -2/3) (* eps eps)) -2) (+ (* -2/5 (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5))
2.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) (log (/ (- 1 eps) (+ 1 eps))) (* eps -2) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (* eps eps) -2/3) -2) eps) (+ (* (* eps eps) -2/3) -2) (* eps eps) (log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (+ (* -2/5 (* eps eps)) -2/3) (* eps eps)) -2) eps) (+ (* (+ (* -2/5 (* eps eps)) -2/3) (* eps eps)) -2) (+ (* -2/5 (* eps eps)) -2/3) (+ (* -2/7 (* eps eps)) -2/5))

Time

Variable

Point

Expression

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

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

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

simplify161.0ms (2.5%)

Memory

1.9MiB live, 198.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	121	1652
1	353	1636
2	1241	1610
3	3545	1606
4	7481	1606
0	8040	1519

Stop Event

1×	iter limit
1×	node limit

Counts

180 → 180

Calls

Call 1

Inputs
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))
-2
(- (* -2/3 (pow eps 2)) 2)
(- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)
(- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)
-2/3
(- (* -2/5 (pow eps 2)) 2/3)
(- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)
(- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))
(* -2 eps)
(* -2 eps)
(* -2 eps)
(* -2 eps)
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* -2/3 (pow eps 2)) 2))
-2
(- (* -2/3 (pow eps 2)) 2)
(- (* -2/3 (pow eps 2)) 2)
(- (* -2/3 (pow eps 2)) 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))
(* -2 eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
-2
(- (* -2/3 (pow eps 2)) 2)
(- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)
(- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)
-2/3
(- (* -2/5 (pow eps 2)) 2/3)
(- (* -2/5 (pow eps 2)) 2/3)
(- (* -2/5 (pow eps 2)) 2/3)
-2/5
(- (* -2/7 (pow eps 2)) 2/5)
(- (* -2/7 (pow eps 2)) 2/5)
(- (* -2/7 (pow eps 2)) 2/5)
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))
(* -2/7 (pow eps 7))
(* -1 (* (pow eps 7) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* (pow eps 7) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(* (pow eps 7) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -2/7 (pow eps 6))
(* -1 (* (pow eps 6) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* (pow eps 6) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(* (pow eps 6) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -2/7 (pow eps 4))
(* -1 (* (pow eps 4) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))
(* -2 eps)
(* -2 eps)
(* -2 eps)
(* -2 eps)
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))
(* -2/3 (pow eps 3))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -2/3 (pow eps 2))
(* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))
(* -2/5 (pow eps 5))
(* -1 (* (pow eps 5) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* (pow eps 5) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5))
(* (pow eps 5) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5))
(* -2/5 (pow eps 4))
(* -1 (* (pow eps 4) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5))
(* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5))
(* -2/5 (pow eps 2))
(* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -2/7 (pow eps 2))
(* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))
(* -2/7 (pow eps 7))
(* -1 (* (pow eps 7) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (* 2/5 (/ 1 (pow eps 2)))))))
(* -1 (* (pow eps 7) (+ 2/7 (+ (/ 2/3 (pow eps 4)) (+ (* 2/5 (/ 1 (pow eps 2))) (* 2 (/ 1 (pow eps 6))))))))
(* -2/7 (pow eps 6))
(* -1 (* (pow eps 6) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* (pow eps 6) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(* (pow eps 6) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 4))) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -2/7 (pow eps 4))
(* -1 (* (pow eps 4) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(* (pow eps 4) (- (* -1 (/ (+ 2/5 (* 2/3 (/ 1 (pow eps 2)))) (pow eps 2))) 2/7))
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))
(* -2 eps)
(* -2 eps)
(* -2 eps)
(* -2 eps)
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))
(* -2/3 (pow eps 3))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -2/3 (pow eps 2))
(* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(log -1)
(- (log -1) (* 2 (/ 1 eps)))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))
(* -2/5 (pow eps 5))
(* -1 (* (pow eps 5) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 5) (+ 2/5 (+ (* 2/3 (/ 1 (pow eps 2))) (/ 2 (pow eps 4))))))
(* -1 (* (pow eps 5) (+ 2/5 (+ (* 2/3 (/ 1 (pow eps 2))) (/ 2 (pow eps 4))))))
(* -2/5 (pow eps 4))
(* -1 (* (pow eps 4) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5))
(* (pow eps 4) (- (* -1 (/ (+ 2/3 (* 2 (/ 1 (pow eps 2)))) (pow eps 2))) 2/5))
(* -2/5 (pow eps 2))
(* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/5 (* 2/3 (/ 1 (pow eps 2))))))
(* -2/7 (pow eps 2))
(* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))
(* -1 (* (pow eps 2) (+ 2/7 (* 2/5 (/ 1 (pow eps 2))))))

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

rewrite146.0ms (2.3%)

Memory

-13.6MiB live, 178.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	179
0	42	179
1	177	179
2	1283	179
0	8279	171

Stop Event

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

Counts

15 → 361

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
(.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)
(fma.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)) (*.f64 eps eps) #s(literal -2 binary64))
(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))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
(*.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)
(fma.f64 (*.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64))
(*.f64 eps 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))
(.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)
(fma.f64 (fma.f64 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64))
(fma.f64 #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))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval97.0ms (1.5%)

Memory: 4.9MiB live, 121.2MiB allocated
Compiler: Compiled 16 471 to 2 144 computations (87% saved)

prune23.0ms (0.3%)

Memory

10.7MiB live, 49.3MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	650	1	651
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	650	7	657

Accuracy

100.0%

Counts

657 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	8.2%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
▶	99.7%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps)))
✓	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
✓	99.7%	#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))
✓	99.7%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	99.1%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
✓	5.4%	#s(literal 0 binary64)

Compiler

Compiled 66 to 47 computations (28.8% saved)

simplify32.0ms (0.5%)

Memory

-0.1MiB live, 38.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 eps eps)
cost-diff	0	(.f64 #s(literal -2/3 binary64) (.f64 eps eps))
cost-diff	0	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps)))
cost-diff	320	(fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
0	18	41
1	36	41
2	55	41
3	68	41
4	91	41
5	125	41
6	160	41
7	257	41
8	401	41
9	595	41
10	705	41
11	1048	41
12	1138	41
13	1170	41
0	1170	39

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) 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))
(fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(.f64 #s(literal -2/3 binary64) (.f64 eps eps))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
#s(literal -2/3 binary64)
(*.f64 eps eps)
eps
(*.f64 #s(literal -2 binary64) eps)
#s(literal -2 binary64)

localize105.0ms (1.6%)

Memory

-15.9MiB live, 107.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 eps eps)
accuracy	0	(*.f64 #s(literal -2 binary64) eps)
accuracy	0.19092394368156135	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps)))
accuracy	0.1953125	(.f64 #s(literal -2/3 binary64) (.f64 eps eps))

Samples

54.0ms	104×	2	valid
36.0ms	143×	1	valid
1.0ms	9×	0	valid

Compiler

Compiled 70 to 23 computations (67.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 77.0ms

ival-log: 38.0ms (49.3% of total)

ival-mult: 11.0ms (14.3% of total)

adjust: 9.0ms (11.7% of total)

ival-div: 5.0ms (6.5% of total)

ival-sub: 4.0ms (5.2% of total)

const: 4.0ms (5.2% of total)

ival-add: 4.0ms (5.2% of total)

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

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

exact: 0.0ms (0% of total)

series5.0ms (0.1%)

Memory

6.7MiB live, 6.7MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())
#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())
#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())
#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())
#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())

Outputs
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* -2/3 (pow eps 2)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2)) (taylor 0 eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor 0 eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor 0 eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor 0 eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor 0 eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor 0 eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor 0 eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 3)) (taylor inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps))) (taylor inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 3)) (taylor -inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2)))))) (taylor -inf eps) (#s(alt (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) (patch (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt (log -1) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (- (log -1) (* 2 (/ 1 eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps))) (taylor -inf eps) (#s(alt #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) (patch #s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (.f64 #s(literal -2 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor -inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor -inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor -inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (* -2/3 (pow eps 2)) (taylor -inf eps) (#s(alt (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) (patch (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (pow eps 2) (taylor -inf eps) (#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())
#s(alt (* -2 eps) (taylor -inf eps) (#s(alt (.f64 #s(literal -2 binary64) eps) (patch (.f64 #s(literal -2 binary64) eps) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

eps

inf

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

1.0ms

eps

-inf

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

1.0ms

eps

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

simplify183.0ms (2.8%)

Memory

21.5MiB live, 147.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	354
1	135	350
2	362	350
3	951	350
4	2177	350
5	4673	350
6	7571	350
0	8192	335

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

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

Outputs
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* eps (- (* -2/3 (pow eps 2)) 2))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* eps (- (* -2/3 (pow eps 2)) 2))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* eps (- (* -2/3 (pow eps 2)) 2))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* eps (- (* (pow eps 2) (- (* -2/5 (pow eps 2)) 2/3)) 2))
(.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)
(* eps (- (* (pow eps 2) (- (* (pow eps 2) (- (* -2/7 (pow eps 2)) 2/5)) 2/3)) 2))
(.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps)
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2/3 (pow eps 3))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal -2/3 binary64))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(log -1)
(log.f64 #s(literal -1 binary64))
(- (log -1) (* 2 (/ 1 eps)))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) eps))
(- (+ (log -1) (* -1 (/ (+ 2/3 (* 2/5 (/ 1 (pow eps 2)))) (pow eps 3)))) (* 2 (/ 1 eps)))
(-.f64 (/.f64 #s(literal -2 binary64) eps) (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (log.f64 #s(literal -1 binary64))))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2/3 (pow eps 3))
(*.f64 (pow.f64 eps #s(literal 3 binary64)) #s(literal -2/3 binary64))
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(* -1 (* (pow eps 3) (+ 2/3 (* 2 (/ 1 (pow eps 2))))))
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
(log -1)
(log.f64 #s(literal -1 binary64))
(- (log -1) (* 2 (/ 1 eps)))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps))
(+ (log -1) (* -1 (/ (+ 2 (* 2/3 (/ 1 (pow eps 2)))) eps)))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) eps))
(+ (log -1) (* -1 (/ (+ 2 (+ (/ 2/5 (pow eps 4)) (* 2/3 (/ 1 (pow eps 2))))) eps)))
(-.f64 (/.f64 #s(literal -2 binary64) eps) (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 2/5 binary64) (*.f64 eps eps)) #s(literal -2/3 binary64)) (pow.f64 eps #s(literal 3 binary64))) (log.f64 #s(literal -1 binary64))))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(* -2/3 (pow eps 2))
(.f64 (.f64 eps eps) #s(literal -2/3 binary64))
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))
(* -2 eps)
(*.f64 eps #s(literal -2 binary64))

rewrite175.0ms (2.7%)

Memory

-15.3MiB live, 135.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	40
0	18	38
1	75	38
2	549	38
3	6919	38
0	9021	34

Stop Event

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

Counts

5 → 127

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval25.0ms (0.4%)

Memory: -5.4MiB live, 32.2MiB allocated
Compiler: Compiled 3 959 to 534 computations (86.5% saved)

prune7.0ms (0.1%)

Memory

15.5MiB live, 15.5MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	187	0	187
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	187	7	194

Accuracy

100.0%

Counts

194 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	8.2%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
✓	99.7%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps)))
✓	99.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
✓	99.7%	#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))
✓	99.7%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	99.1%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
✓	5.4%	#s(literal 0 binary64)

Compiler

Compiled 132 to 77 computations (41.7% saved)

regimes7.0ms (0.1%)

Memory

11.0MiB live, 11.0MiB allocated

Counts

7 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 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))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #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 (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)) (.f64 eps eps) #s(literal -2 binary64)) eps))
(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Outputs

#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 (fma.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)) (*.f64 eps eps) #s(literal -2 binary64)) eps))

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes8.0ms (0.1%)

Memory

-29.0MiB live, 9.7MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 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))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #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))

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes6.0ms (0.1%)

Memory

8.8MiB live, 8.8MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(approx (log (/ (- 1 eps) (+ 1 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))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #s(literal -2 binary64) eps)))

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) eps (*.f64 #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.7%	1	`eps`
99.7%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
99.7%	1	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`

Compiler

Compiled 16 to 12 computations (25% saved)

regimes5.0ms (0.1%)

Memory

7.8MiB live, 7.8MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(literal 0 binary64)

#s(approx (log (/ (- 1 eps) (+ 1 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))

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
1.0ms	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
1.0ms	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes4.0ms (0.1%)

Memory

6.8MiB live, 6.8MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

3 calls:

2.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
99.1%	1	`eps`
99.1%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
99.1%	1	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`

Compiler

Compiled 16 to 12 computations (25% saved)

regimes4.0ms (0.1%)

Memory

6.2MiB live, 6.2MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)

Outputs
#s(literal 0 binary64)

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
5.4%	1	`eps`
5.4%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
5.4%	1	`(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))`

Compiler

Compiled 16 to 12 computations (25% saved)

simplify25.0ms (0.4%)

Memory

-9.8MiB live, 34.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	98
1	37	98

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 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))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) 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 eps #s(literal -2 binary64)))
#s(literal 0 binary64)

Outputs
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.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)) (.f64 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))) (fma.f64 (.f64 #s(literal -2/3 binary64) (.f64 eps eps)) 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 eps #s(literal -2 binary64)))
#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 #s(literal -2 binary64) eps))
#s(literal 0 binary64)

soundness790.0ms (12.2%)

Memory

-12.0MiB live, 306.8MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	6	21
0	10	21
1	44	21
2	328	21
3	4559	8
0	10096	8
0	25	179
0	42	179
1	177	179
2	1283	179
0	8279	171
0	89	295
1	220	282
2	488	274
3	1298	270
4	2829	270
5	6030	270
0	8583	258

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 99 to 55 computations (44.4% saved)

preprocess58.0ms (0.9%)

Memory: 5.7MiB live, 80.0MiB allocated
Compiler: Compiled 144 to 70 computations (51.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	158	17
5	326	17
6	593	17
7	616	17
0	6	8
0	10	8
1	18	8
2	24	8
3	35	8
4	58	8
5	92	8
6	129	8
7	202	8
8	322	8
9	492	8
10	528	8
0	528	8

Iter	Nodes	Cost
0	6	23
0	10	23
1	18	23
2	24	23
3	35	23
4	58	23
5	92	23
6	129	23
7	202	23
8	322	23
9	492	23
10	528	23
0	528	23

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	158	17
5	326	17
6	593	17
7	616	17
0	6	8
0	10	8
1	18	8
2	24	8
3	35	8
4	58	8
5	92	8
6	129	8
7	202	8
8	322	8
9	492	8
10	528	8
0	528	8

Iter	Nodes	Cost
0	6	23
0	10	23
1	18	23
2	24	23
3	35	23
4	58	23
5	92	23
6	129	23
7	202	23
8	322	23
9	492	23
10	528	23
0	528	23

start0.0ms (0%)

analyze3.0ms (0%)

sample3.0s (46.8%)

explain377.0ms (5.8%)

preprocess77.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify12.0ms (0.2%)

localize118.0ms (1.8%)

series4.0ms (0.1%)

simplify132.0ms (2.1%)

rewrite183.0ms (2.8%)

eval51.0ms (0.8%)

prune8.0ms (0.1%)

simplify353.0ms (5.5%)

localize232.0ms (3.6%)

series14.0ms (0.2%)

simplify161.0ms (2.5%)

rewrite146.0ms (2.3%)

eval97.0ms (1.5%)

prune23.0ms (0.3%)

simplify32.0ms (0.5%)

localize105.0ms (1.6%)

series5.0ms (0.1%)

simplify183.0ms (2.8%)

rewrite175.0ms (2.7%)

eval25.0ms (0.4%)

prune7.0ms (0.1%)

regimes7.0ms (0.1%)

regimes8.0ms (0.1%)

regimes6.0ms (0.1%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

simplify25.0ms (0.4%)

soundness790.0ms (12.2%)

preprocess58.0ms (0.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	158	17
5	326	17
6	593	17
7	616	17
0	6	8
0	10	8
1	18	8
2	24	8
3	35	8
4	58	8
5	92	8
6	129	8
7	202	8
8	322	8
9	492	8
10	528	8
0	528	8

Iter	Nodes	Cost
0	6	23
0	10	23
1	18	23
2	24	23
3	35	23
4	58	23
5	92	23
6	129	23
7	202	23
8	322	23
9	492	23
10	528	23
0	528	23