Metrics for logq (problem 3.4.3)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze3.0ms (0%)

Memory

3.6MiB live, 3.6MiB 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)

sample2.8s (44.4%)

Memory

44.7MiB live, 2 565.6MiB allocated

Samples

1.3s	3 090×	2	valid
1.1s	4 870×	1	valid
28.0ms	296×	0	valid

Precisions

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

ival-log: 1.4s (63.4% of total)

adjust: 236.0ms (11% of total)

ival-div: 190.0ms (8.9% of total)

ival-sub: 138.0ms (6.5% of total)

ival-add: 95.0ms (4.4% of total)

ival-fabs: 81.0ms (3.8% of total)

ival-<: 32.0ms (1.5% of total)

exact: 6.0ms (0.3% of total)

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

Bogosity

explain204.0ms (3.3%)

Memory

0.7MiB live, 244.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
253	-	-	`(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	253	1

Confusion

	Predicted +	Predicted -
+	253	1
-	0	2

Precision

1.0

Recall

0.9960629921259843

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	253	1	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	3
1	253

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

76.0ms	196×	2	valid
71.0ms	300×	1	valid
1.0ms	16×	0	valid

Compiler

Compiled 58 to 22 computations (62.1% saved)

Precisions

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

ival-log: 68.0ms (64.4% of total)

adjust: 12.0ms (11.4% of total)

ival-div: 11.0ms (10.4% of total)

ival-add: 7.0ms (6.6% of total)

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

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

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

exact: 0.0ms (0% of total)

preprocess99.0ms (1.6%)

Memory

-30.9MiB live, 8.0MiB allocated

Algorithm

1×	egg-herbie

Rules

208×	`lower-fma.f64`
208×	`lower-fma.f32`
128×	`lower-*.f64`
128×	`lower-*.f32`
84×	`times-frac`

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.6MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify13.0ms (0.2%)

Memory

2.5MiB live, 2.5MiB 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)))

Rules

208×	`lower-fma.f64`
208×	`lower-fma.f32`
128×	`lower-*.f64`
128×	`lower-*.f32`
78×	`div-sub`

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

localize74.0ms (1.2%)

Memory

33.7MiB live, 68.8MiB 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.015625	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
accuracy	58.59250610849676	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Samples

41.0ms	98×	2	valid
24.0ms	150×	1	valid
0.0ms	8×	0	valid

Compiler

Compiled 25 to 8 computations (68% saved)

Precisions

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

ival-log: 36.0ms (66.2% of total)

adjust: 6.0ms (11% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series7.0ms (0.1%)

Memory

-35.9MiB live, 8.0MiB 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
4.0ms	eps	@	-inf	((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) (+ 1 eps))
1.0ms	eps	@	0	((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) (+ 1 eps))
1.0ms	eps	@	inf	((log (/ (- 1 eps) (+ 1 eps))) (/ (- 1 eps) (+ 1 eps)) (- 1 eps) (+ 1 eps))

Time

Variable

Point

Expression

4.0ms

eps

-inf

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

1.0ms

eps

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

1.0ms

eps

inf

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

simplify124.0ms (2%)

Memory

11.7MiB live, 83.5MiB allocated

Algorithm

1×	egg-herbie

Rules

8 508×	`lower-fma.f64`
8 508×	`lower-fma.f32`
3 488×	`lower-*.f64`
3 488×	`lower-*.f32`
1 504×	`lower-+.f64`

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)

rewrite130.0ms (2.1%)

Memory

-11.7MiB live, 124.3MiB allocated

Rules

2 220×	`lower-fma.f64`
2 220×	`lower-fma.f32`
2 058×	`lower-*.f64`
2 058×	`lower-*.f32`
1 842×	`lower-/.f64`

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>

eval52.0ms (0.8%)

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

prune65.0ms (1%)

Memory

14.6MiB live, 53.8MiB 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.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
▶	99.7%	#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.6%	#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.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
▶	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
▶	5.2%	#s(literal 0 binary64)

Compiler

Compiled 102 to 72 computations (29.4% saved)

simplify365.0ms (5.9%)

Memory

-6.0MiB live, 234.4MiB 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))

Rules

30 264×	`lower-fma.f32`
30 252×	`lower-fma.f64`
3 096×	`lower-+.f64`
3 096×	`lower-+.f32`
2 752×	`lower-*.f32`

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	660	200
5	969	200
6	1022	200
7	1265	200
8	1638	200
9	1978	200
10	2187	200
11	4276	200
12	6107	200
13	6729	200
14	6772	200
15	6772	200
16	6794	200
17	6870	200
18	6870	200
19	6870	200
0	8012	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)

localize243.0ms (3.9%)

Memory

-6.3MiB live, 333.5MiB allocated

Localize:

Found 14 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 eps eps)
accuracy	0.00390625	(.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.01171875	(fma.f64 #s(literal -2/5 binary64) (*.f64 eps eps) #s(literal -2/3 binary64))
accuracy	0.2771408780698812	#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.00390625	(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps)
accuracy	0.42204244295725135	#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.7403669154854554	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
accuracy	0.00390625	(.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.0078125	(fma.f64 #s(literal -2/7 binary64) (*.f64 eps eps) #s(literal -2/5 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.1962351061417824	#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

135.0ms	98×	2	valid
82.0ms	150×	1	valid
4.0ms	8×	0	valid

Compiler

Compiled 172 to 30 computations (82.6% saved)

Precisions

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

adjust: 59.0ms (34.1% of total)

ival-log: 35.0ms (20.2% of total)

ival-mult: 32.0ms (18.5% of total)

ival-add: 21.0ms (12.1% of total)

const: 16.0ms (9.3% of total)

ival-div: 5.0ms (2.9% 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)

series16.0ms (0.3%)

Memory

-19.2MiB live, 19.5MiB 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

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

simplify146.0ms (2.3%)

Memory

7.8MiB live, 119.8MiB allocated

Algorithm

1×	egg-herbie

Rules

11 532×	`lower-fma.f64`
11 532×	`lower-fma.f32`
3 786×	`lower-*.f64`
3 786×	`lower-*.f32`
2 888×	`lower-+.f64`

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

rewrite151.0ms (2.4%)

Memory

9.6MiB live, 131.3MiB allocated

Rules

4 752×	`lower-/.f64`
4 752×	`lower-/.f32`
4 638×	`lower-*.f32`
4 628×	`lower-*.f64`
3 698×	`lower-fma.f32`

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>

eval83.0ms (1.3%)

Memory: 8.7MiB live, 120.9MiB allocated
Compiler: Compiled 16 471 to 2 141 computations (87% saved)

prune71.0ms (1.1%)

Memory

6.2MiB live, 89.8MiB 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.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
▶	99.3%	#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.7%	#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.6%	#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.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
✓	5.2%	#s(literal 0 binary64)

Compiler

Compiled 66 to 47 computations (28.8% saved)

simplify37.0ms (0.6%)

Memory

-22.8MiB live, 16.1MiB 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))

Rules

632×	`lower-fma.f32`
630×	`lower-fma.f64`
408×	`lower-*.f32`
402×	`lower-*.f64`
238×	`associate-r`

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	701	41
11	1036	41
12	1128	41
13	1165	41
0	1165	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)

localize140.0ms (2.3%)

Memory

-11.7MiB live, 110.1MiB 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.1640625	(.f64 #s(literal -2/3 binary64) (.f64 eps eps))
accuracy	0.42204244295725135	#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)))

Samples

52.0ms	150×	1	valid
50.0ms	98×	2	valid
1.0ms	8×	0	valid

Compiler

Compiled 35 to 15 computations (57.1% saved)

Precisions

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

ival-log: 39.0ms (44.2% of total)

adjust: 25.0ms (28.3% of total)

ival-mult: 6.0ms (6.8% of total)

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

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

const: 4.0ms (4.5% of total)

ival-add: 4.0ms (4.5% 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

5.5MiB live, 5.5MiB 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))

simplify162.0ms (2.6%)

Memory

19.3MiB live, 136.2MiB allocated

Algorithm

1×	egg-herbie

Rules

14 538×	`lower-fma.f64`
14 538×	`lower-fma.f32`
2 572×	`lower-*.f64`
2 572×	`lower-*.f32`
2 206×	`lower-+.f64`

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

rewrite166.0ms (2.7%)

Memory

5.5MiB live, 197.9MiB allocated

Rules

7 164×	`lower-fma.f32`
7 162×	`lower-fma.f64`
4 478×	`lower-*.f32`
4 472×	`lower-*.f64`
3 086×	`lower-/.f64`

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>

eval22.0ms (0.4%)

Memory: 0.9MiB live, 39.2MiB allocated
Compiler: Compiled 3 959 to 534 computations (86.5% saved)

prune20.0ms (0.3%)

Memory

3.2MiB live, 42.3MiB 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.4%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))
✓	99.3%	#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.7%	#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.6%	#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.3%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #s(literal -2 binary64)) eps))
✓	98.8%	#s(approx (log (/ (- 1 eps) (+ 1 eps))) (*.f64 eps #s(literal -2 binary64)))
✓	5.2%	#s(literal 0 binary64)

Compiler

Compiled 132 to 77 computations (41.7% saved)

regimes7.0ms (0.1%)

Memory

14.9MiB live, 14.9MiB 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.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)

regimes10.0ms (0.2%)

Memory

-32.7MiB live, 11.4MiB 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:

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

Results

Accuracy	Segments	Branch
99.6%	1	`eps`
99.6%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
99.6%	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.0MiB live, 7.0MiB 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)))
1.0ms	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))

Results

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

6.2MiB live, 6.2MiB 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	(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.3%	1	`eps`
99.3%	1	`(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))`
99.3%	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

5.2MiB live, 5.2MiB 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:

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

Results

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

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

Compiler

Compiled 16 to 12 computations (25% saved)

simplify23.0ms (0.4%)

Memory

-11.6MiB live, 27.4MiB allocated

Algorithm

1×	egg-herbie

Rules

10×	`-commutative-binary64-.f64`
2×	`1-exp-binary32-exp.f32`
2×	`1-exp-binary64-exp.f64`

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)

soundness936.0ms (15.1%)

Memory

18.4MiB live, 290.0MiB allocated

Rules

8 508×	`lower-fma.f64`
8 508×	`lower-fma.f32`
4 752×	`lower-/.f64`
4 752×	`lower-/.f32`
4 638×	`lower-*.f32`

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	89	295
1	220	282
2	488	274
3	1298	270
4	2829	270
5	6030	270
0	8583	258
0	25	179
0	42	179
1	177	179
2	1283	179
0	8279	171

Stop Event

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

Compiler

Compiled 99 to 55 computations (44.4% saved)

preprocess53.0ms (0.9%)

Memory: -16.2MiB live, 98.1MiB allocated
Compiler: Compiled 144 to 70 computations (51.4% saved)

end0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB 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%)

sample2.8s (44.4%)

explain204.0ms (3.3%)

preprocess99.0ms (1.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify13.0ms (0.2%)

localize74.0ms (1.2%)

series7.0ms (0.1%)

simplify124.0ms (2%)

rewrite130.0ms (2.1%)

eval52.0ms (0.8%)

prune65.0ms (1%)

simplify365.0ms (5.9%)

localize243.0ms (3.9%)

series16.0ms (0.3%)

simplify146.0ms (2.3%)

rewrite151.0ms (2.4%)

eval83.0ms (1.3%)

prune71.0ms (1.1%)

simplify37.0ms (0.6%)

localize140.0ms (2.3%)

series5.0ms (0.1%)

simplify162.0ms (2.6%)

rewrite166.0ms (2.7%)

eval22.0ms (0.4%)

prune20.0ms (0.3%)

regimes7.0ms (0.1%)

regimes10.0ms (0.2%)

regimes5.0ms (0.1%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

simplify23.0ms (0.4%)

soundness936.0ms (15.1%)

preprocess53.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