Details

analyze904.0ms (11.8%)

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 14 to 11 computations (21.4% saved)

sample131.0ms (1.7%)

Algorithm

1×

intervals

Results

39.0ms	58×	body	1024	valid
21.0ms	52×	body	1024	invalid
15.0ms	149×	body	128	valid
14.0ms	33×	body	512	invalid
9.0ms	28×	body	512	valid
4.0ms	20×	body	256	valid
3.0ms	16×	body	256	invalid
2.0ms	18×	body	128	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify234.0ms (3%)

Algorithm

1×	egg-herbie

Rules

533×	`associate-/l*_binary64`
430×	`unswap-sqr_binary64`
374×	`times-frac_binary64`
340×	`associate-/r/_binary64`
318×	`associate-/l/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	28	18
2	63	18
3	83	18
4	130	18
5	231	18
6	472	18
7	824	18
8	3187	18
9	3032	18
10	3749	18
11	3945	18
12	4370	18
13	4808	18
14	4906	18
15	4947	18

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize17.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite54.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`-un-lft-identity_binary64` `associate-r*_binary64`
3×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64`
2×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-*r/_binary64`
1×	`add-log-exp_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `flip3-+_binary64` `flip-+_binary64` `associate-l_binary64` `distribute-lft-out_binary64` `*-commutative_binary64`

Counts

1 → 23

Calls

1 calls:

19.0ms

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

Compiler

Compiled 430 to 152 computations (64.7% saved)

series81.0ms (1.1%)

Error

0.0b

Counts

1 → 11

Calls

1 calls:

64.0ms

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

Compiler

Compiled 508 to 341 computations (32.9% saved)

simplify147.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

434×	`associate-+l+_binary64`
329×	`times-frac_binary64`
324×	`distribute-rgt-in_binary64`
319×	`*-commutative_binary64`
300×	`distribute-lft-in_binary64`

Counts

34 → 29

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	108	853
1	294	722
2	1044	681
3	2483	662
4	4979	662
5	4917	662

prune34.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	2	30

Error

Counts

30 → 2

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.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)))))
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Status

Error

Program

▶

0.0b

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

✓

0.0b

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

Compiler

Compiled 427 to 190 computations (55.5% saved)

localize36.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(pow.f64 (exp.f64 im) 3)
0.0b	(*.f64 (exp.f64 im) (exp.f64 im))
4.3b	(-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite328.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

37×	`exp-prod_binary64`
28×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
14×	`pow1_binary64`

Counts

4 → 102

Calls

4 calls:

22.0ms	(*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
13.0ms	(-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
13.0ms	(*.f64 (exp.f64 im) (exp.f64 im))
6.0ms	(pow.f64 (exp.f64 im) 3)

Compiler

Compiled 3740 to 1217 computations (67.5% saved)

series150.0ms (2%)

Error

Counts

4 → 21

Calls

4 calls:

31.0ms	(-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
26.0ms	(pow.f64 (exp.f64 im) 3)
23.0ms	(*.f64 (exp.f64 im) (exp.f64 im))
17.0ms	(*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 1821 to 998 computations (45.2% saved)

simplify185.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

281×	`exp-prod_binary64`
279×	`*-commutative_binary64`
253×	`log-prod_binary64`
226×	`associate-+l+_binary64`
216×	`cube-prod_binary64`

Counts

123 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	1146
1	350	846
2	1150	814
3	3425	814
4	4976	814
5	4891	814

prune207.0ms (2.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

95 → 2

Alt Table

Status	Error	Program
	0.0b	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.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)))))
	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Status

Error

Program

0.0b

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

0.0b

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

Compiler

Compiled 2357 to 944 computations (59.9% saved)

regimes593.0ms (7.7%)

Accuracy

Total 0.2b remaining (96%)

Threshold costs 0.2b (96%)

Compiler

Compiled 5811 to 3639 computations (37.4% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64` `+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	36	56
2	46	56
3	53	56
4	57	56
5	58	56
6	58	56

end2.0ms (0%)

Compiler: Compiled 36 to 21 computations (41.7% saved)

sample4.6s (59.4%)

Algorithm

1×

intervals

Results

1.6s	1985×	body	1024	valid
776.0ms	1905×	body	1024	invalid
463.0ms	4523×	body	128	valid
333.0ms	992×	body	512	valid
301.0ms	984×	body	512	invalid
108.0ms	524×	body	256	invalid
106.0ms	496×	body	256	valid
78.0ms	730×	body	128	invalid
6.0ms	4×	body	2048	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 102 to 64 computations (37.3% saved)

Details

analyze904.0ms (11.8%)

sample131.0ms (1.7%)

simplify234.0ms (3%)

prune4.0ms (0%)

localize17.0ms (0.2%)

rewrite54.0ms (0.7%)

series81.0ms (1.1%)

simplify147.0ms (1.9%)

prune34.0ms (0.4%)

localize36.0ms (0.5%)

rewrite328.0ms (4.3%)

series150.0ms (2%)

simplify185.0ms (2.4%)

prune207.0ms (2.7%)

regimes593.0ms (7.7%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample4.6s (59.4%)

Profiling