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.7MiB live, 0.7MiB 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.3s (22.1%)

Memory

30.8MiB live, 1 522.6MiB allocated

Samples

538.0ms	6 193×	0	valid
362.0ms	2 060×	1	valid
0.0ms	3×	2	valid

Precisions

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

ival-pow2: 250.0ms (39.1% of total)

ival-<=: 107.0ms (16.8% of total)

ival-add: 103.0ms (16.1% of total)

adjust: 69.0ms (10.8% of total)

ival-sub: 67.0ms (10.5% of total)

ival-and: 22.0ms (3.4% of total)

exact: 18.0ms (2.8% of total)

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

Bogosity

explain94.0ms (1.6%)

Memory

13.0MiB live, 174.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
77	2	(-7.840857515969062e-62 -1.230788879574695e-262)	-	`(-.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

23.0ms	382×	0	valid
15.0ms	130×	1	valid

Compiler

Compiled 82 to 32 computations (61% saved)

Precisions

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

ival-pow2: 13.0ms (57.8% of total)

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

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

adjust: 2.0ms (8.9% of total)

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

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

exact: 0.0ms (0% of total)

preprocess403.0ms (6.6%)

Memory

-15.9MiB live, 264.0MiB 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.3MiB live, 0.3MiB 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
▶	75.5%	(-.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)

simplify197.0ms (3.2%)

Memory

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

localize26.0ms (0.4%)

Memory

3.6MiB live, 42.4MiB 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.029628759768442016	(pow.f64 (+.f64 x eps) #s(literal 2 binary64))
accuracy	15.660042500902842	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Samples

12.0ms	191×	0	valid
7.0ms	65×	1	valid

Compiler

Compiled 48 to 16 computations (66.7% saved)

Precisions

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

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

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

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

adjust: 1.0ms (9.2% 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

-40.0MiB live, 8.5MiB 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	x	@	0	((- (pow (+ x eps) 2) (pow x 2)) (pow x 2) (pow (+ x eps) 2) (+ x eps))

simplify422.0ms (6.9%)

Memory

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

rewrite168.0ms (2.8%)

Memory

-21.8MiB live, 215.2MiB 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>

eval69.0ms (1.1%)

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

prune18.0ms (0.3%)

Memory

-3.9MiB live, 34.2MiB 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
▶	62.6%	(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.1%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
▶	72.6%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify401.0ms (6.6%)

Memory

-13.0MiB live, 261.7MiB 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	501	89
5	1750	89
6	3246	89
7	4603	89
8	5289	89
9	5684	89
10	5875	89
11	5948	89
12	5967	89
13	5970	89
14	5972	89
15	5972	89
16	5972	89
17	7645	89
0	8464	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)
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)
(+.f64 x eps)
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)

localize87.0ms (1.4%)

Memory

1.1MiB live, 75.1MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 (neg.f64 x) x)
accuracy	0	(neg.f64 x)
accuracy	0.015625	(fma.f64 (+.f64 eps x) eps (*.f64 (neg.f64 x) x))
accuracy	23.902671655621898	(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.0078125	(*.f64 (fma.f64 x #s(literal 2 binary64) eps) eps)
accuracy	0	(*.f64 x eps)
accuracy	0.04296875	(.f64 (.f64 x eps) #s(literal 2 binary64))
accuracy	23.594569952414364	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 x eps) #s(literal 2 binary64)))
accuracy	0	(*.f64 eps eps)
accuracy	17.518085803062068	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))

Samples

53.0ms	191×	0	valid
17.0ms	65×	1	valid

Compiler

Compiled 175 to 38 computations (78.3% saved)

Precisions

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

ival-mult: 12.0ms (39.3% of total)

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

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

adjust: 2.0ms (6.6% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series18.0ms (0.3%)

Memory

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

simplify209.0ms (3.4%)

Memory

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

rewrite210.0ms (3.5%)

Memory

-20.0MiB live, 172.9MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	97
0	33	97
1	137	92
2	1089	92
0	8310	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>

eval105.0ms (1.7%)

Memory: 25.4MiB live, 177.1MiB allocated
Compiler: Compiled 21 495 to 1 676 computations (92.2% saved)

prune24.0ms (0.4%)

Memory

-13.7MiB live, 62.1MiB 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.1%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
✓	72.6%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
▶	37.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)

simplify383.0ms (6.3%)

Memory

-2.0MiB live, 278.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	513	67
5	1770	67
6	3258	67
7	4631	67
8	5307	67
9	5702	67
10	5893	67
11	5966	67
12	5985	67
13	5988	67
14	5990	67
15	5990	67
16	5990	67
17	7670	67
0	8489	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(literal 0 binary64)
#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (.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 (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) (*.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

localize57.0ms (0.9%)

Memory

11.9MiB live, 95.9MiB 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.00390625	(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.594569952414364	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
accuracy	39.75578625713835	#s(approx (+ (* (+ eps x) x) (+ (* (+ eps x) eps) (* (neg x) x))) #s(literal 0 binary64))

Samples

27.0ms	191×	0	valid
19.0ms	65×	1	valid

Compiler

Compiled 116 to 31 computations (73.3% saved)

Precisions

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

ival-mult: 13.0ms (37.8% of total)

ival-pow2: 9.0ms (26.2% of total)

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

adjust: 2.0ms (5.8% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series11.0ms (0.2%)

Memory

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

simplify184.0ms (3%)

Memory

-0.7MiB live, 193.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	754
1	142	750
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)

rewrite269.0ms (4.4%)

Memory

13.5MiB live, 211.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	67
0	25	65
1	128	58
2	1131	58
0	8336	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>

eval33.0ms (0.5%)

Memory: -18.7MiB live, 30.6MiB allocated
Compiler: Compiled 2 526 to 228 computations (91% saved)

prune11.0ms (0.2%)

Memory

26.6MiB live, 26.6MiB 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.1%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (.f64 (.f64 #s(literal 2 binary64) x) eps))
✓	72.6%	#s(approx (- (pow (+ x eps) 2) (pow x 2)) (*.f64 eps eps))
✓	37.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)

regimes27.0ms (0.5%)

Memory

-19.6MiB live, 17.3MiB 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)) (fma.f64 eps eps (.f64 (.f64 #s(literal 2 binary64) x) eps)))

Calls

3 calls:

21.0ms	x
3.0ms	eps
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)

regimes7.0ms (0.1%)

Memory

12.2MiB live, 12.2MiB allocated

Counts

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

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

Calls

3 calls:

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

regimes7.0ms (0.1%)

Memory

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

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

Results

Accuracy	Segments	Branch
90.4%	3	`x`
87.4%	3	`eps`
96.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)

regimes21.0ms (0.3%)

Memory

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

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

Results

Accuracy	Segments	Branch
72.6%	1	`eps`
72.6%	1	`x`
72.6%	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

8.8MiB live, 8.8MiB 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	eps
1.0ms	x
1.0ms	(-.f64 (pow.f64 (+.f64 x eps) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64)))

Results

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

Compiler

Compiled 11 to 11 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0	9e-323

Compiler

Compiled 12 to 12 computations (0% saved)

simplify40.0ms (0.7%)

Memory

-0.2MiB live, 37.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	105
1	38	105
2	42	105
3	44	105
4	45	105

Stop Event

1×

saturated

Calls

Call 1

Inputs
#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 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)) (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 x #s(literal 2 binary64)) eps)))
#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 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 x #s(literal 2 binary64)) 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 (17.6%)

Memory

-9.7MiB live, 482.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

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

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 78 to 58 computations (25.6% saved)

preprocess131.0ms (2.2%)

Memory: 8.5MiB live, 95.4MiB allocated
Compiler: Compiled 106 to 56 computations (47.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.3s (22.1%)

explain94.0ms (1.6%)

preprocess403.0ms (6.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify197.0ms (3.2%)

localize26.0ms (0.4%)

series25.0ms (0.4%)

simplify422.0ms (6.9%)

rewrite168.0ms (2.8%)

eval69.0ms (1.1%)

prune18.0ms (0.3%)

simplify401.0ms (6.6%)

localize87.0ms (1.4%)

series18.0ms (0.3%)

simplify209.0ms (3.4%)

rewrite210.0ms (3.5%)

eval105.0ms (1.7%)

prune24.0ms (0.4%)

simplify383.0ms (6.3%)

localize57.0ms (0.9%)

series11.0ms (0.2%)

simplify184.0ms (3%)

rewrite269.0ms (4.4%)

eval33.0ms (0.5%)

prune11.0ms (0.2%)

regimes27.0ms (0.5%)

regimes7.0ms (0.1%)

regimes7.0ms (0.1%)

regimes21.0ms (0.3%)

regimes4.0ms (0.1%)

bsearch0.0ms (0%)

simplify40.0ms (0.7%)

soundness1.1s (17.6%)

preprocess131.0ms (2.2%)

end0.0ms (0%)

Profiling