Details

analyze508.0ms (4.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4887	36
1	4887	36
0	2	2
1	2	2

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 13 to 12 computations (7.7% saved)

sample118.0ms (1.1%)

Algorithm

1×

intervals

Results

55.0ms	151×	body	1024	valid
12.0ms	56×	body	1024	invalid
11.0ms	53×	body	512	valid
9.0ms	39×	body	512	invalid
8.0ms	15×	body	2048	valid
3.0ms	25×	body	256	valid
2.0ms	20×	body	256	invalid
1.0ms	18×	body	128	invalid
1.0ms	12×	body	128	valid

Compiler

Compiled 25 to 25 computations (0% saved)

simplify86.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5340	18

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

58.2b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite70.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

58.1b

Rules

10×	`add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
9×	`cancel-sign-sub-inv_binary64_2431`
7×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
6×	`add-cube-cbrt_binary64_2500`
5×	`associate-r_binary64_2405`
4×	`add-log-exp_binary64_2504` `distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414`
3×	`sub-neg_binary64_2458` `pow-prod-down_binary64_2536` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498`
2×	`flip3--_binary64_2469` `flip--_binary64_2440` `difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417` `associate-*r/_binary64_2407`
1×	`diff-log_binary64_2557` `associate-l_binary64_2406` `*-commutative_binary64_2396`

Counts

2 → 46

Calls

2 calls:

11.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 925 to 309 computations (66.6% saved)

series202.0ms (1.8%)

Error

0.1b

Counts

2 → 16

Calls

2 calls:

154.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
29.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 618 to 455 computations (26.4% saved)

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5053	1131

prune52.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	60	3	63

Error

0.1b

Counts

63 → 3

Compiler

Compiled 1019 to 408 computations (60% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (pow.f64 im 5) 1/120)
0.0b	(.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 5) 1/120) (*.f64 (pow.f64 im 7) 1/5040)))
0.1b	(*.f64 (pow.f64 im 3) 1/6)
0.1b	(.f64 (cos.f64 re) (-.f64 (neg.f64 im) (.f64 (pow.f64 im 3) 1/6)))

rewrite218.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64_2487`
25×	`associate-l_binary64_2406`
18×	`add-exp-log_binary64_2503`
15×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
12×	`add-cbrt-cube_binary64_2501` `associate-r_binary64_2405`
9×	`unswap-sqr_binary64_2433`
8×	`pow1_binary64_2526` `prod-exp_binary64_2514` `unpow-prod-down_binary64_2544`
4×	`add-log-exp_binary64_2504` `cbrt-unprod_binary64_2498` `associate-r/_binary64_2407` `-commutative_binary64_2396` `cube-prod_binary64_2493` `sqr-pow_binary64_2437`
3×	`distribute-rgt-in_binary64_2415` `distribute-lft-in_binary64_2414`
2×	`pow-prod-down_binary64_2536` `sub-neg_binary64_2458` `cancel-sign-sub-inv_binary64_2431` `pow-to-exp_binary64_2534` `pow-exp_binary64_2533`
1×	`flip3--_binary64_2469` `flip--_binary64_2440` `unpow3_binary64_2531` `cube-mult_binary64_2495` `flip3-+_binary64_2468` `flip-+_binary64_2439`

Counts

4 → 102

Calls

4 calls:

8.0ms	(.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 5) 1/120) (*.f64 (pow.f64 im 7) 1/5040)))
8.0ms	(.f64 (cos.f64 re) (-.f64 (neg.f64 im) (.f64 (pow.f64 im 3) 1/6)))
6.0ms	(*.f64 (pow.f64 im 3) 1/6)
5.0ms	(*.f64 (pow.f64 im 5) 1/120)

Compiler

Compiled 3507 to 2371 computations (32.4% saved)

series619.0ms (5.6%)

Error

0.1b

Counts

4 → 27

Calls

4 calls:

270.0ms	(.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 5) 1/120) (*.f64 (pow.f64 im 7) 1/5040)))
226.0ms	(.f64 (cos.f64 re) (-.f64 (neg.f64 im) (.f64 (pow.f64 im 3) 1/6)))
46.0ms	(*.f64 (pow.f64 im 5) 1/120)
40.0ms	(*.f64 (pow.f64 im 3) 1/6)

Compiler

Compiled 2047 to 1543 computations (24.6% saved)

simplify75.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5003	2014

prune229.0ms (2.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	123	6	129
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	123	9	132

Error

0.0b

Counts

132 → 9

Compiler

Compiled 4250 to 2887 computations (32.1% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (cbrt.f64 (cos.f64 re)) (cbrt.f64 (cos.f64 re)))
0.3b	(cbrt.f64 (cos.f64 re))
0.3b	(cbrt.f64 (cos.f64 re))
0.3b	(cbrt.f64 (cos.f64 re))

rewrite153.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_2496`
23×	`add-sqr-sqrt_binary64_2487`
15×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
11×	`pow1_binary64_2526`
9×	`pow1/3_binary64_2547`
6×	`add-exp-log_binary64_2503` `swap-sqr_binary64_2432` `associate-l_binary64_2406` `associate-r_binary64_2405`
4×	`add-log-exp_binary64_2504` `add-cbrt-cube_binary64_2501` `unswap-sqr_binary64_2433`
2×	`pow-prod-down_binary64_2536` `pow-prod-up_binary64_2535` `pow-sqr_binary64_2438`
1×	`pow2_binary64_2546` `pow-plus_binary64_2528` `prod-exp_binary64_2514` `cbrt-unprod_binary64_2498` `*-commutative_binary64_2396`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (cos.f64 re)) (cbrt.f64 (cos.f64 re)))
1.0ms	(cbrt.f64 (cos.f64 re))
1.0ms	(cbrt.f64 (cos.f64 re))
1.0ms	(cbrt.f64 (cos.f64 re))

Compiler

Compiled 2898 to 1475 computations (49.1% saved)

series405.0ms (3.7%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

125.0ms	(*.f64 (cbrt.f64 (cos.f64 re)) (cbrt.f64 (cos.f64 re)))
80.0ms	(cbrt.f64 (cos.f64 re))
79.0ms	(cbrt.f64 (cos.f64 re))
77.0ms	(cbrt.f64 (cos.f64 re))

Compiler

Compiled 2108 to 1509 computations (28.4% saved)

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4952	928
1	4952	928

prune190.0ms (1.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	92	5	97
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	93	13	106

Error

0.0b

Counts

106 → 13

Compiler

Compiled 3954 to 2328 computations (41.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (pow.f64 im 3) -1/6)
0.2b	(.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (.f64 (-.f64 (*.f64 (pow.f64 im 3) -1/6) im) (cbrt.f64 (cos.f64 re))))
0.2b	(pow.f64 (cos.f64 re) 2)
0.3b	(cbrt.f64 (cos.f64 re))

rewrite244.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-exp-log_binary64_2503`
24×	`associate-l_binary64_2406`
21×	`add-sqr-sqrt_binary64_2487`
18×	`unpow-prod-down_binary64_2544` `prod-exp_binary64_2514`
14×	`add-cube-cbrt_binary64_2500` `*-un-lft-identity_binary64_2465`
12×	`add-cbrt-cube_binary64_2501`
10×	`pow-exp_binary64_2533`
7×	`cbrt-unprod_binary64_2498`
6×	`pow-to-exp_binary64_2534`
5×	`pow1_binary64_2526` `sqr-pow_binary64_2437`
4×	`add-log-exp_binary64_2504` `associate-r_binary64_2405` `unswap-sqr_binary64_2433` `cube-prod_binary64_2493`
3×	`cbrt-prod_binary64_2496` `pow-unpow_binary64_2542`
2×	`unpow2_binary64_2530` `unpow1/3_binary64_2532` `associate-l/_binary64_2408` `associate-r/_binary64_2407` `*-commutative_binary64_2396`
1×	`pow1/3_binary64_2547` `pow-pow_binary64_2537` `flip3--_binary64_2469` `flip--_binary64_2440` `unpow3_binary64_2531` `cube-mult_binary64_2495`

Counts

4 → 97

Calls

4 calls:

17.0ms	(.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (.f64 (-.f64 (*.f64 (pow.f64 im 3) -1/6) im) (cbrt.f64 (cos.f64 re))))
6.0ms	(*.f64 (pow.f64 im 3) -1/6)
2.0ms	(pow.f64 (cos.f64 re) 2)
1.0ms	(cbrt.f64 (cos.f64 re))

Compiler

Compiled 3938 to 2660 computations (32.5% saved)

series419.0ms (3.8%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

220.0ms	(.f64 (pow.f64 (pow.f64 (cos.f64 re) 2) 1/3) (.f64 (-.f64 (*.f64 (pow.f64 im 3) -1/6) im) (cbrt.f64 (cos.f64 re))))
85.0ms	(cbrt.f64 (cos.f64 re))
37.0ms	(*.f64 (pow.f64 im 3) -1/6)
34.0ms	(pow.f64 (cos.f64 re) 2)

Compiler

Compiled 2272 to 1743 computations (23.3% saved)

simplify51.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5158	1815

prune246.0ms (2.2%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	4	5	9
Picked	1	0	1
Done	0	3	3
Total	126	11	137

Error

0.0b

Counts

137 → 11

Compiler

Compiled 4448 to 3017 computations (32.2% saved)

regimes1.2s (10.7%)

Accuracy

Total 0.6b remaining (97.9%)

Threshold costs 0.6b (97.9%)

Compiler

Compiled 14219 to 10779 computations (24.2% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	159	40
1	159	40

end0.0ms (0%)

sample5.7s (51.9%)

Algorithm

1×

intervals

Results

1.8s	4894×	body	1024	valid
433.0ms	1948×	body	1024	invalid
368.0ms	1721×	body	512	valid
224.0ms	408×	body	2048	valid
164.0ms	975×	body	512	invalid
82.0ms	638×	body	256	valid
57.0ms	460×	body	256	invalid
44.0ms	708×	body	128	invalid
21.0ms	339×	body	128	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 2386 to 1804 computations (24.4% saved)

Details

analyze508.0ms (4.6%)

sample118.0ms (1.1%)

simplify86.0ms (0.8%)

prune4.0ms (0%)

localize13.0ms (0.1%)

rewrite70.0ms (0.6%)

series202.0ms (1.8%)

simplify73.0ms (0.7%)

prune52.0ms (0.5%)

localize21.0ms (0.2%)

rewrite218.0ms (2%)

series619.0ms (5.6%)

simplify75.0ms (0.7%)

prune229.0ms (2.1%)

localize21.0ms (0.2%)

rewrite153.0ms (1.4%)

series405.0ms (3.7%)

simplify74.0ms (0.7%)

prune190.0ms (1.7%)

localize23.0ms (0.2%)

rewrite244.0ms (2.2%)

series419.0ms (3.8%)

simplify51.0ms (0.5%)

prune246.0ms (2.2%)

regimes1.2s (10.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample5.7s (51.9%)

Profiling