Details

analyze50.0ms (3.6%)

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
33.3%	25%	50%	0.1%	25%	0%	0%	6
44.4%	25%	31.2%	0.1%	43.7%	0%	0%	7
55.6%	31.2%	25%	0.1%	43.7%	0%	0%	8
69.4%	39%	17.2%	0.1%	43.7%	0%	0%	9
76.4%	42.9%	13.3%	0.1%	43.7%	0%	0%	10
84%	47.2%	9%	0.1%	43.7%	0%	0%	11
87.8%	49.4%	6.8%	0.1%	43.7%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample773.0ms (55%)

Results

762.0ms	8256×	body	256	valid
0.0ms	2×	body	256	infinite

Bogosity

preprocess15.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`swap-re-im`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	9	16
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

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

Symmetry

(sort re im)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	8	8
2	9	8

Stop Event

1×

saturated

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

eval0.0ms (0%)

Compiler: Compiled 15 to 6 computations (60% 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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(fma.f64 re re (*.f64 im im))
▶	0.0b	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 17 to 9 computations (47.1% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series6.0ms (0.4%)

Counts

1 → 24

Calls

6 calls:

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

Compiler

Compiled 248 to 206 computations (16.9% saved)

rewrite39.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

650×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
589×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	129	7
2	1751	7

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

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

Outputs

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

simplify43.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

612×	`log-prod_binary64`
572×	`fma-neg_binary64`
523×	`div-sub_binary64`
410×	`associate-l_binary64`
384×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	102	755
1	249	692
2	804	635
3	4757	569

Stop Event

1×	node limit

Counts

57 → 55

Calls

Call 1

Inputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (/.f64 1 re) -2)
(+.f64 (pow.f64 im 2) (pow.f64 (/.f64 1 re) -2))
(+.f64 (pow.f64 im 2) (pow.f64 (/.f64 1 re) -2))
(+.f64 (pow.f64 im 2) (pow.f64 (/.f64 1 re) -2))
(pow.f64 (/.f64 -1 re) -2)
(+.f64 (pow.f64 im 2) (pow.f64 (/.f64 -1 re) -2))
(+.f64 (pow.f64 im 2) (pow.f64 (/.f64 -1 re) -2))
(+.f64 (pow.f64 im 2) (pow.f64 (/.f64 -1 re) -2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (/.f64 1 im) -2)
(+.f64 (pow.f64 re 2) (pow.f64 (/.f64 1 im) -2))
(+.f64 (pow.f64 re 2) (pow.f64 (/.f64 1 im) -2))
(+.f64 (pow.f64 re 2) (pow.f64 (/.f64 1 im) -2))
(pow.f64 (/.f64 -1 im) -2)
(+.f64 (pow.f64 re 2) (pow.f64 (/.f64 -1 im) -2))
(+.f64 (pow.f64 re 2) (pow.f64 (/.f64 -1 im) -2))
(+.f64 (pow.f64 re 2) (pow.f64 (/.f64 -1 im) -2))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (.f64 re re) (.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (.f64 re re) (.f64 im im))))
(*.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 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 (-.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 1 (/.f64 (-.f64 (.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 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.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 (-.f64 (.f64 re re) (.f64 im im))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (.f64 im im) (.f64 re re)))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 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)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(fma.f64 re re (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 1 (.f64 re re) (.f64 im im))
(fma.f64 1 (.f64 im im) (.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im im))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re))

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

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 re re (*.f64 im im))

Compiler

Compiled 13 to 4 computations (69.2% saved)

series6.0ms (0.4%)

Counts

1 → 24

Calls

6 calls:

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

Compiler

Compiled 248 to 206 computations (16.9% saved)

rewrite34.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

437×	`pow1_binary64`
418×	`add-sqr-sqrt_binary64`
412×	`*-un-lft-identity_binary64`
401×	`add-log-exp_binary64`
401×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	98	7
2	1140	7

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

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

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

Outputs

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

simplify39.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

508×	`associate-/l*_binary64`
459×	`associate-l_binary64`
420×	`associate-r_binary64`
406×	`unswap-sqr_binary64`
271×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	448
1	209	422
2	702	396
3	3994	385

Stop Event

1×	node limit

Counts

49 → 48

Calls

Call 1

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

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

eval22.0ms (1.6%)

Compiler: Compiled 1111 to 619 computations (44.3% saved)

prune11.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

Counts

105 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(fma.f64 re re (*.f64 im im))
▶	0.0b	(fma.f64 im im (*.f64 re re))
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))
▶	28.4b	(*.f64 re re)
▶	29.2b	(*.f64 im im)

Compiler

Compiled 35 to 19 computations (45.7% saved)

localize3.0ms (0.2%)

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

localize3.0ms (0.2%)

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

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 im im (*.f64 re re))

Compiler

Compiled 13 to 4 computations (69.2% saved)

series6.0ms (0.4%)

Counts

1 → 24

Calls

6 calls:

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

Compiler

Compiled 248 to 206 computations (16.9% saved)

rewrite35.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

437×	`pow1_binary64`
418×	`add-sqr-sqrt_binary64`
412×	`*-un-lft-identity_binary64`
401×	`add-log-exp_binary64`
401×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	98	7
2	1140	7

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

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

Outputs

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

simplify41.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

508×	`associate-/l*_binary64`
459×	`associate-l_binary64`
420×	`associate-r_binary64`
406×	`unswap-sqr_binary64`
271×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	448
1	209	422
2	702	396
3	3994	385

Stop Event

1×	node limit

Counts

49 → 48

Calls

Call 1

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

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

eval10.0ms (0.7%)

Compiler: Compiled 508 to 274 computations (46.1% saved)

prune8.0ms (0.5%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	48	5	53

Error

Counts

53 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(fma.f64 re re (*.f64 im im))
✓	0.0b	(fma.f64 im im (*.f64 re re))
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))
✓	28.4b	(*.f64 re re)
✓	29.2b	(*.f64 im im)

Compiler

Compiled 35 to 19 computations (45.7% saved)

regimes23.0ms (1.7%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(+.f64 (.f64 re re) (.f64 im im))`
0.0b	1	`(*.f64 re re)`
0.0b	1	`(*.f64 im im)`
0.0b	1	`(*.f64 im im)`

Compiler

Compiled 57 to 25 computations (56.1% saved)

regimes17.0ms (1.2%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

5 calls:

3.0ms	(*.f64 re re)
3.0ms	im
3.0ms	re
3.0ms	(+.f64 (.f64 re re) (.f64 im im))
3.0ms	(*.f64 im im)

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(+.f64 (.f64 re re) (.f64 im im))`
0.0b	1	`(*.f64 re re)`
0.0b	1	`(*.f64 im im)`

Compiler

Compiled 40 to 20 computations (50% saved)

regimes29.0ms (2.1%)

Accuracy

Total -51.1b remaining (-882.9%)

Threshold costs -51.1b (-882.9%)

Counts

2 → 4

Calls

Call 1

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

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

Calls

4 calls:

11.0ms	im
6.0ms	(*.f64 re re)
6.0ms	re
5.0ms	(*.f64 im im)

Results

Error	Segments	Branch
7.7b	2	`re`
5.8b	4	`im`
11.1b	2	`(*.f64 re re)`
11.7b	2	`(*.f64 im im)`

Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch30.0ms (2.1%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
11.0ms	5.488429879176881e-81	5.868559173447863e-78
9.0ms	1.0619158744720323e-92	3.856922985771628e-92
10.0ms	1.5177658240149548e-148	1.04924075246869e-146

Results

25.0ms

320×

body

256

valid

Compiler

Compiled 254 to 169 computations (33.5% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	56
1	18	56

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 im im (*.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(if (<=.f64 im 8278001381959481/899782758908639276562107701537196371773939423660383326620151114522367516134297574063808137220778171429984182126704179024641653211098859937801703036173032771026944) (.f64 re re) (if (<=.f64 im 6458492102628041/587135645693458306972370149197334256843920637227079967676822742883052256278652110865924749596192175757983744) (.f64 im im) (if (<=.f64 im 5736293309357913/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512) (.f64 re re) (.f64 im im))))
(*.f64 im im)

Outputs
(fma.f64 im im (*.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(if (<=.f64 im 8278001381959481/899782758908639276562107701537196371773939423660383326620151114522367516134297574063808137220778171429984182126704179024641653211098859937801703036173032771026944) (.f64 re re) (if (<=.f64 im 6458492102628041/587135645693458306972370149197334256843920637227079967676822742883052256278652110865924749596192175757983744) (.f64 im im) (if (<=.f64 im 5736293309357913/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512) (.f64 re re) (.f64 im im))))
(*.f64 im im)

Compiler

Compiled 48 to 25 computations (47.9% saved)

soundness98.0ms (7%)

Algorithm

1×	egg-herbie

Rules

612×	`log-prod_binary64`
572×	`fma-neg_binary64`
523×	`div-sub_binary64`
410×	`associate-l_binary64`
384×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	102	755
1	249	692
2	804	635
3	4757	569

Stop Event

1×	node limit

Compiler

Compiled 44 to 27 computations (38.6% saved)

end37.0ms (2.7%)

Compiler: Compiled 58 to 23 computations (60.3% saved)

Details

analyze50.0ms (3.6%)

sample773.0ms (55%)

preprocess15.0ms (1.1%)

simplify6.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize6.0ms (0.4%)

series6.0ms (0.4%)

rewrite39.0ms (2.8%)

simplify43.0ms (3.1%)

localize5.0ms (0.3%)

series6.0ms (0.4%)

rewrite34.0ms (2.4%)

simplify39.0ms (2.8%)

eval22.0ms (1.6%)

prune11.0ms (0.8%)

localize3.0ms (0.2%)

localize3.0ms (0.2%)

localize5.0ms (0.3%)

series6.0ms (0.4%)

rewrite35.0ms (2.5%)

simplify41.0ms (2.9%)

eval10.0ms (0.7%)

prune8.0ms (0.5%)

regimes23.0ms (1.7%)

regimes17.0ms (1.2%)

regimes29.0ms (2.1%)

bsearch30.0ms (2.1%)

simplify4.0ms (0.3%)

soundness98.0ms (7%)

end37.0ms (2.7%)

Profiling