Details

analyze523.0ms (6.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	40.6%	9.5%	7
50%	39%	11%	8
50%	33.6%	16.5%	9
50%	32.4%	17.7%	10
50%	29.5%	20.6%	11
50%	28.8%	21.3%	12
50%	27.3%	22.8%	13
50%	26.9%	23.1%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample6.3s (73.3%)

Results

3.1s	4204×	body	1024	valid
1.1s	2019×	body	1024	invalid
860.0ms	2116×	body	512	valid
348.0ms	984×	body	512	invalid
296.0ms	1029×	body	256	valid
242.0ms	242×	body	2048	valid
120.0ms	773×	body	128	invalid
112.0ms	460×	body	256	invalid
99.0ms	665×	body	128	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 28 to 22 computations (21.4% saved)

preprocess39.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

816×	`fma-def_binary64`
600×	`times-frac_binary64`
456×	`fma-neg_binary64`
228×	`distribute-rgt-neg-in_binary64`
146×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	39	36
2	93	36
3	247	36
4	557	34
5	1130	34
6	2092	34
7	4019	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 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 im)) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))))
(.f64 (.f64 1/2 (sin.f64 im)) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re)))
(.f64 1/2 (.f64 (sin.f64 im) (-.f64 (exp.f64 (neg.f64 re)) (exp.f64 re))))
(*.f64 (sin.f64 im) (fma.f64 (exp.f64 re) -1/2 (/.f64 1/2 (exp.f64 re))))

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify23.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

454×	`fma-def_binary64`
444×	`times-frac_binary64`
365×	`distribute-rgt-neg-in_binary64`
340×	`fma-neg_binary64`
297×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	23	18
2	51	18
3	126	18
4	286	17
5	581	17
6	1384	17
7	2793	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (sin.f64 re) (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))))

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

45.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	45.2b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 50 to 35 computations (30% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	5.2b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series8.0ms (0.1%)

Counts

2 → 32

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	im	@	0	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	im	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	re	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	im	@	0	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite166.0ms (1.9%)

Algorithm

2×	egg-rewrite-iter-limit
2×	egg-rewrite
1×	batch-egg-rewrite

Rules

118×	`add-sqr-sqrt_binary64`
118×	`add-sqr-sqrt_binary64`
113×	`*-un-lft-identity_binary64`
113×	`pow1_binary64`
113×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	228	20
2	3510	20
0	6	10
1	127	10
2	2085	10
0	6	10
0	11	18
1	228	18
2	3509	18
0	11	18

Stop Event

1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	unsound

Counts

2 → 18

Calls

Call 1

Inputs
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

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

Outputs

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

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

simplify39.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary64`
411×	`sub-neg_binary64`
240×	`associate-l_binary64`
225×	`cancel-sign-sub-inv_binary64`
221×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	734
1	305	716
2	1029	666
3	4524	666

Stop Event

1×	node limit

Counts

50 → 46

Calls

Call 1

Inputs
(*.f64 -2 im)
(neg.f64 (+.f64 (.f64 1/3 (pow.f64 im 3)) (.f64 2 im)))
(neg.f64 (+.f64 (.f64 1/60 (pow.f64 im 5)) (+.f64 (.f64 1/3 (pow.f64 im 3)) (*.f64 2 im))))
(neg.f64 (+.f64 (.f64 1/60 (pow.f64 im 5)) (+.f64 (.f64 1/3 (pow.f64 im 3)) (+.f64 (.f64 1/2520 (pow.f64 im 7)) (.f64 2 im)))))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(.f64 (-.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re)) (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re)) (+.f64 (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/240 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 5))))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im))))))
(-.f64 (+.f64 (.f64 1/10080 (.f64 (pow.f64 re 7) (exp.f64 im))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re)) (+.f64 (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/240 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 5)))))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 1/10080 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 7)))))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 -1 (.f64 (sin.f64 re) im))
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3)))))
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 1/5040 (*.f64 (sin.f64 re) (pow.f64 im 7)))))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))

Outputs
(*.f64 -2 im)
(neg.f64 (+.f64 (.f64 1/3 (pow.f64 im 3)) (.f64 2 im)))
(neg.f64 (fma.f64 1/3 (pow.f64 im 3) (*.f64 im 2)))
(+.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 -2 im))
(fma.f64 (pow.f64 im 3) -1/3 (*.f64 -2 im))
(neg.f64 (+.f64 (.f64 1/60 (pow.f64 im 5)) (+.f64 (.f64 1/3 (pow.f64 im 3)) (*.f64 2 im))))
(neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (*.f64 im 2))))
(-.f64 (.f64 (pow.f64 im 5) -1/60) (fma.f64 1/3 (pow.f64 im 3) (.f64 im 2)))
(fma.f64 (pow.f64 im 5) -1/60 (fma.f64 (pow.f64 im 3) -1/3 (*.f64 -2 im)))
(neg.f64 (+.f64 (.f64 1/60 (pow.f64 im 5)) (+.f64 (.f64 1/3 (pow.f64 im 3)) (+.f64 (.f64 1/2520 (pow.f64 im 7)) (.f64 2 im)))))
(neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 1/2520 (pow.f64 im 7) (*.f64 im 2)))))
(-.f64 (.f64 (pow.f64 im 5) -1/60) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))
(-.f64 (.f64 (pow.f64 im 5) -1/60) (fma.f64 im 2 (fma.f64 1/3 (pow.f64 im 3) (.f64 1/2520 (pow.f64 im 7)))))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
(.f64 (-.f64 (.f64 1/2 (exp.f64 (neg.f64 im))) (*.f64 1/2 (exp.f64 im))) re)
(.f64 (.f64 1/2 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) re)
(.f64 (.f64 1/2 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) re)
(-.f64 (+.f64 (.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re)) (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3)))))
(-.f64 (fma.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re) (.f64 (.f64 1/12 (exp.f64 im)) (pow.f64 re 3))) (fma.f64 1/2 (.f64 (exp.f64 im) re) (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3)))))
(-.f64 (fma.f64 (/.f64 1/2 (exp.f64 im)) re (.f64 (exp.f64 im) (.f64 (pow.f64 re 3) 1/12))) (fma.f64 1/2 (.f64 (exp.f64 im) re) (.f64 (pow.f64 re 3) (/.f64 1/12 (exp.f64 im)))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (.f64 re -1/2))))
(-.f64 (+.f64 (.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re)) (+.f64 (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/240 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 5))))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3))) (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im))))))
(-.f64 (fma.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re) (fma.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 1/240 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 5))))) (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3)) (.f64 (.f64 1/240 (pow.f64 re 5)) (exp.f64 im)))))
(-.f64 (fma.f64 (/.f64 1/2 (exp.f64 im)) re (fma.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 (pow.f64 re 5) (/.f64 1/240 (exp.f64 im))))) (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)) (*.f64 (pow.f64 re 3) (/.f64 1/12 (exp.f64 im))))))
(fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)) (-.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (+.f64 (.f64 1/2 re) (*.f64 1/240 (pow.f64 re 5)))))))
(-.f64 (+.f64 (.f64 1/10080 (.f64 (pow.f64 re 7) (exp.f64 im))) (+.f64 (.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re)) (+.f64 (.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3))) (.f64 1/240 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 5)))))) (+.f64 (.f64 1/2 (.f64 re (exp.f64 im))) (+.f64 (.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3))) (+.f64 (.f64 1/240 (.f64 (pow.f64 re 5) (exp.f64 im))) (.f64 1/10080 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 7)))))))
(-.f64 (fma.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (fma.f64 1/2 (.f64 (exp.f64 (neg.f64 im)) re) (fma.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 1/240 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 5)))))) (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 1/12 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 3)) (fma.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)) (.f64 1/10080 (.f64 (exp.f64 (neg.f64 im)) (pow.f64 re 7)))))))
(-.f64 (fma.f64 1/10080 (.f64 (exp.f64 im) (pow.f64 re 7)) (fma.f64 (/.f64 1/2 (exp.f64 im)) re (fma.f64 1/12 (.f64 (exp.f64 im) (pow.f64 re 3)) (.f64 (pow.f64 re 5) (/.f64 1/240 (exp.f64 im)))))) (fma.f64 1/2 (.f64 (exp.f64 im) re) (fma.f64 (/.f64 1/12 (exp.f64 im)) (pow.f64 re 3) (fma.f64 1/240 (.f64 (exp.f64 im) (pow.f64 re 5)) (.f64 (pow.f64 re 7) (/.f64 1/10080 (exp.f64 im)))))))
(fma.f64 (exp.f64 im) (.f64 1/10080 (pow.f64 re 7)) (-.f64 (fma.f64 1/2 (/.f64 re (exp.f64 im)) (fma.f64 1/240 (/.f64 (pow.f64 re 5) (exp.f64 im)) (-.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (+.f64 (.f64 1/2 re) (.f64 1/240 (pow.f64 re 5))))))) (*.f64 1/10080 (/.f64 (pow.f64 re 7) (exp.f64 im)))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 -1 (.f64 (sin.f64 re) im))
(neg.f64 (*.f64 im (sin.f64 re)))
(*.f64 (neg.f64 im) (sin.f64 re))
(*.f64 im (neg.f64 (sin.f64 re)))
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3)))))
(neg.f64 (fma.f64 (sin.f64 re) im (.f64 (.f64 1/6 (sin.f64 re)) (pow.f64 im 3))))
(-.f64 (.f64 (.f64 (pow.f64 im 3) (sin.f64 re)) -1/6) (*.f64 im (sin.f64 re)))
(.f64 (sin.f64 re) (-.f64 (neg.f64 im) (.f64 (pow.f64 im 3) 1/6)))
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
(neg.f64 (fma.f64 (sin.f64 re) im (fma.f64 1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (.f64 (*.f64 1/6 (sin.f64 re)) (pow.f64 im 3)))))
(neg.f64 (fma.f64 im (sin.f64 re) (fma.f64 1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (pow.f64 im 5) (*.f64 (sin.f64 re) 1/120)))))
(-.f64 (.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6)) (.f64 (sin.f64 re) (+.f64 im (.f64 (pow.f64 im 5) 1/120))))
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (+.f64 (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))) (.f64 1/5040 (*.f64 (sin.f64 re) (pow.f64 im 7)))))))
(neg.f64 (fma.f64 (sin.f64 re) im (fma.f64 1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (fma.f64 1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 1/5040 (.f64 (pow.f64 im 7) (sin.f64 re)))))))
(neg.f64 (fma.f64 im (sin.f64 re) (fma.f64 1/120 (.f64 (pow.f64 im 5) (sin.f64 re)) (fma.f64 1/6 (.f64 (pow.f64 im 3) (sin.f64 re)) (.f64 (sin.f64 re) (.f64 (pow.f64 im 7) 1/5040))))))
(-.f64 (neg.f64 (.f64 (sin.f64 re) (+.f64 (.f64 (pow.f64 im 3) 1/6) (.f64 (pow.f64 im 5) 1/120)))) (.f64 (sin.f64 re) (+.f64 (*.f64 (pow.f64 im 7) 1/5040) im)))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))))
(.f64 1/2 (.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
(*.f64 (fma.f64 (exp.f64 im) -1/2 (/.f64 1/2 (exp.f64 im))) (sin.f64 re))

prune42.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	44	2	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	2	47

Error

0.1b

Counts

47 → 2

Alt Table

Status	Error	Program
▶	0.3b	(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	47.0b	(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (.f64 re -1/2))))

Status

Error

Program

▶

0.3b

(neg.f64 (+.f64 (*.f64 (sin.f64 re) im) (+.f64 (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))

47.0b

(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (*.f64 (*.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (*.f64 (exp.f64 im) (*.f64 re -1/2))))

Compiler

Compiled 1049 to 542 computations (48.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (sin.f64 re) (pow.f64 im 5))
✓	0.1b	(*.f64 (sin.f64 re) (pow.f64 im 3))
✓	0.1b	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
✓	0.1b	(*.f64 (sin.f64 re) im)

series17.0ms (0.2%)

Counts

4 → 16

Calls

24 calls:

Time	Variable		Point	Expression
4.0ms	re	@	0	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
1.0ms	re	@	inf	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
1.0ms	re	@	inf	(*.f64 (sin.f64 re) (pow.f64 im 5))
1.0ms	re	@	0	(*.f64 (sin.f64 re) (pow.f64 im 5))
1.0ms	re	@	0	(*.f64 (sin.f64 re) im)

rewrite56.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

614×	`log-prod_binary64`
225×	`expm1-udef_binary64`
225×	`log1p-udef_binary64`
191×	`log-pow_binary64`
130×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	36
1	275	36
2	3057	36

Stop Event

1×	node limit

Counts

4 → 70

Calls

Call 1

Inputs
(*.f64 (sin.f64 re) im)
(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
(*.f64 (sin.f64 re) (pow.f64 im 3))
(*.f64 (sin.f64 re) (pow.f64 im 5))

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

simplify33.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

580×	`associate-l_binary64`
525×	`associate-r_binary64`
413×	`fma-def_binary64`
360×	`cancel-sign-sub-inv_binary64`
272×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	430
1	207	362
2	855	302
3	4536	302

Stop Event

1×	node limit

Counts

86 → 99

Calls

Call 1

Inputs
(*.f64 re im)
(-.f64 (.f64 re im) (.f64 1/6 (*.f64 (pow.f64 re 3) im)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (.f64 re im)) (.f64 1/6 (*.f64 (pow.f64 re 3) im)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (.f64 re im)) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) im)) (.f64 1/5040 (*.f64 (pow.f64 re 7) im))))
(.f64 1/6 (.f64 re (pow.f64 im 3)))
(-.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))))
(-.f64 (+.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))))
(-.f64 (+.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (+.f64 (.f64 1/30240 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3)))))
(*.f64 re (pow.f64 im 3))
(-.f64 (.f64 re (pow.f64 im 3)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 3)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 3)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))))
(*.f64 re (pow.f64 im 5))
(-.f64 (.f64 re (pow.f64 im 5)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 5)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(-.f64 (+.f64 (.f64 re (pow.f64 im 5)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))) (.f64 1/5040 (*.f64 (pow.f64 re 7) (pow.f64 im 5)))))

Outputs
(*.f64 re im)
(-.f64 (.f64 re im) (.f64 1/6 (*.f64 (pow.f64 re 3) im)))
(+.f64 (.f64 re im) (.f64 -1/6 (*.f64 im (pow.f64 re 3))))
(.f64 im (-.f64 re (.f64 1/6 (pow.f64 re 3))))
(.f64 im (+.f64 re (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (.f64 re im)) (.f64 1/6 (*.f64 (pow.f64 re 3) im)))
(+.f64 (fma.f64 1/120 (.f64 im (pow.f64 re 5)) (.f64 re im)) (.f64 -1/6 (.f64 im (pow.f64 re 3))))
(fma.f64 1/120 (.f64 im (pow.f64 re 5)) (.f64 im (-.f64 re (*.f64 1/6 (pow.f64 re 3)))))
(.f64 im (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 1/6 (pow.f64 re 3))))
(.f64 im (+.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 re 5) im)) (.f64 re im)) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) im)) (.f64 1/5040 (*.f64 (pow.f64 re 7) im))))
(-.f64 (fma.f64 1/120 (.f64 im (pow.f64 re 5)) (.f64 re im)) (fma.f64 1/6 (.f64 im (pow.f64 re 3)) (.f64 1/5040 (*.f64 im (pow.f64 re 7)))))
(-.f64 (.f64 im (+.f64 re (.f64 1/120 (pow.f64 re 5)))) (.f64 im (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/5040 (pow.f64 re 7)))))
(.f64 im (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (fma.f64 1/6 (pow.f64 re 3) (.f64 1/5040 (pow.f64 re 7)))))
(.f64 1/6 (.f64 re (pow.f64 im 3)))
(.f64 re (.f64 (pow.f64 im 3) 1/6))
(-.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))))
(+.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 -1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))))
(.f64 (pow.f64 im 3) (-.f64 (.f64 re 1/6) (*.f64 (pow.f64 re 3) 1/36)))
(.f64 (pow.f64 im 3) (fma.f64 re 1/6 (.f64 (pow.f64 re 3) -1/36)))
(-.f64 (+.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3))))
(+.f64 (fma.f64 1/6 (.f64 re (pow.f64 im 3)) (.f64 1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (.f64 -1/36 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(fma.f64 1/6 (.f64 re (pow.f64 im 3)) (.f64 (pow.f64 im 3) (-.f64 (.f64 (pow.f64 re 5) 1/720) (.f64 (pow.f64 re 3) 1/36))))
(.f64 (pow.f64 im 3) (-.f64 (fma.f64 re 1/6 (.f64 (pow.f64 re 5) 1/720)) (*.f64 (pow.f64 re 3) 1/36)))
(.f64 (pow.f64 im 3) (+.f64 (fma.f64 re 1/6 (.f64 (pow.f64 re 5) 1/720)) (*.f64 (pow.f64 re 3) -1/36)))
(-.f64 (+.f64 (.f64 1/6 (.f64 re (pow.f64 im 3))) (.f64 1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (+.f64 (.f64 1/30240 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3)))))
(-.f64 (fma.f64 1/6 (.f64 re (pow.f64 im 3)) (.f64 1/720 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (fma.f64 1/30240 (.f64 (pow.f64 re 7) (pow.f64 im 3)) (.f64 1/36 (.f64 (pow.f64 re 3) (pow.f64 im 3)))))
(-.f64 (.f64 (pow.f64 im 3) (+.f64 (.f64 re 1/6) (.f64 (pow.f64 re 5) 1/720))) (.f64 (pow.f64 im 3) (+.f64 (.f64 (pow.f64 re 7) 1/30240) (.f64 (pow.f64 re 3) 1/36))))
(.f64 (pow.f64 im 3) (-.f64 (fma.f64 re 1/6 (.f64 (pow.f64 re 5) 1/720)) (fma.f64 (pow.f64 re 3) 1/36 (*.f64 (pow.f64 re 7) 1/30240))))
(*.f64 re (pow.f64 im 3))
(-.f64 (.f64 re (pow.f64 im 3)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(+.f64 (.f64 re (pow.f64 im 3)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(.f64 (pow.f64 im 3) (-.f64 re (.f64 1/6 (pow.f64 re 3))))
(.f64 (pow.f64 im 3) (+.f64 re (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 3)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3))))
(+.f64 (fma.f64 re (pow.f64 im 3) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 3))))
(fma.f64 re (pow.f64 im 3) (.f64 (pow.f64 im 3) (-.f64 (.f64 1/120 (pow.f64 re 5)) (*.f64 1/6 (pow.f64 re 3)))))
(.f64 (pow.f64 im 3) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 1/6 (pow.f64 re 3))))
(.f64 (pow.f64 im 3) (+.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 3)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 3))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))))
(-.f64 (fma.f64 re (pow.f64 im 3) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 3)))) (fma.f64 1/5040 (.f64 (pow.f64 re 7) (pow.f64 im 3)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))))
(-.f64 (.f64 (pow.f64 im 3) (+.f64 re (.f64 1/120 (pow.f64 re 5)))) (.f64 (pow.f64 im 3) (+.f64 (.f64 1/5040 (pow.f64 re 7)) (*.f64 1/6 (pow.f64 re 3)))))
(.f64 (pow.f64 im 3) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (fma.f64 1/6 (pow.f64 re 3) (.f64 1/5040 (pow.f64 re 7)))))
(*.f64 re (pow.f64 im 5))
(-.f64 (.f64 re (pow.f64 im 5)) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(+.f64 (.f64 re (pow.f64 im 5)) (.f64 -1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(.f64 (pow.f64 im 5) (-.f64 re (.f64 1/6 (pow.f64 re 3))))
(.f64 (pow.f64 im 5) (+.f64 re (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 5)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5)))) (.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5))))
(+.f64 (fma.f64 re (pow.f64 im 5) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5)))) (.f64 -1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))))
(fma.f64 re (pow.f64 im 5) (.f64 (pow.f64 im 5) (-.f64 (.f64 1/120 (pow.f64 re 5)) (*.f64 1/6 (pow.f64 re 3)))))
(.f64 (pow.f64 im 5) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 1/6 (pow.f64 re 3))))
(.f64 (pow.f64 im 5) (+.f64 (fma.f64 1/120 (pow.f64 re 5) re) (.f64 (pow.f64 re 3) -1/6)))
(-.f64 (+.f64 (.f64 re (pow.f64 im 5)) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5))) (.f64 1/5040 (*.f64 (pow.f64 re 7) (pow.f64 im 5)))))
(-.f64 (fma.f64 re (pow.f64 im 5) (.f64 1/120 (.f64 (pow.f64 re 5) (pow.f64 im 5)))) (fma.f64 1/6 (.f64 (pow.f64 re 3) (pow.f64 im 5)) (.f64 1/5040 (*.f64 (pow.f64 re 7) (pow.f64 im 5)))))
(-.f64 (.f64 (pow.f64 im 5) (+.f64 re (.f64 1/120 (pow.f64 re 5)))) (.f64 (pow.f64 im 5) (+.f64 (.f64 1/6 (pow.f64 re 3)) (*.f64 1/5040 (pow.f64 re 7)))))
(.f64 (pow.f64 im 5) (-.f64 (fma.f64 1/120 (pow.f64 re 5) re) (fma.f64 1/6 (pow.f64 re 3) (.f64 1/5040 (pow.f64 re 7)))))

prune133.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	96	5	101

Error

0.1b

Counts

101 → 5

Alt Table

Status	Error	Program
▶	1.3b	(neg.f64 (+.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 3) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
✓	0.3b	(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	47.0b	(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (.f64 re -1/2))))
	34.6b	(neg.f64 (+.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 3) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	34.6b	(neg.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 re) im) 3)) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))

Compiler

Compiled 3186 to 2036 computations (36.1% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
	0.1b	(*.f64 (sin.f64 re) im)
✓	0.6b	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 3)
✓	13.6b	(cbrt.f64 (*.f64 (sin.f64 re) im))

series19.0ms (0.2%)

Counts

2 → 16

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	re	@	inf	(cbrt.f64 (*.f64 (sin.f64 re) im))
3.0ms	im	@	inf	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 3)
2.0ms	im	@	-inf	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 3)
2.0ms	im	@	-inf	(cbrt.f64 (*.f64 (sin.f64 re) im))
2.0ms	re	@	-inf	(cbrt.f64 (*.f64 (sin.f64 re) im))

rewrite37.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

638×	`pow1_binary64`
596×	`add-log-exp_binary64`
596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
71×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	166	14
2	1669	14

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 3)

Outputs

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

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

simplify72.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

730×	`sqr-pow_binary64`
370×	`cube-prod_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
283×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	112
1	14	112
2	19	112
3	28	112
4	50	112
5	139	112
6	519	112
7	1180	112
8	1270	112
9	1406	112
10	1567	112
11	1798	112
12	2123	112
13	2547	112
14	3050	112
15	3650	112
16	4375	112
17	4698	112
18	4984	112

Stop Event

1×	node limit

Counts

72 → 57

Calls

Call 1

Inputs
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)

Outputs
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(pow.f64 (*.f64 (sin.f64 re) im) 1/3)
(cbrt.f64 (*.f64 (sin.f64 re) im))
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)
(*.f64 (sin.f64 re) im)

prune191.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	98	8	106
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	100	11	111

Error

0.0b

Counts

111 → 11

Alt Table

Status	Error	Program
	2.2b	(neg.f64 (+.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) 3) 3) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
✓	0.3b	(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	1.9b	(neg.f64 (+.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) 2) 3) (cbrt.f64 (.f64 (sin.f64 re) im))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	47.0b	(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (.f64 re -1/2))))
	1.6b	(neg.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 2))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	1.3b	(neg.f64 (+.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 2)) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	1.4b	(neg.f64 (+.f64 (.f64 (.f64 (sin.f64 re) (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 im)) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	31.2b	(neg.f64 (+.f64 (.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) (sin.f64 re))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	28.9b	(neg.f64 (+.f64 (.f64 (sqrt.f64 (sin.f64 re)) (.f64 (sqrt.f64 (sin.f64 re)) im)) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	34.6b	(neg.f64 (+.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 3) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
▶	1.2b	(neg.f64 (+.f64 (.f64 (cbrt.f64 (sin.f64 re)) (.f64 (cbrt.f64 im) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 2))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))

Compiler

Compiled 3984 to 2451 computations (38.5% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 2)
✓	0.6b	(cbrt.f64 (sin.f64 re))
✓	0.7b	(cbrt.f64 im)
	13.6b	(cbrt.f64 (*.f64 (sin.f64 re) im))

series10.0ms (0.1%)

Counts

3 → 16

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	re	@	inf	(cbrt.f64 (sin.f64 re))
1.0ms	re	@	-inf	(cbrt.f64 (sin.f64 re))
1.0ms	im	@	-inf	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 2)
1.0ms	re	@	0	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 2)
1.0ms	im	@	inf	(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 2)

rewrite43.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

790×	`pow1_binary64`
726×	`log1p-expm1-u_binary64`
726×	`expm1-log1p-u_binary64`
90×	`add-sqr-sqrt_binary64`
87×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	194	19
2	2078	19

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

Inputs
(cbrt.f64 im)
(cbrt.f64 (sin.f64 re))
(pow.f64 (cbrt.f64 (*.f64 (sin.f64 re) im)) 2)

Outputs

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

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

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

simplify92.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

2215×	`associate-l_binary64`
724×	`sqr-pow_binary64`
290×	`pow-sqr_binary64`
276×	`unswap-sqr_binary64`
248×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	152
1	28	152
2	56	152
3	137	152
4	512	152
5	1058	152
6	1149	152
7	1288	152
8	1461	152
9	1650	152
10	1886	152
11	2163	152
12	2483	152
13	2855	152
14	3264	152
15	3697	152
16	3893	152
17	3997	152
18	4069	152
19	4123	152

Stop Event

1×	node limit

Counts

79 → 66

Calls

Call 1

Inputs
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (sin.f64 re) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)

Outputs
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (sin.f64 re) 1/3)
(cbrt.f64 (sin.f64 re))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 re) 2) (pow.f64 im 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 2) (.f64 im im)))

prune156.0ms (1.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	87	2	89
Fresh	2	7	9
Picked	1	0	1
Done	0	1	1
Total	90	10	100

Error

0.0b

Counts

100 → 10

Alt Table

Status	Error	Program
	2.2b	(neg.f64 (+.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) 3) 3) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
✓	0.3b	(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	1.6b	(neg.f64 (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sin.f64 re) im))) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 2))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	5.4b	(neg.f64 (+.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 re) 2)) 1/3) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (.f64 (cbrt.f64 im) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 2))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	1.4b	(neg.f64 (+.f64 (.f64 (.f64 (sin.f64 re) (pow.f64 (cbrt.f64 im) 2)) (cbrt.f64 im)) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	47.0b	(fma.f64 1/2 (/.f64 re (exp.f64 im)) (+.f64 (.f64 (.f64 1/12 (pow.f64 re 3)) (-.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (.f64 (exp.f64 im) (.f64 re -1/2))))
	31.2b	(neg.f64 (+.f64 (.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) (sin.f64 re))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	28.9b	(neg.f64 (+.f64 (.f64 (sqrt.f64 (sin.f64 re)) (.f64 (sqrt.f64 (sin.f64 re)) im)) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3))))))
	34.6b	(neg.f64 (+.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 re) 3) (pow.f64 im 3))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))
	1.3b	(neg.f64 (+.f64 (.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 re)))) (.f64 (cbrt.f64 im) (pow.f64 (cbrt.f64 (.f64 (sin.f64 re) im)) 2))) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))

Compiler

Compiled 3636 to 1991 computations (45.2% saved)

regimes312.0ms (3.6%)

Accuracy

Total 0.4b remaining (50.7%)

Threshold costs 0.4b (50.7%)

Counts

82 → 1

Compiler

Compiled 2017 to 1149 computations (43% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
13×	`+-commutative_binary64`
11×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	32	36
2	50	34
3	80	34
4	104	34
5	116	34
6	122	34
7	124	34

Stop Event

1×

saturated

Calls

Call 1

Inputs
(neg.f64 (+.f64 (.f64 (sin.f64 re) im) (+.f64 (.f64 1/120 (.f64 (sin.f64 re) (pow.f64 im 5))) (.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))

Outputs

(neg.f64 (+.f64 (*.f64 (sin.f64 re) im) (+.f64 (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))))))

(-.f64 (*.f64 (sin.f64 re) (neg.f64 im)) (+.f64 (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3)))))

(-.f64 (+.f64 (*.f64 (*.f64 (sin.f64 re) (pow.f64 im 5)) -1/120) (*.f64 (*.f64 (sin.f64 re) (pow.f64 im 3)) -1/6)) (*.f64 (sin.f64 re) im))

end213.0ms (2.5%)

Stop Event

1×

fuel

Compiler

Compiled 376 to 253 computations (32.7% saved)

Details

analyze523.0ms (6.1%)

sample6.3s (73.3%)

preprocess39.0ms (0.5%)

simplify23.0ms (0.3%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series8.0ms (0.1%)

rewrite166.0ms (1.9%)

simplify39.0ms (0.5%)

prune42.0ms (0.5%)

localize13.0ms (0.2%)

series17.0ms (0.2%)

rewrite56.0ms (0.7%)

simplify33.0ms (0.4%)

prune133.0ms (1.6%)

localize16.0ms (0.2%)

series19.0ms (0.2%)

rewrite37.0ms (0.4%)

simplify72.0ms (0.8%)

prune191.0ms (2.2%)

localize20.0ms (0.2%)

series10.0ms (0.1%)

rewrite43.0ms (0.5%)

simplify92.0ms (1.1%)

prune156.0ms (1.8%)

regimes312.0ms (3.6%)

simplify4.0ms (0%)

end213.0ms (2.5%)

Profiling