Details

analyze281.0ms (8.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
74.9%	18.7%	6.3%	6
74.9%	18.7%	6.3%	7
74.9%	15.6%	9.5%	8
74.9%	15.6%	9.5%	9
74.9%	14%	11%	10
74.9%	14%	11%	11
74.9%	13.3%	11.8%	12
74.9%	13.3%	11.8%	13
74.9%	12.9%	12.2%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.1s (61.1%)

Results

748.0ms	5881×	body	128	valid
641.0ms	1383×	body	1024	valid
266.0ms	660×	body	1024	invalid
184.0ms	640×	body	512	valid
93.0ms	330×	body	512	invalid
69.0ms	349×	body	256	valid
34.0ms	173×	body	256	invalid
25.0ms	180×	body	128	invalid
3.0ms	3×	body	2048	valid

preprocess15.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.1%)

Counts

1 → 8

Calls

6 calls:

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

rewrite31.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

530×	`pow1_binary64`
483×	`add-log-exp_binary64`
483×	`log1p-expm1-u_binary64`
483×	`expm1-log1p-u_binary64`
471×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	113	8
2	1324	8

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

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

Outputs

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

simplify26.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

760×	`fma-def_binary64`
582×	`associate-l_binary64`
568×	`distribute-lft-out_binary64`
448×	`distribute-rgt-out_binary64`
415×	`associate-r_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	152
1	105	150
2	269	142
3	868	122
4	3279	118

Stop Event

1×	node limit

Counts

21 → 27

Calls

Call 1

Inputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))

Outputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(fma.f64 (cos.f64 im) re (cos.f64 im))
(*.f64 (+.f64 re 1) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 re 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(fma.f64 1/2 (.f64 (cos.f64 im) (.f64 re re)) (fma.f64 (cos.f64 im) re (cos.f64 im)))
(fma.f64 1/2 (.f64 (cos.f64 im) (.f64 re re)) (*.f64 (+.f64 re 1) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 (+.f64 re 1) (.f64 re (*.f64 re 1/2))))
(.f64 (cos.f64 im) (fma.f64 1/2 (.f64 re re) (+.f64 re 1)))
(fma.f64 (cos.f64 im) (fma.f64 re (*.f64 re 1/2) re) (cos.f64 im))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(fma.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3)) (fma.f64 1/2 (.f64 (cos.f64 im) (*.f64 re re)) (fma.f64 (cos.f64 im) re (cos.f64 im))))
(fma.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3)) (fma.f64 1/2 (.f64 (cos.f64 im) (.f64 re re)) (.f64 (+.f64 re 1) (cos.f64 im))))
(fma.f64 (cos.f64 im) (.f64 re (.f64 re 1/2)) (.f64 (cos.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re 1))))
(.f64 (cos.f64 im) (+.f64 (+.f64 re 1) (.f64 (.f64 re re) (+.f64 1/2 (.f64 re 1/6)))))
(.f64 (cos.f64 im) (+.f64 (fma.f64 re (.f64 re 1/2) re) (fma.f64 1/6 (pow.f64 re 3) 1)))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (exp.f64 re))
(fma.f64 -1/2 (.f64 im (.f64 im (exp.f64 re))) (exp.f64 re))
(fma.f64 (exp.f64 re) (.f64 im (.f64 im -1/2)) (exp.f64 re))
(.f64 (exp.f64 re) (fma.f64 im (.f64 im -1/2) 1))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4)) (exp.f64 re)))
(fma.f64 -1/2 (.f64 im (.f64 im (exp.f64 re))) (fma.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4)) (exp.f64 re)))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 im (.f64 im -1/2)) (.f64 1/24 (pow.f64 im 4)))))
(.f64 (exp.f64 re) (+.f64 (.f64 im (*.f64 im -1/2)) (fma.f64 1/24 (pow.f64 im 4) 1)))
(.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (*.f64 im im)) (fma.f64 1/24 (pow.f64 im 4) 1)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (+.f64 (fma.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4)) (exp.f64 re)) (.f64 -1/720 (*.f64 (exp.f64 re) (pow.f64 im 6)))))
(fma.f64 -1/2 (.f64 im (.f64 im (exp.f64 re))) (fma.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4)) (fma.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6)) (exp.f64 re))))
(+.f64 (fma.f64 (exp.f64 re) (.f64 1/24 (pow.f64 im 4)) (exp.f64 re)) (.f64 (exp.f64 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (.f64 im (*.f64 im -1/2)))))
(fma.f64 (exp.f64 re) (fma.f64 -1/720 (pow.f64 im 6) (.f64 im (.f64 im -1/2))) (*.f64 (exp.f64 re) (fma.f64 1/24 (pow.f64 im 4) 1)))
(.f64 (exp.f64 re) (+.f64 (fma.f64 1/24 (pow.f64 im 4) 1) (fma.f64 -1/720 (pow.f64 im 6) (.f64 -1/2 (*.f64 im im)))))

prune19.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	3	28

Error

0.0b

Counts

28 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	0.2b	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
	8.4b	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)

Compiler

Compiled 340 to 185 computations (45.6% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
✓	0.1b	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))

series149.0ms (4.4%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
51.0ms	re	@	-inf	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
47.0ms	re	@	inf	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
29.0ms	im	@	inf	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
14.0ms	im	@	-inf	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
3.0ms	im	@	0	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))

rewrite44.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`pow1_binary64`
645×	`add-log-exp_binary64`
645×	`log1p-expm1-u_binary64`
645×	`expm1-log1p-u_binary64`
77×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	152	18
2	1788	18

Stop Event

1×	node limit

Counts

2 → 47

Calls

Call 1

Inputs
(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))

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

Outputs

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

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

simplify33.0ms (1%)

Algorithm

1×	egg-herbie

Rules

985×	`fma-def_binary64`
826×	`associate-l_binary64`
778×	`associate-r_binary64`
382×	`distribute-rgt-in_binary64`
379×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	116	963
1	372	924
2	1421	850

Stop Event

1×	node limit

Counts

95 → 76

Calls

Call 1

Inputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 1/2 (.f64 (pow.f64 re 2) (+.f64 (.f64 2 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/2 (pow.f64 (cos.f64 im) 2)))) (*.f64 -1 (pow.f64 (cos.f64 im) 2)))))))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 -6 (.f64 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/2 (pow.f64 (cos.f64 im) 2))) (cos.f64 im))) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 3)) (.f64 6 (+.f64 (.f64 1/6 (cos.f64 im)) (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (.f64 1/6 (pow.f64 (cos.f64 im) 3))))))))) (.f64 1/2 (.f64 (pow.f64 re 2) (+.f64 (.f64 2 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/2 (pow.f64 (cos.f64 im) 2)))) (.f64 -1 (pow.f64 (cos.f64 im) 2))))))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 24 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))))) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 24 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))))) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 1/720 (.f64 (+.f64 (.f64 -30 (pow.f64 (exp.f64 re) 3)) (+.f64 (.f64 720 (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 3)) (.f64 -1/720 (exp.f64 re))))) (.f64 360 (.f64 (exp.f64 re) (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (*.f64 1/24 (exp.f64 re))))))) (pow.f64 im 6))))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(exp.f64 (cos.f64 im))
(+.f64 (exp.f64 (cos.f64 im)) (.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re)))
(+.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re)) (.f64 (exp.f64 (cos.f64 im)) (.f64 (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (.f64 1/2 (cos.f64 im))) (pow.f64 re 2)))))
(+.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re)) (+.f64 (.f64 (exp.f64 (cos.f64 im)) (.f64 (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (.f64 1/2 (cos.f64 im))) (pow.f64 re 2))) (.f64 (exp.f64 (cos.f64 im)) (.f64 (pow.f64 re 3) (+.f64 (.f64 1/6 (cos.f64 im)) (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (*.f64 1/6 (pow.f64 (cos.f64 im) 3)))))))))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (*.f64 (exp.f64 (exp.f64 re)) (pow.f64 im 2)))) (exp.f64 (exp.f64 re)))
(+.f64 (.f64 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re)))) (+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (*.f64 (exp.f64 (exp.f64 re)) (pow.f64 im 2)))) (exp.f64 (exp.f64 re))))
(+.f64 (.f64 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re)))) (+.f64 (.f64 (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 3)) (.f64 -1/720 (exp.f64 re)))) (.f64 (pow.f64 im 6) (exp.f64 (exp.f64 re)))) (+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (.f64 (exp.f64 (exp.f64 re)) (pow.f64 im 2)))) (exp.f64 (exp.f64 re)))))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))

Outputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(fma.f64 (cos.f64 im) re (cos.f64 im))
(*.f64 (+.f64 re 1) (cos.f64 im))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 1/2 (.f64 (pow.f64 re 2) (+.f64 (.f64 2 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/2 (pow.f64 (cos.f64 im) 2)))) (*.f64 -1 (pow.f64 (cos.f64 im) 2)))))))
(+.f64 (fma.f64 (cos.f64 im) re (cos.f64 im)) (.f64 (.f64 1/2 (.f64 re re)) (fma.f64 2 (.f64 1/2 (+.f64 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (neg.f64 (pow.f64 (cos.f64 im) 2)))))
(fma.f64 (cos.f64 im) re (fma.f64 1/2 (.f64 re (.f64 re (-.f64 (*.f64 1 (+.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2))) (pow.f64 (cos.f64 im) 2)))) (cos.f64 im)))
(fma.f64 (.f64 re re) (.f64 (+.f64 (cos.f64 im) (.f64 (pow.f64 (cos.f64 im) 2) 0)) 1/2) (.f64 (+.f64 re 1) (cos.f64 im)))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) (+.f64 (.f64 -6 (.f64 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/2 (pow.f64 (cos.f64 im) 2))) (cos.f64 im))) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 3)) (.f64 6 (+.f64 (.f64 1/6 (cos.f64 im)) (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (.f64 1/6 (pow.f64 (cos.f64 im) 3))))))))) (.f64 1/2 (.f64 (pow.f64 re 2) (+.f64 (.f64 2 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/2 (pow.f64 (cos.f64 im) 2)))) (.f64 -1 (pow.f64 (cos.f64 im) 2))))))))
(+.f64 (fma.f64 (cos.f64 im) re (cos.f64 im)) (fma.f64 1/6 (.f64 (pow.f64 re 3) (fma.f64 -6 (.f64 (cos.f64 im) (.f64 1/2 (+.f64 (pow.f64 (cos.f64 im) 2) (cos.f64 im)))) (fma.f64 2 (pow.f64 (cos.f64 im) 3) (.f64 6 (fma.f64 1/6 (cos.f64 im) (fma.f64 1/2 (pow.f64 (cos.f64 im) 2) (.f64 1/6 (pow.f64 (cos.f64 im) 3)))))))) (.f64 (.f64 1/2 (.f64 re re)) (fma.f64 2 (*.f64 1/2 (+.f64 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (neg.f64 (pow.f64 (cos.f64 im) 2))))))
(+.f64 (fma.f64 1/2 (.f64 re (.f64 re (-.f64 (.f64 1 (+.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2))) (pow.f64 (cos.f64 im) 2)))) (.f64 (fma.f64 (.f64 -3 (+.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2))) (cos.f64 im) (fma.f64 6 (fma.f64 (cos.f64 im) 1/6 (fma.f64 1/2 (pow.f64 (cos.f64 im) 2) (.f64 1/6 (pow.f64 (cos.f64 im) 3)))) (.f64 2 (pow.f64 (cos.f64 im) 3)))) (.f64 1/6 (pow.f64 re 3)))) (*.f64 (+.f64 re 1) (cos.f64 im)))
(fma.f64 (cos.f64 im) re (fma.f64 1/2 (.f64 re (.f64 re (+.f64 (cos.f64 im) (.f64 (pow.f64 (cos.f64 im) 2) 0)))) (fma.f64 (+.f64 (.f64 -3 (.f64 (+.f64 (cos.f64 im) 1) (pow.f64 (cos.f64 im) 2))) (+.f64 (fma.f64 2 (pow.f64 (cos.f64 im) 3) (cos.f64 im)) (+.f64 (pow.f64 (cos.f64 im) 3) (.f64 (pow.f64 (cos.f64 im) 2) 3)))) (*.f64 1/6 (pow.f64 re 3)) (cos.f64 im))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (exp.f64 re))
(.f64 (+.f64 (.f64 -1/2 (*.f64 im im)) 1) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 24 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))))) (pow.f64 im 4))) (exp.f64 re)))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 1/24 (.f64 (fma.f64 -3 (pow.f64 (exp.f64 re) 2) (.f64 24 (fma.f64 1/8 (pow.f64 (exp.f64 re) 2) (*.f64 (exp.f64 re) 1/24)))) (pow.f64 im 4)) (exp.f64 re)))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 1/24 (.f64 (fma.f64 -3 (pow.f64 (exp.f64 re) 2) (+.f64 (.f64 3 (pow.f64 (exp.f64 re) 2)) (*.f64 (exp.f64 re) 1))) (pow.f64 im 4)) (exp.f64 re)))
(fma.f64 (exp.f64 re) (.f64 im (.f64 im -1/2)) (fma.f64 (+.f64 (.f64 (exp.f64 (+.f64 re re)) 0) (exp.f64 re)) (.f64 (pow.f64 im 4) 1/24) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 24 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))))) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 1/720 (.f64 (+.f64 (.f64 -30 (pow.f64 (exp.f64 re) 3)) (+.f64 (.f64 720 (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 3)) (.f64 -1/720 (exp.f64 re))))) (.f64 360 (.f64 (exp.f64 re) (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (*.f64 1/24 (exp.f64 re))))))) (pow.f64 im 6))))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (+.f64 (fma.f64 1/24 (.f64 (fma.f64 -3 (pow.f64 (exp.f64 re) 2) (.f64 24 (fma.f64 1/8 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/24)))) (pow.f64 im 4)) (exp.f64 re)) (.f64 1/720 (.f64 (fma.f64 -30 (pow.f64 (exp.f64 re) 3) (fma.f64 720 (fma.f64 -1/48 (pow.f64 (exp.f64 re) 2) (fma.f64 -1/48 (pow.f64 (exp.f64 re) 3) (.f64 (exp.f64 re) -1/720))) (.f64 360 (.f64 (exp.f64 re) (fma.f64 1/8 (pow.f64 (exp.f64 re) 2) (*.f64 (exp.f64 re) 1/24)))))) (pow.f64 im 6)))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 1/24 (.f64 (fma.f64 -3 (pow.f64 (exp.f64 re) 2) (+.f64 (.f64 3 (pow.f64 (exp.f64 re) 2)) (.f64 (exp.f64 re) 1))) (pow.f64 im 4)) (fma.f64 1/720 (.f64 (fma.f64 -30 (pow.f64 (exp.f64 re) 3) (fma.f64 720 (fma.f64 (pow.f64 (exp.f64 re) 2) -1/48 (fma.f64 (pow.f64 (exp.f64 re) 3) -1/48 (.f64 (exp.f64 re) -1/720))) (.f64 (exp.f64 re) (.f64 (fma.f64 (exp.f64 re) 1/24 (.f64 (pow.f64 (exp.f64 re) 2) 1/8)) 360)))) (pow.f64 im 6)) (exp.f64 re))))
(fma.f64 (exp.f64 re) (.f64 im (.f64 im -1/2)) (fma.f64 1/24 (.f64 (+.f64 (.f64 (exp.f64 (+.f64 re re)) 0) (exp.f64 re)) (pow.f64 im 4)) (fma.f64 (pow.f64 im 6) (fma.f64 1/720 (fma.f64 360 (.f64 (exp.f64 (+.f64 re re)) (+.f64 1/24 (.f64 1/8 (exp.f64 re)))) (+.f64 (.f64 -15 (+.f64 (exp.f64 (+.f64 re re)) (pow.f64 (exp.f64 re) 3))) (.f64 -1 (exp.f64 re)))) (*.f64 -1/24 (pow.f64 (exp.f64 re) 3))) (exp.f64 re))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(exp.f64 (cos.f64 im))
(+.f64 (exp.f64 (cos.f64 im)) (.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re)))
(+.f64 (exp.f64 (cos.f64 im)) (.f64 (.f64 (cos.f64 im) re) (exp.f64 (cos.f64 im))))
(.f64 (+.f64 (.f64 (cos.f64 im) re) 1) (exp.f64 (cos.f64 im)))
(*.f64 (fma.f64 (cos.f64 im) re 1) (exp.f64 (cos.f64 im)))
(+.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re)) (.f64 (exp.f64 (cos.f64 im)) (.f64 (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (.f64 1/2 (cos.f64 im))) (pow.f64 re 2)))))
(+.f64 (exp.f64 (cos.f64 im)) (.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (cos.f64 im) re) (.f64 (.f64 re re) (*.f64 1/2 (+.f64 (pow.f64 (cos.f64 im) 2) (cos.f64 im)))))))
(fma.f64 (exp.f64 (cos.f64 im)) (fma.f64 (cos.f64 im) re (.f64 1/2 (.f64 (+.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2)) (*.f64 re re)))) (exp.f64 (cos.f64 im)))
(.f64 (+.f64 (.f64 re (+.f64 (cos.f64 im) (.f64 1/2 (.f64 (*.f64 (+.f64 (cos.f64 im) 1) (cos.f64 im)) re)))) 1) (exp.f64 (cos.f64 im)))
(+.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re)) (+.f64 (.f64 (exp.f64 (cos.f64 im)) (.f64 (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (.f64 1/2 (cos.f64 im))) (pow.f64 re 2))) (.f64 (exp.f64 (cos.f64 im)) (.f64 (pow.f64 re 3) (+.f64 (.f64 1/6 (cos.f64 im)) (+.f64 (.f64 1/2 (pow.f64 (cos.f64 im) 2)) (*.f64 1/6 (pow.f64 (cos.f64 im) 3)))))))))
(+.f64 (exp.f64 (cos.f64 im)) (fma.f64 (exp.f64 (cos.f64 im)) (.f64 (cos.f64 im) re) (.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (.f64 re re) (.f64 1/2 (+.f64 (pow.f64 (cos.f64 im) 2) (cos.f64 im)))) (.f64 (pow.f64 re 3) (fma.f64 1/6 (cos.f64 im) (fma.f64 1/2 (pow.f64 (cos.f64 im) 2) (*.f64 1/6 (pow.f64 (cos.f64 im) 3)))))))))
(+.f64 (exp.f64 (cos.f64 im)) (.f64 (exp.f64 (cos.f64 im)) (+.f64 (.f64 (cos.f64 im) re) (fma.f64 (.f64 re re) (.f64 1/2 (+.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2))) (.f64 (pow.f64 re 3) (fma.f64 (cos.f64 im) 1/6 (fma.f64 1/2 (pow.f64 (cos.f64 im) 2) (.f64 1/6 (pow.f64 (cos.f64 im) 3)))))))))
(.f64 (exp.f64 (cos.f64 im)) (+.f64 (fma.f64 (cos.f64 im) re 1) (.f64 (.f64 re re) (+.f64 (.f64 1/2 (.f64 (+.f64 (cos.f64 im) 1) (cos.f64 im))) (.f64 (fma.f64 (cos.f64 im) 1/6 (.f64 (pow.f64 (cos.f64 im) 2) (+.f64 (.f64 (cos.f64 im) 1/6) 1/2))) re)))))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (*.f64 (exp.f64 (exp.f64 re)) (pow.f64 im 2)))) (exp.f64 (exp.f64 re)))
(fma.f64 -1/2 (.f64 (.f64 (exp.f64 re) (exp.f64 (exp.f64 re))) (*.f64 im im)) (exp.f64 (exp.f64 re)))
(fma.f64 -1/2 (.f64 (.f64 im im) (exp.f64 (+.f64 re (exp.f64 re)))) (exp.f64 (exp.f64 re)))
(.f64 (+.f64 (.f64 (exp.f64 re) (.f64 im (.f64 im -1/2))) 1) (exp.f64 (exp.f64 re)))
(+.f64 (.f64 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re)))) (+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (*.f64 (exp.f64 (exp.f64 re)) (pow.f64 im 2)))) (exp.f64 (exp.f64 re))))
(fma.f64 (fma.f64 1/8 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/24)) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re))) (fma.f64 -1/2 (.f64 (.f64 (exp.f64 re) (exp.f64 (exp.f64 re))) (*.f64 im im)) (exp.f64 (exp.f64 re))))
(fma.f64 (fma.f64 (exp.f64 re) 1/24 (.f64 (pow.f64 (exp.f64 re) 2) 1/8)) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re))) (fma.f64 -1/2 (.f64 (.f64 im im) (exp.f64 (+.f64 re (exp.f64 re)))) (exp.f64 (exp.f64 re))))
(fma.f64 -1/2 (.f64 (.f64 im im) (exp.f64 (+.f64 re (exp.f64 re)))) (.f64 (+.f64 (.f64 (.f64 (exp.f64 re) (+.f64 1/24 (.f64 1/8 (exp.f64 re)))) (pow.f64 im 4)) 1) (exp.f64 (exp.f64 re))))
(+.f64 (.f64 (+.f64 (.f64 1/8 (pow.f64 (exp.f64 re) 2)) (.f64 1/24 (exp.f64 re))) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re)))) (+.f64 (.f64 (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/48 (pow.f64 (exp.f64 re) 3)) (.f64 -1/720 (exp.f64 re)))) (.f64 (pow.f64 im 6) (exp.f64 (exp.f64 re)))) (+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (.f64 (exp.f64 (exp.f64 re)) (pow.f64 im 2)))) (exp.f64 (exp.f64 re)))))
(fma.f64 (fma.f64 1/8 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/24)) (.f64 (pow.f64 im 4) (exp.f64 (exp.f64 re))) (fma.f64 (fma.f64 -1/48 (pow.f64 (exp.f64 re) 2) (fma.f64 -1/48 (pow.f64 (exp.f64 re) 3) (.f64 (exp.f64 re) -1/720))) (.f64 (pow.f64 im 6) (exp.f64 (exp.f64 re))) (fma.f64 -1/2 (.f64 (.f64 (exp.f64 re) (exp.f64 (exp.f64 re))) (*.f64 im im)) (exp.f64 (exp.f64 re)))))
(+.f64 (fma.f64 -1/2 (.f64 (.f64 im im) (exp.f64 (+.f64 re (exp.f64 re)))) (exp.f64 (exp.f64 re))) (.f64 (exp.f64 (exp.f64 re)) (+.f64 (.f64 (fma.f64 (exp.f64 re) 1/24 (.f64 (pow.f64 (exp.f64 re) 2) 1/8)) (pow.f64 im 4)) (.f64 (fma.f64 (pow.f64 (exp.f64 re) 2) -1/48 (fma.f64 (pow.f64 (exp.f64 re) 3) -1/48 (*.f64 (exp.f64 re) -1/720))) (pow.f64 im 6)))))
(fma.f64 (exp.f64 (exp.f64 re)) (fma.f64 (.f64 (exp.f64 re) (+.f64 1/24 (.f64 1/8 (exp.f64 re)))) (pow.f64 im 4) (.f64 (fma.f64 (pow.f64 (exp.f64 re) 3) -1/48 (.f64 (exp.f64 re) (+.f64 -1/720 (.f64 -1/48 (exp.f64 re))))) (pow.f64 im 6))) (.f64 (+.f64 (.f64 (exp.f64 re) (.f64 im (*.f64 im -1/2))) 1) (exp.f64 (exp.f64 re))))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
(pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))

prune77.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	76	3	79

Error

Counts

79 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
	8.4b	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
▶	0.2b	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))

Compiler

Compiled 1419 to 694 computations (51.1% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im))))
✓	0.1b	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))
✓	0.4b	(pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))

series128.0ms (3.8%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
63.0ms	re	@	-inf	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))
18.0ms	im	@	inf	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))
17.0ms	im	@	-inf	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))
17.0ms	re	@	inf	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))
3.0ms	im	@	0	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))

rewrite55.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

863×	`log1p-expm1-u_binary64`
863×	`expm1-log1p-u_binary64`
104×	`add-sqr-sqrt_binary64`
102×	`pow1_binary64`
101×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	45
1	212	37
2	2419	37

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

Inputs
(pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im))))

Outputs

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

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

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

simplify63.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

517×	`distribute-rgt-in_binary64`
513×	`distribute-lft-in_binary64`
182×	`fma-def_binary64`
149×	`associate-r_binary64`
122×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	2568
1	533	2476
2	1863	2105

Stop Event

1×	node limit

Counts

148 → 130

Calls

Call 1

Inputs
(exp.f64 (*.f64 2 (cos.f64 im)))
(+.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 2 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (*.f64 (cos.f64 im) re))))
(+.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (.f64 2 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (cos.f64 im) re))) (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (+.f64 (cos.f64 im) (*.f64 2 (pow.f64 (cos.f64 im) 2))) (pow.f64 re 2)))))
(+.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (.f64 2 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (cos.f64 im) re))) (+.f64 (.f64 (+.f64 (.f64 1/3 (cos.f64 im)) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (pow.f64 re 3))) (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (+.f64 (cos.f64 im) (*.f64 2 (pow.f64 (cos.f64 im) 2))) (pow.f64 re 2))))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (*.f64 2 (exp.f64 re)))
(+.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 -1 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (*.f64 (exp.f64 re) (pow.f64 im 2)))))
(+.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (exp.f64 re) (pow.f64 im 2)))) (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2))) (pow.f64 im 4)))))
(+.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (exp.f64 re) (pow.f64 im 2)))) (+.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (+.f64 (.f64 -1/12 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/360 (exp.f64 re)) (.f64 -1/6 (pow.f64 (exp.f64 re) 3)))) (pow.f64 im 6))) (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2))) (pow.f64 im 4))))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(log.f64 (sqrt.f64 (exp.f64 (*.f64 2 (cos.f64 im)))))
(+.f64 (.f64 (cos.f64 im) re) (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im))))))
(+.f64 (.f64 1/2 (.f64 (-.f64 (+.f64 (cos.f64 im) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 -1 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (cos.f64 im) 2)) (pow.f64 re 2))) (+.f64 (.f64 (cos.f64 im) re) (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))))))
(+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 3)) (+.f64 (.f64 3 (/.f64 (-.f64 (.f64 (+.f64 (.f64 1/3 (cos.f64 im)) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2)))) (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 -3 (/.f64 (.f64 (cos.f64 im) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2))) (exp.f64 (.f64 2 (cos.f64 im))))))) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (-.f64 (+.f64 (cos.f64 im) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 -1 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (cos.f64 im) 2)) (pow.f64 re 2))) (+.f64 (.f64 (cos.f64 im) re) (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im))))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re)))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re))))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 12 (/.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (exp.f64 (*.f64 2 (exp.f64 re)))))) (pow.f64 im 4)))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re))))) (+.f64 (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 12 (/.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (exp.f64 (.f64 2 (exp.f64 re)))))) (pow.f64 im 4))) (.f64 1/720 (.f64 (+.f64 (.f64 -30 (pow.f64 (exp.f64 re) 3)) (+.f64 (.f64 360 (/.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1/12 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/360 (exp.f64 re)) (.f64 -1/6 (pow.f64 (exp.f64 re) 3))))) (.f64 -1/2 (.f64 (exp.f64 re) (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2))))) (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 180 (/.f64 (.f64 (exp.f64 re) (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2))) (exp.f64 (.f64 2 (exp.f64 re))))))) (pow.f64 im 6))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(sqrt.f64 (exp.f64 (*.f64 2 (cos.f64 im))))
(+.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) re)) (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))))
(+.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) re)) (+.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 (pow.f64 re 2) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (*.f64 2 (cos.f64 im)))) (cos.f64 im)) 2)))))))
(+.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) re)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 (-.f64 (.f64 (+.f64 (.f64 1/3 (cos.f64 im)) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2)))) (pow.f64 re 3)))) (+.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 (pow.f64 re 2) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2))))))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re))))
(+.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (pow.f64 im 2)) (sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re)))))))
(+.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (+.f64 (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (pow.f64 im 2)) (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (pow.f64 im 4))))))
(+.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1/360 (exp.f64 re)) (+.f64 (.f64 -1/12 (pow.f64 (exp.f64 re) 2)) (.f64 -1/6 (pow.f64 (exp.f64 re) 3))))) (.f64 -1/2 (.f64 (exp.f64 re) (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2))))) (pow.f64 im 6)))) (+.f64 (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (pow.f64 im 2)) (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (pow.f64 im 4)))))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))

Outputs
(exp.f64 (*.f64 2 (cos.f64 im)))
(pow.f64 (exp.f64 2) (cos.f64 im))
(+.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 2 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (*.f64 (cos.f64 im) re))))
(+.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 2 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (*.f64 (cos.f64 im) re))))
(fma.f64 2 (.f64 (cos.f64 im) (.f64 re (pow.f64 (exp.f64 2) (cos.f64 im)))) (pow.f64 (exp.f64 2) (cos.f64 im)))
(.f64 (+.f64 (.f64 2 (*.f64 (cos.f64 im) re)) 1) (pow.f64 (exp.f64 2) (cos.f64 im)))
(+.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (.f64 2 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (cos.f64 im) re))) (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (+.f64 (cos.f64 im) (*.f64 2 (pow.f64 (cos.f64 im) 2))) (pow.f64 re 2)))))
(+.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 (cos.f64 im) re)) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2))) (.f64 re re)))))
(+.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 re (.f64 re (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im)))) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 (*.f64 (cos.f64 im) re) 2))))
(+.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (.f64 (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im)) (.f64 re re)) (.f64 (*.f64 (cos.f64 im) re) 2))))
(+.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (.f64 2 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (cos.f64 im) re))) (+.f64 (.f64 (+.f64 (.f64 1/3 (cos.f64 im)) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (pow.f64 re 3))) (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (.f64 (+.f64 (cos.f64 im) (*.f64 2 (pow.f64 (cos.f64 im) 2))) (pow.f64 re 2))))))
(+.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 (cos.f64 im) re)) (fma.f64 (fma.f64 1/3 (cos.f64 im) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (pow.f64 re 3)) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2))) (.f64 re re))))))
(+.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (.f64 (cos.f64 im) (.f64 re (pow.f64 (exp.f64 2) (cos.f64 im)))) (fma.f64 (fma.f64 (cos.f64 im) 1/3 (fma.f64 4/3 (pow.f64 (cos.f64 im) 3) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (pow.f64 re 3)) (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (.f64 re (*.f64 re (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im))))))))
(+.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (.f64 (pow.f64 re 3) (fma.f64 (cos.f64 im) 1/3 (.f64 (pow.f64 (cos.f64 im) 2) (+.f64 2 (.f64 4/3 (cos.f64 im)))))) (.f64 (.f64 (cos.f64 im) re) 2))) (.f64 (+.f64 (.f64 (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im)) (*.f64 re re)) 1) (pow.f64 (exp.f64 2) (cos.f64 im))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (*.f64 2 (exp.f64 re)))
(pow.f64 (exp.f64 2) (exp.f64 re))
(+.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 -1 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (*.f64 (exp.f64 re) (pow.f64 im 2)))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (neg.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (exp.f64 re) (*.f64 im im)))))
(-.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (.f64 im im) (exp.f64 (+.f64 (*.f64 2 (exp.f64 re)) re))))
(.f64 (+.f64 (.f64 (exp.f64 re) (*.f64 im (neg.f64 im))) 1) (pow.f64 (exp.f64 2) (exp.f64 re)))
(+.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (exp.f64 re) (pow.f64 im 2)))) (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2))) (pow.f64 im 4)))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 -1 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (exp.f64 re) (.f64 im im))) (.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 im 4))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (-.f64 (.f64 (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12)) (.f64 (pow.f64 im 4) (pow.f64 (exp.f64 2) (exp.f64 re)))) (.f64 (.f64 im im) (exp.f64 (+.f64 (.f64 2 (exp.f64 re)) re)))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (-.f64 (.f64 (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2))) (pow.f64 im 4)) (.f64 (exp.f64 re) (.f64 im im)))))
(+.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (exp.f64 re) (pow.f64 im 2)))) (+.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (+.f64 (.f64 -1/12 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/360 (exp.f64 re)) (.f64 -1/6 (pow.f64 (exp.f64 re) 3)))) (pow.f64 im 6))) (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (.f64 (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2))) (pow.f64 im 4))))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 -1 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (exp.f64 re) (.f64 im im))) (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (+.f64 (.f64 (fma.f64 -1/12 (pow.f64 (exp.f64 re) 2) (fma.f64 -1/360 (exp.f64 re) (.f64 -1/6 (pow.f64 (exp.f64 re) 3)))) (pow.f64 im 6)) (.f64 (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2))) (pow.f64 im 4))))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 (fma.f64 (pow.f64 (exp.f64 re) 2) -1/12 (fma.f64 -1/6 (pow.f64 (exp.f64 re) 3) (.f64 (exp.f64 re) -1/360))) (pow.f64 im 6) (.f64 (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12)) (pow.f64 im 4))) (.f64 (exp.f64 (+.f64 (.f64 2 (exp.f64 re)) re)) (neg.f64 (.f64 im im)))))
(+.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (-.f64 (fma.f64 (fma.f64 (exp.f64 re) -1/360 (.f64 (exp.f64 (+.f64 re re)) (+.f64 -1/12 (.f64 (exp.f64 re) -1/6)))) (pow.f64 im 6) (.f64 (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2))) (pow.f64 im 4))) (.f64 (exp.f64 re) (.f64 im im)))))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))
(pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))
(pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))
(pow.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (exp.f64 re))
(log.f64 (sqrt.f64 (exp.f64 (*.f64 2 (cos.f64 im)))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))))
(log.f64 (fabs.f64 (exp.f64 (cos.f64 im))))
(+.f64 (.f64 (cos.f64 im) re) (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im))))))
(fma.f64 (cos.f64 im) re (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))))
(fma.f64 (cos.f64 im) re (log.f64 (fabs.f64 (exp.f64 (cos.f64 im)))))
(+.f64 (.f64 1/2 (.f64 (-.f64 (+.f64 (cos.f64 im) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 -1 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (cos.f64 im) 2)) (pow.f64 re 2))) (+.f64 (.f64 (cos.f64 im) re) (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))))))
(fma.f64 1/2 (.f64 (.f64 re re) (-.f64 (+.f64 (cos.f64 im) (*.f64 (pow.f64 (cos.f64 im) 2) 1)) (pow.f64 (cos.f64 im) 2))) (fma.f64 (cos.f64 im) re (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))))))
(fma.f64 1/2 (.f64 re (.f64 re (+.f64 (pow.f64 (cos.f64 im) 2) (-.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2))))) (fma.f64 (cos.f64 im) re (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))))))
(fma.f64 1/2 (.f64 re (.f64 re (+.f64 (cos.f64 im) 0))) (fma.f64 (cos.f64 im) re (log.f64 (fabs.f64 (exp.f64 (cos.f64 im))))))
(+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 3)) (+.f64 (.f64 3 (/.f64 (-.f64 (.f64 (+.f64 (.f64 1/3 (cos.f64 im)) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2)))) (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 -3 (/.f64 (.f64 (cos.f64 im) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2))) (exp.f64 (.f64 2 (cos.f64 im))))))) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (-.f64 (+.f64 (cos.f64 im) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 -1 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (cos.f64 im) 2)) (pow.f64 re 2))) (+.f64 (.f64 (cos.f64 im) re) (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im))))))))
(fma.f64 1/6 (.f64 (pow.f64 re 3) (fma.f64 2 (pow.f64 (cos.f64 im) 3) (fma.f64 3 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 1/3 (cos.f64 im) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (.f64 4/3 (pow.f64 (cos.f64 im) 3))))) (.f64 (cos.f64 im) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2)))) (pow.f64 (exp.f64 2) (cos.f64 im))) (.f64 -3 (/.f64 (cos.f64 im) (/.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2)))))))) (fma.f64 1/2 (.f64 (.f64 re re) (-.f64 (+.f64 (cos.f64 im) (.f64 (pow.f64 (cos.f64 im) 2) 1)) (pow.f64 (cos.f64 im) 2))) (fma.f64 (cos.f64 im) re (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))))))
(fma.f64 1/6 (.f64 (pow.f64 re 3) (fma.f64 2 (pow.f64 (cos.f64 im) 3) (fma.f64 3 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 (cos.f64 im) 1/3 (fma.f64 4/3 (pow.f64 (cos.f64 im) 3) (.f64 2 (pow.f64 (cos.f64 im) 2))))) (.f64 (cos.f64 im) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2)))) (pow.f64 (exp.f64 2) (cos.f64 im))) (/.f64 (.f64 (.f64 -3 (cos.f64 im)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2))) (pow.f64 (exp.f64 2) (cos.f64 im)))))) (fma.f64 1/2 (.f64 re (.f64 re (+.f64 (pow.f64 (cos.f64 im) 2) (-.f64 (cos.f64 im) (pow.f64 (cos.f64 im) 2))))) (fma.f64 (cos.f64 im) re (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))))))
(fma.f64 1/6 (.f64 (pow.f64 re 3) (fma.f64 2 (pow.f64 (cos.f64 im) 3) (fma.f64 3 (-.f64 (.f64 1 (fma.f64 (cos.f64 im) 1/3 (.f64 (pow.f64 (cos.f64 im) 2) (+.f64 2 (.f64 4/3 (cos.f64 im)))))) (.f64 (/.f64 (cos.f64 im) (pow.f64 (exp.f64 2) (cos.f64 im))) (+.f64 (.f64 (cos.f64 im) (pow.f64 (exp.f64 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (fabs.f64 (exp.f64 (cos.f64 im)))) 2)))) (.f64 (/.f64 (.f64 (cos.f64 im) -3) (pow.f64 (exp.f64 2) (cos.f64 im))) (+.f64 (.f64 (cos.f64 im) (pow.f64 (exp.f64 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (fabs.f64 (exp.f64 (cos.f64 im)))) 2)))))) (fma.f64 1/2 (.f64 re (*.f64 re (+.f64 (cos.f64 im) 0))) (fma.f64 (cos.f64 im) re (log.f64 (fabs.f64 (exp.f64 (cos.f64 im)))))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))
(log.f64 (fabs.f64 (exp.f64 (exp.f64 re))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re))))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))))
(fma.f64 (.f64 (exp.f64 re) (.f64 im im)) -1/2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))))
(fma.f64 (.f64 (exp.f64 re) (.f64 im im)) -1/2 (log.f64 (fabs.f64 (exp.f64 (exp.f64 re)))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 12 (/.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (exp.f64 (*.f64 2 (exp.f64 re)))))) (pow.f64 im 4)))))
(+.f64 (fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) (.f64 1/24 (.f64 (pow.f64 im 4) (fma.f64 -3 (pow.f64 (exp.f64 re) 2) (.f64 12 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (*.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2)) (pow.f64 (exp.f64 2) (exp.f64 re))))))))
(fma.f64 (.f64 (exp.f64 re) (.f64 im im)) -1/2 (fma.f64 1/24 (.f64 (pow.f64 im 4) (fma.f64 12 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)) (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (pow.f64 (exp.f64 re) 2) -3))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))))
(fma.f64 (.f64 (exp.f64 re) (.f64 im im)) -1/2 (fma.f64 1/24 (.f64 (pow.f64 im 4) (fma.f64 12 (-.f64 (.f64 1 (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (/.f64 (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2) (pow.f64 (exp.f64 2) (exp.f64 re)))) (*.f64 (exp.f64 (+.f64 re re)) -3))) (log.f64 (fabs.f64 (exp.f64 (exp.f64 re))))))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re))))) (+.f64 (.f64 1/24 (.f64 (+.f64 (.f64 -3 (pow.f64 (exp.f64 re) 2)) (.f64 12 (/.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (exp.f64 (.f64 2 (exp.f64 re)))))) (pow.f64 im 4))) (.f64 1/720 (.f64 (+.f64 (.f64 -30 (pow.f64 (exp.f64 re) 3)) (+.f64 (.f64 360 (/.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1/12 (pow.f64 (exp.f64 re) 2)) (+.f64 (.f64 -1/360 (exp.f64 re)) (.f64 -1/6 (pow.f64 (exp.f64 re) 3))))) (.f64 -1/2 (.f64 (exp.f64 re) (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2))))) (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 180 (/.f64 (.f64 (exp.f64 re) (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2))) (exp.f64 (.f64 2 (exp.f64 re))))))) (pow.f64 im 6))))))
(+.f64 (fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) (fma.f64 1/24 (.f64 (pow.f64 im 4) (fma.f64 -3 (pow.f64 (exp.f64 re) 2) (.f64 12 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2)) (pow.f64 (exp.f64 2) (exp.f64 re)))))) (.f64 1/720 (.f64 (pow.f64 im 6) (fma.f64 -30 (pow.f64 (exp.f64 re) 3) (fma.f64 360 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 -1/12 (pow.f64 (exp.f64 re) 2) (fma.f64 -1/360 (exp.f64 re) (.f64 -1/6 (pow.f64 (exp.f64 re) 3))))) (.f64 (.f64 -1/2 (exp.f64 re)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2)))) (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 180 (/.f64 (exp.f64 re) (/.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (*.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2)))))))))))
(+.f64 (fma.f64 1/24 (.f64 (pow.f64 im 4) (fma.f64 12 (/.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)) (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (pow.f64 (exp.f64 re) 2) -3))) (.f64 (fma.f64 (pow.f64 (exp.f64 re) 3) -30 (fma.f64 360 (/.f64 (fma.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 (pow.f64 (exp.f64 re) 2) -1/12 (fma.f64 -1/6 (pow.f64 (exp.f64 re) 3) (.f64 (exp.f64 re) -1/360))) (.f64 (.f64 1/2 (exp.f64 re)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)))) (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 180 (.f64 (/.f64 (exp.f64 re) (pow.f64 (exp.f64 2) (exp.f64 re))) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)))))) (.f64 (pow.f64 im 6) 1/720))) (fma.f64 (.f64 (exp.f64 re) (*.f64 im im)) -1/2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))))
(+.f64 (fma.f64 (.f64 (exp.f64 re) (.f64 im im)) -1/2 (fma.f64 1/24 (.f64 (pow.f64 im 4) (fma.f64 12 (-.f64 (.f64 1 (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (/.f64 (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2) (pow.f64 (exp.f64 2) (exp.f64 re)))) (.f64 (exp.f64 (+.f64 re re)) -3))) (log.f64 (fabs.f64 (exp.f64 (exp.f64 re)))))) (.f64 (fma.f64 (pow.f64 (exp.f64 re) 3) -30 (fma.f64 360 (-.f64 (.f64 1 (fma.f64 (exp.f64 re) -1/360 (.f64 (exp.f64 (+.f64 re re)) (+.f64 -1/12 (.f64 (exp.f64 re) -1/6))))) (.f64 (.f64 (-.f64 (.f64 1 (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (/.f64 (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2) (pow.f64 (exp.f64 2) (exp.f64 re)))) (exp.f64 re)) -1/2)) (.f64 180 (.f64 (-.f64 (.f64 1 (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (/.f64 (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2) (pow.f64 (exp.f64 2) (exp.f64 re)))) (exp.f64 re))))) (.f64 (pow.f64 im 6) 1/720)))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(log.f64 (sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im))))))
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re)))))
(log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im))))
(log.f64 (fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re))))
(sqrt.f64 (exp.f64 (*.f64 2 (cos.f64 im))))
(sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))
(fabs.f64 (exp.f64 (cos.f64 im)))
(+.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) re)) (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))))
(fma.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))) (*.f64 (cos.f64 im) re) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))))
(.f64 (+.f64 (.f64 (cos.f64 im) re) 1) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))))
(.f64 (+.f64 (.f64 (cos.f64 im) re) 1) (fabs.f64 (exp.f64 (cos.f64 im))))
(+.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) re)) (+.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 (pow.f64 re 2) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (*.f64 2 (cos.f64 im)))) (cos.f64 im)) 2)))))))
(+.f64 (fma.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))) (.f64 (cos.f64 im) re) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) (.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 (.f64 2 (cos.f64 im))))) (.f64 (.f64 re re) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (*.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2))))))
(+.f64 (.f64 (.f64 1/2 (.f64 (.f64 re re) (sqrt.f64 (exp.f64 (.f64 (cos.f64 im) -2))))) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2))) (.f64 (+.f64 (*.f64 (cos.f64 im) re) 1) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))))
(+.f64 (.f64 (.f64 1/2 (.f64 (.f64 re re) (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 im)) -2)))) (+.f64 (.f64 (cos.f64 im) (pow.f64 (exp.f64 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (fabs.f64 (exp.f64 (cos.f64 im)))) 2))) (.f64 (+.f64 (.f64 (cos.f64 im) re) 1) (fabs.f64 (exp.f64 (cos.f64 im)))))
(+.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) re)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 (-.f64 (.f64 (+.f64 (.f64 1/3 (cos.f64 im)) (+.f64 (.f64 2 (pow.f64 (cos.f64 im) 2)) (.f64 4/3 (pow.f64 (cos.f64 im) 3)))) (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 (cos.f64 im) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2)))) (pow.f64 re 3)))) (+.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (cos.f64 im))))) (.f64 (pow.f64 re 2) (-.f64 (.f64 (exp.f64 (.f64 2 (cos.f64 im))) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (cos.f64 im)))) (cos.f64 im)) 2))))))))
(fma.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))) (.f64 (cos.f64 im) re) (fma.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 (.f64 2 (cos.f64 im))))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 1/3 (cos.f64 im) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (.f64 4/3 (pow.f64 (cos.f64 im) 3))))) (.f64 (cos.f64 im) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2)))))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))) (.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 (.f64 2 (cos.f64 im))))) (.f64 (.f64 re re) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (+.f64 (cos.f64 im) (.f64 2 (pow.f64 (cos.f64 im) 2)))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2))))))))
(+.f64 (.f64 1/2 (.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 (cos.f64 im) 1/3 (fma.f64 4/3 (pow.f64 (cos.f64 im) 3) (.f64 2 (pow.f64 (cos.f64 im) 2))))) (.f64 (cos.f64 im) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2)))) (.f64 (pow.f64 re 3) (sqrt.f64 (exp.f64 (.f64 (cos.f64 im) -2)))))) (+.f64 (.f64 (.f64 1/2 (.f64 (.f64 re re) (sqrt.f64 (exp.f64 (.f64 (cos.f64 im) -2))))) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 2 (pow.f64 (cos.f64 im) 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im)))) 2))) (.f64 (+.f64 (.f64 (cos.f64 im) re) 1) (sqrt.f64 (pow.f64 (exp.f64 2) (cos.f64 im))))))
(fma.f64 (.f64 (cos.f64 im) re) (fabs.f64 (exp.f64 (cos.f64 im))) (+.f64 (fabs.f64 (exp.f64 (cos.f64 im))) (.f64 (.f64 1/2 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 im)) -2))) (+.f64 (.f64 (.f64 re re) (+.f64 (.f64 (cos.f64 im) (pow.f64 (exp.f64 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (fabs.f64 (exp.f64 (cos.f64 im)))) 2))) (.f64 (pow.f64 re 3) (-.f64 (.f64 (pow.f64 (exp.f64 2) (cos.f64 im)) (fma.f64 (cos.f64 im) 1/3 (.f64 (pow.f64 (cos.f64 im) 2) (+.f64 2 (.f64 4/3 (cos.f64 im)))))) (.f64 (cos.f64 im) (+.f64 (.f64 (cos.f64 im) (pow.f64 (exp.f64 2) (cos.f64 im))) (pow.f64 (.f64 (cos.f64 im) (fabs.f64 (exp.f64 (cos.f64 im)))) 2)))))))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re))))
(sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))
(fabs.f64 (exp.f64 (exp.f64 re)))
(+.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (pow.f64 im 2)) (sqrt.f64 (exp.f64 (*.f64 2 (exp.f64 re)))))))
(+.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (.f64 im im)) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))))
(.f64 (+.f64 (.f64 (exp.f64 re) (.f64 (.f64 im im) -1/2)) 1) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))
(.f64 (+.f64 (.f64 (exp.f64 re) (.f64 (.f64 im im) -1/2)) 1) (fabs.f64 (exp.f64 (exp.f64 re))))
(+.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (+.f64 (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (pow.f64 im 2)) (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (pow.f64 im 4))))))
(+.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (fma.f64 -1/2 (.f64 (.f64 (exp.f64 re) (.f64 im im)) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 (.f64 2 (exp.f64 re))))) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (*.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2))) (pow.f64 im 4)))))
(+.f64 (.f64 (+.f64 (.f64 (exp.f64 re) (.f64 (.f64 im im) -1/2)) 1) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))) (.f64 (.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)) (sqrt.f64 (exp.f64 (.f64 (exp.f64 re) -2)))) (.f64 (pow.f64 im 4) 1/2)))
(+.f64 (.f64 (+.f64 (.f64 (exp.f64 re) (.f64 (.f64 im im) -1/2)) 1) (fabs.f64 (exp.f64 (exp.f64 re)))) (.f64 (.f64 (.f64 1/2 (sqrt.f64 (pow.f64 (exp.f64 -2) (exp.f64 re)))) (pow.f64 im 4)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2))))
(+.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 -1/360 (exp.f64 re)) (+.f64 (.f64 -1/12 (pow.f64 (exp.f64 re) 2)) (.f64 -1/6 (pow.f64 (exp.f64 re) 3))))) (.f64 -1/2 (.f64 (exp.f64 re) (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2))))) (pow.f64 im 6)))) (+.f64 (.f64 -1/2 (.f64 (.f64 (exp.f64 re) (pow.f64 im 2)) (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 (.f64 2 (exp.f64 re))))) (.f64 (-.f64 (.f64 (exp.f64 (.f64 2 (exp.f64 re))) (+.f64 (.f64 1/12 (exp.f64 re)) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (sqrt.f64 (exp.f64 (.f64 2 (exp.f64 re)))) (exp.f64 re))) 2)) (pow.f64 im 4)))))))
(+.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (fma.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 (.f64 2 (exp.f64 re))))) (.f64 (pow.f64 im 6) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 -1/360 (exp.f64 re) (fma.f64 -1/12 (pow.f64 (exp.f64 re) 2) (.f64 -1/6 (pow.f64 (exp.f64 re) 3))))) (.f64 (.f64 -1/2 (exp.f64 re)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2)))))) (fma.f64 -1/2 (.f64 (.f64 (exp.f64 re) (.f64 im im)) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))) (.f64 1/2 (.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 (.f64 2 (exp.f64 re))))) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/12 (exp.f64 re) (.f64 1/2 (pow.f64 (exp.f64 re) 2)))) (pow.f64 (.f64 -1/2 (.f64 (exp.f64 re) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))))) 2))) (pow.f64 im 4))))))
(+.f64 (.f64 1/2 (.f64 (fma.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 (pow.f64 (exp.f64 re) 2) -1/12 (fma.f64 -1/6 (pow.f64 (exp.f64 re) 3) (.f64 (exp.f64 re) -1/360))) (.f64 (.f64 1/2 (exp.f64 re)) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)))) (.f64 (pow.f64 im 6) (sqrt.f64 (exp.f64 (.f64 (exp.f64 re) -2)))))) (+.f64 (.f64 (+.f64 (.f64 (exp.f64 re) (.f64 (.f64 im im) -1/2)) 1) (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re)))) (.f64 (.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 1/2 (pow.f64 (exp.f64 re) 2) (.f64 (exp.f64 re) 1/12))) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 2) (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)) (sqrt.f64 (exp.f64 (.f64 (exp.f64 re) -2)))) (*.f64 (pow.f64 im 4) 1/2))))
(+.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (+.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) (.f64 (.f64 im im) -1/2))) (.f64 (.f64 1/2 (sqrt.f64 (pow.f64 (exp.f64 -2) (exp.f64 re)))) (+.f64 (.f64 (pow.f64 im 4) (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2))) (.f64 (pow.f64 im 6) (fma.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (fma.f64 (exp.f64 re) -1/360 (.f64 (exp.f64 (+.f64 re re)) (+.f64 -1/12 (.f64 (exp.f64 re) -1/6)))) (.f64 (-.f64 (.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (.f64 (exp.f64 re) (+.f64 1/12 (.f64 (exp.f64 re) 1/2)))) (pow.f64 (.f64 (fabs.f64 (exp.f64 (exp.f64 re))) (.f64 (exp.f64 re) -1/2)) 2)) (.f64 (exp.f64 re) 1/2))))))))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))
(sqrt.f64 (exp.f64 (.f64 2 (.f64 (exp.f64 re) (cos.f64 im)))))
(sqrt.f64 (pow.f64 (exp.f64 2) (*.f64 (cos.f64 im) (exp.f64 re))))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (exp.f64 re)) (cos.f64 im)))
(fabs.f64 (pow.f64 (exp.f64 (cos.f64 im)) (exp.f64 re)))

prune107.0ms (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	130	3	133

Error

Counts

133 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	8.4b	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
✓	0.2b	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))

Compiler

Compiled 3401 to 2052 computations (39.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	0.1b	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
✓	0.3b	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))

series7.0ms (0.2%)

Counts

2 → 32

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
1.0ms	im	@	0	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
1.0ms	im	@	0	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
1.0ms	re	@	0	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
1.0ms	im	@	inf	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)

rewrite39.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

681×	`pow1_binary64`
626×	`add-log-exp_binary64`
626×	`log1p-expm1-u_binary64`
626×	`expm1-log1p-u_binary64`
77×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	179	18
2	1769	18

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)

Outputs

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

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

simplify59.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

548×	`fma-def_binary64`
373×	`associate-l_binary64`
365×	`associate-r_binary64`
302×	`distribute-rgt-out_binary64`
172×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	708
1	266	679
2	815	588
3	3724	512

Stop Event

1×	node limit

Counts

86 → 82

Calls

Call 1

Inputs
(sqrt.f64 (cos.f64 im))
(+.f64 (sqrt.f64 (cos.f64 im)) (.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re)))
(+.f64 (sqrt.f64 (cos.f64 im)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re)) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (cos.f64 im)) (pow.f64 (*.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (cos.f64 im)))))))
(+.f64 (sqrt.f64 (cos.f64 im)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re)) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/6 (cos.f64 im)) (.f64 1/2 (-.f64 (.f64 1/2 (cos.f64 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)))) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (cos.f64 im))))) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (cos.f64 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (cos.f64 im))))))))
(sqrt.f64 (exp.f64 re))
(+.f64 (sqrt.f64 (exp.f64 re)) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (pow.f64 im 2))))
(+.f64 (sqrt.f64 (exp.f64 re)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 re))) (.f64 (-.f64 (.f64 1/24 (exp.f64 re)) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)))) (.f64 -1/4 (*.f64 (sqrt.f64 (exp.f64 re)) (pow.f64 im 2)))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 re))) (.f64 (-.f64 (.f64 -1/720 (exp.f64 re)) (.f64 -1/4 (-.f64 (.f64 1/24 (exp.f64 re)) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)))) (pow.f64 im 6)))) (+.f64 (sqrt.f64 (exp.f64 re)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 re))) (.f64 (-.f64 (.f64 1/24 (exp.f64 re)) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)))) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (pow.f64 im 2))))))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (pow.f64 re 2) (-.f64 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/4 (cos.f64 im))) (pow.f64 (*.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)))))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (pow.f64 re 2) (-.f64 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/4 (cos.f64 im))) (pow.f64 (*.f64 1/2 (sqrt.f64 (cos.f64 im))) 2))))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 (-.f64 (+.f64 (.f64 1/16 (exp.f64 re)) (.f64 1/24 (exp.f64 re))) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 (-.f64 (+.f64 (.f64 1/16 (exp.f64 re)) (.f64 1/24 (exp.f64 re))) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
(sqrt.f64 (cos.f64 im))
(+.f64 (sqrt.f64 (cos.f64 im)) (.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re)))
(+.f64 (sqrt.f64 (cos.f64 im)) (.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) re))
(fma.f64 (*.f64 (sqrt.f64 (cos.f64 im)) 1/2) re (sqrt.f64 (cos.f64 im)))
(.f64 (+.f64 (.f64 1/2 re) 1) (sqrt.f64 (cos.f64 im)))
(+.f64 (sqrt.f64 (cos.f64 im)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re)) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (cos.f64 im)) (pow.f64 (*.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (cos.f64 im)))))))
(+.f64 (sqrt.f64 (cos.f64 im)) (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (cos.f64 im)) re) (.f64 (-.f64 (.f64 (cos.f64 im) 1/2) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)) (.f64 (*.f64 re re) (sqrt.f64 (/.f64 1 (cos.f64 im))))))))
(fma.f64 1/2 (fma.f64 (sqrt.f64 (cos.f64 im)) re (.f64 (-.f64 (.f64 (cos.f64 im) 1/2) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)) (.f64 (*.f64 re re) (sqrt.f64 (/.f64 1 (cos.f64 im)))))) (sqrt.f64 (cos.f64 im)))
(fma.f64 1/2 (fma.f64 (fma.f64 (cos.f64 im) 1/2 (.f64 (cos.f64 im) -1/4)) (.f64 re (.f64 re (sqrt.f64 (/.f64 1 (cos.f64 im))))) (.f64 (sqrt.f64 (cos.f64 im)) re)) (sqrt.f64 (cos.f64 im)))
(fma.f64 1/2 (.f64 re (+.f64 (sqrt.f64 (cos.f64 im)) (.f64 (sqrt.f64 (/.f64 1 (cos.f64 im))) (.f64 re (.f64 (cos.f64 im) 1/4))))) (sqrt.f64 (cos.f64 im)))
(+.f64 (sqrt.f64 (cos.f64 im)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re)) (+.f64 (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/6 (cos.f64 im)) (.f64 1/2 (-.f64 (.f64 1/2 (cos.f64 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)))) (pow.f64 re 3)) (sqrt.f64 (/.f64 1 (cos.f64 im))))) (.f64 1/2 (.f64 (.f64 (-.f64 (.f64 1/2 (cos.f64 im)) (pow.f64 (.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)) (pow.f64 re 2)) (sqrt.f64 (/.f64 1 (cos.f64 im))))))))
(+.f64 (sqrt.f64 (cos.f64 im)) (fma.f64 1/2 (.f64 (sqrt.f64 (cos.f64 im)) re) (.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 (cos.f64 im) 1/6) (.f64 -1/2 (-.f64 (.f64 (cos.f64 im) 1/2) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)))) (.f64 (pow.f64 re 3) (sqrt.f64 (/.f64 1 (cos.f64 im))))) (.f64 (-.f64 (.f64 (cos.f64 im) 1/2) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)) (.f64 (*.f64 re re) (sqrt.f64 (/.f64 1 (cos.f64 im)))))))))
(+.f64 (sqrt.f64 (cos.f64 im)) (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (cos.f64 im)) re) (.f64 (sqrt.f64 (/.f64 1 (cos.f64 im))) (+.f64 (.f64 (fma.f64 (cos.f64 im) 1/6 (.f64 (-.f64 (.f64 (cos.f64 im) 1/2) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)) -1/2)) (pow.f64 re 3)) (.f64 re (.f64 re (-.f64 (.f64 (cos.f64 im) 1/2) (pow.f64 (*.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)))))))))
(fma.f64 1/2 (fma.f64 (sqrt.f64 (cos.f64 im)) re (.f64 (sqrt.f64 (/.f64 1 (cos.f64 im))) (.f64 (.f64 re re) (+.f64 (.f64 re (fma.f64 (cos.f64 im) 1/6 (.f64 (fma.f64 (cos.f64 im) 1/2 (.f64 (cos.f64 im) -1/4)) -1/2))) (fma.f64 (cos.f64 im) 1/2 (*.f64 (cos.f64 im) -1/4)))))) (sqrt.f64 (cos.f64 im)))
(fma.f64 1/2 (fma.f64 (sqrt.f64 (cos.f64 im)) re (.f64 (sqrt.f64 (/.f64 1 (cos.f64 im))) (.f64 (.f64 re re) (+.f64 (.f64 re (fma.f64 1/2 (.f64 (cos.f64 im) -1/4) (.f64 (cos.f64 im) 1/6))) (*.f64 (cos.f64 im) 1/4))))) (sqrt.f64 (cos.f64 im)))
(sqrt.f64 (exp.f64 re))
(+.f64 (sqrt.f64 (exp.f64 re)) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (pow.f64 im 2))))
(+.f64 (sqrt.f64 (exp.f64 re)) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (*.f64 im im))))
(fma.f64 -1/4 (.f64 im (.f64 im (sqrt.f64 (exp.f64 re)))) (sqrt.f64 (exp.f64 re)))
(.f64 (+.f64 (.f64 -1/4 (*.f64 im im)) 1) (sqrt.f64 (exp.f64 re)))
(+.f64 (sqrt.f64 (exp.f64 re)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 re))) (.f64 (-.f64 (.f64 1/24 (exp.f64 re)) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)))) (.f64 -1/4 (*.f64 (sqrt.f64 (exp.f64 re)) (pow.f64 im 2)))))
(+.f64 (sqrt.f64 (exp.f64 re)) (fma.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (.f64 (-.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (pow.f64 im 4))) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (*.f64 im im)))))
(+.f64 (sqrt.f64 (exp.f64 re)) (fma.f64 1/2 (.f64 (-.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (.f64 (pow.f64 im 4) (sqrt.f64 (exp.f64 (neg.f64 re))))) (.f64 (sqrt.f64 (exp.f64 re)) (.f64 (*.f64 im im) -1/4))))
(fma.f64 (.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (pow.f64 im 4))) (fma.f64 (exp.f64 re) 1/24 (.f64 (exp.f64 re) -1/16)) (.f64 (+.f64 (.f64 -1/4 (.f64 im im)) 1) (sqrt.f64 (exp.f64 re))))
(fma.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (.f64 (.f64 (exp.f64 re) -1/48) (.f64 1/2 (pow.f64 im 4))) (.f64 (+.f64 (.f64 -1/4 (.f64 im im)) 1) (sqrt.f64 (exp.f64 re))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 re))) (.f64 (-.f64 (.f64 -1/720 (exp.f64 re)) (.f64 -1/4 (-.f64 (.f64 1/24 (exp.f64 re)) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)))) (pow.f64 im 6)))) (+.f64 (sqrt.f64 (exp.f64 re)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (exp.f64 re))) (.f64 (-.f64 (.f64 1/24 (exp.f64 re)) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)))) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (pow.f64 im 2))))))
(fma.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (.f64 (+.f64 (.f64 (exp.f64 re) -1/720) (.f64 1/4 (-.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)))) (pow.f64 im 6))) (+.f64 (sqrt.f64 (exp.f64 re)) (fma.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (.f64 (-.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (pow.f64 im 4))) (.f64 -1/4 (.f64 (sqrt.f64 (exp.f64 re)) (*.f64 im im))))))
(+.f64 (fma.f64 1/2 (.f64 (-.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (.f64 (pow.f64 im 4) (sqrt.f64 (exp.f64 (neg.f64 re))))) (.f64 (sqrt.f64 (exp.f64 re)) (.f64 (.f64 im im) -1/4))) (fma.f64 1/2 (.f64 (fma.f64 (exp.f64 re) -1/720 (.f64 (-.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) 1/4)) (.f64 (pow.f64 im 6) (sqrt.f64 (exp.f64 (neg.f64 re))))) (sqrt.f64 (exp.f64 re))))
(fma.f64 (.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (pow.f64 im 6))) (fma.f64 (fma.f64 (exp.f64 re) 1/24 (.f64 (exp.f64 re) -1/16)) 1/4 (.f64 (exp.f64 re) -1/720)) (fma.f64 (.f64 1/2 (.f64 (sqrt.f64 (exp.f64 (neg.f64 re))) (pow.f64 im 4))) (fma.f64 (exp.f64 re) 1/24 (.f64 (exp.f64 re) -1/16)) (.f64 (+.f64 (.f64 -1/4 (.f64 im im)) 1) (sqrt.f64 (exp.f64 re)))))
(+.f64 (.f64 (+.f64 (.f64 -1/4 (.f64 im im)) 1) (sqrt.f64 (exp.f64 re))) (.f64 (.f64 1/2 (sqrt.f64 (exp.f64 (neg.f64 re)))) (+.f64 (.f64 (.f64 (exp.f64 re) -1/48) (pow.f64 im 4)) (.f64 (fma.f64 -1/4 (.f64 (exp.f64 re) 1/48) (.f64 (exp.f64 re) -1/720)) (pow.f64 im 6)))))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(fma.f64 (cos.f64 im) re (cos.f64 im))
(*.f64 (+.f64 re 1) (cos.f64 im))
(+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (pow.f64 re 2) (-.f64 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/4 (cos.f64 im))) (pow.f64 (*.f64 1/2 (sqrt.f64 (cos.f64 im))) 2)))))
(+.f64 (fma.f64 (cos.f64 im) re (cos.f64 im)) (.f64 (.f64 re re) (-.f64 (.f64 (cos.f64 im) 3/4) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2))))
(fma.f64 (cos.f64 im) re (fma.f64 (.f64 re re) (-.f64 (.f64 (cos.f64 im) 3/4) (pow.f64 (*.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)) (cos.f64 im)))
(fma.f64 (cos.f64 im) re (fma.f64 (.f64 re re) (fma.f64 (cos.f64 im) 3/4 (.f64 (cos.f64 im) -1/4)) (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 (+.f64 re 1) (.f64 1/2 (*.f64 re re))))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 (cos.f64 im) re) (+.f64 (cos.f64 im) (.f64 (pow.f64 re 2) (-.f64 (+.f64 (.f64 1/2 (cos.f64 im)) (.f64 1/4 (cos.f64 im))) (pow.f64 (*.f64 1/2 (sqrt.f64 (cos.f64 im))) 2))))))
(fma.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3)) (+.f64 (fma.f64 (cos.f64 im) re (cos.f64 im)) (.f64 (.f64 re re) (-.f64 (.f64 (cos.f64 im) 3/4) (pow.f64 (*.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)))))
(fma.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3)) (fma.f64 (cos.f64 im) re (fma.f64 (.f64 re re) (-.f64 (.f64 (cos.f64 im) 3/4) (pow.f64 (.f64 (sqrt.f64 (cos.f64 im)) 1/2) 2)) (cos.f64 im))))
(+.f64 (.f64 (.f64 re re) (fma.f64 (cos.f64 im) 3/4 (.f64 (cos.f64 im) -1/4))) (.f64 (cos.f64 im) (+.f64 (*.f64 1/6 (pow.f64 re 3)) (+.f64 re 1))))
(fma.f64 (cos.f64 im) (.f64 1/6 (pow.f64 re 3)) (.f64 (cos.f64 im) (+.f64 (+.f64 re 1) (.f64 1/2 (.f64 re re)))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (exp.f64 re))
(.f64 (+.f64 (.f64 im (*.f64 im -1/2)) 1) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 (-.f64 (+.f64 (.f64 1/16 (exp.f64 re)) (.f64 1/24 (exp.f64 re))) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)) (exp.f64 re)))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 (-.f64 (.f64 (exp.f64 re) 5/48) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (pow.f64 im 4) (exp.f64 re)))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 (pow.f64 im 4) (-.f64 (.f64 (exp.f64 re) 5/48) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (exp.f64 re)))
(fma.f64 (exp.f64 re) (.f64 im (.f64 im -1/2)) (fma.f64 (pow.f64 im 4) (fma.f64 (exp.f64 re) 5/48 (*.f64 (exp.f64 re) -1/16)) (exp.f64 re)))
(fma.f64 (exp.f64 re) (.f64 im (.f64 im -1/2)) (fma.f64 (*.f64 (exp.f64 re) 1/24) (pow.f64 im 4) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 (-.f64 (+.f64 (.f64 1/16 (exp.f64 re)) (.f64 1/24 (exp.f64 re))) (pow.f64 (.f64 -1/4 (sqrt.f64 (exp.f64 re))) 2)) (pow.f64 im 4)) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 (-.f64 (.f64 (exp.f64 re) 5/48) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (pow.f64 im 4) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 (pow.f64 im 4) (-.f64 (.f64 (exp.f64 re) 5/48) (pow.f64 (.f64 (sqrt.f64 (exp.f64 re)) -1/4) 2)) (fma.f64 -1/720 (*.f64 (exp.f64 re) (pow.f64 im 6)) (exp.f64 re))))
(+.f64 (fma.f64 (pow.f64 im 4) (fma.f64 (exp.f64 re) 5/48 (.f64 (exp.f64 re) -1/16)) (exp.f64 re)) (.f64 (exp.f64 re) (+.f64 (.f64 -1/720 (pow.f64 im 6)) (.f64 im (*.f64 im -1/2)))))
(fma.f64 (.f64 (exp.f64 re) 1/24) (pow.f64 im 4) (.f64 (exp.f64 re) (+.f64 (+.f64 (.f64 -1/720 (pow.f64 im 6)) 1) (.f64 im (*.f64 im -1/2)))))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (cos.f64 im) (exp.f64 re))

prune72.0ms (2.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

112 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	8.4b	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
✓	0.2b	(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (*.f64 2 (cos.f64 im)))))

Compiler

Compiled 1701 to 841 computations (50.6% saved)

regimes35.0ms (1%)

Accuracy

Total -11.3b remaining (-117125.5%)

Threshold costs -11.3b (-117125.5%)

Counts

15 → 1

Compiler

Compiled 122 to 53 computations (56.6% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8

Stop Event

1×

saturated

Calls

Call 1

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

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

end38.0ms (1.1%)

Stop Event

1×

done

Compiler

Compiled 37 to 19 computations (48.6% saved)

Details

analyze281.0ms (8.3%)

sample2.1s (61.1%)

preprocess15.0ms (0.4%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series4.0ms (0.1%)

rewrite31.0ms (0.9%)

simplify26.0ms (0.8%)

prune19.0ms (0.6%)

localize8.0ms (0.2%)

series149.0ms (4.4%)

rewrite44.0ms (1.3%)

simplify33.0ms (1%)

prune77.0ms (2.3%)

localize9.0ms (0.3%)

series128.0ms (3.8%)

rewrite55.0ms (1.6%)

simplify63.0ms (1.9%)

prune107.0ms (3.2%)

localize7.0ms (0.2%)

series7.0ms (0.2%)

rewrite39.0ms (1.1%)

simplify59.0ms (1.7%)

prune72.0ms (2.1%)

regimes35.0ms (1%)

simplify2.0ms (0%)

end38.0ms (1.1%)

Profiling