Details

analyze2.3s (15.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5136	473
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
12.5%	87.3%	0.2%	9
12.5%	87.3%	0.2%	10
18.7%	81.1%	0.2%	11
18.7%	81.1%	0.2%	12
18.7%	81.1%	0.2%	13
20.5%	79.3%	0.2%	14

Compiler

Compiled 30 to 24 computations (20% saved)

sample51.0ms (0.3%)

Algorithm

1×

intervals

Results

29.0ms	253×	body	128	valid
3.0ms	6×	body	1024	invalid
1.0ms	11×	body	128	invalid
0.0ms	1×	body	2048	invalid
0.0ms	2×	body	256	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 59 to 52 computations (11.9% saved)

simplify50.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5097	43

prune5.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

14.0b

Counts

2 → 1

Compiler

Compiled 56 to 44 computations (21.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
0.0b	(-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)
0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
33.3b	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))

rewrite150.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

13.9b

Rules

15×	`add-sqr-sqrt_binary64_782`
14×	`*-un-lft-identity_binary64_760`
8×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799`
6×	`cancel-sign-sub-inv_binary64_726` `unpow-prod-down_binary64_839`
5×	`pow1_binary64_821` `add-exp-log_binary64_798`
4×	`cos-sum_binary64_894` `add-cbrt-cube_binary64_796`
3×	`difference-of-squares_binary64_729` `pow-unpow_binary64_837`
2×	`sub-neg_binary64_753` `distribute-lft-out--_binary64_712`
1×	`cos-diff_binary64_897` `times-frac_binary64_766` `pow-pow_binary64_832` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `unpow2_binary64_825` `sqr-pow_binary64_732` `diff-log_binary64_852` `flip3--_binary64_764` `flip--_binary64_735` `sum-log_binary64_851` `flip3-+_binary64_763` `flip-+_binary64_734` `distribute-lft-out_binary64_711` `+-commutative_binary64_690`

Counts

4 → 61

Calls

4 calls:

15.0ms	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
15.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
9.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
9.0ms	(-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)

Compiler

Compiled 2347 to 1174 computations (50% saved)

series1.5s (10.1%)

Error

0.6b

Counts

4 → 97

Calls

4 calls:

623.0ms	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
299.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
267.0ms	(-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)
142.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))

Compiler

Compiled 8426 to 5727 computations (32% saved)

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4999	3021
1	4999	3021

prune216.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	154	4	158
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	155	4	159

Error

0.6b

Counts

159 → 4

Compiler

Compiled 5290 to 2451 computations (53.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
0.0b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
0.0b	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)

rewrite173.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

23×	`*-un-lft-identity_binary64_760`
19×	`add-sqr-sqrt_binary64_782`
11×	`add-log-exp_binary64_799`
10×	`add-cube-cbrt_binary64_795`
8×	`associate-r_binary64_700` `cancel-sign-sub-inv_binary64_726`
7×	`pow1_binary64_821`
6×	`unpow-prod-down_binary64_839` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`exp-sum_binary64_806`
4×	`distribute-lft-out_binary64_711`
3×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `pow-unpow_binary64_837` `associate-l_binary64_701`
2×	`sum-log_binary64_851` `sub-neg_binary64_753` `diff-log_binary64_852`
1×	`times-frac_binary64_766` `pow-pow_binary64_832` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `unpow2_binary64_825` `sqr-pow_binary64_732` `flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690` `pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `unswap-sqr_binary64_728` `exp-diff_binary64_808` `associate-r/_binary64_702` `-commutative_binary64_691` `flip3--_binary64_764` `flip--_binary64_735` `associate--r+_binary64_696`

Counts

4 → 77

Calls

4 calls:

23.0ms	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
16.0ms	(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
15.0ms	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
13.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)

Compiler

Compiled 2450 to 1239 computations (49.4% saved)

series2.0s (13.9%)

Error

0.6b

Counts

4 → 105

Calls

4 calls:

628.0ms	(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
595.0ms	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
396.0ms	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
280.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)

Compiler

Compiled 7966 to 5513 computations (30.8% saved)

simplify90.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5015	4772

prune204.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	182	4	186

Error

0.6b

Counts

186 → 4

Compiler

Compiled 4938 to 2239 computations (54.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))))
0.0b	(log.f64 (exp.f64 (*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))))))
0.0b	(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))
0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)

rewrite176.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

22×	`*-un-lft-identity_binary64_760`
20×	`add-sqr-sqrt_binary64_782`
11×	`add-cube-cbrt_binary64_795`
10×	`add-log-exp_binary64_799`
8×	`pow1_binary64_821` `cancel-sign-sub-inv_binary64_726` `associate-r_binary64_700`
6×	`unpow-prod-down_binary64_839` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`exp-sum_binary64_806`
3×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `pow-unpow_binary64_837` `distribute-lft-out_binary64_711` `log-pow_binary64_849` `log-prod_binary64_846` `associate-l_binary64_701`
2×	`diff-log_binary64_852` `sub-neg_binary64_753`
1×	`times-frac_binary64_766` `pow-pow_binary64_832` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `unpow2_binary64_825` `sqr-pow_binary64_732` `sum-log_binary64_851` `flip3--_binary64_764` `flip--_binary64_735` `associate--r+_binary64_696` `exp-to-pow_binary64_822` `exp-prod_binary64_812` `rem-log-exp_binary64_801` `pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `unswap-sqr_binary64_728` `exp-diff_binary64_808` `associate-r/_binary64_702` `-commutative_binary64_691`

Counts

4 → 79

Calls

4 calls:

26.0ms	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))))
17.0ms	(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))
11.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)
2.0ms	(log.f64 (exp.f64 (*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))))))

Compiler

Compiled 2710 to 1439 computations (46.9% saved)

series2.6s (17.9%)

Error

0.6b

Counts

4 → 84

Calls

4 calls:

1.2s	(log.f64 (exp.f64 (*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))))))
653.0ms	(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))
397.0ms	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))))
281.0ms	(pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)

Compiler

Compiled 7558 to 5348 computations (29.2% saved)

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5113	4875

prune209.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	163	4	167

Error

0.6b

Counts

167 → 4

Compiler

Compiled 4893 to 2352 computations (51.9% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))
33.3b	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
33.3b	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
33.3b	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))

rewrite151.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

12×	`cos-sum_binary64_894`
9×	`cancel-sign-sub-inv_binary64_726`
8×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
4×	`pow1_binary64_821` `add-log-exp_binary64_799` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
3×	`cos-diff_binary64_897` `sub-neg_binary64_753` `cbrt-prod_binary64_791`
1×	`pow1/3_binary64_842`

Counts

4 → 47

Calls

4 calls:

12.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
9.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
9.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
2.0ms	(cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))

Compiler

Compiled 3113 to 1533 computations (50.8% saved)

series1.2s (7.9%)

Error

0.6b

Counts

4 → 54

Calls

4 calls:

563.0ms	(cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))
160.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
159.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
150.0ms	(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))

Compiler

Compiled 9295 to 5925 computations (36.3% saved)

simplify127.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4846	2076
1	4846	2076

prune217.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	102	3	105

Error

0.6b

Counts

105 → 3

Compiler

Compiled 5818 to 2893 computations (50.3% saved)

regimes560.0ms (3.8%)

Accuracy

Total 0.2b remaining (17.9%)

Threshold costs 0.2b (17.9%)

Compiler

Compiled 6740 to 5754 computations (14.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	35
1	64	35

end0.0ms (0%)

sample2.4s (16.6%)

Algorithm

1×

intervals

Results

785.0ms	7837×	body	128	valid
34.0ms	84×	body	1024	invalid
29.0ms	65×	body	1024	valid
28.0ms	288×	body	128	invalid
26.0ms	89×	body	512	invalid
24.0ms	62×	body	512	valid
15.0ms	19×	body	2048	invalid
12.0ms	59×	body	256	invalid
8.0ms	35×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 1164 to 992 computations (14.8% saved)

Details

analyze2.3s (15.5%)

sample51.0ms (0.3%)

simplify50.0ms (0.3%)

prune5.0ms (0%)

localize19.0ms (0.1%)

rewrite150.0ms (1%)

series1.5s (10.1%)

simplify77.0ms (0.5%)

prune216.0ms (1.5%)

localize14.0ms (0.1%)

rewrite173.0ms (1.2%)

series2.0s (13.9%)

simplify90.0ms (0.6%)

prune204.0ms (1.4%)

localize16.0ms (0.1%)

rewrite176.0ms (1.2%)

series2.6s (17.9%)

simplify91.0ms (0.6%)

prune209.0ms (1.4%)

localize24.0ms (0.2%)

rewrite151.0ms (1%)

series1.2s (7.9%)

simplify127.0ms (0.9%)

prune217.0ms (1.5%)

regimes560.0ms (3.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.4s (16.6%)

Profiling