Details

analyze87.0ms (4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
33.3%	25%	50%	0.1%	25%	0%	0%	7
45.5%	31.2%	37.5%	0.1%	31.2%	0%	0%	8
61.7%	39%	24.2%	0.1%	36.7%	0%	0%	9
70.1%	42.9%	18.3%	0.1%	38.6%	0%	0%	10
79.9%	47.2%	11.9%	0.1%	40.8%	0%	0%	11
84.5%	49.4%	9.1%	0.1%	41.5%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample1.1s (49.9%)

Results

996.0ms	8256×	body	256	valid
62.0ms	367×	body	256	infinite

Bogosity

preprocess250.0ms (11.6%)

Algorithm

2×	egg-herbie

Rules

1348×	`associate-+r-`
1296×	`fma-def`
1120×	`associate--l+`
1096×	`associate-+l-`
1086×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	28	38
2	49	38
3	103	38
4	253	38
5	921	38
6	3015	38
7	4475	38
8	6053	38
9	6608	38
10	6721	38
11	6835	38
12	6915	38
13	6915	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)

simplify253.0ms (11.7%)

Algorithm

1×	egg-herbie

Rules

1420×	`fma-def`
1404×	`distribute-lft-out`
1070×	`*-commutative`
982×	`+-commutative`
970×	`associate-+r-`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	18	19
2	30	19
3	58	19
4	131	19
5	363	19
6	1010	19
7	2028	19
8	4473	19
9	6300	19
10	7278	19
11	7602	19
12	7832	19
13	7946	19
14	7946	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

100.0%

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	100.0%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize12.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	100.0%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite110.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1700×	`add-sqr-sqrt`
1680×	`*-un-lft-identity`
1570×	`add-cube-cbrt`
1558×	`add-cbrt-cube`
168×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 48

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 re re) (.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 re re) (+.f64 (.f64 im (neg.f64 im)) (fma.f64 (neg.f64 im) im (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 re re) (.f64 (.f64 im (neg.f64 im)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.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))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 re re) (.f64 im im)) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (.f64 im (neg.f64 im)) 1 (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 (pow.f64 im 4)) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 im (neg.f64 im)) (.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) (-.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 re re) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 re im) (-.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 re im) (+.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x .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)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 re re (.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (fma.f64 re re (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (-.f64 (.f64 re re) (.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 re re (.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 re re) (.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (.f64 re re) (.f64 im im)) (fma.f64 (neg.f64 im) im (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x 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)))))) (#(struct:change #<rule egg-rr> (2) ((x 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)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (.f64 re re)) (.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 re im) (-.f64 re im) (fma.f64 (neg.f64 im) im (.f64 im im)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (+.f64 (*.f64 im (neg.f64 im)) (fma.f64 (neg.f64 im) im (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (*.f64 (*.f64 im (neg.f64 im)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.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))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (fma.f64 (neg.f64 im) im (*.f64 im im)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 (*.f64 im (neg.f64 im)) 1 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 (pow.f64 im 4)) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (neg.f64 im) im (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 2)) (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 re im) (-.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 re im) (+.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (fma.f64 re re (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.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)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 re re (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (fma.f64 re re (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.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)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 re re) (*.f64 im im))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 re re (*.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 re re) (*.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 (neg.f64 im) im (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x 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)))))) (#(struct:change #<rule egg-rr> (2) ((x 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)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (*.f64 re re)) (*.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 re im) (-.f64 re im) (fma.f64 (neg.f64 im) im (*.f64 im im)))))))

simplify140.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

1272×	`fma-def`
1112×	`+-commutative`
750×	`distribute-lft-in`
680×	`distribute-rgt-in`
486×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	2116
1	350	2002
2	1669	1848
3	7717	1848

Stop Event

1×	node limit

Counts

72 → 69

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)) (fma.f64 (neg.f64 im) im (*.f64 im im))))
(+.f64 (.f64 re re) (.f64 (*.f64 im (neg.f64 im)) 1))
(+.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)) (+.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)) (.f64 (fma.f64 (neg.f64 im) im (.f64 im im)) 1))
(+.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 (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 (pow.f64 im 4)) (*.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 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.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 (cbrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2)) (cbrt.f64 (-.f64 (.f64 re re) (*.f64 im im))))
(*.f64 (+.f64 re im) (-.f64 re im))
(*.f64 (-.f64 re im) (+.f64 re 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 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))))
(/.f64 1 (/.f64 (fma.f64 re re (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.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 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 re re (*.f64 im im)))
(/.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) (.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))))
(/.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 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (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)))))
(pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 1)
(pow.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) 2)
(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)
(sqrt.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (.f64 re re) (.f64 im 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))))
(exp.f64 (.f64 (log.f64 (-.f64 (.f64 re re) (*.f64 im im))) 1))
(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 (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 (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)) (cbrt.f64 (.f64 re re)) (.f64 im (neg.f64 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)) (fma.f64 (neg.f64 im) im (*.f64 im 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 (.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)) (+.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 (.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)) (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 (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 (pow.f64 im 4)) (*.f64 im im)))
(fma.f64 (+.f64 im re) (-.f64 re im) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 (pow.f64 im 4)) (*.f64 im im)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 (pow.f64 im 4)) (fma.f64 re re 0))
(+.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 (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 (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 (+.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 (-.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 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 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (+.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2)) (pow.f64 im 4)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 (*.f64 im re) 2) (+.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.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 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 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (+.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2)) (pow.f64 im 4)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 (*.f64 im re) 2) (+.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.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 (-.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 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (+.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2)) (pow.f64 im 4)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 (*.f64 im re) 2) (+.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.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)))
(/.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 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (+.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2)) (pow.f64 im 4)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 (*.f64 im re) 2) (+.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.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 (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 (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 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (+.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2)) (pow.f64 im 4)))
(/.f64 (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 (*.f64 im re) 2) (+.f64 (pow.f64 re 4) (pow.f64 im 4))))
(pow.f64 (-.f64 (.f64 re re) (.f64 im im)) 1)
(-.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))
(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))
(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))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (.f64 re re) (.f64 im 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))
(exp.f64 (.f64 (log.f64 (-.f64 (.f64 re re) (*.f64 im im))) 1))
(-.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 (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 (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)) (cbrt.f64 (.f64 re re)) (.f64 im (neg.f64 im)))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (.f64 re re)) (neg.f64 (.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))

eval22.0ms (1%)

Compiler: Compiled 1151 to 376 computations (67.3% saved)

prune10.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	3	70

Error

100.0%

Counts

70 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	100.0%	(*.f64 (-.f64 re im) (+.f64 re im))
▶	57.0%	(*.f64 re re)
▶	59.1%	(*.f64 im (neg.f64 im))

Compiler

Compiled 20 to 12 computations (40% saved)

localize4.0ms (0.2%)

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

localize3.0ms (0.1%)

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

localize6.0ms (0.3%)

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

Error

100.0%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 re im))
✓	57.0%	(*.f64 re re)
✓	59.1%	(*.f64 im (neg.f64 im))

Compiler

Compiled 20 to 12 computations (40% saved)

regimes25.0ms (1.1%)

Counts

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

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

Calls

5 calls:

7.0ms	(*.f64 re re)
6.0ms	(*.f64 im im)
4.0ms	re
4.0ms	im
4.0ms	(-.f64 (.f64 re re) (.f64 im im))

Results

Error	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 48 to 25 computations (47.9% saved)

regimes43.0ms (2%)

Accuracy

Total -44.8b remaining (-510%)

Threshold costs -44.80b (-510%)

Counts

2 → 4

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

Calls

3 calls:

16.0ms	re
15.0ms	im
10.0ms	(*.f64 re re)

Results

Error	Segments	Branch
85.1%	3	`re`
83.2%	3	`im`
86.3%	4	`(*.f64 re re)`

Compiler

Compiled 20 to 12 computations (40% saved)

bsearch58.0ms (2.7%)

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
18.0ms	1.2949349609656545e-92	6.876839488998641e-90
19.0ms	1.252226070074442e-145	1.1360516572739046e-140
20.0ms	8.372265235570334e-170	1.3047441675121165e-160

Results

50.0ms

416×

body

256

valid

Compiler

Compiled 300 to 217 computations (27.7% saved)

simplify12.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative`
8×	`*-commutative`
4×	`sub-neg`
4×	`not-or`
4×	`neg-mul-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	23	107
1	38	103
2	46	103
3	52	99
4	54	99
5	55	99

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 (*.f64 re re) 5394370239545291/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688) (*.f64 im (neg.f64 im)) (if (<=.f64 (*.f64 re re) 8547936209632073/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184) (*.f64 re re) (if (<=.f64 (*.f64 re re) 2476978505269277/18347988927920572092886567162416695526372519913346248989900710715095383008707878464560148424881005492436992) (*.f64 im (neg.f64 im)) (*.f64 re re))))

(*.f64 re re)

Outputs
(*.f64 (-.f64 re im) (+.f64 re im))
(if (<=.f64 (.f64 re re) 5394370239545291/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688) (.f64 im (neg.f64 im)) (if (<=.f64 (.f64 re re) 8547936209632073/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184) (.f64 re re) (if (<=.f64 (.f64 re re) 2476978505269277/18347988927920572092886567162416695526372519913346248989900710715095383008707878464560148424881005492436992) (.f64 im (neg.f64 im)) (*.f64 re re))))
(if (or (<=.f64 (.f64 re re) 5394370239545291/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688) (not (or (<=.f64 (.f64 re re) 8547936209632073/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184) (not (<=.f64 (.f64 re re) 2476978505269277/18347988927920572092886567162416695526372519913346248989900710715095383008707878464560148424881005492436992))))) (.f64 im (neg.f64 im)) (*.f64 re re))
(if (or (<=.f64 (.f64 re re) 5394370239545291/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688) (and (not (<=.f64 (.f64 re re) 8547936209632073/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184)) (<=.f64 (.f64 re re) 2476978505269277/18347988927920572092886567162416695526372519913346248989900710715095383008707878464560148424881005492436992))) (.f64 im (neg.f64 im)) (*.f64 re re))
(*.f64 re re)

Compiler

Compiled 42 to 23 computations (45.2% saved)

soundness0.0ms (0%)

end39.0ms (1.8%)

Compiler: Compiled 38 to 18 computations (52.6% saved)

Details

analyze87.0ms (4%)

sample1.1s (49.9%)

preprocess250.0ms (11.6%)

simplify253.0ms (11.7%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize12.0ms (0.6%)

series3.0ms (0.1%)

rewrite110.0ms (5.1%)

simplify140.0ms (6.5%)

eval22.0ms (1%)

prune10.0ms (0.5%)

localize4.0ms (0.2%)

localize3.0ms (0.1%)

localize6.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes25.0ms (1.1%)

regimes43.0ms (2%)

bsearch58.0ms (2.7%)

simplify12.0ms (0.6%)

soundness0.0ms (0%)

end39.0ms (1.8%)

Profiling