Details

analyze558.0ms (5.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%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 15 to 12 computations (20% saved)

sample160.0ms (1.5%)

Algorithm

1×

intervals

Results

78.0ms	154×	body	1024	valid
24.0ms	68×	body	1024	invalid
15.0ms	52×	body	512	valid
9.0ms	13×	body	2048	valid
9.0ms	42×	body	512	invalid
3.0ms	19×	body	256	invalid
3.0ms	16×	body	256	valid
2.0ms	21×	body	128	valid
1.0ms	17×	body	128	invalid

Compiler

Compiled 31 to 25 computations (19.4% saved)

simplify91.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

626×	`associate-/l*_binary64`
509×	`div-sub_binary64`
462×	`times-frac_binary64`
386×	`sub-neg_binary64`
367×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	22	18
2	49	18
3	111	18
4	208	17
5	362	17
6	692	17
7	1513	17
8	3726	17
9	4287	17
10	4857	17
11	4749	17

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

56.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	56.4b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
7.0b	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

rewrite204.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

56.2b

Rules

50×	`add-cube-cbrt_binary64`
26×	`prod-diff_binary64`
20×	`pow1_binary64`
15×	`exp-sum_binary64`
14×	`add-sqr-sqrt_binary64`

Counts

2 → 95

Calls

2 calls:

22.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
15.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

Compiler

Compiled 3259 to 1352 computations (58.5% saved)

series48.0ms (0.4%)

Error

0.1b

Counts

2 → 16

Calls

2 calls:

22.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
10.0ms	(-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))

Compiler

Compiled 644 to 451 computations (30% saved)

simplify124.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

810×	`times-frac_binary64`
416×	`cancel-sign-sub-inv_binary64`
274×	`fma-neg_binary64`
259×	`distribute-rgt-neg-in_binary64`
250×	`exp-prod_binary64`

Counts

111 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	199	2226
1	534	1834
2	2089	1759
3	4057	1759
4	5881	1759

prune45.0ms (0.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	5	76

Error

0.1b

Counts

76 → 5

Alt Table

Status	Error	Program
▶	1.0b	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))
	56.5b	(.f64 (.f64 1/2 (cos.f64 re)) (*.f64 (+.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im)))))
	56.4b	(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
	56.4b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
	1.2b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))))

Compiler

Compiled 1342 to 688 computations (48.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))
0.0b	(fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))
0.0b	(*.f64 1/2520 (pow.f64 im 7))
0.1b	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))

rewrite246.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
18×	`fma-udef_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 151

Calls

4 calls:

14.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))
14.0ms	(fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))
14.0ms	(*.f64 1/2520 (pow.f64 im 7))
10.0ms	(fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))

Compiler

Compiled 4311 to 3337 computations (22.6% saved)

series150.0ms (1.4%)

Error

0.1b

Counts

4 → 42

Calls

4 calls:

68.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))
25.0ms	(fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))
19.0ms	(fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))
13.0ms	(*.f64 1/2520 (pow.f64 im 7))

Compiler

Compiled 2157 to 1680 computations (22.1% saved)

simplify154.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

501×	`fma-neg_binary64`
344×	`associate-r_binary64`
321×	`associate-l_binary64`
270×	`fma-def_binary64`
175×	`sub-neg_binary64`

Counts

193 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	283	4578
1	841	4150
2	3560	4138
3	4878	4138
4	4935	4138

prune101.0ms (0.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	6	86
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Error

0.0b

Counts

91 → 10

Alt Table

Status	Error	Program
	32.8b	(.f64 (sqrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (sqrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
	2.3b	(.f64 (.f64 (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re))))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
	56.5b	(.f64 (.f64 1/2 (cos.f64 re)) (*.f64 (+.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im)))))
	30.2b	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (.f64 (cbrt.f64 (pow.f64 (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))))) 2)) (cbrt.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
	56.4b	(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
	34.2b	(.f64 (.f64 1/2 (cos.f64 re)) (neg.f64 (fma.f64 1/60 (pow.f64 im 5) (.f64 (sqrt.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (sqrt.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))))))
	56.4b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
▶	1.0b	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))
	29.9b	(/.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 2) (-.f64 (.f64 1/3600 (pow.f64 im 10)) (.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (.f64 1/2 (.f64 (cos.f64 re) (fma.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))))))))
	1.2b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))))

Compiler

Compiled 2653 to 2002 computations (24.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))
0.0b	(fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))
0.0b	(*.f64 1/2520 (pow.f64 im 7))
0.1b	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))

rewrite211.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
18×	`fma-udef_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 145

Calls

4 calls:

16.0ms	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))
13.0ms	(*.f64 1/2520 (pow.f64 im 7))
10.0ms	(fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))
9.0ms	(fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))

Compiler

Compiled 4023 to 3085 computations (23.3% saved)

series146.0ms (1.3%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

66.0ms	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))
25.0ms	(fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))
17.0ms	(fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7)))))
10.0ms	(*.f64 1/2520 (pow.f64 im 7))

Compiler

Compiled 2112 to 1635 computations (22.6% saved)

simplify120.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

539×	`cancel-sign-sub-inv_binary64`
407×	`fma-neg_binary64`
325×	`associate-r_binary64`
319×	`associate-l_binary64`
271×	`fma-def_binary64`

Counts

187 → 85

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	271	4403
1	783	4011
2	3339	4003
3	5355	4003

prune92.0ms (0.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	85	10	95

Error

0.0b

Counts

95 → 10

Alt Table

Status	Error	Program
	32.8b	(.f64 (sqrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (sqrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
	34.2b	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (.f64 (sqrt.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (sqrt.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	29.9b	(/.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 2) (-.f64 (.f64 1/3600 (pow.f64 im 10)) (.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (.f64 1/2 (.f64 (cos.f64 re) (fma.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))))))))
	30.2b	(.f64 (.f64 -1/2 (cos.f64 re)) (.f64 (cbrt.f64 (pow.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) 2)) (cbrt.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	2.3b	(.f64 (.f64 (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re))))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
	56.5b	(.f64 (.f64 1/2 (cos.f64 re)) (*.f64 (+.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im)))))
	56.4b	(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
	56.4b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
✓	1.0b	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))
▶	1.2b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))))

Compiler

Compiled 2542 to 1908 computations (24.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/120 (pow.f64 im 5))
0.1b	(.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))
0.1b	(fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5)))))
0.1b	(*.f64 1/6 (pow.f64 im 3))

rewrite235.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-sqr-sqrt_binary64`
25×	`pow1_binary64`
20×	`add-cube-cbrt_binary64`
18×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 152

Calls

4 calls:

23.0ms	(*.f64 1/6 (pow.f64 im 3))
19.0ms	(.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))
17.0ms	(*.f64 1/120 (pow.f64 im 5))
10.0ms	(fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5)))))

Compiler

Compiled 3610 to 2475 computations (31.4% saved)

series123.0ms (1.1%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

57.0ms	(fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5)))))
33.0ms	(.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))
7.0ms	(*.f64 1/120 (pow.f64 im 5))
6.0ms	(*.f64 1/6 (pow.f64 im 3))

Compiler

Compiled 1564 to 1121 computations (28.3% saved)

simplify102.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

689×	`cancel-sign-sub-inv_binary64`
436×	`unswap-sqr_binary64`
367×	`fma-neg_binary64`
343×	`associate-r_binary64`
333×	`associate-l_binary64`

Counts

182 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	3132
1	646	2814
2	2813	2801
3	5315	2801

prune103.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	95	10	105

Error

0.0b

Counts

105 → 10

Alt Table

Status	Error	Program
	32.8b	(.f64 (sqrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (sqrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
	34.2b	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (.f64 (sqrt.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (sqrt.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	29.9b	(/.f64 (.f64 (pow.f64 (.f64 1/2 (cos.f64 re)) 2) (-.f64 (.f64 1/3600 (pow.f64 im 10)) (.f64 (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7)))) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))))) (.f64 1/2 (.f64 (cos.f64 re) (fma.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))))))))
	30.2b	(.f64 (.f64 -1/2 (cos.f64 re)) (.f64 (cbrt.f64 (pow.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) 2)) (cbrt.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))))
	2.3b	(.f64 (.f64 (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re))))) (cbrt.f64 (.f64 -1/2 (.f64 (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))) (cos.f64 re)))))
	56.5b	(.f64 (.f64 1/2 (cos.f64 re)) (*.f64 (+.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im)))))
	56.4b	(.f64 (.f64 1/2 (cos.f64 re)) (/.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
	56.4b	(cbrt.f64 (pow.f64 (.f64 1/2 (.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re))) 3))
	1.0b	(.f64 (.f64 -1/2 (cos.f64 re)) (fma.f64 1/60 (pow.f64 im 5) (fma.f64 1/3 (pow.f64 im 3) (fma.f64 im 2 (*.f64 1/2520 (pow.f64 im 7))))))
	1.2b	(neg.f64 (fma.f64 im (cos.f64 re) (.f64 (cos.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))))

Compiler

Compiled 2290 to 1614 computations (29.5% saved)

regimes2.2s (20.8%)

Accuracy

Total 0.6b remaining (91.4%)

Threshold costs 0.6b (91.4%)

Compiler

Compiled 44691 to 34629 computations (22.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	33
1	24	33
2	24	33

end1.0ms (0%)

Compiler: Compiled 25 to 20 computations (20% saved)

sample5.5s (50.8%)

Algorithm

1×

intervals

Results

2.6s	4876×	body	1024	valid
805.0ms	2008×	body	1024	invalid
482.0ms	1673×	body	512	valid
394.0ms	400×	body	2048	valid
207.0ms	960×	body	512	invalid
119.0ms	687×	body	256	valid
74.0ms	477×	body	256	invalid
55.0ms	676×	body	128	invalid
34.0ms	364×	body	128	valid
1.0ms	2×	body	2048	invalid

Compiler

Compiled 433 to 335 computations (22.6% saved)

Details

analyze558.0ms (5.1%)

sample160.0ms (1.5%)

simplify91.0ms (0.8%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite204.0ms (1.9%)

series48.0ms (0.4%)

simplify124.0ms (1.1%)

prune45.0ms (0.4%)

localize23.0ms (0.2%)

rewrite246.0ms (2.3%)

series150.0ms (1.4%)

simplify154.0ms (1.4%)

prune101.0ms (0.9%)

localize15.0ms (0.1%)

rewrite211.0ms (1.9%)

series146.0ms (1.3%)

simplify120.0ms (1.1%)

prune92.0ms (0.9%)

localize13.0ms (0.1%)

rewrite235.0ms (2.2%)

series123.0ms (1.1%)

simplify102.0ms (0.9%)

prune103.0ms (0.9%)

regimes2.2s (20.8%)

simplify3.0ms (0%)

end1.0ms (0%)

sample5.5s (50.8%)

Profiling