Details

analyze647.0ms (20.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.2%	0.1%	6
37.5%	62.4%	0.1%	7
42.1%	57.8%	0.1%	8
54.6%	45.3%	0.1%	9
57.4%	42.5%	0.1%	10
64.4%	35.5%	0.1%	11
65.9%	34%	0.1%	12
69.6%	30.3%	0.1%	13
70.3%	29.6%	0.1%	14

Compiler

Compiled 18 to 13 computations (27.8% saved)

sample1.9s (58.9%)

Results

798.0ms	6209×	body	128	valid
375.0ms	564×	body	4096	valid
354.0ms	633×	body	2048	valid
241.0ms	484×	body	1024	valid
76.0ms	253×	body	512	valid
31.0ms	113×	body	256	valid

preprocess14.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

10×	`fma-def_binary64`
7×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`
4×	`distribute-rgt-in_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	30
1	45	30
2	55	30
3	59	30
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 im im) (.f64 re re))) im))))

Outputs
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 im im) (.f64 re re))) im))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 im (hypot.f64 re im)))))

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`fma-def_binary64`
4×	`*-commutative_binary64`
3×	`+-commutative_binary64`
2×	`distribute-lft-in_binary64`
2×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	25	15
2	34	15
3	36	15

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Outputs
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))

prune21.0ms (0.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

13.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.5b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (*.f64 2 (+.f64 re (hypot.f64 re im))))
✓	0.7b	(+.f64 re (hypot.f64 re im))

series11.0ms (0.3%)

Counts

2 → 32

Calls

12 calls:

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

rewrite45.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

844×	`log1p-expm1-u_binary64`
844×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`
88×	`pow1_binary64`
87×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	178	19
2	2361	19

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

Inputs
(+.f64 re (hypot.f64 re im))
(sqrt.f64 (*.f64 2 (+.f64 re (hypot.f64 re im))))

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

Outputs

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

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

simplify32.0ms (1%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-r_binary64`
575×	`associate-l_binary64`
572×	`fma-def_binary64`
241×	`times-frac_binary64`
183×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	129	926
1	375	872
2	1201	817

Stop Event

1×	node limit

Counts

92 → 106

Calls

Call 1

Inputs
im
(+.f64 re im)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(*.f64 2 re)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (.f64 2 re))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 2 re) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (.f64 -1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 (pow.f64 (.f64 -1/8 (pow.f64 im 4)) 2) (.f64 1/16 (pow.f64 im 8))) (pow.f64 re 7))) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
(*.f64 2 re)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (.f64 2 re))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 2 re) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
im
(+.f64 re im)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(*.f64 -1 im)
(+.f64 re (*.f64 -1 im))
(+.f64 re (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (.f64 -1 im)))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 re (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))))
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 -1/4 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 3))) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))))
(*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/16 (/.f64 1 (pow.f64 re 5))) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 re 2))))) (pow.f64 im 6)) (sqrt.f64 (/.f64 1 re)))) (.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))))

Outputs
im
(+.f64 re im)
(+.f64 im re)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im))
(fma.f64 1/2 (/.f64 (*.f64 re re) im) (+.f64 im re))
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (+.f64 im re))
(+.f64 (fma.f64 1/2 (*.f64 (/.f64 re im) re) im) re)
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 (*.f64 re re) im) (+.f64 im re)))
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 re (/.f64 im re)) (+.f64 im re)))
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (+.f64 (fma.f64 1/2 (*.f64 (/.f64 re im) re) im) re))
(*.f64 2 re)
(*.f64 re 2)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (.f64 2 re))
(fma.f64 1/2 (/.f64 (.f64 im im) re) (.f64 re 2))
(fma.f64 re 2 (/.f64 1/2 (/.f64 re (*.f64 im im))))
(fma.f64 re 2 (.f64 1/2 (.f64 (/.f64 im re) im)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 2 re) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(fma.f64 1/2 (/.f64 (.f64 im im) re) (fma.f64 2 re (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 re 2 (/.f64 (pow.f64 im 4) (/.f64 (pow.f64 re 3) -1/8))))
(fma.f64 1/2 (.f64 (/.f64 im re) im) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (.f64 re 2)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(fma.f64 1/2 (/.f64 (.f64 im im) re) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 2 re (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 re 2 (/.f64 (pow.f64 im 4) (/.f64 (pow.f64 re 3) -1/8)))))
(fma.f64 1/2 (.f64 (/.f64 im re) im) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (.f64 re 2))))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(.f64 (/.f64 (.f64 im im) re) -1/2)
(*.f64 (/.f64 im (/.f64 re im)) -1/2)
(/.f64 (*.f64 im -1/2) (/.f64 re im))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (.f64 -1/2 (/.f64 (pow.f64 im 2) re)))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (.f64 (/.f64 (.f64 im im) re) -1/2))
(fma.f64 (/.f64 im (/.f64 re im)) -1/2 (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8))
(fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (.f64 (/.f64 (.f64 im im) re) -1/2)))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (fma.f64 (/.f64 im (/.f64 re im)) -1/2 (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16)))
(fma.f64 (.f64 (/.f64 im re) im) -1/2 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (.f64 (/.f64 -1/16 (pow.f64 re 5)) (pow.f64 im 6))))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 (pow.f64 (.f64 -1/8 (pow.f64 im 4)) 2) (.f64 1/16 (pow.f64 im 8))) (pow.f64 re 7))) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/2 (/.f64 (+.f64 (pow.f64 (.f64 -1/8 (pow.f64 im 4)) 2) (.f64 1/16 (pow.f64 im 8))) (pow.f64 re 7)) (fma.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (.f64 (/.f64 (.f64 im im) re) -1/2))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (fma.f64 1/2 (/.f64 (fma.f64 1/16 (pow.f64 im 8) (.f64 (pow.f64 im 8) 1/64)) (pow.f64 re 7)) (fma.f64 (/.f64 im (/.f64 re im)) -1/2 (.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
(fma.f64 1/2 (/.f64 (.f64 (pow.f64 im 8) 5/64) (pow.f64 re 7)) (fma.f64 (.f64 (/.f64 im re) im) -1/2 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (*.f64 (/.f64 -1/16 (pow.f64 re 5)) (pow.f64 im 6)))))
(*.f64 2 re)
(*.f64 re 2)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (.f64 2 re))
(fma.f64 1/2 (/.f64 (.f64 im im) re) (.f64 re 2))
(fma.f64 re 2 (/.f64 1/2 (/.f64 re (*.f64 im im))))
(fma.f64 re 2 (.f64 1/2 (.f64 (/.f64 im re) im)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 2 re) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(fma.f64 1/2 (/.f64 (.f64 im im) re) (fma.f64 2 re (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 re 2 (/.f64 (pow.f64 im 4) (/.f64 (pow.f64 re 3) -1/8))))
(fma.f64 1/2 (.f64 (/.f64 im re) im) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (.f64 re 2)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(fma.f64 1/2 (/.f64 (.f64 im im) re) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 2 re (.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 re 2 (/.f64 (pow.f64 im 4) (/.f64 (pow.f64 re 3) -1/8)))))
(fma.f64 1/2 (.f64 (/.f64 im re) im) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (.f64 re 2))))
im
(+.f64 re im)
(+.f64 im re)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im))
(fma.f64 1/2 (/.f64 (*.f64 re re) im) (+.f64 im re))
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (+.f64 im re))
(+.f64 (fma.f64 1/2 (*.f64 (/.f64 re im) re) im) re)
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)))
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 (*.f64 re re) im) (+.f64 im re)))
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 re (/.f64 im re)) (+.f64 im re)))
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (+.f64 (fma.f64 1/2 (*.f64 (/.f64 re im) re) im) re))
(*.f64 -1 im)
(neg.f64 im)
(+.f64 re (*.f64 -1 im))
(+.f64 re (neg.f64 im))
(-.f64 re im)
(+.f64 re (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (.f64 -1 im)))
(+.f64 re (fma.f64 -1/2 (/.f64 (*.f64 re re) im) (neg.f64 im)))
(+.f64 re (fma.f64 (/.f64 re (/.f64 im re)) -1/2 (neg.f64 im)))
(fma.f64 (*.f64 (/.f64 re im) re) -1/2 (-.f64 re im))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 re (+.f64 (.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))))
(fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (+.f64 re (fma.f64 -1/2 (/.f64 (*.f64 re re) im) (neg.f64 im))))
(fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8 (+.f64 re (fma.f64 (/.f64 re (/.f64 im re)) -1/2 (neg.f64 im))))
(-.f64 (fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8 (fma.f64 (*.f64 (/.f64 re im) re) -1/2 re)) im)
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))
(fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 re (sqrt.f64 (/.f64 1 im)))) (*.f64 (sqrt.f64 2) (sqrt.f64 im)))
(fma.f64 1/2 (.f64 re (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 im)))) (*.f64 (sqrt.f64 2) (sqrt.f64 im)))
(.f64 (sqrt.f64 2) (+.f64 (sqrt.f64 im) (.f64 re (*.f64 1/2 (sqrt.f64 (/.f64 1 im))))))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 (.f64 (.f64 re re) (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2))) (sqrt.f64 (/.f64 1 im)))) (fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 re (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 im)) (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 (.f64 1/2 (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 (.f64 re re) (sqrt.f64 2)))) (.f64 (*.f64 1/2 (sqrt.f64 2)) re))))
(fma.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 im))) (+.f64 (.f64 (.f64 re re) (+.f64 (/.f64 1/2 im) (.f64 -1/2 (/.f64 1/2 im)))) re)) (.f64 (sqrt.f64 2) (sqrt.f64 im)))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 -1/4 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 3))) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))))
(fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 (.f64 (.f64 re re) (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2))) (sqrt.f64 (/.f64 1 im)))) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (.f64 (.f64 (pow.f64 re 3) (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2))) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 re (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))))
(+.f64 (.f64 (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 (pow.f64 re 3) (sqrt.f64 2))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 im 3))) -1/4)) (+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 im)) (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 (.f64 1/2 (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 (.f64 re re) (sqrt.f64 2)))) (.f64 (.f64 1/2 (sqrt.f64 2)) re)))))
(fma.f64 (sqrt.f64 2) (.f64 (pow.f64 re 3) (.f64 (.f64 (+.f64 (/.f64 1/2 im) (.f64 -1/2 (/.f64 1/2 im))) (sqrt.f64 (/.f64 1 (pow.f64 im 3)))) -1/4)) (fma.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 im))) (+.f64 (.f64 (.f64 re re) (+.f64 (/.f64 1/2 im) (.f64 -1/2 (/.f64 1/2 im)))) re)) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))
(*.f64 2 (sqrt.f64 re))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))
(fma.f64 1/4 (.f64 (.f64 im im) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))
(fma.f64 2 (sqrt.f64 re) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 (*.f64 im im) 1/4)))
(fma.f64 2 (sqrt.f64 re) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im (*.f64 im 1/4))))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))))
(fma.f64 1/4 (.f64 (.f64 im im) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) (fma.f64 -1/2 (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (.f64 1/4 (/.f64 1 (sqrt.f64 2))) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) 2)) (.f64 (pow.f64 im 4) (sqrt.f64 (/.f64 1 re)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))))
(fma.f64 1/4 (.f64 (.f64 im im) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) (fma.f64 2 (sqrt.f64 re) (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1/4 (sqrt.f64 2))) 2)) (.f64 (.f64 (pow.f64 im 4) (sqrt.f64 (/.f64 1 re))) -1/2))))
(fma.f64 2 (sqrt.f64 re) (fma.f64 (.f64 im im) (.f64 1/4 (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1/4 (sqrt.f64 2))) 2)) (.f64 (sqrt.f64 (/.f64 1 re)) (.f64 (pow.f64 im 4) -1/2)))))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/16 (/.f64 1 (pow.f64 re 5))) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 re 2))))) (pow.f64 im 6)) (sqrt.f64 (/.f64 1 re)))) (.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))))
(fma.f64 1/4 (.f64 (.f64 im im) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) (fma.f64 -1/2 (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (.f64 1/4 (/.f64 1 (sqrt.f64 2))) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) 2)) (.f64 (pow.f64 im 4) (sqrt.f64 (/.f64 1 re)))) (fma.f64 1/2 (.f64 (+.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 1/4 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (.f64 1/4 (/.f64 1 (sqrt.f64 2))) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) 2)) (.f64 (.f64 re re) (pow.f64 (sqrt.f64 2) 2))))) (.f64 (pow.f64 im 6) (sqrt.f64 (/.f64 1 re)))) (.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 re)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 im 4) (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1/4 (sqrt.f64 2))) 2)))) (.f64 (.f64 1/2 (pow.f64 im 6)) (-.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 -1/8 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1/4 (sqrt.f64 2))) 2)) (.f64 re re))))))) (fma.f64 2 (sqrt.f64 re) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 (.f64 im im) 1/4))))
(fma.f64 (.f64 im im) (.f64 1/4 (sqrt.f64 (/.f64 1 (pow.f64 re 3)))) (fma.f64 2 (sqrt.f64 re) (.f64 (sqrt.f64 (/.f64 1 re)) (fma.f64 -1/2 (.f64 (pow.f64 im 4) (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1/4 (sqrt.f64 2))) 2))) (.f64 (+.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 1/8 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1/4 (sqrt.f64 2))) 2)) (.f64 re re)))) (.f64 (pow.f64 im 6) 1/2))))))

prune127.0ms (4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	100	7	107

Error

4.7b

Counts

107 → 7

Alt Table

Status	Error	Program
	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
	55.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3)))))))
	52.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im)))))
	54.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.5b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))
▶	13.8b	(.f64 1/2 (.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2)))

Compiler

Compiled 2364 to 1620 computations (31.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (+.f64 re (hypot.f64 re im)))
✓	0.4b	(*.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2))
	0.7b	(+.f64 re (hypot.f64 re im))

series7.0ms (0.2%)

Counts

2 → 16

Calls

12 calls:

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

rewrite53.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

856×	`log1p-expm1-u_binary64`
856×	`expm1-log1p-u_binary64`
97×	`add-sqr-sqrt_binary64`
93×	`pow1_binary64`
91×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	192	21
2	2383	21

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2))
(sqrt.f64 (+.f64 re (hypot.f64 re im)))

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

Outputs

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

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

simplify31.0ms (1%)

Algorithm

1×	egg-herbie

Rules

604×	`associate-r_binary64`
554×	`fma-def_binary64`
553×	`associate-l_binary64`
197×	`*-commutative_binary64`
118×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	926
1	315	836
2	991	762

Stop Event

1×	node limit

Counts

59 → 72

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 -1/4 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 3))) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))))
(*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/16 (/.f64 1 (pow.f64 re 5))) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 re 2))))) (pow.f64 im 6)) (sqrt.f64 (/.f64 1 re)))) (.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))))
(sqrt.f64 im)
(+.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (+.f64 (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (*.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 im))))))
(+.f64 (.f64 -1/4 (.f64 (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (sqrt.f64 im) (+.f64 (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 im)))))))
(*.f64 (sqrt.f64 2) (sqrt.f64 re))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 re)) (.f64 1/4 (*.f64 (/.f64 (pow.f64 im 2) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 re)) (+.f64 (.f64 -1/2 (.f64 (/.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re)))) (.f64 1/4 (*.f64 (/.f64 (pow.f64 im 2) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))))))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 re)) (+.f64 (.f64 1/2 (.f64 (/.f64 (.f64 (-.f64 (.f64 1/16 (/.f64 1 (pow.f64 re 5))) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 re 2))))) (pow.f64 im 6)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re)))) (+.f64 (.f64 -1/2 (.f64 (/.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re)))) (.f64 1/4 (.f64 (/.f64 (pow.f64 im 2) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))))))

Outputs
(*.f64 (sqrt.f64 2) (sqrt.f64 im))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))
(fma.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) (*.f64 (sqrt.f64 2) (sqrt.f64 im)))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (.f64 1/2 (.f64 (*.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))))
(.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (.f64 1/2 re) (sqrt.f64 im)))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (/.f64 1 im)) (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 re re)))) (fma.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) (.f64 (sqrt.f64 2) (sqrt.f64 im))))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 im)) (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 2) (.f64 re (.f64 re (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)))))) (.f64 1/2 (*.f64 (sqrt.f64 2) re)))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 im) (.f64 (sqrt.f64 2) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 re (.f64 re (.f64 re (+.f64 (/.f64 1/2 im) (.f64 (/.f64 1 im) -1/4)))))))))
(+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2))) (sqrt.f64 (/.f64 1 im)))) (+.f64 (.f64 -1/4 (.f64 (.f64 (sqrt.f64 2) (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 3))) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im)))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))))
(fma.f64 1/2 (.f64 (sqrt.f64 2) (.f64 (sqrt.f64 (/.f64 1 im)) (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 re re)))) (fma.f64 -1/4 (.f64 (.f64 (.f64 (sqrt.f64 2) (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2))) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (pow.f64 im 3)))) (fma.f64 1/2 (.f64 (.f64 (sqrt.f64 2) re) (sqrt.f64 (/.f64 1 im))) (.f64 (sqrt.f64 2) (sqrt.f64 im)))))
(+.f64 (.f64 -1/4 (.f64 (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 (pow.f64 re 3) (sqrt.f64 2))) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 im)) (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 2) (.f64 re (.f64 re (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)))))) (.f64 1/2 (.f64 (sqrt.f64 2) re))))))
(+.f64 (.f64 (sqrt.f64 2) (fma.f64 (sqrt.f64 (/.f64 1 im)) (.f64 1/2 re) (sqrt.f64 im))) (.f64 (sqrt.f64 2) (.f64 (+.f64 (/.f64 1/2 im) (.f64 (/.f64 1 im) -1/4)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 im)) (.f64 re re))) (.f64 -1/4 (.f64 (pow.f64 re 3) (sqrt.f64 (/.f64 1 (pow.f64 im 3)))))))))
(*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))
(*.f64 2 (sqrt.f64 re))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))
(fma.f64 2 (sqrt.f64 re) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (*.f64 im im))))
(fma.f64 2 (sqrt.f64 re) (.f64 im (.f64 im (*.f64 1/4 (sqrt.f64 (/.f64 1 (pow.f64 re 3)))))))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)) (fma.f64 -1/2 (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1 (sqrt.f64 2)))) 2)) (.f64 (pow.f64 im 4) (sqrt.f64 (/.f64 1 re)))) (*.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re))))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)) (fma.f64 2 (sqrt.f64 re) (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (sqrt.f64 2))) 2)) (.f64 (.f64 (pow.f64 im 4) (sqrt.f64 (/.f64 1 re))) -1/2))))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)) (fma.f64 2 (sqrt.f64 re) (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (sqrt.f64 2) 1/4)) 2)) (.f64 (sqrt.f64 (/.f64 1 re)) (*.f64 -1/2 (pow.f64 im 4))))))
(+.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (pow.f64 im 2))) (+.f64 (.f64 -1/2 (.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 (/.f64 1 re)))) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/16 (/.f64 1 (pow.f64 re 5))) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 re 2))))) (pow.f64 im 6)) (sqrt.f64 (/.f64 1 re)))) (.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)) (fma.f64 -1/2 (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1 (sqrt.f64 2)))) 2)) (.f64 (pow.f64 im 4) (sqrt.f64 (/.f64 1 re)))) (fma.f64 1/2 (.f64 (+.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 1/4 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1 (sqrt.f64 2)))) 2)) (.f64 (.f64 re re) (pow.f64 (sqrt.f64 2) 2))))) (.f64 (pow.f64 im 6) (sqrt.f64 (/.f64 1 re)))) (.f64 (pow.f64 (sqrt.f64 2) 2) (sqrt.f64 re)))))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 re)) (+.f64 (.f64 (.f64 -1/2 (pow.f64 im 4)) (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (sqrt.f64 2))) 2))) (.f64 (.f64 1/2 (pow.f64 im 6)) (-.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 -1/8 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (sqrt.f64 2))) 2)) (.f64 re re))))))) (fma.f64 2 (sqrt.f64 re) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)))))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 im im)) (fma.f64 2 (sqrt.f64 re) (.f64 (sqrt.f64 (/.f64 1 re)) (fma.f64 -1/2 (.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (sqrt.f64 2) 1/4)) 2)) (pow.f64 im 4)) (.f64 (-.f64 (/.f64 1/16 (pow.f64 re 5)) (/.f64 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (sqrt.f64 2) 1/4)) 2)) -8) (.f64 re re))) (*.f64 1/2 (pow.f64 im 6)))))))
(sqrt.f64 im)
(+.f64 (sqrt.f64 im) (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))))
(+.f64 (sqrt.f64 im) (.f64 (.f64 1/2 re) (sqrt.f64 (/.f64 1 im))))
(fma.f64 1/2 (*.f64 re (sqrt.f64 (/.f64 1 im))) (sqrt.f64 im))
(fma.f64 (sqrt.f64 (/.f64 1 im)) (*.f64 1/2 re) (sqrt.f64 im))
(+.f64 (sqrt.f64 im) (+.f64 (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (*.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 im))))))
(+.f64 (sqrt.f64 im) (.f64 1/2 (+.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) (.f64 (sqrt.f64 (/.f64 1 im)) (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 re re))))))
(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 re (.f64 re (.f64 re (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)))))) (sqrt.f64 im))
(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 re (.f64 re (.f64 re (+.f64 (/.f64 1/2 im) (.f64 (/.f64 1 im) -1/4)))))) (sqrt.f64 im))
(+.f64 (.f64 -1/4 (.f64 (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (sqrt.f64 im) (+.f64 (.f64 1/2 (.f64 re (sqrt.f64 (/.f64 1 im)))) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (/.f64 1 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 im)))))))
(fma.f64 -1/4 (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 (pow.f64 re 3) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (+.f64 (sqrt.f64 im) (.f64 1/2 (+.f64 (.f64 re (sqrt.f64 (/.f64 1 im))) (.f64 (sqrt.f64 (/.f64 1 im)) (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (*.f64 re re)))))))
(fma.f64 -1/4 (.f64 (-.f64 (/.f64 1/2 im) (pow.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)) (.f64 (pow.f64 re 3) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))) (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 im)) (+.f64 re (.f64 re (.f64 re (-.f64 (/.f64 1/2 im) (pow.f64 (*.f64 1/2 (sqrt.f64 (/.f64 1 im))) 2)))))) (sqrt.f64 im)))
(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 im)) (.f64 1/2 re) (sqrt.f64 im)) (.f64 (+.f64 (/.f64 1/2 im) (.f64 (/.f64 1 im) -1/4)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 im)) (.f64 re re))) (.f64 -1/4 (.f64 (pow.f64 re 3) (sqrt.f64 (/.f64 1 (pow.f64 im 3))))))))
(*.f64 (sqrt.f64 2) (sqrt.f64 re))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 re)) (.f64 1/4 (*.f64 (/.f64 (pow.f64 im 2) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 re) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (*.f64 im im) (sqrt.f64 2)))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 re) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 im (/.f64 (sqrt.f64 2) im)))))
(fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 (/.f64 im (sqrt.f64 2)) im)) (*.f64 (sqrt.f64 2) (sqrt.f64 re)))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 re)) (+.f64 (.f64 -1/2 (.f64 (/.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re)))) (.f64 1/4 (*.f64 (/.f64 (pow.f64 im 2) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3)))))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 re) (fma.f64 -1/2 (.f64 (sqrt.f64 (/.f64 1 re)) (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1 (sqrt.f64 2)))) 2)) (/.f64 (sqrt.f64 2) (pow.f64 im 4)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (.f64 im im) (sqrt.f64 2))))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 re) (fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 im (/.f64 (sqrt.f64 2) im))) (.f64 -1/2 (.f64 (sqrt.f64 (/.f64 1 re)) (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (sqrt.f64 2))) 2)) (/.f64 (sqrt.f64 2) (pow.f64 im 4)))))))
(fma.f64 (sqrt.f64 (/.f64 1 re)) (/.f64 (.f64 -1/2 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (sqrt.f64 2) 1/4)) 2))) (/.f64 (sqrt.f64 2) (pow.f64 im 4))) (fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 (/.f64 im (sqrt.f64 2)) im)) (.f64 (sqrt.f64 2) (sqrt.f64 re))))
(+.f64 (.f64 (sqrt.f64 2) (sqrt.f64 re)) (+.f64 (.f64 1/2 (.f64 (/.f64 (.f64 (-.f64 (.f64 1/16 (/.f64 1 (pow.f64 re 5))) (.f64 -1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 re 2))))) (pow.f64 im 6)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re)))) (+.f64 (.f64 -1/2 (.f64 (/.f64 (.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 re 3))) (pow.f64 (.f64 1/4 (.f64 (/.f64 1 (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))) 2)) (pow.f64 im 4)) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re)))) (.f64 1/4 (.f64 (/.f64 (pow.f64 im 2) (sqrt.f64 2)) (sqrt.f64 (/.f64 1 (pow.f64 re 3))))))))
(fma.f64 (sqrt.f64 2) (sqrt.f64 re) (fma.f64 1/2 (/.f64 (.f64 (+.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 1/4 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1 (sqrt.f64 2)))) 2)) (.f64 (.f64 re re) (pow.f64 (sqrt.f64 2) 2))))) (.f64 (pow.f64 im 6) (sqrt.f64 (/.f64 1 re)))) (sqrt.f64 2)) (fma.f64 -1/2 (.f64 (sqrt.f64 (/.f64 1 re)) (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 1 (sqrt.f64 2)))) 2)) (/.f64 (sqrt.f64 2) (pow.f64 im 4)))) (.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (*.f64 im im) (sqrt.f64 2)))))))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 re)) (+.f64 (.f64 1/2 (/.f64 (-.f64 (/.f64 1/16 (pow.f64 re 5)) (.f64 -1/8 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (sqrt.f64 2))) 2)) (.f64 re re)))) (/.f64 (sqrt.f64 2) (pow.f64 im 6)))) (.f64 -1/2 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (.f64 1/4 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (sqrt.f64 2))) 2)) (/.f64 (sqrt.f64 2) (pow.f64 im 4)))))) (fma.f64 (sqrt.f64 2) (sqrt.f64 re) (.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 im (/.f64 (sqrt.f64 2) im))))))
(fma.f64 (sqrt.f64 (/.f64 1 re)) (fma.f64 1/2 (.f64 (pow.f64 im 6) (/.f64 (-.f64 (/.f64 1/16 (pow.f64 re 5)) (/.f64 (/.f64 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (sqrt.f64 2) 1/4)) 2)) -8) (.f64 re re))) (sqrt.f64 2))) (/.f64 (.f64 -1/2 (+.f64 (/.f64 1/8 (pow.f64 re 3)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (/.f64 (sqrt.f64 2) 1/4)) 2))) (/.f64 (sqrt.f64 2) (pow.f64 im 4)))) (fma.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 3))) (.f64 (/.f64 im (sqrt.f64 2)) im)) (.f64 (sqrt.f64 2) (sqrt.f64 re))))

prune100.0ms (3.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	137	8	145

Error

4.7b

Counts

145 → 8

Alt Table

Status	Error	Program
	52.3b	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 (*.f64 im -1/2) (/.f64 re im))) (sqrt.f64 2)))
✓	13.8b	(.f64 1/2 (.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2)))
▶	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
	52.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im)))))
	54.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.5b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))
	55.8b	(.f64 1/2 (.f64 (sqrt.f64 (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))))) (sqrt.f64 2)))

Compiler

Compiled 3345 to 2357 computations (29.5% saved)

localize4.0ms (0.1%)

prune10.0ms (0.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

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

Error

4.7b

Counts

8 → 8

Alt Table

Status	Error	Program
	52.3b	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 (*.f64 im -1/2) (/.f64 re im))) (sqrt.f64 2)))
✓	13.8b	(.f64 1/2 (.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2)))
✓	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
	52.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im)))))
	54.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.5b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
▶	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))
	55.8b	(.f64 1/2 (.f64 (sqrt.f64 (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))))) (sqrt.f64 2)))

Compiler

Compiled 186 to 151 computations (18.8% saved)

localize4.0ms (0.1%)

prune5.0ms (0.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	4	4
Picked	1	1
Done	3	3
Total	8	8

Error

4.7b

Counts

8 → 8

Alt Table

Status	Error	Program
	52.3b	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 (*.f64 im -1/2) (/.f64 re im))) (sqrt.f64 2)))
✓	13.8b	(.f64 1/2 (.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2)))
✓	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
	52.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im)))))
	54.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	13.5b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
✓	47.1b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))
	55.8b	(.f64 1/2 (.f64 (sqrt.f64 (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))))) (sqrt.f64 2)))

Compiler

Compiled 111 to 90 computations (18.9% saved)

regimes158.0ms (4.9%)

Accuracy

Total -54.8b remaining (-599.1%)

Threshold costs -54.8b (-599.1%)

Counts

23 → 2

Calls

Call 1

Inputs
(.f64 1/2 (.f64 (sqrt.f64 (+.f64 im re)) (sqrt.f64 2)))
(.f64 1/2 (.f64 (sqrt.f64 (*.f64 re 2)) (sqrt.f64 2)))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 (*.f64 im -1/2) (/.f64 re im))) (sqrt.f64 2)))
(.f64 1/2 (.f64 (sqrt.f64 (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))))) (sqrt.f64 2)))
(.f64 1/2 (.f64 (sqrt.f64 (-.f64 re im)) (sqrt.f64 2)))
(.f64 1/2 (.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 2)))
(.f64 1/2 (sqrt.f64 (.f64 2 (pow.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) 2))))
(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 (sqrt.f64 (+.f64 re (hypot.f64 re im))) (sqrt.f64 (+.f64 re (hypot.f64 re im)))))))
(.f64 1/2 (.f64 2 (sqrt.f64 re)))
(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 re im))))
(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1 im))))
(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3)))))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (.f64 -1/2 (/.f64 (pow.f64 im 2) re))))))
(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im)))))
(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 2 re))))
(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (+.f64 (fma.f64 1/2 (*.f64 (/.f64 re im) re) im) re)))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im))))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re im))))
(.f64 1/2 (sqrt.f64 (.f64 2 im)))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Outputs
(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im)))))
(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))

Results

39.0ms	10.0b	`re`
15.0ms	13.5b	`im`
18.0ms	9.2b	`(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))`
20.0ms	9.2b	`(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))`
18.0ms	9.9b	`(.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re))`
18.0ms	9.9b	`(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)`
9.0ms	13.5b	`(*.f64 im im)`
12.0ms	13.5b	`(*.f64 im im)`

Compiler

Compiled 373 to 261 computations (30% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Calls

1 calls:

0.0ms

(sqrt.f64 (*.f64 2 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))

Steps

Iters	Point		Range
0.0	∈ [	0.0	,	1.4960710199915852e-151	]

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	58
1	37	58

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (sqrt.f64 (*.f64 2 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))) 0) (*.f64 1/2 (sqrt.f64 (*.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im))))) (*.f64 1/2 (sqrt.f64 (*.f64 2 (+.f64 re (hypot.f64 re im))))))

Outputs

(if (<=.f64 (sqrt.f64 (*.f64 2 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))) 0) (*.f64 1/2 (sqrt.f64 (*.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im))))) (*.f64 1/2 (sqrt.f64 (*.f64 2 (+.f64 re (hypot.f64 re im))))))

(if (<=.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 0) (*.f64 1/2 (sqrt.f64 (*.f64 2 (/.f64 (*.f64 im -1/2) (/.f64 re im))))) (*.f64 1/2 (sqrt.f64 (*.f64 2 (+.f64 re (hypot.f64 re im))))))

end31.0ms (1%)

Stop Event

1×

fuel

Compiler

Compiled 80 to 58 computations (27.5% saved)

Details

analyze647.0ms (20.1%)

sample1.9s (58.9%)

preprocess14.0ms (0.4%)

simplify7.0ms (0.2%)

prune21.0ms (0.6%)

localize6.0ms (0.2%)

series11.0ms (0.3%)

rewrite45.0ms (1.4%)

simplify32.0ms (1%)

prune127.0ms (4%)

localize7.0ms (0.2%)

series7.0ms (0.2%)

rewrite53.0ms (1.7%)

simplify31.0ms (1%)

prune100.0ms (3.1%)

localize4.0ms (0.1%)

prune10.0ms (0.3%)

localize4.0ms (0.1%)

prune5.0ms (0.1%)

regimes158.0ms (4.9%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end31.0ms (1%)

Profiling