Metrics for Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 7 to 7 computations (0% saved)

sample900.0ms (21%)

Memory

31.4MiB live, 867.5MiB allocated

Samples

682.0ms

8 256×

valid

Precisions

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

ival-sub: 122.0ms (49.9% of total)

ival-mult: 109.0ms (44.6% of total)

ival-true: 6.0ms (2.5% of total)

exact: 4.0ms (1.6% of total)

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

Bogosity

explain71.0ms (1.7%)

Memory

-22.8MiB live, 132.7MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 #s(literal 1 binary64) y)`
-	-	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
-	-	`y`
-	-	`#s(literal 1 binary64)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

22.0ms

512×

valid

Compiler

Compiled 42 to 24 computations (42.9% saved)

Precisions

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

ival-mult: 4.0ms (52.1% of total)

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

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

exact: 0.0ms (0% of total)

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

preprocess52.0ms (1.2%)

Memory

-7.3MiB live, 79.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	40	26
2	109	25
3	343	25
4	569	25
5	662	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	153	5
7	218	5
8	270	5
9	308	5
10	330	5
0	330	5

Stop Event

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

Calls

Call 1

Inputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))

Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)

Symmetry

(negabs x)

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 x (-.f64 #s(literal 1 binary64) y))

Compiler

Compiled 5 to 5 computations (0% saved)

simplify10.0ms (0.2%)

Memory

17.8MiB live, 17.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 #s(literal 1 binary64) y)
cost-diff	0	(*.f64 x (-.f64 #s(literal 1 binary64) y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	153	11
7	218	11
8	270	11
9	308	11
10	330	11
0	330	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
x
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y

Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
x
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y

localize19.0ms (0.4%)

Memory

-9.3MiB live, 28.8MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.015625	(*.f64 x (-.f64 #s(literal 1 binary64) y))

Samples

15.0ms

256×

valid

Compiler

Compiled 24 to 12 computations (50% saved)

Precisions

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

ival-mult: 3.0ms (60.7% of total)

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

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

7.1MiB live, 7.1MiB allocated

Counts

2 → 36

Calls

Call 1

Inputs
#s(alt (.f64 x (-.f64 #s(literal 1 binary64) y)) (patch (.f64 x (-.f64 #s(literal 1 binary64) y)) #<representation binary64>) () ())
#s(alt (-.f64 #s(literal 1 binary64) y) (patch (-.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())

Inputs

#s(alt (*.f64 x (-.f64 #s(literal 1 binary64) y)) (patch (*.f64 x (-.f64 #s(literal 1 binary64) y)) #<representation binary64>) () ())

#s(alt (-.f64 #s(literal 1 binary64) y) (patch (-.f64 #s(literal 1 binary64) y) #<representation binary64>) () ())

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

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((* x (- 1 y)) (- 1 y))
0.0ms	y	@	inf	((* x (- 1 y)) (- 1 y))
0.0ms	x	@	-inf	((* x (- 1 y)) (- 1 y))
0.0ms	x	@	0	((* x (- 1 y)) (- 1 y))
0.0ms	y	@	-inf	((* x (- 1 y)) (- 1 y))

simplify236.0ms (5.5%)

Memory

-4.3MiB live, 150.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	167
1	69	146
2	167	146
3	315	146
4	893	146
5	2559	146
6	4034	146
7	4552	146
8	4727	146
9	4764	146
10	4796	146
11	5464	146
12	5911	146
13	6012	146
14	6032	146
15	6042	146
16	6048	146
17	6048	146
18	6052	146
19	6056	146
20	7025	146
0	8064	146

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 35

Calls

Call 1

Inputs
x
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
1
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(* -1 (* x y))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* -1 y)
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 y)
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))

Outputs
x
(+ x (* -1 (* x y)))
(fma.f64 (neg.f64 x) y x)
(+ x (* -1 (* x y)))
(fma.f64 (neg.f64 x) y x)
(+ x (* -1 (* x y)))
(fma.f64 (neg.f64 x) y x)
1
#s(literal 1 binary64)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* y (+ (* -1 x) (/ x y)))
(fma.f64 (neg.f64 x) y x)
(* y (+ (* -1 x) (/ x y)))
(fma.f64 (neg.f64 x) y x)
(* y (+ (* -1 x) (/ x y)))
(fma.f64 (neg.f64 x) y x)
(* -1 y)
(neg.f64 y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* -1 (* y (+ x (* -1 (/ x y)))))
(fma.f64 (neg.f64 x) y x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(fma.f64 (neg.f64 x) y x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(fma.f64 (neg.f64 x) y x)
(* -1 y)
(neg.f64 y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)
(* x (- 1 y))
(fma.f64 (neg.f64 x) y x)

rewrite207.0ms (4.8%)

Memory

-17.3MiB live, 309.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	25	8
2	145	8
3	1153	8
0	9551	8

Stop Event

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

Counts

2 → 819

Calls

Call 1

Inputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval137.0ms (3.2%)

Memory: 21.8MiB live, 296.5MiB allocated
Compiler: Compiled 24 799 to 2 076 computations (91.6% saved)

prune34.0ms (0.8%)

Memory

17.8MiB live, 57.3MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	851	3	854
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	852	3	855

Accuracy

100.0%

Counts

855 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (neg.f64 y) x x)
▶	56.7%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
▶	45.8%	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Compiler

Compiled 14 to 14 computations (0% saved)

simplify21.0ms (0.5%)

Memory

-25.3MiB live, 13.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(neg.f64 y)
cost-diff	0	(fma.f64 (neg.f64 y) x x)
cost-diff	0	(neg.f64 y)
cost-diff	0	#s(approx (- 1 y) (neg.f64 y))
cost-diff	0	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
cost-diff	0	#s(approx (- 1 y) #s(literal 1 binary64))
cost-diff	0	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	41
0	15	41
1	29	41
2	45	41
3	74	41
4	97	41
5	217	41
6	288	41
7	362	41
8	507	41
9	561	41
10	567	41
11	571	41
12	577	41
13	581	41
0	581	41

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
x
#s(approx (- 1 y) #s(literal 1 binary64))
#s(literal 1 binary64)
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
x
#s(approx (- 1 y) (neg.f64 y))
(neg.f64 y)
y
(fma.f64 (neg.f64 y) x x)
(neg.f64 y)
y
x

Outputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)
x
#s(approx (- 1 y) #s(literal 1 binary64))
#s(literal 1 binary64)
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
(*.f64 #s(approx (- 1 y) (neg.f64 y)) x)
x
#s(approx (- 1 y) (neg.f64 y))
(neg.f64 y)
y
(fma.f64 (neg.f64 y) x x)
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(neg.f64 y)
y
x

localize48.0ms (1.1%)

Memory

-12.3MiB live, 87.6MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 (neg.f64 y) x x)
accuracy	0	(neg.f64 y)
accuracy	0	(neg.f64 y)
accuracy	0.015625	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
accuracy	28.06953465331686	#s(approx (- 1 y) (neg.f64 y))
accuracy	0.015625	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
accuracy	34.85466184285103	#s(approx (- 1 y) #s(literal 1 binary64))

Samples

40.0ms

256×

valid

Compiler

Compiled 63 to 19 computations (69.8% saved)

Precisions

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

ival-neg: 7.0ms (51.2% of total)

ival-mult: 3.0ms (21.9% of total)

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

ival-add: 1.0ms (7.3% of total)

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

exact: 0.0ms (0% of total)

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

series7.0ms (0.2%)

Memory

17.0MiB live, 17.0MiB allocated

Counts

6 → 108

Calls

Call 1

Inputs
#s(alt (.f64 x #s(approx (- 1 y) #s(literal 1 binary64))) (patch (.f64 x #s(approx (- 1 y) #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt #s(approx (- 1 y) #s(literal 1 binary64)) (patch #s(approx (- 1 y) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (.f64 x #s(approx (- 1 y) (neg.f64 y))) (patch (.f64 x #s(approx (- 1 y) (neg.f64 y))) #<representation binary64>) () ())
#s(alt #s(approx (- 1 y) (neg.f64 y)) (patch #s(approx (- 1 y) (neg.f64 y)) #<representation binary64>) () ())
#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())
#s(alt (fma.f64 (neg.f64 y) x x) (patch (fma.f64 (neg.f64 y) x x) #<representation binary64>) () ())

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

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((* x (- 1 y)) (- 1 y) (* x (- 1 y)) (- 1 y) (neg y) (+ (* (neg y) x) x))
1.0ms	x	@	-inf	((* x (- 1 y)) (- 1 y) (* x (- 1 y)) (- 1 y) (neg y) (+ (* (neg y) x) x))
1.0ms	x	@	0	((* x (- 1 y)) (- 1 y) (* x (- 1 y)) (- 1 y) (neg y) (+ (* (neg y) x) x))
1.0ms	y	@	inf	((* x (- 1 y)) (- 1 y) (* x (- 1 y)) (- 1 y) (neg y) (+ (* (neg y) x) x))
0.0ms	y	@	0	((* x (- 1 y)) (- 1 y) (* x (- 1 y)) (- 1 y) (neg y) (+ (* (neg y) x) x))

simplify255.0ms (6%)

Memory

-11.5MiB live, 145.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	493
1	85	430
2	192	430
3	366	430
4	992	430
5	2873	430
6	3971	430
7	4480	430
8	4574	430
9	4617	430
10	4645	430
11	5524	430
12	6175	430
13	6444	430
14	6464	430
15	6474	430
16	6486	430
17	6486	430
18	6490	430
19	6494	430
20	6494	430
21	6818	430
22	7977	430
0	8448	430

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 105

Calls

Call 1

Inputs
x
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
1
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(+ 1 (* -1 y))
x
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
1
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
x
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(* -1 (* x y))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* -1 y)
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* -1 (* x y))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* -1 y)
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 (* x y))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 y)
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 y)
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (* -1 y)))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (* -1 y)))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* -1 (* x (- y 1)))
(* -1 (* x (- y 1)))
(* -1 (* x (- y 1)))
(* -1 (* x (- y 1)))

Outputs
x
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
1
#s(literal 1 binary64)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
x
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
1
#s(literal 1 binary64)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(+ 1 (* -1 y))
(-.f64 #s(literal 1 binary64) y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
x
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(+ x (* -1 (* x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 y)
(neg.f64 y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 y)
(neg.f64 y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* y (- (/ 1 y) 1))
(-.f64 #s(literal 1 binary64) y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* y (+ (* -1 x) (/ x y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 y)
(neg.f64 y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 y)
(neg.f64 y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 (* y (- 1 (/ 1 y))))
(-.f64 #s(literal 1 binary64) y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 (* x y))
(*.f64 (neg.f64 x) y)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* y (+ x (* -1 (/ x y)))))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (+ 1 (* -1 y)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* x (- 1 y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* x (- y 1)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* x (- y 1)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* x (- y 1)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(* -1 (* x (- y 1)))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)

rewrite242.0ms (5.7%)

Memory

-4.4MiB live, 224.1MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	33
0	15	33
1	54	33
2	316	33
3	3094	29
0	9439	29

Stop Event

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

Counts

6 → 267

Calls

Call 1

Inputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
#s(approx (- 1 y) #s(literal 1 binary64))
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
#s(approx (- 1 y) (neg.f64 y))
(neg.f64 y)
(fma.f64 (neg.f64 y) x 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>

eval260.0ms (6.1%)

Memory: 10.3MiB live, 129.7MiB allocated
Compiler: Compiled 5 231 to 624 computations (88.1% saved)

prune114.0ms (2.7%)

Memory

3.0MiB live, 42.3MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	417	0	417
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	417	3	420

Accuracy

100.0%

Counts

420 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (neg.f64 y) x x)
✓	56.7%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
✓	45.8%	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Compiler

Compiled 33 to 25 computations (24.2% saved)

regimes9.0ms (0.2%)

Memory

19.3MiB live, 19.3MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(fma.f64 (neg.f64 y) x x)

Outputs
(fma.f64 (neg.f64 y) x x)

Calls

4 calls:

2.0ms	x
2.0ms	(*.f64 x (-.f64 #s(literal 1 binary64) y))
2.0ms	y
2.0ms	(-.f64 #s(literal 1 binary64) y)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
100.0%	1	`(-.f64 #s(literal 1 binary64) y)`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes130.0ms (3%)

Memory

-24.5MiB live, 33.2MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
(*.f64 x (-.f64 #s(literal 1 binary64) y))

Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))

Calls

4 calls:

124.0ms	(*.f64 x (-.f64 #s(literal 1 binary64) y))
2.0ms	y
2.0ms	x
2.0ms	(-.f64 #s(literal 1 binary64) y)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
100.0%	1	`(-.f64 #s(literal 1 binary64) y)`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes23.0ms (0.5%)

Memory

-24.4MiB live, 15.2MiB allocated

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))

Outputs
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 x #s(approx (- 1 y) (neg.f64 y)))

Calls

4 calls:

18.0ms	x
2.0ms	y
2.0ms	(*.f64 x (-.f64 #s(literal 1 binary64) y))
1.0ms	(-.f64 #s(literal 1 binary64) y)

Results

Accuracy	Segments	Branch
62.5%	4	`x`
98.4%	3	`y`
80.0%	3	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
98.4%	3	`(-.f64 #s(literal 1 binary64) y)`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes6.0ms (0.1%)

Memory

12.0MiB live, 12.0MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Outputs
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Calls

4 calls:

1.0ms	x
1.0ms	(*.f64 x (-.f64 #s(literal 1 binary64) y))
1.0ms	y
1.0ms	(-.f64 #s(literal 1 binary64) y)

Results

Accuracy	Segments	Branch
45.8%	1	`x`
45.8%	1	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
45.8%	1	`y`
45.8%	1	`(-.f64 #s(literal 1 binary64) y)`

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0019186424608195	3.6797492075615907
0.0ms	-2432861.161240797	0.9988903170282799

Compiler

Compiled 8 to 10 computations (-25% saved)

simplify79.0ms (1.8%)

Memory

4.5MiB live, 44.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	45
1	32	45
2	38	45
3	45	45
4	56	45
5	67	45
6	109	45
7	259	45
8	3923	45
9	5927	45
10	7160	45

Stop Event

1×	node limit

Calls

Call 1

Inputs
(fma.f64 (neg.f64 y) x x)
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal -2000000 binary64)) (.f64 x #s(approx (- 1 y) (neg.f64 y))) (if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)) (.f64 x #s(approx (- 1 y) #s(literal 1 binary64))) (*.f64 x #s(approx (- 1 y) (neg.f64 y)))))
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Outputs
(fma.f64 (neg.f64 y) x x)
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal -2000000 binary64)) (.f64 x #s(approx (- 1 y) (neg.f64 y))) (if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)) (.f64 x #s(approx (- 1 y) #s(literal 1 binary64))) (*.f64 x #s(approx (- 1 y) (neg.f64 y)))))
(if (or (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal -2000000 binary64)) (not (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)))) (.f64 #s(approx (- 1 y) (neg.f64 y)) x) (.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x))
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)

soundness1.3s (29.7%)

Memory

2.8MiB live, 187.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	25	8
2	145	8
3	1153	8
0	9551	8
0	25	167
1	69	146
2	167	146
3	315	146
4	893	146
5	2559	146
6	4034	146
7	4552	146
8	4727	146
9	4764	146
10	4796	146
11	5464	146
12	5911	146
13	6012	146
14	6032	146
15	6042	146
16	6048	146
17	6048	146
18	6052	146
19	6056	146
20	7025	146
0	8064	146

Stop Event

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

Compiler

Compiled 56 to 37 computations (33.9% saved)

preprocess145.0ms (3.4%)

Memory: 15.9MiB live, 143.3MiB allocated
Remove: (negabs x)
Compiler: Compiled 112 to 70 computations (37.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	13	31
1	40	26
2	109	25
3	343	25
4	569	25
5	662	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	153	5
7	218	5
8	270	5
9	308	5
10	330	5
0	330	5

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	153	11
7	218	11
8	270	11
9	308	11
10	330	11
0	330	11

Iter	Nodes	Cost
0	10	41
0	15	41
1	29	41
2	45	41
3	74	41
4	97	41
5	217	41
6	288	41
7	362	41
8	507	41
9	561	41
10	567	41
11	571	41
12	577	41
13	581	41
0	581	41

Iter	Nodes	Cost
0	13	31
1	40	26
2	109	25
3	343	25
4	569	25
5	662	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	153	5
7	218	5
8	270	5
9	308	5
10	330	5
0	330	5

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	153	11
7	218	11
8	270	11
9	308	11
10	330	11
0	330	11

Iter	Nodes	Cost
0	10	41
0	15	41
1	29	41
2	45	41
3	74	41
4	97	41
5	217	41
6	288	41
7	362	41
8	507	41
9	561	41
10	567	41
11	571	41
12	577	41
13	581	41
0	581	41

start0.0ms (0%)

analyze0.0ms (0%)

sample900.0ms (21%)

explain71.0ms (1.7%)

preprocess52.0ms (1.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify10.0ms (0.2%)

localize19.0ms (0.4%)

series3.0ms (0.1%)

simplify236.0ms (5.5%)

rewrite207.0ms (4.8%)

eval137.0ms (3.2%)

prune34.0ms (0.8%)

simplify21.0ms (0.5%)

localize48.0ms (1.1%)

series7.0ms (0.2%)

simplify255.0ms (6%)

rewrite242.0ms (5.7%)

eval260.0ms (6.1%)

prune114.0ms (2.7%)

regimes9.0ms (0.2%)

regimes130.0ms (3%)

regimes23.0ms (0.5%)

regimes6.0ms (0.1%)

bsearch1.0ms (0%)

simplify79.0ms (1.8%)

soundness1.3s (29.7%)

preprocess145.0ms (3.4%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	13	31
1	40	26
2	109	25
3	343	25
4	569	25
5	662	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	153	5
7	218	5
8	270	5
9	308	5
10	330	5
0	330	5

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	153	11
7	218	11
8	270	11
9	308	11
10	330	11
0	330	11

Iter	Nodes	Cost
0	10	41
0	15	41
1	29	41
2	45	41
3	74	41
4	97	41
5	217	41
6	288	41
7	362	41
8	507	41
9	561	41
10	567	41
11	571	41
12	577	41
13	581	41
0	581	41