Details

analyze488.0ms (4.1%)

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)

sample119.0ms (1%)

Algorithm

1×

intervals

Results

56.0ms	148×	body	1024	valid
14.0ms	65×	body	1024	invalid
12.0ms	62×	body	512	valid
6.0ms	10×	body	2048	valid
5.0ms	33×	body	512	invalid
3.0ms	24×	body	256	valid
3.0ms	22×	body	256	invalid
2.0ms	25×	body	128	invalid
1.0ms	12×	body	128	valid

Compiler

Compiled 25 to 25 computations (0% saved)

simplify88.0ms (0.7%)

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.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

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

rewrite67.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

58.0b

Rules

10×	`add-sqr-sqrt_binary64_3169` `*-un-lft-identity_binary64_3147`
9×	`cancel-sign-sub-inv_binary64_3113`
7×	`pow1_binary64_3208` `add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
6×	`add-cube-cbrt_binary64_3182`
5×	`associate-r_binary64_3087`
4×	`add-log-exp_binary64_3186` `distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096`
3×	`sub-neg_binary64_3140` `pow-prod-down_binary64_3218` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
2×	`flip3--_binary64_3151` `flip--_binary64_3122` `difference-of-squares_binary64_3116` `distribute-lft-out--_binary64_3099` `associate-*r/_binary64_3089`
1×	`diff-log_binary64_3239` `associate-l_binary64_3088` `*-commutative_binary64_3078`

Counts

2 → 46

Calls

2 calls:

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

Compiler

Compiled 925 to 309 computations (66.6% saved)

series206.0ms (1.8%)

Error

0.1b

Counts

2 → 16

Calls

2 calls:

155.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
30.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 618 to 455 computations (26.4% saved)

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5053	1131

prune54.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.1b

Counts

63 → 2

Compiler

Compiled 1006 to 398 computations (60.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite279.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`add-sqr-sqrt_binary64_3169`
29×	`associate-r_binary64_3087`
24×	`add-exp-log_binary64_3185`
15×	`add-cbrt-cube_binary64_3183` `add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
12×	`prod-exp_binary64_3196` `unpow-prod-down_binary64_3226` `associate--l+_binary64_3084`
10×	`unswap-sqr_binary64_3115` `associate-l_binary64_3088`
9×	`pow1_binary64_3208`
6×	`cbrt-unprod_binary64_3180` `sqr-pow_binary64_3119` `sub-neg_binary64_3140` `distribute-rgt-in_binary64_3097` `cancel-sign-sub-inv_binary64_3113` `distribute-lft-in_binary64_3096`
4×	`add-log-exp_binary64_3186` `cube-prod_binary64_3175` `*-commutative_binary64_3078`
3×	`pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `pow-prod-down_binary64_3218`
2×	`associate-*r/_binary64_3089`
1×	`unpow3_binary64_3213` `cube-mult_binary64_3177` `flip3--_binary64_3151` `flip--_binary64_3122`

Counts

4 → 113

Calls

4 calls:

15.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (-.f64 (-.f64 (.f64 -2 im) (.f64 1/3 (pow.f64 im 3))) (.f64 1/60 (pow.f64 im 5))) (.f64 1/2520 (pow.f64 im 7))))
10.0ms	(*.f64 1/3 (pow.f64 im 3))
5.0ms	(*.f64 1/60 (pow.f64 im 5))
5.0ms	(*.f64 1/2520 (pow.f64 im 7))

Compiler

Compiled 3971 to 3092 computations (22.1% saved)

series455.0ms (3.9%)

Error

0.1b

Counts

4 → 21

Calls

4 calls:

286.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (-.f64 (-.f64 (.f64 -2 im) (.f64 1/3 (pow.f64 im 3))) (.f64 1/60 (pow.f64 im 5))) (.f64 1/2520 (pow.f64 im 7))))
54.0ms	(*.f64 1/2520 (pow.f64 im 7))
40.0ms	(*.f64 1/3 (pow.f64 im 3))
39.0ms	(*.f64 1/60 (pow.f64 im 5))

Compiler

Compiled 1692 to 1380 computations (18.4% saved)

simplify66.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5189	2814

prune281.0ms (2.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	127	7	134
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	128	8	136

Error

0.0b

Counts

136 → 8

Compiler

Compiled 4656 to 3591 computations (22.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite209.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64_3169`
25×	`associate-l_binary64_3088`
18×	`add-exp-log_binary64_3185`
15×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
12×	`add-cbrt-cube_binary64_3183` `associate-r_binary64_3087`
9×	`unswap-sqr_binary64_3115`
8×	`pow1_binary64_3208` `prod-exp_binary64_3196` `unpow-prod-down_binary64_3226`
4×	`add-log-exp_binary64_3186` `cbrt-unprod_binary64_3180` `cube-prod_binary64_3175` `sqr-pow_binary64_3119` `-commutative_binary64_3078` `associate-r/_binary64_3089`
2×	`pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `pow-prod-down_binary64_3218` `distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096` `flip3-+_binary64_3150` `flip-+_binary64_3121`
1×	`unpow3_binary64_3213` `cube-mult_binary64_3177`

Counts

4 → 100

Calls

4 calls:

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

Compiler

Compiled 3429 to 2431 computations (29.1% saved)

series682.0ms (5.8%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

331.0ms	(.f64 (cos.f64 re) (+.f64 im (.f64 (pow.f64 im 7) 1/5040)))
235.0ms	(.f64 (cos.f64 re) (+.f64 (.f64 (pow.f64 im 3) 1/6) (*.f64 (pow.f64 im 5) 1/120)))
42.0ms	(*.f64 (pow.f64 im 5) 1/120)
37.0ms	(*.f64 (pow.f64 im 3) 1/6)

Compiler

Compiled 2047 to 1557 computations (23.9% saved)

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4987	1968
1	4987	1968

prune233.0ms (2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	124	3	127
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	126	9	135

Error

0.0b

Counts

135 → 9

Compiler

Compiled 4381 to 3129 computations (28.6% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/60 (pow.f64 im 5))
0.1b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (-.f64 (-.f64 (.f64 -2 im) (.f64 1/3 (pow.f64 im 3))) (log.f64 (exp.f64 (.f64 1/60 (pow.f64 im 5))))) (.f64 1/2520 (pow.f64 im 7))))
0.2b	(*.f64 1/3 (pow.f64 im 3))
1.5b	(log.f64 (exp.f64 (*.f64 1/60 (pow.f64 im 5))))

rewrite305.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-sqr-sqrt_binary64_3169`
22×	`associate-r_binary64_3087` `associate--l+_binary64_3084`
19×	`add-exp-log_binary64_3185`
16×	`cancel-sign-sub-inv_binary64_3113`
15×	`add-cube-cbrt_binary64_3182` `*-un-lft-identity_binary64_3147`
13×	`add-cbrt-cube_binary64_3183`
12×	`pow1_binary64_3208`
11×	`distribute-rgt-in_binary64_3097` `distribute-lft-in_binary64_3096`
9×	`log-pow_binary64_3236` `prod-exp_binary64_3196`
8×	`unpow-prod-down_binary64_3226`
7×	`add-log-exp_binary64_3186` `unswap-sqr_binary64_3115` `associate-l_binary64_3088`
6×	`sub-neg_binary64_3140`
5×	`cbrt-unprod_binary64_3180`
4×	`cube-prod_binary64_3175` `sqr-pow_binary64_3119`
3×	`exp-to-pow_binary64_3209` `exp-prod_binary64_3199` `log-prod_binary64_3233` `*-commutative_binary64_3078` `pow-prod-down_binary64_3218`
2×	`pow-to-exp_binary64_3216` `pow-exp_binary64_3215` `associate-*r/_binary64_3089`
1×	`rem-log-exp_binary64_3188` `unpow3_binary64_3213` `cube-mult_binary64_3177` `flip3--_binary64_3151` `flip--_binary64_3122`

Counts

4 → 112

Calls

4 calls:

17.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (-.f64 (-.f64 (.f64 -2 im) (.f64 1/3 (pow.f64 im 3))) (log.f64 (exp.f64 (.f64 1/60 (pow.f64 im 5))))) (.f64 1/2520 (pow.f64 im 7))))
8.0ms	(*.f64 1/60 (pow.f64 im 5))
7.0ms	(*.f64 1/3 (pow.f64 im 3))
2.0ms	(log.f64 (exp.f64 (*.f64 1/60 (pow.f64 im 5))))

Compiler

Compiled 4257 to 3377 computations (20.7% saved)

series740.0ms (6.3%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

466.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (-.f64 (-.f64 (.f64 -2 im) (.f64 1/3 (pow.f64 im 3))) (log.f64 (exp.f64 (.f64 1/60 (pow.f64 im 5))))) (.f64 1/2520 (pow.f64 im 7))))
152.0ms	(log.f64 (exp.f64 (*.f64 1/60 (pow.f64 im 5))))
42.0ms	(*.f64 1/60 (pow.f64 im 5))
38.0ms	(*.f64 1/3 (pow.f64 im 3))

Compiler

Compiled 2100 to 1700 computations (19% saved)

simplify73.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5240	3331

prune268.0ms (2.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	139	9	148

Error

0.0b

Counts

148 → 9

Compiler

Compiled 4503 to 3464 computations (23.1% saved)

regimes1.1s (9.2%)

Accuracy

Total 0.6b remaining (97.3%)

Threshold costs 0.6b (97.3%)

Compiler

Compiled 16633 to 13502 computations (18.8% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	183	50
1	183	50

end0.0ms (0%)

sample5.9s (49.8%)

Algorithm

1×

intervals

Results

1.8s	4885×	body	1024	valid
433.0ms	1959×	body	1024	invalid
344.0ms	1685×	body	512	valid
215.0ms	385×	body	2048	valid
151.0ms	937×	body	512	invalid
90.0ms	656×	body	256	valid
53.0ms	490×	body	256	invalid
44.0ms	660×	body	128	invalid
28.0ms	389×	body	128	valid

Compiler

Compiled 2605 to 2102 computations (19.3% saved)

Details

analyze488.0ms (4.1%)

sample119.0ms (1%)

simplify88.0ms (0.7%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite67.0ms (0.6%)

series206.0ms (1.8%)

simplify74.0ms (0.6%)

prune54.0ms (0.5%)

localize18.0ms (0.2%)

rewrite279.0ms (2.4%)

series455.0ms (3.9%)

simplify66.0ms (0.6%)

prune281.0ms (2.4%)

localize18.0ms (0.1%)

rewrite209.0ms (1.8%)

series682.0ms (5.8%)

simplify71.0ms (0.6%)

prune233.0ms (2%)

localize20.0ms (0.2%)

rewrite305.0ms (2.6%)

series740.0ms (6.3%)

simplify73.0ms (0.6%)

prune268.0ms (2.3%)

regimes1.1s (9.2%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample5.9s (49.8%)

Profiling