Metrics for Examples.Basics.BasicTests:f2 from sbv-4.4

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB 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 9 to 7 computations (22.2% saved)

sample713.0ms (14.8%)

Memory

26.7MiB live, 998.8MiB allocated

Samples

503.0ms

8 256×

valid

Precisions

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

ival-mult: 185.0ms (78.2% of total)

ival-sub: 42.0ms (17.7% of total)

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

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

Bogosity

explain71.0ms (1.5%)

Memory

-49.5MiB live, 143.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
22	-	-	`(-.f64 (.f64 x x) (.f64 y y))`
0	-	-	`y`
0	-	-	`(*.f64 y y)`
0	-	-	`(*.f64 x x)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (.f64 x x) (.f64 y y))`	nan-rescue	22	0
↳	`(*.f64 x x)`	overflow	71
↳	`(*.f64 y y)`	overflow	63

Confusion

	Predicted +	Predicted -
+	22	0
-	0	234

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	22	0	0
-	0	0	234

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	234
1	22

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

36.0ms

512×

valid

Compiler

Compiled 56 to 24 computations (57.1% saved)

Precisions

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

ival-mult: 7.0ms (61.5% of total)

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

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

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

preprocess505.0ms (10.5%)

Memory

7.9MiB live, 281.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	51	35
2	144	35
3	366	35
4	892	35
5	1223	35
6	1754	35
7	2340	35
8	4152	35
9	4727	35
10	4840	35
11	4954	35
12	5034	35
13	5034	35
14	6415	35
15	7393	35
16	7877	35
17	7893	35
18	7893	35
0	5	7
0	8	7
1	16	7
2	27	7
3	53	7
4	114	7
5	315	7
6	567	7
7	1238	7
8	2495	7
9	4124	7
10	4997	7
11	5366	7
12	5596	7
13	5710	7
14	5710	7
15	6670	7
16	6830	7
17	7150	7
18	7150	7
19	7550	7
20	7710	7
21	7790	7
22	7790	7
23	7790	7
0	10268	7

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 y y))

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

Symmetry

(abs y)

(abs x)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.4%	(-.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify342.0ms (7.1%)

Memory

16.3MiB live, 202.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 y y)
cost-diff	0	(*.f64 x x)
cost-diff	0	(-.f64 (.f64 x x) (.f64 y y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	16	15
2	27	15
3	53	15
4	114	15
5	315	15
6	567	15
7	1238	15
8	2495	15
9	4124	15
10	4997	15
11	5366	15
12	5596	15
13	5710	15
14	5710	15
15	6670	15
16	6830	15
17	7150	15
18	7150	15
19	7550	15
20	7710	15
21	7790	15
22	7790	15
23	7790	15
0	10268	15

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 y y))
(*.f64 x x)
x
(*.f64 y y)
y

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

localize90.0ms (1.9%)

Memory

-16.4MiB live, 108.0MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y y)
accuracy	0	(*.f64 x x)
accuracy	5.093721101622882	(-.f64 (.f64 x x) (.f64 y y))

Samples

85.0ms

256×

valid

Compiler

Compiled 32 to 12 computations (62.5% saved)

Precisions

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

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

ival-sub: 1.0ms (20.5% of total)

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

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

series4.0ms (0.1%)

Memory

10.1MiB live, 10.1MiB allocated

Counts

3 → 48

Calls

Call 1

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

Inputs

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

#s(alt (*.f64 x x) (patch (*.f64 x x) #<representation binary64>) () ())

#s(alt (*.f64 y y) (patch (*.f64 y y) #<representation binary64>) () ())

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

Calls

6 calls:

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

simplify179.0ms (3.7%)

Memory

-19.8MiB live, 144.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	219
1	39	219
2	113	219
3	469	219
4	1679	219
5	2846	219
6	5006	219
0	8448	219

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

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

Outputs
(pow x 2)
(*.f64 x x)
(+ (* -1 (pow y 2)) (pow x 2))
(*.f64 (-.f64 x y) (+.f64 y x))
(+ (* -1 (pow y 2)) (pow x 2))
(*.f64 (-.f64 x y) (+.f64 y x))
(+ (* -1 (pow y 2)) (pow x 2))
(*.f64 (-.f64 x y) (+.f64 y x))
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(*.f64 (-.f64 x y) (+.f64 y x))
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(*.f64 (-.f64 x y) (+.f64 y x))
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(pow y 2)
(*.f64 y y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(- (pow x 2) (pow y 2))
(*.f64 (-.f64 x y) (+.f64 y x))
(- (pow x 2) (pow y 2))
(*.f64 (-.f64 x y) (+.f64 y x))
(- (pow x 2) (pow y 2))
(*.f64 (-.f64 x y) (+.f64 y 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)
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(*.f64 (-.f64 x y) (+.f64 y 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)
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(*.f64 (-.f64 x y) (+.f64 y x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(*.f64 (-.f64 x y) (+.f64 y 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)

rewrite287.0ms (5.9%)

Memory

29.1MiB live, 151.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	13
0	8	13
1	32	13
2	216	13
3	1967	13
0	8778	13

Stop Event

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

Counts

3 → 252

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 y y))
(*.f64 x x)
(*.f64 y 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>

eval112.0ms (2.3%)

Memory: -14.0MiB live, 61.7MiB allocated
Compiler: Compiled 8 583 to 756 computations (91.2% saved)

prune5.0ms (0.1%)

Memory

18.6MiB live, 18.6MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	297	3	300
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	298	3	301

Accuracy

100.0%

Counts

301 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (-.f64 x y) (+.f64 y x))
▶	53.5%	#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
▶	53.6%	#s(approx (- (* x x) (* y y)) (*.f64 x x))

Compiler

Compiled 16 to 14 computations (12.5% saved)

simplify612.0ms (12.7%)

Memory

-19.2MiB live, 259.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 y x)
cost-diff	0	(-.f64 x y)
cost-diff	0	(*.f64 (-.f64 x y) (+.f64 y x))
cost-diff	0	(neg.f64 y)
cost-diff	0	(*.f64 (neg.f64 y) y)
cost-diff	0	#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
cost-diff	0	(*.f64 x x)
cost-diff	0	#s(approx (- (* x x) (* y y)) (*.f64 x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	49
0	19	49
1	37	49
2	64	49
3	144	49
4	288	49
5	589	49
6	1508	49
7	2913	49
8	4014	49
9	4572	49
10	4811	49
11	4941	49
12	4963	49
13	4963	49
14	4963	49
0	8697	49

Stop Event

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

Calls

Call 1

Inputs
#s(approx (- (* x x) (* y y)) (*.f64 x x))
(*.f64 x x)
x
#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(*.f64 (-.f64 x y) (+.f64 y x))
(-.f64 x y)
x
y
(+.f64 y x)

Outputs
#s(approx (- (* x x) (* y y)) (*.f64 x x))
(*.f64 x x)
x
#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(*.f64 (-.f64 x y) (+.f64 y x))
(*.f64 (+.f64 y x) (-.f64 x y))
(-.f64 x y)
x
y
(+.f64 y x)

localize111.0ms (2.3%)

Memory

7.9MiB live, 47.1MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 x y)
accuracy	0	(+.f64 y x)
accuracy	0	(*.f64 (-.f64 x y) (+.f64 y x))
accuracy	0	(*.f64 (neg.f64 y) y)
accuracy	0	(neg.f64 y)
accuracy	29.73345432672158	#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
accuracy	0	(*.f64 x x)
accuracy	29.67378984795686	#s(approx (- (* x x) (* y y)) (*.f64 x x))

Samples

104.0ms

256×

valid

Compiler

Compiled 77 to 22 computations (71.4% saved)

Precisions

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

ival-mult: 90.0ms (94.4% of total)

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

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

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

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

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

series9.0ms (0.2%)

Memory

13.5MiB live, 13.5MiB allocated

Counts

8 → 156

Calls

Call 1

Inputs
#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())
#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())
#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())
#s(alt (neg.f64 y) (patch (neg.f64 y) #<representation binary64>) () ())
#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())
#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())
#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())

Outputs
#s(alt (pow x 2) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (pow x 2)) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (pow x 2)) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (pow x 2)) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (pow x 2)) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (pow x 2)) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (pow x 2)) (taylor 0 y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) 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 (pow x 2) (taylor 0 y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ (* y (+ x (* -1 x))) (pow x 2)) (taylor 0 y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ (* y (+ x (+ (* -1 x) (* -1 y)))) (pow x 2)) (taylor 0 y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ (* y (+ x (+ (* -1 x) (* -1 y)))) (pow x 2)) (taylor 0 y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 y)) (taylor 0 y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 y)) (taylor 0 y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 y)) (taylor 0 y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) 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 (pow y 2)) (taylor inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (+ (* -1 (/ x y)) (/ x y)) 1)) (taylor inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (+ (* -1 (/ x y)) (+ (/ x y) (/ (pow x 2) (pow y 2)))) 1)) (taylor inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (+ (* -1 (/ x y)) (+ (/ x y) (/ (pow x 2) (pow y 2)))) 1)) (taylor inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (- (/ x y) 1)) (taylor inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (- (/ x y) 1)) (taylor inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (- (/ x y) 1)) (taylor inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1)) (taylor -inf y) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor -inf y) (#s(alt (.f64 (neg.f64 y) y) (patch (.f64 (neg.f64 y) 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 (pow y 2)) (taylor -inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (* -1 (/ (+ x (* -1 x)) y)) 1)) (taylor -inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (* -1 (/ (+ x (+ (* -1 x) (* -1 (/ (pow x 2) y)))) y)) 1)) (taylor -inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (* -1 (/ (+ x (+ (* -1 x) (* -1 (/ (pow x 2) y)))) y)) 1)) (taylor -inf y) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor -inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ 1 (* -1 (/ x y))))) (taylor -inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ 1 (* -1 (/ x y))))) (taylor -inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ 1 (* -1 (/ x y))))) (taylor -inf y) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) (pow y 2)) (taylor 0 x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow y 2)) (taylor 0 x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (* x (+ y (* -1 y)))) (taylor 0 x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (* x (+ x (+ y (* -1 y))))) (taylor 0 x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (pow y 2)) (* x (+ x (+ y (* -1 y))))) (taylor 0 x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 y) (taylor 0 x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (- x y) (taylor 0 x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (- x y) (taylor 0 x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (- x y) (taylor 0 x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (/ y x)))) (taylor inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))))) (taylor inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))))) (taylor inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (/ y x)))) (taylor inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (/ y x)))) (taylor inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (/ y x)))) (taylor inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 x x)) (patch #s(approx (- ( x x) (* y y)) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (patch #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (/ y x)))) (taylor -inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (+ (* -1 (+ y (* -1 y))) (/ (pow y 2) x)) x)))) (taylor -inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* -1 (/ (+ (* -1 (+ y (* -1 y))) (/ (pow y 2) x)) x)))) (taylor -inf x) (#s(alt (.f64 (-.f64 x y) (+.f64 y x)) (patch (.f64 (-.f64 x y) (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (/ y x) 1))) (taylor -inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (/ y x) 1))) (taylor -inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (/ y x) 1))) (taylor -inf x) (#s(alt (-.f64 x y) (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())

Calls

6 calls:

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

simplify322.0ms (6.7%)

Memory

0.1MiB live, 116.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	651
1	281	651
2	829	651
3	3560	651
0	8744	651

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 147

Calls

Call 1

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

Outputs
(pow x 2)
(*.f64 x x)
(+ (* -1 (pow y 2)) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(+ (* -1 (pow y 2)) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(+ (* -1 (pow y 2)) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(pow x 2)
(*.f64 x x)
(+ (* -1 (pow y 2)) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(+ (* -1 (pow y 2)) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(+ (* -1 (pow y 2)) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(pow x 2)
(*.f64 x x)
(+ (* y (+ x (* -1 x))) (pow x 2))
(*.f64 x x)
(+ (* y (+ x (+ (* -1 x) (* -1 y)))) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(+ (* y (+ x (+ (* -1 x) (* -1 y)))) (pow x 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
x
(+ x (* -1 y))
(-.f64 x y)
(+ x (* -1 y))
(-.f64 x y)
(+ x (* -1 y))
(-.f64 x y)
x
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (+ (* -1 (/ x y)) (/ x y)) 1))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (+ (* -1 (/ x y)) (+ (/ x y) (/ (pow x 2) (pow y 2)))) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (+ (* -1 (/ x y)) (+ (/ x y) (/ (pow x 2) (pow y 2)))) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 y)
(neg.f64 y)
(* y (- (/ x y) 1))
(-.f64 x y)
(* y (- (/ x y) 1))
(-.f64 x y)
(* y (- (/ x y) 1))
(-.f64 x y)
y
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* y (+ 1 (/ x y)))
(+.f64 y x)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (/ (pow x 2) (pow y 2)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 y)
(neg.f64 y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (* -1 (/ (+ x (* -1 x)) y)) 1))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (* -1 (/ (+ x (+ (* -1 x) (* -1 (/ (pow x 2) y)))) y)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow y 2) (- (* -1 (/ (+ x (+ (* -1 x) (* -1 (/ (pow x 2) y)))) y)) 1))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 y)
(neg.f64 y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(-.f64 x y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(-.f64 x y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(-.f64 x y)
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)
(* -1 (* y (- (* -1 (/ x y)) 1)))
(+.f64 y x)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(- (pow x 2) (pow y 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(- (pow x 2) (pow y 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(- (pow x 2) (pow y 2))
(fma.f64 (neg.f64 y) y (*.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)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(- (pow x 2) (pow y 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(- (pow x 2) (pow y 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(- (pow x 2) (pow y 2))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(+ (* -1 (pow y 2)) (* x (+ y (* -1 y))))
(*.f64 (neg.f64 y) y)
(+ (* -1 (pow y 2)) (* x (+ x (+ y (* -1 y)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(+ (* -1 (pow y 2)) (* x (+ x (+ y (* -1 y)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* -1 y)
(neg.f64 y)
(- x y)
(-.f64 x y)
(- x y)
(-.f64 x y)
(- x y)
(-.f64 x y)
y
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
(+ x y)
(+.f64 y x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.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)
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (/ y x))))
(*.f64 x x)
(* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
x
(* x (+ 1 (* -1 (/ y x))))
(-.f64 x y)
(* x (+ 1 (* -1 (/ y x))))
(-.f64 x y)
(* x (+ 1 (* -1 (/ y x))))
(-.f64 x y)
x
(* x (+ 1 (/ y x)))
(+.f64 y x)
(* x (+ 1 (/ y x)))
(+.f64 y x)
(* x (+ 1 (/ y x)))
(+.f64 y x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.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)
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (pow y 2) (pow x 2)))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (+ (* -1 (/ y x)) (/ y x))))
(*.f64 x x)
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -1 (+ y (* -1 y))) (/ (pow y 2) x)) x))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
(* (pow x 2) (+ 1 (* -1 (/ (+ (* -1 (+ y (* -1 y))) (/ (pow y 2) x)) x))))
(fma.f64 (neg.f64 y) y (*.f64 x x))
x
(* -1 (* x (- (/ y x) 1)))
(-.f64 x y)
(* -1 (* x (- (/ y x) 1)))
(-.f64 x y)
(* -1 (* x (- (/ y x) 1)))
(-.f64 x y)
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)
(* -1 (* x (- (* -1 (/ y x)) 1)))
(+.f64 y x)

rewrite306.0ms (6.4%)

Memory

-3.5MiB live, 236.6MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	45
0	19	45
1	70	45
2	507	45
3	6735	36
0	9263	36

Stop Event

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

Counts

8 → 733

Calls

Call 1

Inputs
#s(approx (- (* x x) (* y y)) (*.f64 x x))
(*.f64 x x)
#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(*.f64 (-.f64 x y) (+.f64 y x))
(-.f64 x y)
(+.f64 y 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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval290.0ms (6%)

Memory: 16.3MiB live, 252.0MiB allocated
Compiler: Compiled 17 707 to 1 561 computations (91.2% saved)

prune26.0ms (0.5%)

Memory

-9.1MiB live, 73.2MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	880	0	880
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	880	3	883

Accuracy

100.0%

Counts

883 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 x y) (+.f64 y x))
✓	53.5%	#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
✓	53.6%	#s(approx (- (* x x) (* y y)) (*.f64 x x))

Compiler

Compiled 39 to 26 computations (33.3% saved)

regimes97.0ms (2%)

Memory

-17.4MiB live, 21.8MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (- (* x x) (* y y)) (*.f64 x x))
#s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (-.f64 x y) (+.f64 y x))
(-.f64 (.f64 x x) (.f64 y y))

Outputs
(*.f64 (-.f64 x y) (+.f64 y x))

Calls

5 calls:

88.0ms	(-.f64 (.f64 x x) (.f64 y y))
2.0ms	y
2.0ms	x
2.0ms	(*.f64 y y)
2.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(-.f64 (.f64 x x) (.f64 y y))`
100.0%	1	`(*.f64 x x)`
100.0%	1	`(*.f64 y y)`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes8.0ms (0.2%)

Memory

15.7MiB live, 15.7MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

5 calls:

2.0ms	y
2.0ms	x
1.0ms	(*.f64 y y)
1.0ms	(-.f64 (.f64 x x) (.f64 y y))
1.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
79.0%	2	`x`
81.1%	2	`y`
96.5%	3	`(-.f64 (.f64 x x) (.f64 y y))`
79.0%	2	`(*.f64 x x)`
81.1%	2	`(*.f64 y y)`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes92.0ms (1.9%)

Memory

-24.5MiB live, 14.9MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

87.0ms	x
1.0ms	y
1.0ms	(-.f64 (.f64 x x) (.f64 y y))
1.0ms	(*.f64 x x)
1.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
53.6%	1	`x`
53.6%	1	`(*.f64 x x)`
53.6%	1	`y`
53.6%	1	`(*.f64 y y)`
53.6%	1	`(-.f64 (.f64 x x) (.f64 y y))`

Compiler

Compiled 15 to 15 computations (0% saved)

bsearch1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-4.61106368436004e-300	0.0

Compiler

Compiled 10 to 10 computations (0% saved)

simplify25.0ms (0.5%)

Memory

27.8MiB live, 65.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	73
1	32	73
2	38	73
3	41	73
4	42	73

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (-.f64 x y) (+.f64 y x))

(if (<=.f64 (-.f64 (*.f64 x x) (*.f64 y y)) #s(literal -6032057205060441/1508014301265110212210531135789433919262563062937126445449153766240405586123431823342743394534566435927056356253600209291203385124994765794776479899441737755548338772926974008712671009764769795099197087276523896072521861519103442867235119310387667688286379400732806098106007386857498456032472308789536403591243235328 binary64)) #s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y)) (if (<=.f64 (-.f64 (*.f64 x x) (*.f64 y y)) #s(literal +inf.0 binary64)) #s(approx (- (* x x) (* y y)) (*.f64 x x)) #s(approx (- (* x x) (* y y)) (*.f64 (neg.f64 y) y))))

#s(approx (- (* x x) (* y y)) (*.f64 x x))

Outputs
(*.f64 (-.f64 x y) (+.f64 y x))
(*.f64 (+.f64 y x) (-.f64 x y))
(if (<=.f64 (-.f64 (.f64 x x) (.f64 y y)) #s(literal -6032057205060441/1508014301265110212210531135789433919262563062937126445449153766240405586123431823342743394534566435927056356253600209291203385124994765794776479899441737755548338772926974008712671009764769795099197087276523896072521861519103442867235119310387667688286379400732806098106007386857498456032472308789536403591243235328 binary64)) #s(approx (- (* x x) (* y y)) (.f64 (neg.f64 y) y)) (if (<=.f64 (-.f64 (.f64 x x) (.f64 y y)) #s(literal +inf.0 binary64)) #s(approx (- ( x x) (* y y)) (.f64 x x)) #s(approx (- ( x x) (* y y)) (*.f64 (neg.f64 y) y))))
#s(approx (- (* x x) (* y y)) (*.f64 x x))

soundness552.0ms (11.4%)

Memory

-195.6MiB live, 256.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	13
0	8	13
1	32	13
2	216	13
3	1967	13
0	8778	13
0	17	219
1	39	219
2	113	219
3	469	219
4	1679	219
5	2846	219
6	5006	219
0	8448	219

Stop Event

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

Compiler

Compiled 69 to 36 computations (47.8% saved)

preprocess65.0ms (1.3%)

Memory

19.7MiB live, 98.9MiB allocated

Remove

(abs x)

(abs y)

Compiler

Compiled 160 to 86 computations (46.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample713.0ms (14.8%)

explain71.0ms (1.5%)

preprocess505.0ms (10.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify342.0ms (7.1%)

localize90.0ms (1.9%)

series4.0ms (0.1%)

simplify179.0ms (3.7%)

rewrite287.0ms (5.9%)

eval112.0ms (2.3%)

prune5.0ms (0.1%)

simplify612.0ms (12.7%)

localize111.0ms (2.3%)

series9.0ms (0.2%)

simplify322.0ms (6.7%)

rewrite306.0ms (6.4%)

eval290.0ms (6%)

prune26.0ms (0.5%)

regimes97.0ms (2%)

regimes8.0ms (0.2%)

regimes92.0ms (1.9%)

bsearch1.0ms (0%)

simplify25.0ms (0.5%)

soundness552.0ms (11.4%)

preprocess65.0ms (1.3%)

end0.0ms (0%)

Profiling