Details

analyze0.0ms (0%)

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 10 to 6 computations (40% saved)

sample646.0ms (33.1%)

Results

367.0ms	4657×	body	256	valid
267.0ms	3599×	body	256	infinite

Bogosity

preprocess167.0ms (8.6%)

Algorithm

2×	egg-herbie

Rules

2428×	`fma-def`
1090×	`sub-neg`
988×	`distribute-rgt-in`
972×	`distribute-lft-in`
832×	`distribute-lft-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	28	38
2	49	38
3	105	38
4	272	38
5	810	38
6	2075	38
7	3821	38
8	5458	38
9	6039	38
10	6152	38
11	6266	38
12	6346	38
13	6346	38
14	7727	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 im im) (.f64 re re))

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify165.0ms (8.5%)

Algorithm

1×	egg-herbie

Rules

2086×	`fma-def`
1386×	`distribute-lft-out`
998×	`distribute-lft-out--`
986×	`unsub-neg`
954×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	18	19
2	30	19
3	59	19
4	134	19
5	384	19
6	843	19
7	1706	19
8	3850	19
9	5508	19
10	6382	19
11	6751	19
12	6981	19
13	7095	19
14	7095	19

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))

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

eval0.0ms (0%)

Compiler: Compiled 16 to 8 computations (50% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Accurracy

99.2%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(fma.f64 re re (*.f64 im (neg.f64 im)))
▶	96.5%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 18 to 10 computations (44.4% saved)

localize21.0ms (1.1%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	96.6%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 18 to 6 computations (66.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	0	(-.f64 (.f64 re re) (.f64 im im))
0.0ms	im	@	0	(-.f64 (.f64 re re) (.f64 im im))
0.0ms	re	@	inf	(-.f64 (.f64 re re) (.f64 im im))
0.0ms	im	@	inf	(-.f64 (.f64 re re) (.f64 im im))
0.0ms	re	@	-inf	(-.f64 (.f64 re re) (.f64 im im))

rewrite66.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1680×	`pow1`
1560×	`add-exp-log`
1560×	`log1p-expm1-u`
1560×	`expm1-log1p-u`
1522×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	160	19
2	2247	19

Stop Event

1×	node limit

Counts

1 → 46

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))

Outputs
(+.f64 (.f64 re re) (.f64 im (neg.f64 im)))
(+.f64 (.f64 re re) (.f64 (*.f64 im (neg.f64 im)) 1))
(+.f64 (.f64 re re) (+.f64 (.f64 im (neg.f64 im)) (fma.f64 (neg.f64 im) im (*.f64 im im))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (.f64 im (neg.f64 im)) 1 (.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 im im))) (cbrt.f64 (pow.f64 im 4)) (.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 1))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (+.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))
(+.f64 (.f64 im (neg.f64 im)) (.f64 re re))
(+.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (-.f64 (.f64 re re) (*.f64 im im)))
(.f64 (-.f64 (.f64 re re) (*.f64 im im)) 1)
(.f64 1 (-.f64 (.f64 re re) (*.f64 im im)))
(.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (*.f64 im im)) 2)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(*.f64 (+.f64 re im) (-.f64 re im))
(*.f64 (-.f64 re im) (+.f64 re im))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (-.f64 (pow.f64 re 6) (pow.f64 im 6))))
(/.f64 1 (/.f64 (fma.f64 re re (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (fma.f64 re re (*.f64 im im))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 (.f64 im (neg.f64 im)) 3)) (+.f64 (pow.f64 re 4) (-.f64 (.f64 (.f64 im (neg.f64 im)) (.f64 im (neg.f64 im))) (.f64 (.f64 re re) (*.f64 im (neg.f64 im))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) (pow.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 3)) (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (-.f64 (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))) (.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))))
(/.f64 (-.f64 (pow.f64 re 4) (.f64 (.f64 im (neg.f64 im)) (.f64 im (neg.f64 im)))) (-.f64 (.f64 re re) (*.f64 im (neg.f64 im))))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im)))) (-.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))
(pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 1)
(pow.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 3)
(pow.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 2)
(sqrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)))
(cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (-.f64 (.f64 re re) (.f64 im im))))
(exp.f64 (log.f64 (-.f64 (.f64 re re) (.f64 im im))))
(log1p.f64 (expm1.f64 (-.f64 (.f64 re re) (.f64 im im))))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(fma.f64 1 (.f64 re re) (.f64 im (neg.f64 im)))
(fma.f64 1 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im (neg.f64 im)))
(fma.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (+.f64 re im) (-.f64 re im) (fma.f64 (neg.f64 im) im (*.f64 im im)))

simplify49.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1818×	`fma-def`
742×	`distribute-lft-in`
734×	`distribute-rgt-in`
422×	`cancel-sign-sub-inv`
340×	`unswap-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	2078
1	344	1964
2	1524	1810

Stop Event

1×	node limit

Counts

70 → 67

Calls

Call 1

Inputs
(*.f64 -1 (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(*.f64 -1 (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(*.f64 -1 (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (.f64 re re) (.f64 im (neg.f64 im)))
(+.f64 (.f64 re re) (.f64 (*.f64 im (neg.f64 im)) 1))
(+.f64 (.f64 re re) (+.f64 (.f64 im (neg.f64 im)) (fma.f64 (neg.f64 im) im (*.f64 im im))))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (.f64 im (neg.f64 im)) 1 (.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 im im))) (cbrt.f64 (pow.f64 im 4)) (.f64 im im)))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 1))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (+.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))
(+.f64 (.f64 im (neg.f64 im)) (.f64 re re))
(+.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (-.f64 (.f64 re re) (*.f64 im im)))
(.f64 (-.f64 (.f64 re re) (*.f64 im im)) 1)
(.f64 1 (-.f64 (.f64 re re) (*.f64 im im)))
(.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (*.f64 im im)) 2)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(*.f64 (+.f64 re im) (-.f64 re im))
(*.f64 (-.f64 re im) (+.f64 re im))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (-.f64 (pow.f64 re 6) (pow.f64 im 6))))
(/.f64 1 (/.f64 (fma.f64 re re (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (fma.f64 re re (*.f64 im im))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 (.f64 im (neg.f64 im)) 3)) (+.f64 (pow.f64 re 4) (-.f64 (.f64 (.f64 im (neg.f64 im)) (.f64 im (neg.f64 im))) (.f64 (.f64 re re) (*.f64 im (neg.f64 im))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) (pow.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 3)) (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (-.f64 (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))) (.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))))
(/.f64 (-.f64 (pow.f64 re 4) (.f64 (.f64 im (neg.f64 im)) (.f64 im (neg.f64 im)))) (-.f64 (.f64 re re) (*.f64 im (neg.f64 im))))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im)))) (-.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))
(pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 1)
(pow.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 3)
(pow.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 2)
(sqrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)))
(cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (-.f64 (.f64 re re) (.f64 im im))))
(exp.f64 (log.f64 (-.f64 (.f64 re re) (.f64 im im))))
(log1p.f64 (expm1.f64 (-.f64 (.f64 re re) (.f64 im im))))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(fma.f64 1 (.f64 re re) (.f64 im (neg.f64 im)))
(fma.f64 1 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im (neg.f64 im)))
(fma.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (+.f64 re im) (-.f64 re im) (fma.f64 (neg.f64 im) im (*.f64 im im)))

Outputs
(*.f64 -1 (pow.f64 im 2))
(*.f64 im (neg.f64 im))
(neg.f64 (*.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 -1 (pow.f64 im 2))
(*.f64 im (neg.f64 im))
(neg.f64 (*.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 -1 (pow.f64 im 2))
(*.f64 im (neg.f64 im))
(neg.f64 (*.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 re re) (.f64 im (neg.f64 im)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 re re) (.f64 (*.f64 im (neg.f64 im)) 1))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 re re) (+.f64 (.f64 im (neg.f64 im)) (fma.f64 (neg.f64 im) im (*.f64 im im))))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (.f64 im (neg.f64 im)) 1 (.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 im im))) (cbrt.f64 (pow.f64 im 4)) (.f64 im im)))
(fma.f64 (+.f64 im re) (-.f64 re im) (fma.f64 (neg.f64 (cbrt.f64 (.f64 im im))) (cbrt.f64 (pow.f64 im 4)) (.f64 im im)))
(fma.f64 (neg.f64 (cbrt.f64 (*.f64 im im))) (cbrt.f64 (pow.f64 im 4)) (fma.f64 re re 0))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 1))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (-.f64 (.f64 re re) (.f64 im im)) (+.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im (neg.f64 im)) (.f64 re re))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (-.f64 (.f64 re re) (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(.f64 (-.f64 (.f64 re re) (*.f64 im im)) 1)
(-.f64 (.f64 re re) (.f64 im im))
(.f64 1 (-.f64 (.f64 re re) (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (*.f64 im im)) 2)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (*.f64 im im)) 2)))
(.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(-.f64 (.f64 re re) (.f64 im im))
(.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))))
(/.f64 (.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) 1) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (+.f64 (pow.f64 (*.f64 im re) 2) (pow.f64 re 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im im (*.f64 re re)))
(*.f64 (+.f64 re im) (-.f64 re im))
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 (-.f64 re im) (+.f64 re im))
(-.f64 (.f64 re re) (.f64 im im))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (-.f64 (pow.f64 re 6) (pow.f64 im 6))))
(/.f64 (.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) 1) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (+.f64 (pow.f64 (*.f64 im re) 2) (pow.f64 re 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 1 (/.f64 (fma.f64 re re (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im im (*.f64 re re)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) 1) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (+.f64 (pow.f64 (*.f64 im re) 2) (pow.f64 re 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im im (*.f64 re re)))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(/.f64 (.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) 1) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (+.f64 (pow.f64 (*.f64 im re) 2) (pow.f64 re 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (fma.f64 re re (*.f64 im im))))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im im (*.f64 re re)))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 (.f64 im (neg.f64 im)) 3)) (+.f64 (pow.f64 re 4) (-.f64 (.f64 (.f64 im (neg.f64 im)) (.f64 im (neg.f64 im))) (.f64 (.f64 re re) (*.f64 im (neg.f64 im))))))
(/.f64 (.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) 1) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (+.f64 (pow.f64 (*.f64 im re) 2) (pow.f64 re 4))))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) (pow.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 3)) (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (-.f64 (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))) (.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) (pow.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 3)) (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (-.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (-.f64 (.f64 re re) (.f64 im im))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) (pow.f64 (.f64 0 (.f64 im im)) 3)) (fma.f64 (.f64 0 (.f64 im im)) (-.f64 (.f64 0 (.f64 im im)) (-.f64 (.f64 re re) (.f64 im im))) (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)))
(/.f64 (+.f64 0 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3)) (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2))
(/.f64 (-.f64 (pow.f64 re 4) (.f64 (.f64 im (neg.f64 im)) (.f64 im (neg.f64 im)))) (-.f64 (.f64 re re) (*.f64 im (neg.f64 im))))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im im (*.f64 re re)))
(/.f64 (-.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im)))) (-.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im))))
(/.f64 (+.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (.f64 (.f64 0 (.f64 im im)) (.f64 0 (.f64 im im)))) (fma.f64 (+.f64 im re) (-.f64 re im) (.f64 0 (*.f64 im im))))
(/.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2) (-.f64 (.f64 re re) (.f64 im im)))
(pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 1)
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 3)
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) 1/3)
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 2)
(-.f64 (.f64 re re) (.f64 im im))
(sqrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2))
(-.f64 (.f64 re re) (.f64 im im))
(log.f64 (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)))
(-.f64 (.f64 re re) (.f64 im im))
(cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3))
(-.f64 (.f64 re re) (.f64 im im))
(expm1.f64 (log1p.f64 (-.f64 (.f64 re re) (.f64 im im))))
(-.f64 (.f64 re re) (.f64 im im))
(exp.f64 (log.f64 (-.f64 (.f64 re re) (.f64 im im))))
(-.f64 (.f64 re re) (.f64 im im))
(log1p.f64 (expm1.f64 (-.f64 (.f64 re re) (.f64 im im))))
(-.f64 (.f64 re re) (.f64 im im))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(-.f64 (.f64 re re) (.f64 im im))
(fma.f64 1 (.f64 re re) (.f64 im (neg.f64 im)))
(-.f64 (.f64 re re) (.f64 im im))
(fma.f64 1 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(fma.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(fma.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (.f64 0 (.f64 im im)))
(fma.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) 0)
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im (neg.f64 im)))
(-.f64 (.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2)) (.f64 im im))
(fma.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(fma.f64 (+.f64 re im) (-.f64 re im) (fma.f64 (neg.f64 im) im (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))

localize24.0ms (1.2%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.2%	(fma.f64 re re (*.f64 im (neg.f64 im)))

Compiler

Compiled 18 to 6 computations (66.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	-inf	(fma.f64 re re (*.f64 im (neg.f64 im)))
0.0ms	re	@	0	(fma.f64 re re (*.f64 im (neg.f64 im)))
0.0ms	re	@	inf	(fma.f64 re re (*.f64 im (neg.f64 im)))
0.0ms	im	@	0	(fma.f64 re re (*.f64 im (neg.f64 im)))
0.0ms	im	@	inf	(fma.f64 re re (*.f64 im (neg.f64 im)))

rewrite60.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1434×	`pow1`
1304×	`add-exp-log`
1302×	`log1p-expm1-u`
1302×	`expm1-log1p-u`
1270×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	179	13
2	2176	13

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 (.f64 re re) 1) (*.f64 im im))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(/.f64 (+.f64 (pow.f64 (.f64 re re) 3) (pow.f64 (.f64 im im) 3)) (+.f64 (.f64 (.f64 re re) (.f64 re re)) (-.f64 (.f64 im (pow.f64 im 3)) (.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 im (pow.f64 im 3))) (pow.f64 (hypot.f64 re im) 2))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))

simplify55.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1900×	`times-frac`
1800×	`fma-def`
1232×	`log-prod`
876×	`associate-r`
772×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	59	1008
1	164	868
2	725	768
3	5559	768

Stop Event

1×	node limit

Counts

46 → 36

Calls

Call 1

Inputs
(*.f64 -1 (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(*.f64 -1 (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(*.f64 -1 (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 (.f64 re re) 1) (*.f64 im im))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(/.f64 (+.f64 (pow.f64 (.f64 re re) 3) (pow.f64 (.f64 im im) 3)) (+.f64 (.f64 (.f64 re re) (.f64 re re)) (-.f64 (.f64 im (pow.f64 im 3)) (.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 im (pow.f64 im 3))) (pow.f64 (hypot.f64 re im) 2))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))

Outputs
(*.f64 -1 (pow.f64 im 2))
(neg.f64 (*.f64 im im))
(*.f64 im (neg.f64 im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 -1 (pow.f64 im 2))
(neg.f64 (*.f64 im im))
(*.f64 im (neg.f64 im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(*.f64 -1 (pow.f64 im 2))
(neg.f64 (*.f64 im im))
(*.f64 im (neg.f64 im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (pow.f64 re 2) (*.f64 -1 (pow.f64 im 2)))
(-.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 re re))
(fma.f64 im im (*.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(fma.f64 im im (*.f64 re re))
(+.f64 (.f64 (.f64 re re) 1) (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(/.f64 (+.f64 (pow.f64 (.f64 re re) 3) (pow.f64 (.f64 im im) 3)) (+.f64 (.f64 (.f64 re re) (.f64 re re)) (-.f64 (.f64 im (pow.f64 im 3)) (.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (+.f64 (pow.f64 (.f64 re re) 3) (pow.f64 (.f64 im im) 3)) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 im (pow.f64 im 3)) (.f64 (.f64 im im) (.f64 re re)))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (.f64 im (.f64 im (*.f64 re re))))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (fma.f64 im (-.f64 (pow.f64 im 3) (.f64 im (.f64 re re))) (pow.f64 re 4)))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 im (pow.f64 im 3))) (pow.f64 (hypot.f64 re im) 2))
(/.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (pow.f64 im 3))) (pow.f64 (hypot.f64 re im) 2))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (hypot.f64 re im) 2))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (hypot.f64 re im) 2)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)

eval21.0ms (1.1%)

Compiler: Compiled 1503 to 547 computations (63.6% saved)

prune12.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	102	3	105

Accurracy

100.0%

Counts

105 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.5%	(-.f64 (.f64 re re) (.f64 im im))
▶	55.2%	(*.f64 re re)
▶	52.6%	(*.f64 im (neg.f64 im))

Compiler

Compiled 20 to 12 computations (40% saved)

localize18.0ms (0.9%)

Compiler: Compiled 10 to 5 computations (50% saved)

localize14.0ms (0.7%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	2	2
Total	3	3

Accurracy

100.0%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.5%	(-.f64 (.f64 re re) (.f64 im im))
✓	55.2%	(*.f64 re re)
✓	52.6%	(*.f64 im (neg.f64 im))

Compiler

Compiled 20 to 12 computations (40% saved)

regimes22.0ms (1.1%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 re re)
(*.f64 im (neg.f64 im))
(-.f64 (.f64 re re) (.f64 im im))
(fma.f64 re re (*.f64 im (neg.f64 im)))

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

Calls

5 calls:

9.0ms	im
4.0ms	re
3.0ms	(-.f64 (.f64 re re) (.f64 im im))
3.0ms	(*.f64 im im)
3.0ms	(*.f64 re re)

Results

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

Compiler

Compiled 48 to 23 computations (52.1% saved)

regimes19.0ms (1%)

Counts

3 → 2

Calls

Call 1

Inputs
(*.f64 re re)
(*.f64 im (neg.f64 im))
(-.f64 (.f64 re re) (.f64 im im))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
96.5%	1	`re`
96.5%	1	`im`
99.2%	2	`(-.f64 (.f64 re re) (.f64 im im))`
96.5%	1	`(*.f64 re re)`
99.2%	2	`(*.f64 im im)`

Compiler

Compiled 41 to 22 computations (46.3% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.566425725811519e+303	2.4850359686642162e+306

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes28.0ms (1.5%)

Accuracy

Total -48.9b remaining (-490.7%)

Threshold costs -48.9b (-490.7%)

Counts

2 → 5

Calls

Call 1

Inputs
(*.f64 re re)
(*.f64 im (neg.f64 im))

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

Calls

3 calls:

13.0ms	re
11.0ms	im
4.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
84.4%	5	`re`
84.4%	3	`im`
80.0%	2	`(*.f64 re re)`

Compiler

Compiled 20 to 12 computations (40% saved)

bsearch50.0ms (2.6%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	6.075940732429407e+50	8.331604921680579e+51
12.0ms	2.341524967442661e-77	1.301986666842803e-75
13.0ms	9.694198131491076e-148	5.153682332239843e-145
16.0ms	-0.0002086445032624501	-6.1891040805039665e-18

Results

34.0ms	384×	body	256	valid
10.0ms	112×	body	256	infinite

Compiler

Compiled 417 to 288 computations (30.9% saved)

simplify9.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

8×	`not-or`
6×	`sub-neg`
6×	`+-commutative`
6×	`not-not`
6×	`if-if-or-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	150
1	44	146
2	52	146
3	61	142
4	66	142
5	70	142
6	71	142
7	72	142

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 re re (*.f64 im (neg.f64 im)))
(if (<=.f64 (.f64 im im) 2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136) (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (neg.f64 im)))
(if (<=.f64 re -2508757194024499/73786976294838206464) (.f64 re re) (if (<=.f64 re 7170143860053219/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296) (.f64 im (neg.f64 im)) (if (<=.f64 re 6257774519299541/260740604970814219042361048116400404614587954389239840081425977517360806369707098391474864128) (.f64 re re) (if (<=.f64 re 2300000000000000050869581740277537991052282430488576) (.f64 im (neg.f64 im)) (*.f64 re re)))))
(*.f64 re re)

Outputs
(fma.f64 re re (*.f64 im (neg.f64 im)))
(if (<=.f64 (.f64 im im) 2000000000000000000323530153572912876425337292463318876590990034202234998451477495730520486068427830507559547136360674832054891641135558399286783083212052137222301492244569952354513300088401054553614654135380924225322855000394102452979796521357526782898752177094584641628255914972661310937838244526555136) (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (neg.f64 im)))
(if (<=.f64 re -2508757194024499/73786976294838206464) (.f64 re re) (if (<=.f64 re 7170143860053219/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296) (.f64 im (neg.f64 im)) (if (<=.f64 re 6257774519299541/260740604970814219042361048116400404614587954389239840081425977517360806369707098391474864128) (.f64 re re) (if (<=.f64 re 2300000000000000050869581740277537991052282430488576) (.f64 im (neg.f64 im)) (*.f64 re re)))))
(if (<=.f64 re -2508757194024499/73786976294838206464) (.f64 re re) (if (or (<=.f64 re 7170143860053219/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296) (not (or (<=.f64 re 6257774519299541/260740604970814219042361048116400404614587954389239840081425977517360806369707098391474864128) (not (<=.f64 re 2300000000000000050869581740277537991052282430488576))))) (.f64 im (neg.f64 im)) (*.f64 re re)))
(if (<=.f64 re -2508757194024499/73786976294838206464) (.f64 re re) (if (or (<=.f64 re 7170143860053219/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296) (and (not (<=.f64 re 6257774519299541/260740604970814219042361048116400404614587954389239840081425977517360806369707098391474864128)) (<=.f64 re 2300000000000000050869581740277537991052282430488576))) (.f64 im (neg.f64 im)) (*.f64 re re)))
(*.f64 re re)

Compiler

Compiled 62 to 36 computations (41.9% saved)

soundness459.0ms (23.6%)

Rules

2086×	`fma-def`
1818×	`fma-def`
1818×	`fma-def`
1386×	`distribute-lft-out`
998×	`distribute-lft-out--`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	18	19
2	30	19
3	59	19
4	134	19
5	384	19
6	843	19
7	1706	19
8	3850	19
9	5508	19
10	6382	19
11	6751	19
12	6981	19
13	7095	19
14	7095	19
0	128	2078
1	344	1964
2	1524	1810
0	128	2078
1	344	1964
2	1524	1810

Stop Event

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

Compiler

Compiled 51 to 27 computations (47.1% saved)

end36.0ms (1.8%)

Compiler: Compiled 130 to 58 computations (55.4% saved)

math.square on complex, real part

Details

analyze0.0ms (0%)

sample646.0ms (33.1%)

preprocess167.0ms (8.6%)

simplify165.0ms (8.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize21.0ms (1.1%)

series2.0ms (0.1%)

rewrite66.0ms (3.4%)

simplify49.0ms (2.5%)

localize24.0ms (1.2%)

series2.0ms (0.1%)

rewrite60.0ms (3.1%)

simplify55.0ms (2.8%)

eval21.0ms (1.1%)

prune12.0ms (0.6%)

localize18.0ms (0.9%)

localize14.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes22.0ms (1.1%)

regimes19.0ms (1%)

bsearch0.0ms (0%)

regimes28.0ms (1.5%)

bsearch50.0ms (2.6%)

simplify9.0ms (0.4%)

soundness459.0ms (23.6%)

end36.0ms (1.8%)

Profiling