Details

analyze189.0ms (6.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
74.9%	18.7%	6.3%	6
74.9%	18.7%	6.3%	7
74.9%	15.6%	9.5%	8
74.9%	15.6%	9.5%	9
74.9%	14%	11%	10
74.9%	14%	11%	11
74.9%	13.3%	11.8%	12
74.9%	13.3%	11.8%	13
74.9%	12.9%	12.2%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.1s (72.8%)

Results

715.0ms	1391×	body	1024	valid
633.0ms	5845×	body	128	valid
296.0ms	655×	body	1024	invalid
202.0ms	678×	body	512	valid
91.0ms	327×	body	512	invalid
65.0ms	341×	body	256	valid
34.0ms	185×	body	128	invalid
30.0ms	160×	body	256	invalid
1.0ms	1×	body	2048	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	0.0b	(cos.f64 im)

series9.0ms (0.3%)

Counts

2 → 12

Calls

2 calls:

7.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
2.0ms	(cos.f64 im)

rewrite5.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`pow1_binary64`

Counts

2 → 29

Calls

2 calls:

4.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
1.0ms	(cos.f64 im)

simplify111.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

379×	`fma-neg_binary64`
372×	`distribute-rgt-neg-in_binary64`
371×	`cancel-sign-sub-inv_binary64`
334×	`sub-neg_binary64`
289×	`*-commutative_binary64`

Counts

41 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	522
1	198	475
2	556	445
3	1489	430
4	2711	430
5	4561	430
6	4969	430
7	4997	430
8	4877	430

prune34.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	3	62

Error

Counts

62 → 3

Alt Table

Status	Error	Program
▶	0.2b	(*.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (cos.f64 im) 3)))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
	20.3b	(fma.f64 (cos.f64 im) re (cos.f64 im))

Compiler

Compiled 727 to 298 computations (59% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (cos.f64 im) 3)))
	0.0b	(cos.f64 im)
✓	0.3b	(pow.f64 (cos.f64 im) 3)
✓	0.4b	(cbrt.f64 (pow.f64 (cos.f64 im) 3))

series16.0ms (0.6%)

Counts

3 → 40

Calls

3 calls:

9.0ms	(*.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (cos.f64 im) 3)))
5.0ms	(pow.f64 (cos.f64 im) 3)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 im) 3))

rewrite13.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`associate-r_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`

Counts

3 → 84

Calls

3 calls:

7.0ms	(*.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (cos.f64 im) 3)))
2.0ms	(pow.f64 (cos.f64 im) 3)
2.0ms	(cbrt.f64 (pow.f64 (cos.f64 im) 3))

simplify91.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

714×	`fma-neg_binary64`
320×	`*-commutative_binary64`
318×	`fma-def_binary64`
260×	`log-prod_binary64`
252×	`unswap-sqr_binary64`

Counts

124 → 133

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	136	1275
1	298	1194
2	1041	1144
3	2246	1132
4	4094	1123
5	4911	1123
6	4942	1123

prune77.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	150	3	153

Error

Counts

153 → 3

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (cos.f64 im) 3)))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	20.3b	(fma.f64 (cos.f64 im) re (cos.f64 im))

Compiler

Compiled 2026 to 1074 computations (47% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 im)
✓	0.0b	(fma.f64 (cos.f64 im) re (cos.f64 im))

series8.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(fma.f64 (cos.f64 im) re (cos.f64 im))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 (cos.f64 im) re (cos.f64 im))

simplify68.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

570×	`associate--r+_binary64`
478×	`fma-neg_binary64`
350×	`associate-+l-_binary64`
340×	`distribute-rgt-neg-in_binary64`
271×	`associate-+r-_binary64`

Counts

34 → 30

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	428
1	116	399
2	395	389
3	1630	380
4	4368	380
5	4914	380
6	5035	380

prune31.0ms (1.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

67 → 3

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (cos.f64 im) 3)))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	20.3b	(fma.f64 (cos.f64 im) re (cos.f64 im))

Compiler

Compiled 803 to 391 computations (51.3% saved)

regimes59.0ms (2.1%)

Accuracy

Total 0.0b remaining (50.6%)

Threshold costs 0.0b (50.6%)

Counts

12 → 1

Compiler

Compiled 642 to 465 computations (27.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

end46.0ms (1.6%)

Compiler: Compiled 39 to 27 computations (30.8% saved)

Details

analyze189.0ms (6.6%)

sample2.1s (72.8%)

simplify8.0ms (0.3%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series9.0ms (0.3%)

rewrite5.0ms (0.2%)

simplify111.0ms (3.9%)

prune34.0ms (1.2%)

localize6.0ms (0.2%)

series16.0ms (0.6%)

rewrite13.0ms (0.5%)

simplify91.0ms (3.2%)

prune77.0ms (2.7%)

localize4.0ms (0.1%)

series8.0ms (0.3%)

rewrite1.0ms (0%)

simplify68.0ms (2.4%)

prune31.0ms (1.1%)

regimes59.0ms (2.1%)

simplify2.0ms (0.1%)

end46.0ms (1.6%)

Profiling