Metrics for logq (problem 3.4.3)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze4.0ms (0.1%)

Memory

-34.5MiB live, 4.6MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.8s (43.8%)

Memory

48.1MiB live, 2 448.0MiB allocated

Samples

1.4s	3 142×	2	valid
1.0s	4 829×	1	valid
19.0ms	285×	0	valid

Precisions

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

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

ival-add: 215.0ms (10.3% of total)

adjust: 207.0ms (9.9% of total)

ival-div: 176.0ms (8.4% of total)

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

ival-fabs: 55.0ms (2.6% of total)

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

exact: 6.0ms (0.3% of total)

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

Bogosity

explain233.0ms (3.6%)

Memory

21.4MiB live, 213.0MiB allocated

FPErrors

Click to see full error table

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

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	255	0
-	0	1

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	1
1	255

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

89.0ms	208×	2	valid
82.0ms	286×	1	valid
1.0ms	18×	0	valid

Compiler

Compiled 81 to 28 computations (65.4% saved)

Precisions

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

ival-log: 114.0ms (76.1% of total)

adjust: 12.0ms (8% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

preprocess37.0ms (0.6%)

Memory

11.1MiB live, 46.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify39.0ms (0.6%)

Memory

-26.4MiB live, 12.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize75.0ms (1.2%)

Memory

6.5MiB live, 57.7MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

42.0ms	104×	2	valid
24.0ms	143×	1	valid
1.0ms	9×	0	valid

Compiler

Compiled 48 to 14 computations (70.8% saved)

Precisions

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

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

adjust: 6.0ms (10.9% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series5.0ms (0.1%)

Memory

6.2MiB live, 6.2MiB allocated

Counts

4 → 48

Calls

Call 1

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

Outputs
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (log.f64 (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (/.f64 (-.f64 #s(literal 1 binary64) eps) (+.f64 #s(literal 1 binary64) eps)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (-.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) eps) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf eps) (#s(alt #<batchref> (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))

simplify116.0ms (1.8%)

Memory

5.9MiB live, 116.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	89	295
1	220	282
2	488	274
3	1298	270
4	2829	270
5	6039	270
0	8594	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
(*.f64 #s(literal -2 binary64) eps)
(.f64 (fma.f64 (.f64 eps eps) #s(literal -2/3 binary64) #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)
(.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal -2/7 binary64) (.f64 eps eps) #s(literal -2/5 binary64)) (.f64 eps eps) #s(literal -2/3 binary64)) (.f64 eps eps) #s(literal -2 binary64)) eps)
#s(literal 1 binary64)
(fma.f64 #s(literal -2 binary64) eps #s(literal 1 binary64))
(fma.f64 (fma.f64 #s(literal 2 binary64) eps #s(literal -2 binary64)) eps #s(literal 1 binary64))
(fma.f64 (fma.f64 (fma.f64 #s(literal -2 binary64) eps #s(literal 2 binary64)) eps #s(literal -2 binary64)) eps #s(literal 1 binary64))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) eps)
(-.f64 #s(literal 1 binary64) eps)
(-.f64 #s(literal 1 binary64) eps)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) eps)
(+.f64 #s(literal 1 binary64) eps)
(+.f64 #s(literal 1 binary64) eps)
(log.f64 #s(literal -1 binary64))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) 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))))
#s(literal -1 binary64)
(-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 2 binary64)) eps))
(-.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))
(neg.f64 eps)
(-.f64 #s(literal 1 binary64) eps)
(-.f64 #s(literal 1 binary64) eps)
(-.f64 #s(literal 1 binary64) eps)
eps
(+.f64 #s(literal 1 binary64) eps)
(+.f64 #s(literal 1 binary64) eps)
(+.f64 #s(literal 1 binary64) eps)
(log.f64 #s(literal -1 binary64))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 #s(literal 2 binary64) eps))
(-.f64 (log.f64 #s(literal -1 binary64)) (/.f64 (-.f64 (/.f64 #s(literal 2/3 binary64) (*.f64 eps eps)) #s(literal -2 binary64)) 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))))
#s(literal -1 binary64)
(-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 2 binary64) eps) #s(literal 2 binary64)) eps))
(-.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))
(neg.f64 eps)
(-.f64 #s(literal 1 binary64) eps)
(-.f64 #s(literal 1 binary64) eps)
(-.f64 #s(literal 1 binary64) eps)
eps
(+.f64 #s(literal 1 binary64) eps)
(+.f64 #s(literal 1 binary64) eps)
(+.f64 #s(literal 1 binary64) eps)

rewrite112.0ms (1.8%)

Memory

-13.9MiB live, 106.6MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

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

Counts

4 → 304

Calls

Call 1

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

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

eval219.0ms (3.4%)

Memory: -145.7MiB live, 101.8MiB allocated
Compiler: Compiled 7 511 to 1 015 computations (86.5% saved)

prune17.0ms (0.3%)

Memory

-21.5MiB live, 21.9MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Accuracy

100.0%

Counts

351 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 166 to 112 computations (32.5% saved)

simplify384.0ms (6%)

Memory

0.5MiB live, 152.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	200
0	43	200
1	78	200
2	138	200
3	294	200
4	660	200
5	969	200
6	1022	200
7	1265	200
8	1638	200
9	1978	200
10	2187	200
11	4276	200
12	6107	200
13	6729	200
14	6772	200
15	6772	200
16	6794	200
17	6870	200
18	6870	200
19	6870	200
0	8012	200

Stop Event

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

Calls

Call 1

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

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

localize203.0ms (3.2%)

Memory

40.4MiB live, 114.6MiB allocated

Localize:

Found 14 expressions of interest:

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

Samples

91.0ms	143×	1	valid
86.0ms	104×	2	valid
2.0ms	9×	0	valid

Compiler

Compiled 372 to 56 computations (84.9% saved)

Precisions

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

ival-mult: 48.0ms (32% of total)

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

adjust: 18.0ms (12% of total)

const: 16.0ms (10.7% of total)

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

ival-sub: 11.0ms (7.3% of total)

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

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

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

exact: 0.0ms (0% of total)

series96.0ms (1.5%)

Memory

-38.5MiB live, 10.5MiB allocated

Counts

15 → 180

Calls

Call 1

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

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

Calls

3 calls:

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

Time

Variable

Point

Expression

4.0ms

eps

inf

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

2.0ms

eps

-inf

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

2.0ms

eps

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

simplify170.0ms (2.7%)

Memory

12.6MiB live, 119.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	121	1652
1	353	1636
2	1241	1610
3	3549	1606
4	7453	1606
0	8017	1519

Stop Event

1×	iter limit
1×	node limit

Counts

180 → 180

Calls

Call 1

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

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

rewrite198.0ms (3.1%)

Memory

3.1MiB live, 125.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Counts

15 → 361

Calls

Call 1

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

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

eval156.0ms (2.5%)

Memory: 13.6MiB live, 102.3MiB allocated
Compiler: Compiled 23 263 to 2 167 computations (90.7% saved)

prune110.0ms (1.7%)

Memory

-22.7MiB live, 53.6MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Accuracy

100.0%

Counts

657 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 106 to 72 computations (32.1% saved)

simplify35.0ms (0.5%)

Memory

5.6MiB live, 42.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
0	18	41
1	36	41
2	55	41
3	68	41
4	91	41
5	125	41
6	160	41
7	257	41
8	401	41
9	595	41
10	701	41
11	1036	41
12	1128	41
13	1165	41
0	1165	39

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize102.0ms (1.6%)

Memory

-9.1MiB live, 113.0MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

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

Compiler

Compiled 78 to 28 computations (64.1% saved)

Precisions

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

ival-log: 41.0ms (54.1% of total)

adjust: 11.0ms (14.5% of total)

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

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

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

const: 4.0ms (5.3% of total)

ival-add: 4.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)

series6.0ms (0.1%)

Memory

11.2MiB live, 11.2MiB allocated

Counts

5 → 60

Calls

Call 1

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

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

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

eps

inf

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

1.0ms

eps

-inf

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

1.0ms

eps

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

simplify141.0ms (2.2%)

Memory

5.5MiB live, 200.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	354
1	135	350
2	362	350
3	951	350
4	2181	350
5	4647	350
6	7532	350
0	8154	335

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

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

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

rewrite247.0ms (3.9%)

Memory

-12.7MiB live, 233.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

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

Counts

5 → 127

Calls

Call 1

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

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

eval23.0ms (0.4%)

Memory: 28.6MiB live, 67.1MiB allocated
Compiler: Compiled 5 719 to 546 computations (90.5% saved)

prune8.0ms (0.1%)

Memory

-11.5MiB live, 26.7MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

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

Accuracy

100.0%

Counts

194 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 212 to 106 computations (50% saved)

regimes11.0ms (0.2%)

Memory

-23.0MiB live, 22.5MiB allocated

Counts

7 → 1

Calls

Call 1

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

Outputs

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes6.0ms (0.1%)

Memory

16.1MiB live, 16.1MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes6.0ms (0.1%)

Memory

11.1MiB live, 11.1MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes6.0ms (0.1%)

Memory

-28.4MiB live, 11.2MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(literal 0 binary64)

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

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

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes4.0ms (0.1%)

Memory

10.6MiB live, 10.6MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

regimes4.0ms (0.1%)

Memory

8.6MiB live, 8.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)

Outputs
#s(literal 0 binary64)

Calls

3 calls:

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

Results

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

Compiler

Compiled 16 to 12 computations (25% saved)

simplify24.0ms (0.4%)

Memory

-18.2MiB live, 60.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	98
1	36	98

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness734.0ms (11.5%)

Memory

5.1MiB live, 363.6MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

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

Compiler

Compiled 147 to 65 computations (55.8% saved)

preprocess50.0ms (0.8%)

Memory: 3.3MiB live, 80.1MiB allocated
Compiler: Compiled 224 to 80 computations (64.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

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

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

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

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

start0.0ms (0%)

analyze4.0ms (0.1%)

sample2.8s (43.8%)

explain233.0ms (3.6%)

preprocess37.0ms (0.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify39.0ms (0.6%)

localize75.0ms (1.2%)

series5.0ms (0.1%)

simplify116.0ms (1.8%)

rewrite112.0ms (1.8%)

eval219.0ms (3.4%)

prune17.0ms (0.3%)

simplify384.0ms (6%)

localize203.0ms (3.2%)

series96.0ms (1.5%)

simplify170.0ms (2.7%)

rewrite198.0ms (3.1%)

eval156.0ms (2.5%)

prune110.0ms (1.7%)

simplify35.0ms (0.5%)

localize102.0ms (1.6%)

series6.0ms (0.1%)

simplify141.0ms (2.2%)

rewrite247.0ms (3.9%)

eval23.0ms (0.4%)

prune8.0ms (0.1%)

regimes11.0ms (0.2%)

regimes6.0ms (0.1%)

regimes6.0ms (0.1%)

regimes6.0ms (0.1%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

simplify24.0ms (0.4%)

soundness734.0ms (11.5%)

preprocess50.0ms (0.8%)

end0.0ms (0%)

Profiling

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

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