Details

analyze156.0ms (3.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
50%	50%	50%	0.1%	0%	0%	0%	6
55.2%	50%	40.6%	0.1%	9.4%	0%	0%	7
56.1%	50%	39%	0.1%	10.9%	0%	0%	8
59.8%	50%	33.6%	0.1%	16.4%	0%	0%	9
60.7%	50%	32.4%	0.1%	17.6%	0%	0%	10
62.9%	50%	29.5%	0.1%	20.5%	0%	0%	11
63.4%	50%	28.8%	0.1%	21.2%	0%	0%	12

Compiler

Compiled 15 to 12 computations (20% saved)

sample3.6s (89.4%)

Results

1.1s	2067×	body	1024	valid
772.0ms	1939×	body	1024	infinite
762.0ms	5104×	body	256	valid
323.0ms	985×	body	512	infinite
307.0ms	1651×	body	256	infinite
300.0ms	1083×	body	512	valid
3.0ms	2×	body	2048	valid

Bogosity

preprocess86.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

1508×	`distribute-lft-neg-out`
1104×	`times-frac`
1044×	`associate-r`
886×	`associate-*r/`
864×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	70
1	50	70
2	130	70
3	234	66
4	396	66
5	584	66
6	965	66
7	2456	66
8	4849	66
9	5376	66
10	6930	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 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 (.f64 1/2 (sin.f64 im)) (+.f64 (exp.f64 (-.f64 0 re)) (exp.f64 re)))

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

Compiler

Compiled 16 to 13 computations (18.8% saved)

simplify95.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1680×	`unswap-sqr`
1028×	`associate-/r*`
996×	`fma-def`
676×	`*-commutative`
576×	`associate-/l*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	29	35
2	70	35
3	123	33
4	205	33
5	302	33
6	497	33
7	1255	33
8	3186	33
9	3541	33
10	3972	33
11	5887	33
12	6898	33

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

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

Outputs
(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
(.f64 1/2 (.f64 (sin.f64 re) (+.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)))
(*.f64 (sin.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

eval1.0ms (0%)

Compiler: Compiled 47 to 25 computations (46.8% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

100.0%

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	100.0%	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
✓	100.0%	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 35 to 13 computations (62.9% saved)

series5.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	im	@	inf	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.0ms	re	@	0	(.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	re	@	inf	(.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)))

rewrite72.0ms (1.8%)

Algorithm

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

Rules

282×	`add-sqr-sqrt`
282×	`add-sqr-sqrt`
272×	`pow1`
272×	`*-un-lft-identity`
272×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	54
1	273	54
2	4211	54
0	13	35
1	273	35
2	4211	35
0	13	35
0	8	19
1	166	19
2	2546	19
0	8	19

Stop Event

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

Calls

Call 1

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

Outputs
((((x +.f64 (.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 (neg.f64 im))) (.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))))) (((x +.f64 (.f64 (exp.f64 (neg.f64 im)) (.f64 1/2 (sin.f64 re))) (.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)))))) (((x pow.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1))) (((x log.f64 (exp.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (((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)))))))) (((x expm1.f64 (log1p.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (((x exp.f64 (log.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (((x log1p.f64 (expm1.f64 (.f64 1/2 (.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))))
((((x .f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (((x .f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((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)))))) (((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))))) (((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))))))) (((x pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))) (((x log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((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)))))) (((x expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((x exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((x log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))

Outputs

((((x +.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 (neg.f64 im))) (*.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))))) (((x +.f64 (*.f64 (exp.f64 (neg.f64 im)) (*.f64 1/2 (sin.f64 re))) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))) (((x pow.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 1))) (((x log.f64 (exp.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (((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)))))))) (((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (((x exp.f64 (log.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))) (((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))))

((((x *.f64 1 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (((x *.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((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)))))) (((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))))) (((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))))))) (((x pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))) (((x log.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((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)))))) (((x expm1.f64 (log1p.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((x exp.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))) (((x log1p.f64 (expm1.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))))

Details

analyze156.0ms (3.9%)

sample3.6s (89.4%)

preprocess86.0ms (2.1%)

simplify95.0ms (2.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.3%)

series5.0ms (0.1%)

rewrite72.0ms (1.8%)

end0.0ms (0%)

Profiling