Metrics for ENA, Section 1.4, Exercise 4b, n=2

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25.7%	74.3%	0%	0%	0%	0
100%	25.7%	0%	74.3%	0%	0%	0%	1

Compiler

Compiled 25 to 18 computations (28% saved)

sample1.4s (24.5%)

Memory

28.2MiB live, 1 247.9MiB allocated

Samples

499.0ms	5 254×	0	valid
418.0ms	2 503×	1	valid
145.0ms	499×	2	valid

Precisions

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

ival-pow2: 352.0ms (46.2% of total)

ival-add: 161.0ms (21.1% of total)

ival-<=: 88.0ms (11.6% of total)

adjust: 68.0ms (8.9% of total)

ival-sub: 53.0ms (7% of total)

ival-and: 21.0ms (2.8% of total)

exact: 16.0ms (2.1% of total)

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

Bogosity

explain112.0ms (1.9%)

Memory

-25.0MiB live, 120.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
77	2	(-2.272336668101508e-154 2.233674997003994e-169)	-	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`
0	0	-	-	`eps`
0	0	-	-	`(pow.f64 x #s(literal 2 binary64))`
0	0	-	-	`#s(literal 2 binary64)`
0	0	-	-	`(pow.f64 (+.f64 x eps) #s(literal 2 binary64))`
0	0	-	-	`(+.f64 x eps)`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`	cancellation	79	0

Confusion

	Predicted +	Predicted -
+	77	0
-	2	177

Precision

0.9746835443037974

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	77	0	0
-	2	0	177

Precision?

0.9746835443037974

Recall?

1.0

Freqs

test

number	freq
0	177
1	79

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

37.0ms	160×	1	valid
19.0ms	332×	0	valid
3.0ms	20×	2	valid

Compiler

Compiled 59 to 25 computations (57.6% saved)

Precisions

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

ival-pow2: 14.0ms (48% of total)

ival-add: 8.0ms (27.4% of total)

adjust: 3.0ms (10.3% of total)

ival-sub: 3.0ms (10.3% of total)

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

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

exact: 0.0ms (0% of total)

preprocess381.0ms (6.5%)

Memory

33.8MiB live, 262.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	55
1	45	47
2	149	45
3	542	35
4	1660	35
5	3800	35
6	5269	35
7	5989	35
8	6216	35
9	6322	35
10	6343	35
11	6343	35
12	6343	35
13	6343	35
14	6434	35
15	6762	35
16	7560	35
17	7996	35
0	7	9
0	11	9
1	16	9
2	36	9
3	96	9
4	276	7
5	861	7
6	2374	7
7	4277	7
8	5921	7
9	6913	7
10	7338	7
11	7606	7
12	7612	7
13	7612	7
0	8047	6

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Outputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.6%	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify248.0ms (4.2%)

Memory

-2.1MiB live, 203.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(+.f64 x eps)
cost-diff	0	(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
cost-diff	6144	(pow.f64 x #s(literal 2 binary64))
cost-diff	6464	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	23
0	11	23
1	16	23
2	36	23
3	96	23
4	276	21
5	861	21
6	2374	21
7	4277	21
8	5921	21
9	6913	21
10	7338	21
11	7606	21
12	7612	21
13	7612	21
0	8047	20

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(+.f64 x eps)
x
eps
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))

Outputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(pow.f64 (+.f64 eps x) #s(literal 2 binary64))
(+.f64 x eps)
(+.f64 eps x)
x
eps
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))
(*.f64 x x)

localize31.0ms (0.5%)

Memory

-18.0MiB live, 57.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(pow.f64 x #s(literal 2 binary64))
accuracy	0	(+.f64 x eps)
accuracy	0.03515625	(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
accuracy	16.237569447611076	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Samples

13.0ms	166×	0	valid
9.0ms	80×	1	valid
2.0ms	10×	2	valid

Compiler

Compiled 25 to 9 computations (64% saved)

Precisions

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

ival-pow2: 7.0ms (56.8% of total)

adjust: 2.0ms (16.2% of total)

ival-add: 2.0ms (16.2% of total)

ival-sub: 2.0ms (16.2% 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

16.3MiB live, 16.3MiB allocated

Counts

4 → 84

Calls

Call 1

Inputs
#s(alt (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) (patch (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (pow.f64 x #s(literal 2 binary64)) (patch (pow.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (patch (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (+.f64 x eps) (patch (+.f64 x eps) #<representation binary64>) () ())

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

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((- (pow (+ x eps) 2) (pow x 2)) (pow x 2) (pow (+ x eps) 2) (+ x eps))
1.0ms	x	@	inf	((- (pow (+ x eps) 2) (pow x 2)) (pow x 2) (pow (+ x eps) 2) (+ x eps))
1.0ms	eps	@	-inf	((- (pow (+ x eps) 2) (pow x 2)) (pow x 2) (pow (+ x eps) 2) (+ x eps))
1.0ms	eps	@	inf	((- (pow (+ x eps) 2) (pow x 2)) (pow x 2) (pow (+ x eps) 2) (+ x eps))
1.0ms	eps	@	0	((- (pow (+ x eps) 2) (pow x 2)) (pow x 2) (pow (+ x eps) 2) (+ x eps))

simplify164.0ms (2.8%)

Memory

-21.6MiB live, 180.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	438
1	214	438
2	570	438
3	1803	438
4	4151	438
5	7221	438
0	8070	390

Stop Event

1×	iter limit
1×	node limit

Counts

84 → 78

Calls

Call 1

Inputs
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow x 2)
(+ (* 2 (* eps x)) (pow x 2))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
x
(+ eps x)
(+ eps x)
(+ eps x)
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
eps
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
eps
(+ eps x)
(+ eps x)
(+ eps x)
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
x
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))

Outputs
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow x 2)
(*.f64 x x)
(+ (* 2 (* eps x)) (pow x 2))
(*.f64 (fma.f64 eps #s(literal 2 binary64) x) x)
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
(+ (* eps (+ eps (* 2 x))) (pow x 2))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
x
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
(* (pow eps 2) (+ 1 (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2)))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
eps
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (pow x 2) eps))) eps))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
(+ (* x (+ x (* 2 eps))) (pow eps 2))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
eps
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(*.f64 (fma.f64 eps #s(literal 2 binary64) x) x)
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
(* (pow x 2) (+ 1 (+ (* 2 (/ eps x)) (/ (pow eps 2) (pow x 2)))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
x
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ eps x))))
(*.f64 (fma.f64 eps #s(literal 2 binary64) x) x)
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -2 eps) (* -1 (/ (pow eps 2) x))) x))))
(fma.f64 (fma.f64 x #s(literal 2 binary64) eps) eps (*.f64 x x))
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)

rewrite169.0ms (2.9%)

Memory

-11.1MiB live, 231.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
0	11	20
1	52	20
2	371	20
3	5109	20
0	8219	20

Stop Event

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

Counts

4 → 371

Calls

Call 1

Inputs
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))
(pow.f64 x #s(literal 2 binary64))
(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
(+.f64 x 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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval52.0ms (0.9%)

Memory: 20.0MiB live, 94.7MiB allocated
Compiler: Compiled 9 940 to 1 152 computations (88.4% saved)

prune10.0ms (0.2%)

Memory

-20.3MiB live, 24.6MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	445	4	449
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	446	4	450

Accuracy

100.0%

Counts

450 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	66.2%	(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
▶	100.0%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
▶	63.3%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
▶	70.7%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify375.0ms (6.4%)

Memory

14.9MiB live, 220.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 (neg.f64 x) x)
cost-diff	0	(+.f64 eps x)
cost-diff	128	(fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x))
cost-diff	768	(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
cost-diff	0	(fma.f64 x #s(literal 2 binary64) eps)
cost-diff	0	(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
cost-diff	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
cost-diff	0	(*.f64 x eps)
cost-diff	0	(.f64 (.f64 x eps) #s(literal 2 binary64))
cost-diff	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
cost-diff	0	(*.f64 eps eps)
cost-diff	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	106
0	33	98
1	58	98
2	88	98
3	176	89
4	513	89
5	1763	89
6	3249	89
7	4625	89
8	5307	89
9	5702	89
10	5893	89
11	5966	89
12	5985	89
13	5988	89
14	5990	89
15	5990	89
16	5990	89
17	7666	89
0	8485	88

Stop Event

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

Calls

Call 1

Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(*.f64 x eps)
x
eps
#s(literal 2 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(fma.f64 x #s(literal 2 binary64) eps)
x
#s(literal 2 binary64)
eps
(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
(+.f64 eps x)
eps
x
(fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x))
(*.f64 (neg.f64 x) x)
(neg.f64 x)

Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(*.f64 eps eps)
eps
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(*.f64 x eps)
(*.f64 eps x)
x
eps
#s(literal 2 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(fma.f64 x #s(literal 2 binary64) eps)
(fma.f64 #s(literal 2 binary64) x eps)
x
#s(literal 2 binary64)
eps
(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+.f64 eps x)
eps
x
(fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(*.f64 (neg.f64 x) x)
(neg.f64 x)

localize71.0ms (1.2%)

Memory

17.3MiB live, 90.8MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 (neg.f64 x) x)
accuracy	0	(neg.f64 x)
accuracy	0.0078125	(fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x))
accuracy	21.623130655430213	(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
accuracy	0	(fma.f64 x #s(literal 2 binary64) eps)
accuracy	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
accuracy	0.01171875	(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
accuracy	0	(*.f64 x eps)
accuracy	0.0234375	(.f64 (.f64 x eps) #s(literal 2 binary64))
accuracy	23.475710908636685	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
accuracy	0	(*.f64 eps eps)
accuracy	18.7411419103651	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Samples

32.0ms	166×	0	valid
22.0ms	80×	1	valid
4.0ms	10×	2	valid

Compiler

Compiled 96 to 22 computations (77.1% saved)

Precisions

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

ival-mult: 14.0ms (32.2% of total)

ival-add: 12.0ms (27.6% of total)

ival-pow2: 7.0ms (16.1% of total)

ival-neg: 5.0ms (11.5% of total)

adjust: 4.0ms (9.2% of total)

ival-sub: 2.0ms (4.6% of total)

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

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

exact: 0.0ms (0% of total)

series25.0ms (0.4%)

Memory

-28.0MiB live, 21.0MiB allocated

Counts

13 → 276

Calls

Call 1

Inputs
#s(alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 eps eps)) (patch #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 eps eps)) #<representation binary64>) () ())
#s(alt (.f64 eps eps) (patch (.f64 eps eps) #<representation binary64>) () ())
#s(alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64))) (patch #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 x eps) #s(literal 2 binary64)) (patch (.f64 (.f64 x eps) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt (.f64 x eps) (patch (.f64 x eps) #<representation binary64>) () ())
#s(alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)) (patch #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)) #<representation binary64>) () ())
#s(alt (.f64 (fma.f64 x #s(literal 2 binary64) eps) eps) (patch (.f64 (fma.f64 x #s(literal 2 binary64) eps) eps) #<representation binary64>) () ())
#s(alt (fma.f64 x #s(literal 2 binary64) eps) (patch (fma.f64 x #s(literal 2 binary64) eps) #<representation binary64>) () ())
#s(alt (fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (.f64 (neg.f64 x) x))) (patch (fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (.f64 (neg.f64 x) x))) #<representation binary64>) () ())
#s(alt (fma.f64 (+.f64 eps x) eps (.f64 (neg.f64 x) x)) (patch (fma.f64 (+.f64 eps x) eps (.f64 (neg.f64 x) x)) #<representation binary64>) () ())
#s(alt (+.f64 eps x) (patch (+.f64 eps x) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())

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

Calls

6 calls:

Time	Variable		Point	Expression
8.0ms	eps	@	inf	((- (pow (+ x eps) 2) (pow x 2)) (* eps eps) (- (pow (+ x eps) 2) (pow x 2)) (* (* x eps) 2) (* x eps) (- (pow (+ x eps) 2) (pow x 2)) (* (+ (* x 2) eps) eps) (+ (* x 2) eps) (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (+ (* (+ eps x) eps) (* (neg x) x)) (+ eps x) (* (neg x) x) (neg x))
2.0ms	x	@	0	((- (pow (+ x eps) 2) (pow x 2)) (* eps eps) (- (pow (+ x eps) 2) (pow x 2)) (* (* x eps) 2) (* x eps) (- (pow (+ x eps) 2) (pow x 2)) (* (+ (* x 2) eps) eps) (+ (* x 2) eps) (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (+ (* (+ eps x) eps) (* (neg x) x)) (+ eps x) (* (neg x) x) (neg x))
2.0ms	x	@	-inf	((- (pow (+ x eps) 2) (pow x 2)) (* eps eps) (- (pow (+ x eps) 2) (pow x 2)) (* (* x eps) 2) (* x eps) (- (pow (+ x eps) 2) (pow x 2)) (* (+ (* x 2) eps) eps) (+ (* x 2) eps) (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (+ (* (+ eps x) eps) (* (neg x) x)) (+ eps x) (* (neg x) x) (neg x))
2.0ms	eps	@	0	((- (pow (+ x eps) 2) (pow x 2)) (* eps eps) (- (pow (+ x eps) 2) (pow x 2)) (* (* x eps) 2) (* x eps) (- (pow (+ x eps) 2) (pow x 2)) (* (+ (* x 2) eps) eps) (+ (* x 2) eps) (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (+ (* (+ eps x) eps) (* (neg x) x)) (+ eps x) (* (neg x) x) (neg x))
2.0ms	eps	@	-inf	((- (pow (+ x eps) 2) (pow x 2)) (* eps eps) (- (pow (+ x eps) 2) (pow x 2)) (* (* x eps) 2) (* x eps) (- (pow (+ x eps) 2) (pow x 2)) (* (+ (* x 2) eps) eps) (+ (* x 2) eps) (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (+ (* (+ eps x) eps) (* (neg x) x)) (+ eps x) (* (neg x) x) (neg x))

simplify172.0ms (2.9%)

Memory

11.0MiB live, 168.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	101	1402
1	309	1377
2	828	1377
3	2647	1365
4	7171	1365
0	8023	1246

Stop Event

1×	iter limit
1×	node limit

Counts

276 → 267

Calls

Call 1

Inputs
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps x)
(* eps x)
(* eps x)
(* eps x)
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* 2 x)
(+ eps (* 2 x))
(+ eps (* 2 x))
(+ eps (* 2 x))
(+ (* -1 (pow x 2)) (pow x 2))
(+ (* -1 (pow x 2)) (+ (* 2 (* eps x)) (pow x 2)))
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(* -1 (pow x 2))
(+ (* -1 (pow x 2)) (* eps x))
(+ (* -1 (pow x 2)) (* eps (+ eps x)))
(+ (* -1 (pow x 2)) (* eps (+ eps x)))
x
(+ eps x)
(+ eps x)
(+ eps x)
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps x)
(* eps x)
(* eps x)
(* eps x)
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
eps
(* eps (+ 1 (* 2 (/ x eps))))
(* eps (+ 1 (* 2 (/ x eps))))
(* eps (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(pow eps 2)
(* (pow eps 2) (+ 1 (/ x eps)))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (/ x eps))))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (/ x eps))))
eps
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
(* eps (+ 1 (/ x eps)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps x)
(* eps x)
(* eps x)
(* eps x)
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
eps
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (/ x eps)))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -1 x) (/ (pow x 2) eps)) eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -1 x) (/ (pow x 2) eps)) eps))))
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps x)
(* eps x)
(* eps x)
(* eps x)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
eps
(+ eps (* 2 x))
(+ eps (* 2 x))
(+ eps (* 2 x))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(pow eps 2)
(+ (* eps x) (pow eps 2))
(+ (* x (+ eps (* -1 x))) (pow eps 2))
(+ (* x (+ eps (* -1 x))) (pow eps 2))
eps
(+ eps x)
(+ eps x)
(+ eps x)
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps x)
(* eps x)
(* eps x)
(* eps x)
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 x)
(* x (+ 2 (/ eps x)))
(* x (+ 2 (/ eps x)))
(* x (+ 2 (/ eps x)))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* -1 (pow x 2))
(* (pow x 2) (- (/ eps x) 1))
(* (pow x 2) (- (+ (/ eps x) (/ (pow eps 2) (pow x 2))) 1))
(* (pow x 2) (- (+ (/ eps x) (/ (pow eps 2) (pow x 2))) 1))
x
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
(* x (+ 1 (/ eps x)))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps x)
(* eps x)
(* eps x)
(* eps x)
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 x)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (pow x 2))
(* (pow x 2) (- (/ eps x) 1))
(* (pow x 2) (- (* -1 (/ (+ (* -1 eps) (* -1 (/ (pow eps 2) x))) x)) 1))
(* (pow x 2) (- (* -1 (/ (+ (* -1 eps) (* -1 (/ (pow eps 2) x))) x)) 1))
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)

Outputs
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(+ eps (* 2 x))
(fma.f64 x #s(literal 2 binary64) eps)
(+ eps (* 2 x))
(fma.f64 x #s(literal 2 binary64) eps)
(+ eps (* 2 x))
(fma.f64 x #s(literal 2 binary64) eps)
(+ (* -1 (pow x 2)) (pow x 2))
#s(literal 0 binary64)
(+ (* -1 (pow x 2)) (+ (* 2 (* eps x)) (pow x 2)))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(+ (* -1 (pow x 2)) (* eps x))
(*.f64 (-.f64 eps x) x)
(+ (* -1 (pow x 2)) (* eps (+ eps x)))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(+ (* -1 (pow x 2)) (* eps (+ eps x)))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
x
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
eps
(* eps (+ 1 (* 2 (/ x eps))))
(fma.f64 x #s(literal 2 binary64) eps)
(* eps (+ 1 (* 2 (/ x eps))))
(fma.f64 x #s(literal 2 binary64) eps)
(* eps (+ 1 (* 2 (/ x eps))))
(fma.f64 x #s(literal 2 binary64) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (/ x eps)))
(*.f64 (+.f64 x eps) eps)
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (/ x eps))))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (/ x eps))))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
eps
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(* eps (+ 1 (/ x eps)))
(+.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
eps
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(fma.f64 x #s(literal 2 binary64) eps)
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(fma.f64 x #s(literal 2 binary64) eps)
(* -1 (* eps (- (* -2 (/ x eps)) 1)))
(fma.f64 x #s(literal 2 binary64) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (/ x eps)))
(*.f64 (+.f64 x eps) eps)
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -1 x) (/ (pow x 2) eps)) eps))))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -1 x) (/ (pow x 2) eps)) eps))))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
eps
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(* -1 (* eps (- (* -1 (/ x eps)) 1)))
(+.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
eps
(+ eps (* 2 x))
(fma.f64 x #s(literal 2 binary64) eps)
(+ eps (* 2 x))
(fma.f64 x #s(literal 2 binary64) eps)
(+ eps (* 2 x))
(fma.f64 x #s(literal 2 binary64) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* eps x) (pow eps 2))
(*.f64 (+.f64 x eps) eps)
(+ (* x (+ eps (* -1 x))) (pow eps 2))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(+ (* x (+ eps (* -1 x))) (pow eps 2))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
eps
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(+ eps x)
(+.f64 x eps)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 (/ eps x)))
(fma.f64 x #s(literal 2 binary64) eps)
(* x (+ 2 (/ eps x)))
(fma.f64 x #s(literal 2 binary64) eps)
(* x (+ 2 (/ eps x)))
(fma.f64 x #s(literal 2 binary64) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* (pow x 2) (- (/ eps x) 1))
(*.f64 (-.f64 eps x) x)
(* (pow x 2) (- (+ (/ eps x) (/ (pow eps 2) (pow x 2))) 1))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(* (pow x 2) (- (+ (/ eps x) (/ (pow eps 2) (pow x 2))) 1))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
x
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* x (+ 1 (/ eps x)))
(+.f64 x eps)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* eps x)
(*.f64 x eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(fma.f64 x #s(literal 2 binary64) eps)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(fma.f64 x #s(literal 2 binary64) eps)
(* -1 (* x (- (* -1 (/ eps x)) 2)))
(fma.f64 x #s(literal 2 binary64) eps)
(* 2 (* eps x))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* (pow x 2) (- (/ eps x) 1))
(*.f64 (-.f64 eps x) x)
(* (pow x 2) (- (* -1 (/ (+ (* -1 eps) (* -1 (/ (pow eps 2) x))) x)) 1))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
(* (pow x 2) (- (* -1 (/ (+ (* -1 eps) (* -1 (/ (pow eps 2) x))) x)) 1))
(fma.f64 (-.f64 eps x) x (*.f64 eps eps))
x
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (* x (- (* -1 (/ eps x)) 1)))
(+.f64 x eps)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)

rewrite162.0ms (2.8%)

Memory

15.0MiB live, 207.3MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	97
0	33	97
1	137	92
2	1089	92
0	8306	92

Stop Event

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

Counts

13 → 475

Calls

Call 1

Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
(*.f64 eps eps)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
(.f64 (.f64 x eps) #s(literal 2 binary64))
(*.f64 x eps)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
(fma.f64 x #s(literal 2 binary64) eps)
(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
(fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x))
(+.f64 eps x)
(*.f64 (neg.f64 x) x)
(neg.f64 x)

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<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.7%)

Memory: -28.2MiB live, 211.6MiB allocated
Compiler: Compiled 21 495 to 1 676 computations (92.2% saved)

prune27.0ms (0.5%)

Memory

9.1MiB live, 54.5MiB allocated

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	821	3	824
Fresh	0	0	0
Picked	2	2	4
Done	0	0	0
Total	823	5	828

Accuracy

100.0%

Counts

828 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
✓	100.0%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
▶	63.3%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
✓	70.7%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
▶	36.9%	#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Compiler

Compiled 28 to 27 computations (3.6% saved)

simplify356.0ms (6.1%)

Memory

12.2MiB live, 235.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) x) eps)
cost-diff	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
cost-diff	320	(fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) x) eps)
cost-diff	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
cost-diff	0	#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	82
0	25	80
1	49	73
2	84	73
3	174	67
4	489	67
5	1750	67
6	3244	67
7	4605	67
8	5292	67
9	5687	67
10	5878	67
11	5951	67
12	5970	67
13	5973	67
14	5975	67
15	5975	67
16	5975	67
17	7641	67
0	8460	62

Stop Event

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

Calls

Call 1

Inputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))
#s(literal 0 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
eps
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
(fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))
eps
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x

Outputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) #s(literal 0 binary64))
#s(literal 0 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(.f64 (.f64 x eps) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
eps
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps))
(fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
eps
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(.f64 (.f64 x eps) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x

localize58.0ms (1%)

Memory

10.8MiB live, 48.7MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(.f64 (.f64 #s(literal 2 binary64) x) eps)
accuracy	0	(*.f64 #s(literal 2 binary64) x)
accuracy	0	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
accuracy	0.01171875	(fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))
accuracy	0	(.f64 (.f64 #s(literal 2 binary64) x) eps)
accuracy	0	(*.f64 #s(literal 2 binary64) x)
accuracy	23.475710908636685	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
accuracy	40.389823075305635	#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Samples

23.0ms	80×	1	valid
20.0ms	166×	0	valid
4.0ms	10×	2	valid

Compiler

Compiled 68 to 21 computations (69.1% saved)

Precisions

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

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

ival-add: 8.0ms (24.2% of total)

ival-pow2: 6.0ms (18.2% of total)

adjust: 4.0ms (12.1% of total)

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

ival-neg: 1.0ms (3% of total)

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

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

exact: 0.0ms (0% of total)

series10.0ms (0.2%)

Memory

9.3MiB live, 9.3MiB allocated

Counts

6 → 132

Calls

Call 1

Inputs
#s(alt #s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64)) (patch #s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps)) (patch #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps)) #<representation binary64>) () ())
#s(alt (.f64 (.f64 #s(literal 2 binary64) x) eps) (patch (.f64 (.f64 #s(literal 2 binary64) x) eps) #<representation binary64>) () ())
#s(alt (.f64 #s(literal 2 binary64) x) (patch (.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())
#s(alt (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)) (patch (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)) #<representation binary64>) () ())
#s(alt #s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))) (patch #s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))) #<representation binary64>) () ())

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

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (- (pow (+ x eps) 2) (pow x 2)) (* (* 2 x) eps) (* 2 x) (+ (* eps eps) (* (* 2 x) eps)) (- (pow (+ x eps) 2) (pow x 2)))
1.0ms	x	@	inf	((+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (- (pow (+ x eps) 2) (pow x 2)) (* (* 2 x) eps) (* 2 x) (+ (* eps eps) (* (* 2 x) eps)) (- (pow (+ x eps) 2) (pow x 2)))
1.0ms	x	@	0	((+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (- (pow (+ x eps) 2) (pow x 2)) (* (* 2 x) eps) (* 2 x) (+ (* eps eps) (* (* 2 x) eps)) (- (pow (+ x eps) 2) (pow x 2)))
1.0ms	eps	@	-inf	((+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (- (pow (+ x eps) 2) (pow x 2)) (* (* 2 x) eps) (* 2 x) (+ (* eps eps) (* (* 2 x) eps)) (- (pow (+ x eps) 2) (pow x 2)))
1.0ms	eps	@	inf	((+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (- (pow (+ x eps) 2) (pow x 2)) (* (* 2 x) eps) (* 2 x) (+ (* eps eps) (* (* 2 x) eps)) (- (pow (+ x eps) 2) (pow x 2)))

simplify345.0ms (5.9%)

Memory

-180.0MiB live, 198.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	1717
1	142	964
2	421	750
3	1296	750
4	3445	750
5	7611	750
0	8442	679

Stop Event

1×	iter limit
1×	node limit

Counts

132 → 132

Calls

Call 1

Inputs
(+ (* -1 (pow x 2)) (pow x 2))
(+ (* -1 (pow x 2)) (+ (* 2 (* eps x)) (pow x 2)))
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* 2 (* eps x))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(* eps (+ eps (* 2 x)))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(pow eps 2)
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(+ (* 2 (* eps x)) (pow eps 2))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 (* eps x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* 2 (* eps x))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))

Outputs
(+ (* -1 (pow x 2)) (pow x 2))
#s(literal 0 binary64)
(+ (* -1 (pow x 2)) (+ (* 2 (* eps x)) (pow x 2)))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* -1 (pow x 2)) (+ (* eps (+ eps (* 2 x))) (pow x 2)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* eps (+ eps (* 2 x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (+ (* -1 (/ (pow x 2) (pow eps 2))) (+ (* 2 (/ x eps)) (/ (pow x 2) (pow eps 2))))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* -1 (/ (+ (* -2 x) (* -1 (/ (+ (* -1 (pow x 2)) (pow x 2)) eps))) eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* (pow eps 2) (+ 1 (* 2 (/ x eps))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(pow eps 2)
(*.f64 eps eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(+ (* 2 (* eps x)) (pow eps 2))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* x (+ (* 2 eps) (/ (pow eps 2) x)))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* 2 (* eps x))
(.f64 (.f64 eps x) #s(literal 2 binary64))
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)
(* -1 (* x (+ (* -2 eps) (* -1 (/ (pow eps 2) x)))))
(*.f64 (fma.f64 #s(literal 2 binary64) x eps) eps)

rewrite203.0ms (3.5%)

Memory

11.3MiB live, 201.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	67
0	25	65
1	128	58
2	1131	58
0	8331	56

Stop Event

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

Counts

6 → 57

Calls

Call 1

Inputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
(.f64 (.f64 #s(literal 2 binary64) x) eps)
(*.f64 #s(literal 2 binary64) x)
(fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) 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>

eval22.0ms (0.4%)

Memory: 5.5MiB live, 43.6MiB allocated
Compiler: Compiled 2 526 to 228 computations (91% saved)

prune13.0ms (0.2%)

Memory

-10.1MiB live, 27.2MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	233	5	238

Accuracy

100.0%

Counts

238 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
✓	100.0%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
✓	63.3%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
✓	70.7%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
✓	36.9%	#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Compiler

Compiled 85 to 54 computations (36.5% saved)

regimes10.0ms (0.2%)

Memory

17.6MiB live, 17.6MiB allocated

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))
(fma.f64 (+.f64 eps x) x (fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x)))
(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))

Calls

3 calls:

3.0ms	eps
3.0ms	x
3.0ms	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`eps`
100.0%	1	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`

Compiler

Compiled 11 to 11 computations (0% saved)

regimes12.0ms (0.2%)

Memory

-31.6MiB live, 12.7MiB allocated

Counts

4 → 2

Calls

Call 1

Inputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))

Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Calls

3 calls:

7.0ms	eps
2.0ms	x
2.0ms	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Results

Accuracy	Segments	Branch
90.2%	3	`x`
85.4%	3	`eps`
95.9%	2	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`

Compiler

Compiled 11 to 11 computations (0% saved)

regimes5.0ms (0.1%)

Memory

10.2MiB live, 10.2MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Calls

3 calls:

2.0ms	x
2.0ms	eps
1.0ms	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Results

Accuracy	Segments	Branch
70.7%	1	`eps`
70.7%	1	`x`
70.7%	1	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`

Compiler

Compiled 11 to 11 computations (0% saved)

regimes4.0ms (0.1%)

Memory

9.0MiB live, 9.0MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Outputs
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Calls

3 calls:

1.0ms	x
1.0ms	eps
1.0ms	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Results

Accuracy	Segments	Branch
36.9%	1	`(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))`
36.9%	1	`x`
36.9%	1	`eps`

Compiler

Compiled 11 to 11 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	2.0065789267e-314

Compiler

Compiled 12 to 12 computations (0% saved)

simplify24.0ms (0.4%)

Memory

12.9MiB live, 50.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	87
1	36	87
2	40	87
3	42	87
4	43	87

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 0 binary64)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Outputs
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 0 binary64)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps)))
(if (<=.f64 (-.f64 (pow.f64 (+.f64 eps x) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) #s(literal 0 binary64)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps)) #s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps)))
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

soundness1.1s (18.3%)

Memory

0.6MiB live, 520.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	97
0	33	97
1	137	92
2	1089	92
0	8306	92
0	101	1402
1	309	1377
2	828	1377
3	2647	1365
4	7171	1365
0	8023	1246
0	7	20
0	11	20
1	52	20
2	371	20
3	5109	20
0	8219	20
0	69	438
1	214	438
2	570	438
3	1803	438
4	4151	438
5	7221	438
0	8070	390

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
1×	node limit
1×	iter limit

Compiler

Compiled 62 to 48 computations (22.6% saved)

preprocess58.0ms (1%)

Memory: -25.3MiB live, 58.4MiB allocated
Compiler: Compiled 88 to 52 computations (40.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.4s (24.5%)

explain112.0ms (1.9%)

preprocess381.0ms (6.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify248.0ms (4.2%)

localize31.0ms (0.5%)

series6.0ms (0.1%)

simplify164.0ms (2.8%)

rewrite169.0ms (2.9%)

eval52.0ms (0.9%)

prune10.0ms (0.2%)

simplify375.0ms (6.4%)

localize71.0ms (1.2%)

series25.0ms (0.4%)

simplify172.0ms (2.9%)

rewrite162.0ms (2.8%)

eval219.0ms (3.7%)

prune27.0ms (0.5%)

simplify356.0ms (6.1%)

localize58.0ms (1%)

series10.0ms (0.2%)

simplify345.0ms (5.9%)

rewrite203.0ms (3.5%)

eval22.0ms (0.4%)

prune13.0ms (0.2%)

regimes10.0ms (0.2%)

regimes12.0ms (0.2%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

bsearch0.0ms (0%)

simplify24.0ms (0.4%)

soundness1.1s (18.3%)

preprocess58.0ms (1%)

end0.0ms (0%)

Profiling