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)

sample648.0ms (40.8%)

Results

373.0ms	4691×	body	256	valid
265.0ms	3565×	body	256	infinite

Bogosity

preprocess166.0ms (10.5%)

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)

simplify164.0ms (10.3%)

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

58.2%

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 10 computations (44.4% saved)

localize6.0ms (0.4%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 17 to 5 computations (70.6% 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))

rewrite68.0ms (4.3%)

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 (3.1%)

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

localize6.0ms (0.4%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 17 to 5 computations (70.6% 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)))

rewrite54.0ms (3.4%)

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

simplify66.0ms (4.2%)

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)

eval19.0ms (1.2%)

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

prune12.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Accurracy

58.5%

Counts

105 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	58.2%	(*.f64 (-.f64 re im) (+.f64 re im))
▶	35.5%	(*.f64 re re)
▶	29.9%	(*.f64 im (neg.f64 im))

Compiler

Compiled 20 to 12 computations (40% saved)

localize4.0ms (0.3%)

Compiler: Compiled 9 to 4 computations (55.6% saved)

localize3.0ms (0.2%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize6.0ms (0.4%)

Compiler: Compiled 17 to 5 computations (70.6% saved)

eval0.0ms (0%)

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

prune2.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

58.5%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	58.2%	(*.f64 (-.f64 re im) (+.f64 re im))
✓	35.5%	(*.f64 re re)
✓	29.9%	(*.f64 im (neg.f64 im))

Compiler

Compiled 20 to 12 computations (40% saved)

regimes18.0ms (1.2%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 55 to 26 computations (52.7% saved)

regimes21.0ms (1.3%)

Accuracy

Total -27.1b remaining (-84.9%)

Threshold costs -27.1b (-84.9%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

9.0ms	re
8.0ms	im
4.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
49.4%	3	`re`
50.1%	3	`im`
49.3%	2	`(*.f64 re re)`

Compiler

Compiled 20 to 12 computations (40% saved)

bsearch27.0ms (1.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	2.1422704375353516e-63	7.432628184551978e-61
15.0ms	-7.374407698838026e-30	-1.394962939075926e-45

Results

17.0ms	207×	body	256	valid
7.0ms	81×	body	256	infinite

Compiler

Compiled 248 to 171 computations (31% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative`
8×	`*-commutative`
6×	`sub-neg`
4×	`neg-mul-1`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	69
1	35	69
2	40	69
3	43	69
4	44	69

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 im -4820814132776971/3213876088517980551083924184682325205044405987565585670602752) (*.f64 im (neg.f64 im)) (if (<=.f64 im 6299089654510001/926336713898529563388567880069503262826159877325124512315660672063305037119488) (*.f64 re re) (*.f64 im (neg.f64 im))))

(*.f64 re re)

Outputs
(*.f64 (-.f64 re im) (+.f64 re im))
(if (<=.f64 im -4820814132776971/3213876088517980551083924184682325205044405987565585670602752) (.f64 im (neg.f64 im)) (if (<=.f64 im 6299089654510001/926336713898529563388567880069503262826159877325124512315660672063305037119488) (.f64 re re) (*.f64 im (neg.f64 im))))
(if (or (<=.f64 im -4820814132776971/3213876088517980551083924184682325205044405987565585670602752) (not (<=.f64 im 6299089654510001/926336713898529563388567880069503262826159877325124512315660672063305037119488))) (.f64 im (neg.f64 im)) (.f64 re re))
(*.f64 re re)

Compiler

Compiled 32 to 20 computations (37.5% saved)

soundness219.0ms (13.8%)

Rules

1818×	`fma-def`
1818×	`fma-def`
1680×	`pow1`
1560×	`add-exp-log`
1560×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	160	19
2	2247	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 26 computations (49% saved)

end19.0ms (1.2%)

Compiler: Compiled 28 to 15 computations (46.4% saved)

Details

analyze0.0ms (0%)

sample648.0ms (40.8%)

preprocess166.0ms (10.5%)

simplify164.0ms (10.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize6.0ms (0.4%)

series2.0ms (0.1%)

rewrite68.0ms (4.3%)

simplify49.0ms (3.1%)

localize6.0ms (0.4%)

series2.0ms (0.1%)

rewrite54.0ms (3.4%)

simplify66.0ms (4.2%)

eval19.0ms (1.2%)

prune12.0ms (0.8%)

localize4.0ms (0.3%)

localize3.0ms (0.2%)

localize6.0ms (0.4%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes18.0ms (1.2%)

regimes21.0ms (1.3%)

bsearch27.0ms (1.7%)

simplify6.0ms (0.4%)

soundness219.0ms (13.8%)

end19.0ms (1.2%)

Profiling