Details

analyze556.0ms (19%)

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.6s (56.4%)

Results

754.0ms	6286×	body	128	valid
328.0ms	536×	body	4096	valid
296.0ms	626×	body	2048	valid
158.0ms	420×	body	1024	valid
73.0ms	260×	body	512	valid
25.0ms	128×	body	256	valid

Compiler

Compiled 36 to 26 computations (27.8% saved)

preprocess22.0ms (0.8%)

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)

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

prune5.0ms (0.2%)

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

14.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.0b	(.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 1 expressions with local error:

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

series8.0ms (0.3%)

Counts

1 → 24

Calls

6 calls:

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

rewrite31.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

612×	`pow1_binary64`
569×	`add-log-exp_binary64`
569×	`log1p-expm1-u_binary64`
569×	`expm1-log1p-u_binary64`
60×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	110	7
2	1530	7

Stop Event

1×	node limit

Counts

1 → 34

Calls

Call 1

Inputs
(+.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))) (cbrt.f64 (pow.f64 (+.f64 re (hypot.f64 re im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.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 exp.f64 (log.f64 (+.f64 re (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 re (hypot.f64 re im))))))) (#(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 (cbrt.f64 (.f64 re re)) (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)))))

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

simplify28.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

649×	`associate-*l/_binary64`
492×	`cancel-sign-sub-inv_binary64`
338×	`fma-neg_binary64`
255×	`associate-/r/_binary64`
241×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	58	446
1	176	436
2	511	428
3	2157	428

Stop Event

1×	node limit

Counts

58 → 64

Calls

Call 1

Inputs
im
(+.f64 re im)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)) (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(*.f64 2 re)
(+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(-.f64 (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 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 (.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7))) (.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 2 re)
(+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(-.f64 (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 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 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)) (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(*.f64 -1 im)
(-.f64 re im)
(-.f64 re (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) re) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))

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 im (fma.f64 1/2 (*.f64 (/.f64 re im) re) re))
(+.f64 im (fma.f64 1/2 (/.f64 re (/.f64 im re)) re))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)) (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(+.f64 (fma.f64 1/2 (/.f64 (.f64 re re) im) (+.f64 im re)) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(+.f64 (fma.f64 1/2 (/.f64 re (/.f64 im re)) (+.f64 im re)) (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) -1/8))
(fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) -1/8 (+.f64 im (fma.f64 1/2 (*.f64 (/.f64 re im) re) re)))
(fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) -1/8 (+.f64 im (fma.f64 1/2 (/.f64 re (/.f64 im re)) re)))
(*.f64 2 re)
(*.f64 re 2)
(+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(fma.f64 2 re (.f64 1/2 (/.f64 (.f64 im im) re)))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 re 2))
(fma.f64 re 2 (.f64 1/2 (.f64 (/.f64 im re) im)))
(-.f64 (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (fma.f64 2 re (.f64 1/2 (/.f64 (.f64 im im) re))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(fma.f64 re 2 (fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))
(fma.f64 re 2 (fma.f64 1/2 (*.f64 (/.f64 im re) im) (/.f64 -1/8 (/.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(fma.f64 re 2 (fma.f64 1/2 (.f64 (/.f64 im re) im) (.f64 (/.f64 -1/8 (pow.f64 re 3)) (pow.f64 im 4))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re)))) (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 2 re (.f64 1/2 (/.f64 (.f64 im im) re)))) (*.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)) (fma.f64 re 2 (fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (fma.f64 1/2 (.f64 (/.f64 im re) im) (fma.f64 re 2 (.f64 (/.f64 1/16 (pow.f64 re 5)) (pow.f64 im 6)))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (fma.f64 re 2 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (.f64 1/2 (.f64 (/.f64 im re) im)))))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(/.f64 (.f64 -1/2 (.f64 im im)) re)
(*.f64 (/.f64 im (/.f64 re im)) -1/2)
(.f64 (.f64 (/.f64 im re) im) -1/2)
(-.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/2 (*.f64 im im)) re))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (*.f64 (/.f64 im (/.f64 re im)) -1/2))
(fma.f64 (*.f64 (/.f64 im re) im) -1/2 (/.f64 1/8 (/.f64 (pow.f64 re 3) (pow.f64 im 4))))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (.f64 (.f64 (/.f64 im re) im) -1/2))
(-.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))) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (.f64 1/2 (/.f64 (*.f64 im im) re))))
(-.f64 (.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 1/2 (/.f64 im (/.f64 re im)))))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16)))
(-.f64 (+.f64 (.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7))) (.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 (fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (.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 1/2 (/.f64 (*.f64 im im) re))))
(-.f64 (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (/.f64 5/128 (/.f64 (pow.f64 re 7) (pow.f64 im 8)))) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 1/2 (/.f64 im (/.f64 re im)))))
(fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
(fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 5/128 (/.f64 (pow.f64 im 8) (pow.f64 re 7)) (fma.f64 (.f64 (/.f64 im re) im) -1/2 (.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
(*.f64 2 re)
(*.f64 re 2)
(+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(fma.f64 2 re (.f64 1/2 (/.f64 (.f64 im im) re)))
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 re 2))
(fma.f64 re 2 (.f64 1/2 (.f64 (/.f64 im re) im)))
(-.f64 (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (fma.f64 2 re (.f64 1/2 (/.f64 (.f64 im im) re))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(fma.f64 re 2 (fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8)))
(fma.f64 re 2 (fma.f64 1/2 (*.f64 (/.f64 im re) im) (/.f64 -1/8 (/.f64 (pow.f64 re 3) (pow.f64 im 4)))))
(fma.f64 re 2 (fma.f64 1/2 (.f64 (/.f64 im re) im) (.f64 (/.f64 -1/8 (pow.f64 re 3)) (pow.f64 im 4))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 2 re) (.f64 1/2 (/.f64 (pow.f64 im 2) re)))) (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 2 re (.f64 1/2 (/.f64 (.f64 im im) re)))) (*.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)) (fma.f64 re 2 (fma.f64 1/2 (/.f64 im (/.f64 re im)) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (fma.f64 1/2 (.f64 (/.f64 im re) im) (fma.f64 re 2 (.f64 (/.f64 1/16 (pow.f64 re 5)) (pow.f64 im 6)))))
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) -1/8 (fma.f64 re 2 (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (.f64 1/2 (.f64 (/.f64 im re) im)))))
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 im (fma.f64 1/2 (*.f64 (/.f64 re im) re) re))
(+.f64 im (fma.f64 1/2 (/.f64 re (/.f64 im re)) re))
(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 re im)) (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(+.f64 (fma.f64 1/2 (/.f64 (.f64 re re) im) (+.f64 im re)) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(+.f64 (fma.f64 1/2 (/.f64 re (/.f64 im re)) (+.f64 im re)) (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) -1/8))
(fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) -1/8 (+.f64 im (fma.f64 1/2 (*.f64 (/.f64 re im) re) re)))
(fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) -1/8 (+.f64 im (fma.f64 1/2 (/.f64 re (/.f64 im re)) re)))
(*.f64 -1 im)
(neg.f64 im)
(-.f64 re im)
(-.f64 re (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(-.f64 re (fma.f64 1/2 (/.f64 (*.f64 re re) im) im))
(-.f64 re (fma.f64 1/2 (/.f64 re (/.f64 im re)) im))
(-.f64 re (fma.f64 1/2 (*.f64 (/.f64 re im) re) im))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) re) (+.f64 (.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(-.f64 (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) re) (fma.f64 1/2 (/.f64 (*.f64 re re) im) im))
(-.f64 (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) re) (fma.f64 1/2 (/.f64 re (/.f64 im re)) im))
(fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (-.f64 re (fma.f64 1/2 (*.f64 (/.f64 re im) re) im)))

prune40.0ms (1.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	60	4	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	60	5	65

Error

5.7b

Counts

65 → 5

Alt Table

Status	Error	Program
	50.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
	52.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 (.f64 (/.f64 im re) im) -1/2))))
	55.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
▶	45.4b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))

Compiler

Compiled 1281 to 828 computations (35.4% saved)

localize3.0ms (0.1%)

prune4.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

5.7b

Counts

5 → 5

Alt Table

Status	Error	Program
▶	50.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
	52.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 (.f64 (/.f64 im re) im) -1/2))))
	55.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
✓	45.4b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))

Compiler

Compiled 94 to 78 computations (17% saved)

localize4.0ms (0.1%)

prune3.0ms (0.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Error

5.7b

Counts

5 → 5

Alt Table

Status	Error	Program
✓	50.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (neg.f64 im))))
▶	52.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (.f64 (.f64 (/.f64 im re) im) -1/2))))
	55.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
✓	45.4b	(.f64 1/2 (sqrt.f64 (.f64 2 im)))

Compiler

Compiled 85 to 70 computations (17.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 (/.f64 im re) im) -1/2)
✓	0.0b	(.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2))
✓	0.1b	(*.f64 (/.f64 im re) im)
✓	20.6b	(sqrt.f64 (.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2)))

series42.0ms (1.5%)

Counts

4 → 84

Calls

24 calls:

Time	Variable		Point	Expression
3.0ms	re	@	-inf	(*.f64 (/.f64 im re) im)
2.0ms	re	@	inf	(sqrt.f64 (.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2)))
2.0ms	re	@	0	(sqrt.f64 (.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2)))
2.0ms	re	@	inf	(.f64 (.f64 (/.f64 im re) im) -1/2)
2.0ms	re	@	inf	(.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2))

rewrite51.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

544×	`log-prod_binary64`
259×	`pow2_binary64`
183×	`pow1/3_binary64`
182×	`expm1-udef_binary64`
182×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	45
1	212	39
2	2596	39

Stop Event

1×	node limit

Counts

4 → 99

Calls

Call 1

Inputs
(sqrt.f64 (.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2)))
(*.f64 (/.f64 im re) im)
(.f64 2 (.f64 (*.f64 (/.f64 im re) im) -1/2))
(.f64 (.f64 (/.f64 im re) im) -1/2)

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

simplify50.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

375×	`associate-/l*_binary64`
322×	`*-commutative_binary64`
314×	`associate-*r/_binary64`
310×	`associate-/r/_binary64`
309×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	740
1	31	740
2	64	740
3	125	740
4	353	740
5	1299	740
6	3278	740
7	4986	740

Stop Event

1×	node limit

Counts

183 → 108

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(/.f64 (pow.f64 im 2) re)
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re))

Outputs
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(*.f64 (sqrt.f64 (/.f64 -1 re)) im)
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(neg.f64 (*.f64 (sqrt.f64 (/.f64 -1 re)) im))
(*.f64 (sqrt.f64 (/.f64 -1 re)) (neg.f64 im))
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(neg.f64 (*.f64 (sqrt.f64 (/.f64 -1 re)) im))
(*.f64 (sqrt.f64 (/.f64 -1 re)) (neg.f64 im))
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(neg.f64 (*.f64 (sqrt.f64 (/.f64 -1 re)) im))
(*.f64 (sqrt.f64 (/.f64 -1 re)) (neg.f64 im))
(.f64 -1 (.f64 im (sqrt.f64 (/.f64 -1 re))))
(neg.f64 (*.f64 (sqrt.f64 (/.f64 -1 re)) im))
(*.f64 (sqrt.f64 (/.f64 -1 re)) (neg.f64 im))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(/.f64 (pow.f64 im 2) re)
(/.f64 (*.f64 im im) re)
(/.f64 im (/.f64 re im))
(*.f64 (/.f64 im re) im)
(*.f64 im (/.f64 im re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.f64 -1 (/.f64 (pow.f64 im 2) re))
(neg.f64 (/.f64 (*.f64 im im) re))
(/.f64 (*.f64 (neg.f64 im) im) re)
(/.f64 (neg.f64 im) (/.f64 re im))
(*.f64 (/.f64 (neg.f64 im) re) im)
(*.f64 im (/.f64 (neg.f64 im) re))
(*.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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/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 (/.f64 im re) im) -1/2)
(.f64 (.f64 im im) (/.f64 -1/2 re))
(*.f64 im (/.f64 im (/.f64 re -1/2)))
(/.f64 im (/.f64 (/.f64 re im) -1/2))

prune45.0ms (1.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	1	0	1
Picked	1	0	1
Done	2	1	3
Total	109	4	113

Error

0.0b

Counts

113 → 4

Alt Table

Status	Error	Program
	54.5b	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 -1 re)) (neg.f64 im)))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 re (hypot.f64 re im)))))
	54.6b	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 -1 re)) im))
	52.8b	(.f64 1/2 (sqrt.f64 (.f64 2 (/.f64 im (/.f64 (/.f64 re im) -1/2)))))

Compiler

Compiled 1646 to 1060 computations (35.6% saved)

regimes219.0ms (7.5%)

Accuracy

Total 11.3b remaining (98.3%)

Threshold costs 0b (0%)

Counts

22 → 3

Compiler

Compiled 2199 to 1735 computations (21.1% saved)

bsearch68.0ms (2.3%)

Algorithm

2×	binary-search

Calls

2 calls:

34.0ms	re
34.0ms	re

Steps

Iters	Point		Range
-4e+31	∈ [	-6.121662282388531e+31	,	-4.4010227713696964e+30	]
-7.1e+207	∈ [	-9.37452865118889e+207	,	-4.3457600270796146e+207	]

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	57
1	36	57

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

Outputs

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

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

end68.0ms (2.3%)

Stop Event

1×

fuel

Compiler

Compiled 127 to 97 computations (23.6% saved)

Details

analyze556.0ms (19%)

sample1.6s (56.4%)

preprocess22.0ms (0.8%)

simplify6.0ms (0.2%)

prune5.0ms (0.2%)

localize6.0ms (0.2%)

series8.0ms (0.3%)

rewrite31.0ms (1.1%)

simplify28.0ms (0.9%)

prune40.0ms (1.4%)

localize3.0ms (0.1%)

prune4.0ms (0.1%)

localize4.0ms (0.1%)

prune3.0ms (0.1%)

localize9.0ms (0.3%)

series42.0ms (1.5%)

rewrite51.0ms (1.7%)

simplify50.0ms (1.7%)

prune45.0ms (1.5%)

regimes219.0ms (7.5%)

bsearch68.0ms (2.3%)

simplify2.0ms (0.1%)

end68.0ms (2.3%)

Profiling