Details

analyze518.0ms (3.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample175.0ms (1.2%)

Algorithm

1×

intervals

Results

71.0ms	126×	body	1024	valid
25.0ms	64×	body	1024	invalid
21.0ms	69×	body	512	valid
7.0ms	88×	body	128	invalid
7.0ms	33×	body	512	invalid
6.0ms	33×	body	256	valid
5.0ms	7×	body	2048	valid
3.0ms	19×	body	256	invalid
2.0ms	21×	body	128	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify125.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

454×	`fma-def_binary64`
444×	`times-frac_binary64`
419×	`sub-neg_binary64`
365×	`distribute-rgt-neg-in_binary64`
340×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	23	18
2	49	18
3	106	18
4	225	17
5	449	17
6	962	17
7	1713	17
8	3588	17
9	4282	17
10	4773	17
11	4923	17
12	4957	17
13	4748	17

prune3.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

40.4b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 50 to 35 computations (30% saved)

localize9.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)))
✓	4.4b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`*-un-lft-identity_binary64`
29×	`add-sqr-sqrt_binary64`
27×	`prod-diff_binary64`
25×	`add-cube-cbrt_binary64`
13×	`distribute-lft-in_binary64`

Counts

2 → 80

Calls

2 calls:

9.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series42.0ms (0.3%)

Counts

2 → 32

Calls

2 calls:

39.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
3.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify114.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

584×	`fma-neg_binary64`
356×	`cancel-sign-sub-inv_binary64`
302×	`distribute-rgt-in_binary64`
277×	`associate-r_binary64`
274×	`associate-l_binary64`

Counts

112 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	225	2646
1	547	2347
2	2043	2132
3	4415	2127
4	4897	2127

prune86.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	204	3	207
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	205	3	208

Error

0.1b

Counts

208 → 3

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (neg.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	0.3b	(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)))))))
	41.0b	(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 (log.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))

Compiler

Compiled 3292 to 1187 computations (63.9% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
25×	`associate-r_binary64`
18×	`add-exp-log_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 108

Calls

4 calls:

8.0ms	(.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7))))
5.0ms	(*.f64 1/6 (pow.f64 im 3))
5.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
4.0ms	(*.f64 1/120 (pow.f64 im 5))

series181.0ms (1.3%)

Counts

4 → 48

Calls

4 calls:

89.0ms	(.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7))))
58.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
19.0ms	(*.f64 1/120 (pow.f64 im 5))
14.0ms	(*.f64 1/6 (pow.f64 im 3))

simplify121.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

532×	`distribute-rgt-in_binary64`
382×	`cancel-sign-sub-inv_binary64`
352×	`associate-r_binary64`
326×	`associate-l_binary64`
297×	`fma-neg_binary64`

Counts

156 → 279

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	260	2742
1	683	2554
2	2563	2484
3	4838	2483
4	4986	2483

prune263.0ms (1.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	273	6	279
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	274	8	282

Error

0.0b

Counts

282 → 8

Alt Table

Status	Error	Program
✓	0.3b	(-.f64 (neg.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	35.8b	(-.f64 (neg.f64 (.f64 (sqrt.f64 (sin.f64 re)) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sqrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
▶	1.1b	(-.f64 (neg.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	41.0b	(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 (log.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
	23.5b	(-.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sin.f64 re))) (sqrt.f64 (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	29.9b	(-.f64 (neg.f64 (-.f64 (+.f64 (.f64 1/120 (.f64 re (pow.f64 im 5))) (.f64 re im)) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) im)) (.f64 1/720 (.f64 (pow.f64 re 3) (pow.f64 im 5)))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	32.6b	(-.f64 (neg.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5)))) (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	1.2b	(-.f64 (neg.f64 (.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (fma.f64 1/120 (pow.f64 im 5) im)) (cbrt.f64 (fma.f64 1/120 (pow.f64 im 5) im)))) (cbrt.f64 (+.f64 im (.f64 1/120 (pow.f64 im 5)))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))

Compiler

Compiled 6703 to 4751 computations (29.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
	0.6b	(cbrt.f64 (sin.f64 re))
	0.6b	(cbrt.f64 (sin.f64 re))
✓	0.6b	(cbrt.f64 (sin.f64 re))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

5.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
1.0ms	(cbrt.f64 (sin.f64 re))

series674.0ms (4.7%)

Counts

2 → 24

Calls

2 calls:

445.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
228.0ms	(cbrt.f64 (sin.f64 re))

simplify155.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

751×	`log-prod_binary64`
747×	`fma-neg_binary64`
495×	`unswap-sqr_binary64`
469×	`fma-def_binary64`
302×	`*-commutative_binary64`

Counts

79 → 147

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	96	878
1	220	796
2	566	756
3	1371	734
4	3196	612
5	4219	612
6	4909	612
7	5045	612

prune501.0ms (3.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	270	6	276
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	273	11	284

Error

0.0b

Counts

284 → 11

Alt Table

Status	Error	Program
✓	0.3b	(-.f64 (neg.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
▶	1.1b	(-.f64 (neg.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (cbrt.f64 (sin.f64 re))))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	29.9b	(-.f64 (neg.f64 (-.f64 (+.f64 (.f64 1/120 (.f64 re (pow.f64 im 5))) (.f64 re im)) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) im)) (.f64 1/720 (.f64 (pow.f64 re 3) (pow.f64 im 5)))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	1.2b	(-.f64 (neg.f64 (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (cbrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	35.9b	(-.f64 (neg.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (sin.f64 re))) (sqrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	4.7b	(-.f64 (neg.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 re) 2) 1/3) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	1.2b	(-.f64 (neg.f64 (.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (fma.f64 1/120 (pow.f64 im 5) im)) (cbrt.f64 (fma.f64 1/120 (pow.f64 im 5) im)))) (cbrt.f64 (+.f64 im (.f64 1/120 (pow.f64 im 5)))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	1.3b	(-.f64 (neg.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))) (cbrt.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))))) (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) (cbrt.f64 (cbrt.f64 (sin.f64 re))))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	41.0b	(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 (log.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
	13.1b	(-.f64 (neg.f64 (.f64 (log.f64 (exp.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	23.5b	(-.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sin.f64 re))) (sqrt.f64 (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))

Compiler

Compiled 6091 to 3527 computations (42.1% saved)

localize42.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (sin.f64 re))
	0.6b	(cbrt.f64 (sin.f64 re))
	0.6b	(cbrt.f64 (sin.f64 re))
	0.6b	(cbrt.f64 (sin.f64 re))

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify59.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune368.0ms (2.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	2580	0	2580
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	2580	11	2591

Error

0.0b

Counts

2591 → 11

Alt Table

Status	Error	Program
✓	0.3b	(-.f64 (neg.f64 (.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
✓	1.1b	(-.f64 (neg.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))) (cbrt.f64 (sin.f64 re))))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	29.9b	(-.f64 (neg.f64 (-.f64 (+.f64 (.f64 1/120 (.f64 re (pow.f64 im 5))) (.f64 re im)) (+.f64 (.f64 1/6 (.f64 (pow.f64 re 3) im)) (.f64 1/720 (.f64 (pow.f64 re 3) (pow.f64 im 5)))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	1.2b	(-.f64 (neg.f64 (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (cbrt.f64 (cbrt.f64 (sin.f64 re)))) (cbrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	35.9b	(-.f64 (neg.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (sin.f64 re))) (sqrt.f64 (sin.f64 re))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	4.7b	(-.f64 (neg.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 re) 2) 1/3) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	1.2b	(-.f64 (neg.f64 (.f64 (.f64 (sin.f64 re) (.f64 (cbrt.f64 (fma.f64 1/120 (pow.f64 im 5) im)) (cbrt.f64 (fma.f64 1/120 (pow.f64 im 5) im)))) (cbrt.f64 (+.f64 im (.f64 1/120 (pow.f64 im 5)))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/5040 (pow.f64 im 7)))))
	1.3b	(-.f64 (neg.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))) (cbrt.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))))) (.f64 (cbrt.f64 (cbrt.f64 (sin.f64 re))) (cbrt.f64 (cbrt.f64 (sin.f64 re))))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	41.0b	(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 (log.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
	13.1b	(-.f64 (neg.f64 (.f64 (log.f64 (exp.f64 (.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re))))) (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (cbrt.f64 (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))
	23.5b	(-.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sin.f64 re))) (sqrt.f64 (.f64 (fma.f64 1/120 (pow.f64 im 5) im) (sin.f64 re))))) (.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (.f64 1/5040 (pow.f64 im 7)))))

Compiler

Compiled 5037 to 2542 computations (49.5% saved)

regimes1.5s (10.2%)

Accuracy

Total 0.4b remaining (54.5%)

Threshold costs 0.4b (54.5%)

Compiler

Compiled 20196 to 13894 computations (31.2% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

18×	`*-commutative_binary64`
17×	`+-commutative_binary64`
14×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	40
1	41	40
2	61	38
3	91	38
4	124	38
5	138	38
6	145	38
7	147	38
8	144	38

end1.0ms (0%)

Compiler: Compiled 27 to 20 computations (25.9% saved)

sample9.4s (65.3%)

Algorithm

1×

intervals

Results

4.1s	4082×	body	1024	valid
1.4s	2054×	body	1024	invalid
977.0ms	2038×	body	512	valid
376.0ms	984×	body	512	invalid
376.0ms	2749×	body	128	invalid
350.0ms	226×	body	2048	valid
308.0ms	1018×	body	256	valid
124.0ms	481×	body	256	invalid
88.0ms	636×	body	128	valid

Compiler

Compiled 475 to 319 computations (32.8% saved)

Details

analyze518.0ms (3.6%)

sample175.0ms (1.2%)

simplify125.0ms (0.9%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite21.0ms (0.1%)

series42.0ms (0.3%)

simplify114.0ms (0.8%)

prune86.0ms (0.6%)

localize20.0ms (0.1%)

rewrite26.0ms (0.2%)

series181.0ms (1.3%)

simplify121.0ms (0.8%)

prune263.0ms (1.8%)

localize20.0ms (0.1%)

rewrite8.0ms (0.1%)

series674.0ms (4.7%)

simplify155.0ms (1.1%)

prune501.0ms (3.5%)

localize42.0ms (0.3%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify59.0ms (0.4%)

prune368.0ms (2.5%)

regimes1.5s (10.2%)

simplify12.0ms (0.1%)

end1.0ms (0%)

sample9.4s (65.3%)

Profiling