Metrics for math.square on complex, real part

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	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)

sample527.0ms (15.8%)

Memory

45.8MiB live, 656.2MiB allocated

Samples

310.0ms

8 256×

valid

Precisions

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

ival-mult: 118.0ms (69.7% of total)

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

ival-true: 5.0ms (3% of total)

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

Bogosity

explain57.0ms (1.7%)

Memory

-0.4MiB live, 76.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
20	-	-	`(-.f64 (.f64 re re) (.f64 im im))`
0	-	-	`(*.f64 re re)`
0	-	-	`re`
0	-	-	`(*.f64 im im)`
0	-	-	`im`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (.f64 re re) (.f64 im im))`	nan-rescue	20	0
↳	`(*.f64 re re)`	overflow	67
↳	`(*.f64 im im)`	overflow	68

Confusion

	Predicted +	Predicted -
+	20	0
-	0	236

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	20	0	0
-	0	0	236

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	236
1	20

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

22.0ms

512×

valid

Compiler

Compiled 56 to 24 computations (57.1% saved)

Precisions

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

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

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

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

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

preprocess519.0ms (15.6%)

Memory

28.2MiB live, 221.6MiB 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 re re) (.f64 im im))

Outputs
(fma.f64 (neg.f64 im) im (*.f64 re re))

Symmetry

(abs im)

(abs re)

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)

prune2.0ms (0%)

Memory

-37.5MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.2%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify388.0ms (11.7%)

Memory

22.9MiB live, 214.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 im im)
cost-diff	0	(*.f64 re re)
cost-diff	0	(-.f64 (.f64 re re) (.f64 im im))

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 re re) (.f64 im im))
(*.f64 re re)
re
(*.f64 im im)
im

Outputs
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
re
(*.f64 im im)
im

localize14.0ms (0.4%)

Memory

18.8MiB live, 18.8MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 re re)
accuracy	0	(*.f64 im im)
accuracy	4.496073108302059	(-.f64 (.f64 re re) (.f64 im im))

Samples

10.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 (66% of total)

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

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

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

series4.0ms (0.1%)

Memory

6.0MiB live, 6.0MiB allocated

Counts

3 → 48

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())

Inputs

#s(alt #<batchref> (patch (-.f64 (*.f64 re re) (*.f64 im im)) #<representation binary64>) () ())

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

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

Outputs
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	inf	((- (* re re) (* im im)) (* re re) (* im im))
1.0ms	re	@	0	((- (* re re) (* im im)) (* re re) (* im im))
0.0ms	im	@	inf	((- (* re re) (* im im)) (* re re) (* im im))
0.0ms	im	@	-inf	((- (* re re) (* im im)) (* re re) (* im im))
0.0ms	re	@	-inf	((- (* re re) (* im im)) (* re re) (* im im))

simplify113.0ms (3.4%)

Memory

1.0MiB live, 118.1MiB 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	1689	219
5	2839	219
6	4994	219
0	8397	219

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(- (pow re 2) (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* -1 (pow im 2)) (pow re 2))
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(* -1 (pow im 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(* -1 (pow im 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)

Outputs
(*.f64 (neg.f64 im) im)
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 (neg.f64 im) im)
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 (neg.f64 im) im)
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)

rewrite187.0ms (5.6%)

Memory

-9.2MiB live, 179.6MiB 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 re re) (.f64 im im))
(*.f64 re re)
(*.f64 im im)

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>

eval31.0ms (0.9%)

Memory: 18.7MiB live, 55.3MiB allocated
Compiler: Compiled 8 823 to 759 computations (91.4% saved)

prune8.0ms (0.2%)

Memory

-33.6MiB live, 17.7MiB 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 re im) (+.f64 im re))
▶	55.8%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
▶	53.6%	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify323.0ms (9.7%)

Memory

20.3MiB live, 256.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

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	285	49
5	590	49
6	1490	49
7	2883	49
8	3991	49
9	4558	49
10	4797	49
11	4927	49
12	4949	49
13	4949	49
14	4949	49
0	8683	49

Stop Event

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

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
re
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
(*.f64 (neg.f64 im) im)
(neg.f64 im)
im
(*.f64 (-.f64 re im) (+.f64 im re))
(-.f64 re im)
re
im
(+.f64 im re)

Outputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
re
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
(*.f64 (neg.f64 im) im)
(neg.f64 im)
im
(*.f64 (+.f64 im re) (-.f64 re im))
(-.f64 re im)
re
im
(+.f64 im re)

localize27.0ms (0.8%)

Memory

-3.7MiB live, 34.9MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 re im)
accuracy	0	(+.f64 im re)
accuracy	0	(*.f64 (-.f64 re im) (+.f64 im re))
accuracy	0	(*.f64 (neg.f64 im) im)
accuracy	0	(neg.f64 im)
accuracy	28.281272384916207	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
accuracy	0	(*.f64 re re)
accuracy	29.674714383152118	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Samples

20.0ms

256×

valid

Compiler

Compiled 91 to 25 computations (72.5% saved)

Precisions

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

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

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

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

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

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

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

series10.0ms (0.3%)

Memory

16.0MiB live, 16.0MiB allocated

Counts

8 → 156

Calls

Call 1

Inputs
#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (neg.f64 im) im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (neg.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 (-.f64 re im) (+.f64 im re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (-.f64 re im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 im re) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	im	@	-inf	((- (* re re) (* im im)) (* re re) (- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	im	@	inf	((- (* re re) (* im im)) (* re re) (- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	re	@	inf	((- (* re re) (* im im)) (* re re) (- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	re	@	-inf	((- (* re re) (* im im)) (* re re) (- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))
1.0ms	im	@	0	((- (* re re) (* im im)) (* re re) (- (* re re) (* im im)) (* (neg im) im) (neg im) (* (- re im) (+ im re)) (- re im) (+ im re))

simplify123.0ms (3.7%)

Memory

1.6MiB live, 118.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	651
1	283	651
2	841	651
3	3488	651
0	8515	651

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 147

Calls

Call 1

Inputs
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(- (pow re 2) (pow im 2))
(- (pow re 2) (pow im 2))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* -1 (pow im 2))
(- (pow re 2) (pow im 2))
(- (pow re 2) (pow im 2))
(- (pow re 2) (pow im 2))
(* -1 (pow im 2))
(+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))
(+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))
(+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))
(* -1 im)
(- re im)
(- re im)
(- re im)
im
(+ im re)
(+ im re)
(+ im re)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(pow re 2)
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))
re
(* re (+ 1 (* -1 (/ im re))))
(* re (+ 1 (* -1 (/ im re))))
(* re (+ 1 (* -1 (/ im re))))
re
(* re (+ 1 (/ im re)))
(* re (+ 1 (/ im re)))
(* re (+ 1 (/ im re)))
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))
(pow re 2)
(* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))
(* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))
(* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))
re
(* -1 (* re (- (/ im re) 1)))
(* -1 (* re (- (/ im re) 1)))
(* -1 (* re (- (/ im re) 1)))
re
(* -1 (* re (- (* -1 (/ im re)) 1)))
(* -1 (* re (- (* -1 (/ im re)) 1)))
(* -1 (* re (- (* -1 (/ im re)) 1)))
(pow re 2)
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* -1 (pow im 2)) (pow re 2))
(pow re 2)
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* -1 (pow im 2)) (pow re 2))
(+ (* -1 (pow im 2)) (pow re 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 im)
(* -1 im)
(* -1 im)
(* -1 im)
(pow re 2)
(+ (* im (+ re (* -1 re))) (pow re 2))
(+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))
(+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))
re
(+ re (* -1 im))
(+ re (* -1 im))
(+ re (* -1 im))
re
(+ im re)
(+ im re)
(+ im re)
(* -1 (pow im 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* -1 (pow im 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 im)
(* -1 im)
(* -1 im)
(* -1 im)
(* -1 (pow im 2))
(* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))
(* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))
(* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))
(* -1 im)
(* im (- (/ re im) 1))
(* im (- (/ re im) 1))
(* im (- (/ re im) 1))
im
(* im (+ 1 (/ re im)))
(* im (+ 1 (/ re im)))
(* im (+ 1 (/ re im)))
(* -1 (pow im 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* -1 (pow im 2))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 im)
(* -1 im)
(* -1 im)
(* -1 im)
(* -1 (pow im 2))
(* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))
(* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))
(* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))
(* -1 im)
(* -1 (* im (+ 1 (* -1 (/ re im)))))
(* -1 (* im (+ 1 (* -1 (/ re im)))))
(* -1 (* im (+ 1 (* -1 (/ re im)))))
im
(* -1 (* im (- (* -1 (/ re im)) 1)))
(* -1 (* im (- (* -1 (/ re im)) 1)))
(* -1 (* im (- (* -1 (/ re im)) 1)))

Outputs
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(neg.f64 im)
(-.f64 re im)
(-.f64 re im)
(-.f64 re im)
im
(+.f64 im re)
(+.f64 im re)
(+.f64 im re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
re
(-.f64 re im)
(-.f64 re im)
(-.f64 re im)
re
(+.f64 im re)
(+.f64 im re)
(+.f64 im re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
re
(-.f64 re im)
(-.f64 re im)
(-.f64 re im)
re
(+.f64 im re)
(+.f64 im re)
(+.f64 im re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(neg.f64 im)
(neg.f64 im)
(neg.f64 im)
(neg.f64 im)
(*.f64 re re)
(*.f64 re re)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
re
(-.f64 re im)
(-.f64 re im)
(-.f64 re im)
re
(+.f64 im re)
(+.f64 im re)
(+.f64 im re)
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(neg.f64 im)
(neg.f64 im)
(neg.f64 im)
(neg.f64 im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(neg.f64 im)
(-.f64 re im)
(-.f64 re im)
(-.f64 re im)
im
(+.f64 im re)
(+.f64 im re)
(+.f64 im re)
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(neg.f64 im)
(neg.f64 im)
(neg.f64 im)
(neg.f64 im)
(*.f64 (neg.f64 im) im)
(*.f64 (neg.f64 im) im)
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(neg.f64 im)
(-.f64 re im)
(-.f64 re im)
(-.f64 re im)
im
(+.f64 im re)
(+.f64 im re)
(+.f64 im re)

rewrite294.0ms (8.8%)

Memory

-24.3MiB live, 125.1MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	45
0	19	45
1	70	45
2	511	45
3	6763	36
0	9290	36

Stop Event

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

Counts

8 → 733

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
(*.f64 (neg.f64 im) im)
(neg.f64 im)
(*.f64 (-.f64 re im) (+.f64 im re))
(-.f64 re im)
(+.f64 im re)

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>

eval135.0ms (4%)

Memory: 18.2MiB live, 173.4MiB allocated
Compiler: Compiled 19 178 to 1 569 computations (91.8% saved)

prune24.0ms (0.7%)

Memory

9.4MiB live, 48.4MiB 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 re im) (+.f64 im re))
✓	55.8%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
✓	53.6%	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Compiler

Compiled 67 to 35 computations (47.8% saved)

regimes19.0ms (0.6%)

Memory

-38.6MiB live, 18.6MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
(*.f64 (-.f64 re im) (+.f64 im re))
(-.f64 (.f64 re re) (.f64 im im))

Outputs
(*.f64 (-.f64 re im) (+.f64 im re))

Calls

5 calls:

2.0ms	re
2.0ms	im
2.0ms	(*.f64 im im)
2.0ms	(-.f64 (.f64 re re) (.f64 im im))
2.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(-.f64 (.f64 re re) (.f64 im im))`
100.0%	1	`(*.f64 re re)`
100.0%	1	`(*.f64 im im)`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes53.0ms (1.6%)

Memory

34.5MiB live, 34.5MiB allocated

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))

Outputs
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
#s(approx (- (* re re) (* im im)) (*.f64 re re))

Calls

5 calls:

46.0ms	(*.f64 im im)
2.0ms	re
2.0ms	im
1.0ms	(*.f64 re re)
1.0ms	(-.f64 (.f64 re re) (.f64 im im))

Results

Accuracy	Segments	Branch
80.8%	2	`re`
79.0%	2	`im`
95.6%	2	`(-.f64 (.f64 re re) (.f64 im im))`
80.8%	2	`(*.f64 re re)`
79.0%	2	`(*.f64 im im)`

Compiler

Compiled 15 to 15 computations (0% saved)

regimes8.0ms (0.2%)

Memory

-27.6MiB live, 10.9MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))

Outputs
#s(approx (- (* re re) (* im im)) (*.f64 re re))

Calls

5 calls:

3.0ms	re
1.0ms	im
1.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	(*.f64 im im)
1.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
53.6%	1	`im`
53.6%	1	`(*.f64 im im)`
53.6%	1	`re`
53.6%	1	`(*.f64 re re)`
53.6%	1	`(-.f64 (.f64 re re) (.f64 im im))`

Compiler

Compiled 15 to 15 computations (0% saved)

bsearch1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-7.51306e-319	0.0

Compiler

Compiled 10 to 10 computations (0% saved)

simplify24.0ms (0.7%)

Memory

11.1MiB live, 49.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	51
1	29	51
2	35	51
3	38	51
4	39	51

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (-.f64 re im) (+.f64 im re))

(if (<=.f64 (-.f64 (*.f64 re re) (*.f64 im im)) #s(literal -101201/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 binary64)) #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #s(approx (- (* re re) (* im im)) (*.f64 re re)))

#s(approx (- (* re re) (* im im)) (*.f64 re re))

Outputs

(*.f64 (+.f64 im re) (-.f64 re im))

(if (<=.f64 (-.f64 (*.f64 re re) (*.f64 im im)) #s(literal -101201/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784 binary64)) #s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im)) #s(approx (- (* re re) (* im im)) (*.f64 re re)))

#s(approx (- (* re re) (* im im)) (*.f64 re re))

soundness382.0ms (11.5%)

Memory

24.5MiB live, 178.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	219
1	39	219
2	113	219
3	469	219
4	1689	219
5	2839	219
6	4994	219
0	8397	219
0	5	13
0	8	13
1	32	13
2	216	13
3	1967	13
0	8778	13

Stop Event

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

Compiler

Compiled 75 to 36 computations (52% saved)

preprocess57.0ms (1.7%)

Memory

-7.9MiB live, 72.2MiB allocated

Remove

(abs re)

(abs im)

Compiler

Compiled 172 to 86 computations (50% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample527.0ms (15.8%)

explain57.0ms (1.7%)

preprocess519.0ms (15.6%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify388.0ms (11.7%)

localize14.0ms (0.4%)

series4.0ms (0.1%)

simplify113.0ms (3.4%)

rewrite187.0ms (5.6%)

eval31.0ms (0.9%)

prune8.0ms (0.2%)

simplify323.0ms (9.7%)

localize27.0ms (0.8%)

series10.0ms (0.3%)

simplify123.0ms (3.7%)

rewrite294.0ms (8.8%)

eval135.0ms (4%)

prune24.0ms (0.7%)

regimes19.0ms (0.6%)

regimes53.0ms (1.6%)

regimes8.0ms (0.2%)

bsearch1.0ms (0%)

simplify24.0ms (0.7%)

soundness382.0ms (11.5%)

preprocess57.0ms (1.7%)

end0.0ms (0%)

Profiling