Details

analyze541.0ms (9.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample4.1s (73.3%)

Results

1.3s	2015×	body	1024	valid
1.0s	2014×	body	1024	invalid
673.0ms	4714×	body	128	valid
398.0ms	1007×	body	512	valid
378.0ms	1041×	body	512	invalid
147.0ms	517×	body	256	invalid
134.0ms	514×	body	256	valid
109.0ms	727×	body	128	invalid
6.0ms	6×	body	2048	valid

preprocess49.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

748×	`times-frac_binary64`
390×	`fma-def_binary64`
320×	`unswap-sqr_binary64`
302×	`associate-l_binary64`
234×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	49	36
2	131	36
3	256	34
4	373	34
5	672	34
6	1526	34
7	2651	34
8	3803	34
9	4549	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (cos.f64 im)) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 1/2 (.f64 (cos.f64 im) (+.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (cos.f64 im) (fma.f64 1/2 (exp.f64 re) (/.f64 1/2 (exp.f64 re))))

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify33.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

529×	`associate-/l*_binary64`
430×	`unswap-sqr_binary64`
374×	`times-frac_binary64`
351×	`fma-def_binary64`
340×	`associate-/r/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	28	18
2	70	18
3	134	17
4	194	17
5	347	17
6	783	17
7	1356	17
8	3975	17
9	4498	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (cos.f64 re) (.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

eval1.0ms (0%)

Compiler: Compiled 24 to 15 computations (37.5% saved)

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
✓	0.0b	(/.f64 1/2 (exp.f64 im))

series9.0ms (0.2%)

Counts

2 → 28

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	re	@	inf	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	im	@	0	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	re	@	0	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	im	@	inf	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))
1.0ms	im	@	-inf	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

rewrite39.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

804×	`log1p-expm1-u_binary64`
804×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`
89×	`*-un-lft-identity_binary64`
89×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	182	23
2	2171	23

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

Inputs
(/.f64 1/2 (exp.f64 im))
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

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

Outputs

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

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

simplify34.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

460×	`distribute-rgt-out_binary64`
449×	`fma-def_binary64`
403×	`distribute-lft-out_binary64`
350×	`associate-l_binary64`
313×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	577
1	206	544
2	705	507
3	3008	491

Stop Event

1×	node limit

Counts

67 → 63

Calls

Call 1

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

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

eval23.0ms (0.4%)

Compiler: Compiled 1027 to 615 computations (40.1% saved)

prune124.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	2	64

Error

0.0b

Counts

64 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (cos.f64 re) 3)))
✓	0.0b	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Compiler

Compiled 49 to 37 computations (24.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 1/2 (exp.f64 im))
✓	0.0b	(pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)
✓	0.3b	(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (cos.f64 re) 3)))
✓	0.3b	(pow.f64 (cos.f64 re) 3)

series10.0ms (0.2%)

Counts

3 → 40

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	im	@	0	(pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)
1.0ms	im	@	inf	(pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)
1.0ms	im	@	-inf	(pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)
1.0ms	re	@	inf	(pow.f64 (cos.f64 re) 3)
1.0ms	re	@	-inf	(pow.f64 (cos.f64 re) 3)

rewrite54.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

578×	`log-prod_binary64`
219×	`expm1-udef_binary64`
219×	`log1p-udef_binary64`
195×	`log-pow_binary64`
127×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	279	38
2	3062	32

Stop Event

1×	node limit

Counts

3 → 82

Calls

Call 1

Inputs
(pow.f64 (cos.f64 re) 3)
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (cos.f64 re) 3)))
(pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3)

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

Outputs

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

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

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

simplify43.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

509×	`fma-def_binary64`
477×	`distribute-rgt-out_binary64`
413×	`distribute-lft-out_binary64`
377×	`associate-l_binary64`
339×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	756
1	233	717
2	810	681
3	3401	666

Stop Event

1×	node limit

Counts

122 → 114

Calls

Call 1

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

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

eval71.0ms (1.2%)

Compiler: Compiled 2865 to 1955 computations (31.8% saved)

prune418.0ms (7.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	143	2	145

Error

0.0b

Counts

145 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (cos.f64 re) 3)))
✓	0.0b	(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Compiler

Compiled 31 to 23 computations (25.8% saved)

regimes23.0ms (0.4%)

Accuracy

Total -0.3b remaining (-3854.7%)

Threshold costs -0.3b (-3854.7%)

Counts

3 → 1

Calls

Call 1

Inputs

(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))) 3) (pow.f64 (cos.f64 re) 3)))

(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Results

Time	Error	Segments	Branch
4.0ms	0.0b	1	`re`
3.0ms	0.0b	1	`im`
3.0ms	0.0b	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
4.0ms	0.0b	1	`(*.f64 1/2 (cos.f64 re))`
3.0ms	0.0b	1	`(cos.f64 re)`
3.0ms	0.0b	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 77 to 53 computations (31.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	10	17

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

Outputs
(*.f64 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

end17.0ms (0.3%)

Stop Event

1×

done

Compiler

Compiled 26 to 18 computations (30.8% saved)

Details

analyze541.0ms (9.6%)

sample4.1s (73.3%)

preprocess49.0ms (0.9%)

simplify33.0ms (0.6%)

eval1.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series9.0ms (0.2%)

rewrite39.0ms (0.7%)

simplify34.0ms (0.6%)

eval23.0ms (0.4%)

prune124.0ms (2.2%)

localize11.0ms (0.2%)

series10.0ms (0.2%)

rewrite54.0ms (0.9%)

simplify43.0ms (0.8%)

eval71.0ms (1.2%)

prune418.0ms (7.4%)

regimes23.0ms (0.4%)

simplify2.0ms (0%)

end17.0ms (0.3%)

Profiling