Metrics for logq (problem 3.4.3)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze3.0ms (0.1%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.0s (57.7%)

Memory

-118.4MiB live, 2 567.0MiB allocated

Samples

1.6s	3 140×	2	valid
906.0ms	4 829×	1	valid
25.0ms	287×	0	valid

Precisions

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

ival-log: 1.1s (52.3% of total)

ival-fabs: 362.0ms (16.5% of total)

adjust: 234.0ms (10.6% of total)

ival-sub: 166.0ms (7.6% of total)

ival-div: 157.0ms (7.1% of total)

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

ival-<: 23.0ms (1% of total)

exact: 6.0ms (0.3% of total)

ival-assert: 3.0ms (0.1% of total)

Bogosity

explain190.0ms (3.7%)

Memory

30.4MiB live, 143.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(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	256	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	256	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	256

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

80.0ms	184×	2	valid
61.0ms	320×	1	valid
1.0ms	8×	0	valid

Compiler

Compiled 81 to 28 computations (65.4% saved)

Precisions

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

ival-log: 77.0ms (68.5% of total)

adjust: 12.0ms (10.7% of total)

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

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

ival-add: 6.0ms (5.3% of total)

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

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

exact: 0.0ms (0% of total)

preprocess32.0ms (0.6%)

Memory

-23.9MiB live, 18.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	159	17
5	317	17
6	587	17
7	610	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	331	8
9	528	8
10	574	8
0	574	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.3MiB live, 0.3MiB 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
▶	7.3%	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Compiler

Compiled 8 to 6 computations (25% saved)

simplify12.0ms (0.2%)

Memory

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

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	331	23
9	528	23
10	574	23
0	574	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))

localize91.0ms (1.8%)

Memory

13.0MiB live, 86.4MiB 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.01953125	(/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))
accuracy	59.31949623504524	(log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)))

Samples

42.0ms	160×	1	valid
40.0ms	92×	2	valid
0.0ms	4×	0	valid

Compiler

Compiled 48 to 14 computations (70.8% saved)

Precisions

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

ival-log: 48.0ms (69% of total)

ival-div: 8.0ms (11.5% of total)

adjust: 6.0ms (8.6% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated

Counts

4 → 48

Calls

Call 1

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

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

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

eps

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

1.0ms

eps

-inf

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

1.0ms

eps

inf

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

simplify126.0ms (2.5%)

Memory

-10.2MiB live, 138.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	89	295
1	220	282
2	488	274
3	1309	270
4	2881	270
5	6279	270
0	8378	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)

rewrite131.0ms (2.6%)

Memory

-14.9MiB live, 86.2MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	6	21
0	10	21
1	44	21
2	328	21
3	4567	8
0	10104	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>

eval113.0ms (2.2%)

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

prune30.0ms (0.6%)

Memory

-17.0MiB live, 22.1MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	346	4	350
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	347	4	351

Accuracy

100.0%

Counts

351 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify106.0ms (2.1%)

Memory

20.6MiB live, 67.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	114
0	30	114
1	52	114
2	85	114
3	149	114
4	250	114
5	290	114
6	328	114
7	472	114
8	688	114
9	959	114
10	1199	114
11	2204	114
12	3230	114
13	3405	114
14	3406	114
15	3414	114
16	3414	114
17	3418	114
0	3418	114

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#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(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)

localize194.0ms (3.8%)

Memory

15.6MiB live, 209.8MiB allocated

Localize:

Found 10 expressions of interest:

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

Samples

114.0ms	160×	1	valid
59.0ms	92×	2	valid
1.0ms	4×	0	valid

Compiler

Compiled 186 to 37 computations (80.1% saved)

Precisions

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

ival-mult: 69.0ms (46.6% of total)

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

adjust: 13.0ms (8.8% of total)

const: 11.0ms (7.4% of total)

ival-add: 9.0ms (6.1% of total)

ival-div: 4.0ms (2.7% of total)

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

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

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

exact: 0.0ms (0% of total)

series92.0ms (1.8%)

Memory

-22.7MiB live, 15.6MiB allocated

Counts

10 → 120

Calls

Call 1

Inputs
#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>) () ())

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

Calls

3 calls:

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

Time

Variable

Point

Expression

2.0ms

eps

-inf

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

eps

inf

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

1.0ms

eps

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

simplify147.0ms (2.9%)

Memory

2.7MiB live, 84.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	81	966
1	222	954
2	739	946
3	1995	946
4	4518	946
0	8076	881

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

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

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

rewrite175.0ms (3.4%)

Memory

2.0MiB live, 164.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	101
0	29	101
1	117	101
2	819	101
0	8548	95

Stop Event

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

Counts

10 → 287

Calls

Call 1

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

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>

eval57.0ms (1.1%)

Memory: 10.8MiB live, 125.3MiB allocated
Compiler: Compiled 9 268 to 1 372 computations (85.2% saved)

prune16.0ms (0.3%)

Memory

-7.1MiB live, 37.9MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	457	0	457
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	457	4	461

Accuracy

100.0%

Counts

461 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 64 to 42 computations (34.4% saved)

regimes6.0ms (0.1%)

Memory

10.5MiB live, 10.5MiB 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))) (.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))
(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 #s(literal -2/5 binary64) (.f64 eps eps) #s(literal -2/3 binary64)) (*.f64 eps eps) #s(literal -2 binary64)) eps))

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes17.0ms (0.3%)

Memory

-32.5MiB live, 6.8MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(literal 0 binary64)

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

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes4.0ms (0.1%)

Memory

6.0MiB live, 6.0MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes4.0ms (0.1%)

Memory

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

Compiler

Compiled 16 to 12 computations (25% saved)

simplify25.0ms (0.5%)

Memory

14.8MiB live, 14.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	30	52
2	36	52
3	48	52
4	77	52
5	120	52
6	207	52
7	435	52
8	1207	52
9	1487	52
10	1538	52
11	1563	52
12	1565	52

Stop Event

1×

saturated

Calls

Call 1

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

soundness546.0ms (10.6%)

Memory

-18.3MiB live, 176.1MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	89	295
1	220	282
2	488	274
3	1309	270
4	2881	270
5	6279	270
0	8378	258
0	6	21
0	10	21
1	44	21
2	328	21
3	4567	8
0	10104	8

Stop Event

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

Compiler

Compiled 52 to 32 computations (38.5% saved)

preprocess48.0ms (0.9%)

Memory: 0.1MiB live, 79.6MiB allocated
Compiler: Compiled 84 to 52 computations (38.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	159	17
5	317	17
6	587	17
7	610	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	331	8
9	528	8
10	574	8
0	574	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	331	23
9	528	23
10	574	23
0	574	23

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	159	17
5	317	17
6	587	17
7	610	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	331	8
9	528	8
10	574	8
0	574	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	331	23
9	528	23
10	574	23
0	574	23

start0.0ms (0%)

analyze3.0ms (0.1%)

sample3.0s (57.7%)

explain190.0ms (3.7%)

preprocess32.0ms (0.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify12.0ms (0.2%)

localize91.0ms (1.8%)

series4.0ms (0.1%)

simplify126.0ms (2.5%)

rewrite131.0ms (2.6%)

eval113.0ms (2.2%)

prune30.0ms (0.6%)

simplify106.0ms (2.1%)

localize194.0ms (3.8%)

series92.0ms (1.8%)

simplify147.0ms (2.9%)

rewrite175.0ms (3.4%)

eval57.0ms (1.1%)

prune16.0ms (0.3%)

regimes6.0ms (0.1%)

regimes17.0ms (0.3%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

simplify25.0ms (0.5%)

soundness546.0ms (10.6%)

preprocess48.0ms (0.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	19
1	22	17
2	44	17
3	89	17
4	159	17
5	317	17
6	587	17
7	610	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	331	8
9	528	8
10	574	8
0	574	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	331	23
9	528	23
10	574	23
0	574	23