Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample2.3s (80.6%)

Results

671.0ms	1006×	body	1024	valid
501.0ms	1038×	body	1024	infinite
347.0ms	2681×	body	256	valid
346.0ms	2533×	body	256	infinite
237.0ms	523×	body	512	valid
144.0ms	474×	body	512	infinite
1.0ms	1×	body	2048	valid

Bogosity

preprocess132.0ms (4.7%)

Algorithm

2×	egg-herbie

Rules

1744×	`fma-def`
1496×	`times-frac`
770×	`sqr-pow`
640×	`unswap-sqr`
620×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	51	70
2	138	70
3	263	66
4	380	66
5	683	66
6	1554	66
7	2637	66
8	3789	66
9	4533	66
10	5121	66
11	6015	66
12	7507	66
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 (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 15 to 12 computations (20% saved)

simplify114.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1464×	`fma-def`
1028×	`associate-/l*`
860×	`unswap-sqr`
748×	`times-frac`
636×	`associate-/r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	30	35
2	73	35
3	132	33
4	194	33
5	348	33
6	790	33
7	1337	33
8	3879	33
9	4401	33
10	5368	33
11	5952	33
12	6984	33

Stop Event

1×	node limit

Counts

1 → 3

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 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 35 to 18 computations (48.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Accurracy

51.6%

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	51.6%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.5%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(cos.f64 re)

Compiler

Compiled 35 to 13 computations (62.9% saved)

series0.0ms (0%)

Counts

1 → 4

Calls

3 calls:

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

rewrite104.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

738×	`pow1`
708×	`add-sqr-sqrt`
698×	`*-un-lft-identity`
674×	`add-exp-log`
674×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	78	5
2	910	5

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

Inputs
(cos.f64 re)

Outputs
(+.f64 0 (cos.f64 re))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cos.f64 re))) 2)) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 re)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 re)))))
(+.f64 (.f64 (cos.f64 (+.f64 1 re)) (cos.f64 1)) (.f64 (sin.f64 (+.f64 1 re)) (sin.f64 1)))
(-.f64 (+.f64 1 (cos.f64 re)) 1)
(*.f64 (cos.f64 re) 1)
(*.f64 1 (cos.f64 re))
(*.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2))
(*.f64 (cbrt.f64 (cos.f64 re)) (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4)))
(*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)))
(*.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)))
(*.f64 (sqrt.f64 (sqrt.f64 (cos.f64 re))) (sqrt.f64 (pow.f64 (cos.f64 re) 3/2)))
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 5/2)) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2)) (cbrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (pow.f64 (cos.f64 re) 3/2)) (sqrt.f64 (sqrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 5)) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4)) (cbrt.f64 (cos.f64 re)))
(*.f64 (pow.f64 1 1/3) (cos.f64 re))
(.f64 (pow.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2) 1/3) (cbrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (pow.f64 (pow.f64 (cos.f64 re) 5/2) 1/3) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(pow.f64 (cos.f64 re) 1)
(pow.f64 (cbrt.f64 (cos.f64 re)) 3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/2)
(pow.f64 (pow.f64 (cos.f64 re) 3) 1/3)
(pow.f64 (sqrt.f64 (cos.f64 re)) 2)
(pow.f64 (E.f64) (log.f64 (cos.f64 re)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (cos.f64 re)))) (sqrt.f64 (log.f64 (cos.f64 re))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (cos.f64 re))) 2)) (cbrt.f64 (log.f64 (cos.f64 re))))
(sqrt.f64 (pow.f64 (cos.f64 re) 2))
(log.f64 (exp.f64 (cos.f64 re)))
(cbrt.f64 (pow.f64 (cos.f64 re) 3))
(expm1.f64 (log1p.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cos.f64 re))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (cos.f64 re))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (cos.f64 re))) 2))
(log1p.f64 (expm1.f64 (cos.f64 re)))

simplify66.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

966×	`log-prod`
646×	`associate-r`
622×	`associate-+l+`
618×	`associate-+r+`
586×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	120	569
1	240	531
2	644	515
3	3330	515
4	6970	515

Stop Event

1×	node limit

Counts

41 → 58

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 (.f64 1/24 (pow.f64 re 4)) (+.f64 1 (.f64 -1/2 (pow.f64 re 2))))
(+.f64 (.f64 1/24 (pow.f64 re 4)) (+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (*.f64 -1/720 (pow.f64 re 6)))))
(+.f64 0 (cos.f64 re))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cos.f64 re))) 2)) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 re)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 re)))))
(+.f64 (.f64 (cos.f64 (+.f64 1 re)) (cos.f64 1)) (.f64 (sin.f64 (+.f64 1 re)) (sin.f64 1)))
(-.f64 (+.f64 1 (cos.f64 re)) 1)
(*.f64 (cos.f64 re) 1)
(*.f64 1 (cos.f64 re))
(*.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2))
(*.f64 (cbrt.f64 (cos.f64 re)) (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4)))
(*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)))
(*.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)))
(*.f64 (sqrt.f64 (sqrt.f64 (cos.f64 re))) (sqrt.f64 (pow.f64 (cos.f64 re) 3/2)))
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 5/2)) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2)) (cbrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (pow.f64 (cos.f64 re) 3/2)) (sqrt.f64 (sqrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 5)) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4)) (cbrt.f64 (cos.f64 re)))
(*.f64 (pow.f64 1 1/3) (cos.f64 re))
(.f64 (pow.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2) 1/3) (cbrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (pow.f64 (pow.f64 (cos.f64 re) 5/2) 1/3) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(pow.f64 (cos.f64 re) 1)
(pow.f64 (cbrt.f64 (cos.f64 re)) 3)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/2)
(pow.f64 (pow.f64 (cos.f64 re) 3) 1/3)
(pow.f64 (sqrt.f64 (cos.f64 re)) 2)
(pow.f64 (E.f64) (log.f64 (cos.f64 re)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (cos.f64 re)))) (sqrt.f64 (log.f64 (cos.f64 re))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (cos.f64 re))) 2)) (cbrt.f64 (log.f64 (cos.f64 re))))
(sqrt.f64 (pow.f64 (cos.f64 re) 2))
(log.f64 (exp.f64 (cos.f64 re)))
(cbrt.f64 (pow.f64 (cos.f64 re) 3))
(expm1.f64 (log1p.f64 (cos.f64 re)))
(exp.f64 (log.f64 (cos.f64 re)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cos.f64 re))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (cos.f64 re))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (cos.f64 re))) 2))
(log1p.f64 (expm1.f64 (cos.f64 re)))

Outputs
1
(+.f64 1 (*.f64 -1/2 (pow.f64 re 2)))
(+.f64 1 (.f64 -1/2 (.f64 re re)))
(fma.f64 -1/2 (*.f64 re re) 1)
(+.f64 (.f64 1/24 (pow.f64 re 4)) (+.f64 1 (.f64 -1/2 (pow.f64 re 2))))
(fma.f64 1/24 (pow.f64 re 4) (+.f64 1 (.f64 -1/2 (.f64 re re))))
(fma.f64 1/24 (pow.f64 re 4) (fma.f64 -1/2 (*.f64 re re) 1))
(fma.f64 -1/2 (*.f64 re re) (fma.f64 1/24 (pow.f64 re 4) 1))
(+.f64 (.f64 1/24 (pow.f64 re 4)) (+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 re 2)) (*.f64 -1/720 (pow.f64 re 6)))))
(fma.f64 1/24 (pow.f64 re 4) (+.f64 1 (fma.f64 -1/2 (.f64 re re) (.f64 -1/720 (pow.f64 re 6)))))
(+.f64 (fma.f64 1/24 (pow.f64 re 4) (fma.f64 -1/2 (.f64 re re) 1)) (.f64 -1/720 (pow.f64 re 6)))
(fma.f64 1/24 (pow.f64 re 4) (fma.f64 -1/2 (*.f64 re re) (fma.f64 -1/720 (pow.f64 re 6) 1)))
(+.f64 0 (cos.f64 re))
(cos.f64 re)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cos.f64 re))) 2)) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re)))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 re)))) 3)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 re)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 re)))))
(cos.f64 re)
(+.f64 (.f64 (cos.f64 (+.f64 1 re)) (cos.f64 1)) (.f64 (sin.f64 (+.f64 1 re)) (sin.f64 1)))
(fma.f64 (cos.f64 (+.f64 1 re)) (cos.f64 1) (*.f64 (sin.f64 (+.f64 1 re)) (sin.f64 1)))
(-.f64 (+.f64 1 (cos.f64 re)) 1)
(cos.f64 re)
(*.f64 (cos.f64 re) 1)
(cos.f64 re)
(*.f64 1 (cos.f64 re))
(cos.f64 re)
(*.f64 (cbrt.f64 (cos.f64 re)) (pow.f64 (cbrt.f64 (cos.f64 re)) 2))
(cos.f64 re)
(*.f64 (cbrt.f64 (cos.f64 re)) (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4)))
(cos.f64 re)
(*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (cbrt.f64 (cos.f64 re)))
(cos.f64 re)
(*.f64 (sqrt.f64 (cos.f64 re)) (sqrt.f64 (cos.f64 re)))
(cos.f64 re)
(*.f64 (sqrt.f64 (sqrt.f64 (cos.f64 re))) (sqrt.f64 (pow.f64 (cos.f64 re) 3/2)))
(cos.f64 re)
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 re) 5/2)) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (cos.f64 re) 5/2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2)) (cbrt.f64 (cbrt.f64 (cos.f64 re))))
(.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 8)))
(*.f64 (sqrt.f64 (pow.f64 (cos.f64 re) 3/2)) (sqrt.f64 (sqrt.f64 (cos.f64 re))))
(cos.f64 re)
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 5)) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(cos.f64 re)
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4)) (cbrt.f64 (cos.f64 re)))
(cos.f64 re)
(*.f64 (pow.f64 1 1/3) (cos.f64 re))
(cos.f64 re)
(.f64 (pow.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2) 1/3) (cbrt.f64 (cbrt.f64 (cos.f64 re))))
(.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (.f64 (cos.f64 re) (cbrt.f64 (cos.f64 re))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 8)))
(*.f64 (pow.f64 (pow.f64 (cos.f64 re) 5/2) 1/3) (sqrt.f64 (cbrt.f64 (cos.f64 re))))
(*.f64 (sqrt.f64 (cbrt.f64 (cos.f64 re))) (cbrt.f64 (pow.f64 (cos.f64 re) 5/2)))
(pow.f64 (cos.f64 re) 1)
(cos.f64 re)
(pow.f64 (cbrt.f64 (cos.f64 re)) 3)
(cos.f64 re)
(pow.f64 (pow.f64 (cos.f64 re) 2) 1/2)
(cos.f64 re)
(pow.f64 (pow.f64 (cos.f64 re) 3) 1/3)
(cos.f64 re)
(pow.f64 (sqrt.f64 (cos.f64 re)) 2)
(cos.f64 re)
(pow.f64 (E.f64) (log.f64 (cos.f64 re)))
(cos.f64 re)
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (cos.f64 re)))) (sqrt.f64 (log.f64 (cos.f64 re))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (cos.f64 re))) 2)) (cbrt.f64 (log.f64 (cos.f64 re))))
(sqrt.f64 (pow.f64 (cos.f64 re) 2))
(cos.f64 re)
(log.f64 (exp.f64 (cos.f64 re)))
(cos.f64 re)
(cbrt.f64 (pow.f64 (cos.f64 re) 3))
(cos.f64 re)
(expm1.f64 (log1p.f64 (cos.f64 re)))
(cos.f64 re)
(exp.f64 (log.f64 (cos.f64 re)))
(cos.f64 re)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cos.f64 re))) 3))
(cos.f64 re)
(exp.f64 (.f64 (.f64 3 (log.f64 (cos.f64 re))) 1/3))
(cos.f64 re)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (cos.f64 re))) 2))
(cos.f64 re)
(log1p.f64 (expm1.f64 (cos.f64 re)))
(cos.f64 re)

eval22.0ms (0.8%)

Compiler: Compiled 1042 to 455 computations (56.3% saved)

prune10.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	3	59

Accurracy

51.6%

Counts

59 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	27.4%	(.f64 (.f64 1/2 (+.f64 1 (.f64 -1/2 (.f64 re re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	51.6%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	30.0%	(.f64 (.f64 1/2 1) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Status

Accuracy

Program

▶

27.4%

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

✓

51.6%

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

▶

30.0%

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

Compiler

Compiled 43 to 34 computations (20.9% saved)

localize12.0ms (0.4%)

Compiler: Compiled 31 to 15 computations (51.6% saved)

localize19.0ms (0.7%)

Compiler: Compiled 60 to 29 computations (51.7% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Accurracy

51.6%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	27.4%	(.f64 (.f64 1/2 (+.f64 1 (.f64 -1/2 (.f64 re re)))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	51.6%	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	30.0%	(.f64 (.f64 1/2 1) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Status

Accuracy

Program

✓

27.4%

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

✓

51.6%

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

✓

30.0%

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

Compiler

Compiled 43 to 34 computations (20.9% saved)

regimes22.0ms (0.8%)

Counts

3 → 1

Calls

Call 1

Inputs

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

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

(*.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)))

Calls

6 calls:

5.0ms	(cos.f64 re)
4.0ms	im
3.0ms	re
3.0ms	(*.f64 1/2 (cos.f64 re))
3.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Results

Accuracy	Segments	Branch
51.6%	1	`re`
51.6%	1	`im`
51.6%	1	`(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))`
51.6%	1	`(*.f64 1/2 (cos.f64 re))`
51.6%	1	`(cos.f64 re)`
51.6%	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 76 to 50 computations (34.2% saved)

regimes10.0ms (0.3%)

Accuracy

Total -1.9b remaining (-4.2%)

Threshold costs -1.9b (-4.2%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(.f64 (.f64 1/2 1) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Calls

3 calls:

4.0ms	re
3.0ms	im
2.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Results

Accuracy	Segments	Branch
30.0%	1	`re`
30.0%	1	`im`
30.0%	1	`(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))`

Compiler

Compiled 42 to 28 computations (33.3% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`
4×	`+-commutative`
2×	`sub-neg`
2×	`1-exp`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	60
1	25	60
2	27	60
3	28	60

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(.f64 (.f64 1/2 1) (+.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 (.f64 1/2 1) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
(*.f64 1/2 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 23 to 18 computations (21.7% saved)

soundness0.0ms (0%)

end17.0ms (0.6%)

Compiler: Compiled 21 to 12 computations (42.9% saved)

Details

analyze0.0ms (0%)

sample2.3s (80.6%)

preprocess132.0ms (4.7%)

simplify114.0ms (4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.5%)

series0.0ms (0%)

rewrite104.0ms (3.6%)

simplify66.0ms (2.3%)

eval22.0ms (0.8%)

prune10.0ms (0.4%)

localize12.0ms (0.4%)

localize19.0ms (0.7%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes22.0ms (0.8%)

regimes10.0ms (0.3%)

simplify5.0ms (0.2%)

soundness0.0ms (0%)

end17.0ms (0.6%)

Profiling