Details

analyze335.0ms (7.1%)

Algorithm

1×	search
2×	egg-herbie

Rules

1106×	`div-sub_binary64`
857×	`sub-neg_binary64`
697×	`associate-/r*_binary64`
626×	`distribute-rgt-in_binary64`
464×	`neg-mul-1_binary64`
413×	`neg-sub0_binary64`
403×	`distribute-frac-neg_binary64`
398×	`unsub-neg_binary64`
376×	`times-frac_binary64`
317×	`distribute-rgt-neg-in_binary64`
289×	`distribute-lft-neg-in_binary64`
274×	`*-commutative_binary64`
252×	`associate-/l*_binary64`
251×	`cancel-sign-sub-inv_binary64`
223×	`associate-/r/_binary64`
220×	`associate-*l/_binary64`
199×	`distribute-neg-frac_binary64`
198×	`distribute-lft-neg-out_binary64`
188×	`distribute-rgt-neg-out_binary64`
186×	`+-commutative_binary64`
183×	`associate-/l/_binary64`
179×	`associate-+l-_binary64`
177×	`distribute-neg-in_binary64`
174×	`cancel-sign-sub_binary64`
171×	`associate--l-_binary64`
165×	`associate--r-_binary64`
118×	`associate--r+_binary64`
88×	`associate-+l+_binary64`
82×	`distribute-lft-in_binary64`
80×	`distribute-neg-out_binary64`
79×	`associate--l+_binary64`
72×	`associate-+r-_binary64`
68×	`associate-r_binary64`
61×	`associate-l_binary64`
58×	`associate-+r+_binary64`
48×	`sub0-neg_binary64`
46×	`--rgt-identity_binary64`
44×	`/-rgt-identity_binary64` `remove-double-neg_binary64`
39×	`*-lft-identity_binary64`
36×	`distribute-rgt-out--_binary64`
30×	`mul0-lft_binary64`
26×	`+-rgt-identity_binary64` `div0_binary64` `distribute-lft-out--_binary64`
20×	`+-lft-identity_binary64`
19×	`associate-*r/_binary64`
14×	`distribute-rgt1-in_binary64`
12×	`*-rgt-identity_binary64`
8×	`remove-double-div_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out_binary64`
5×	`mul0-rgt_binary64`
4×	`mul-1-neg_binary64` `*-inverses_binary64`
1×	`1-exp_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `distribute-lft-out_binary64` `count-2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	38
1	33	38
2	56	38
3	99	38
4	171	38
5	310	38
6	619	38
7	1191	38
8	2566	38
9	3278	38
10	3409	38
11	3557	38
12	3617	38
13	3621	38
14	3646	38
15	3790	38
16	3881	38
17	3991	38
18	4027	38
19	4045	38
20	4045	38
21	4661	38
22	4747	38
23	4733	38
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 20 to 16 computations (20% saved)

sample36.0ms (0.8%)

Algorithm

1×

intervals

Results

9.0ms	256×	pre	128	true
6.0ms	181×	body	128	valid
6.0ms	39×	body	1024	valid
2.0ms	21×	body	512	valid
1.0ms	11×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 33 to 29 computations (12.1% saved)

simplify253.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

1179×	`div-sub_binary64`
672×	`sub-neg_binary64`
434×	`cancel-sign-sub-inv_binary64`
422×	`associate-/l*_binary64`
385×	`distribute-rgt-neg-in_binary64`
383×	`neg-mul-1_binary64`
347×	`distribute-rgt-in_binary64`
342×	`*-commutative_binary64`
339×	`neg-sub0_binary64`
326×	`distribute-lft-neg-in_binary64`
323×	`distribute-frac-neg_binary64`
321×	`unsub-neg_binary64`
282×	`distribute-neg-frac_binary64`
259×	`associate--r+_binary64`
251×	`distribute-lft-in_binary64`
241×	`associate-/r/_binary64`
240×	`distribute-neg-in_binary64`
210×	`distribute-rgt-neg-out_binary64`
191×	`distribute-lft-neg-out_binary64`
164×	`associate--l+_binary64`
147×	`associate--r-_binary64`
146×	`+-commutative_binary64`
141×	`times-frac_binary64`
115×	`associate-/r*_binary64`
110×	`associate--l-_binary64`
109×	`associate-/l/_binary64`
105×	`associate-+l-_binary64`
99×	`distribute-neg-out_binary64`
82×	`associate-*l/_binary64`
73×	`remove-double-neg_binary64`
49×	`associate-*r/_binary64`
45×	`associate-r_binary64` `associate-+r-_binary64`
35×	`sub0-neg_binary64` `cancel-sign-sub_binary64`
34×	`--rgt-identity_binary64`
30×	`/-rgt-identity_binary64`
29×	`associate-l_binary64`
28×	`*-lft-identity_binary64` `associate-+l+_binary64`
22×	`associate-+r+_binary64`
21×	`distribute-rgt-out_binary64`
20×	`*-rgt-identity_binary64`
18×	`remove-double-div_binary64`
17×	`distribute-rgt1-in_binary64`
15×	`distribute-rgt-out--_binary64`
14×	`+-rgt-identity_binary64` `+-lft-identity_binary64`
12×	`div0_binary64`
11×	`distribute-lft-out--_binary64`
10×	`mul0-rgt_binary64`
9×	`mul-1-neg_binary64`
7×	`mul0-lft_binary64`
6×	`distribute-lft-out_binary64`
3×	`*-inverses_binary64` `distribute-lft1-in_binary64`
1×	`1-exp_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `count-2_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	23	19
2	39	19
3	63	19
4	104	19
5	204	19
6	320	19
7	513	19
8	943	19
9	2087	19
10	2930	19
11	3705	19
12	3906	19
13	4077	19
14	4165	19
15	4198	19
16	4200	19
17	4320	19
18	4594	19
19	4698	19
20	4698	19
21	5018	19

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

18.6b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
2.2b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite119.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

17.7b

Rules

58×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
19×	`distribute-lft-out_binary64`
14×	`add-cube-cbrt_binary64`
6×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`associate-/l_binary64` `associate-/r_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1_binary64` `flip3-+_binary64` `flip-+_binary64` `div-sub_binary64` `associate-/l/_binary64` `associate-/r/_binary64`
1×	`sum-log_binary64` `associate-+l-_binary64` `+-commutative_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `flip3--_binary64` `flip--_binary64`

Counts

2 → 65

Calls

2 calls:

18.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
11.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 1147 to 611 computations (46.7% saved)

series151.0ms (3.2%)

Error

0.0b

Counts

2 → 40

Calls

2 calls:

64.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)
45.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 2768 to 2226 computations (19.6% saved)

simplify125.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

577×	`times-frac_binary64`
485×	`distribute-rgt-in_binary64`
361×	`cancel-sign-sub-inv_binary64`
350×	`sub-neg_binary64`
161×	`+-commutative_binary64`
156×	`neg-mul-1_binary64`
146×	`associate-+r+_binary64`
143×	`associate-+l+_binary64`
131×	`associate--r+_binary64`
127×	`distribute-neg-in_binary64`
113×	`associate--l+_binary64`
110×	`div-sub_binary64`
86×	`associate-/l*_binary64`
79×	`distribute-lft-in_binary64`
77×	`associate-/r*_binary64`
61×	`*-commutative_binary64`
58×	`neg-sub0_binary64`
55×	`unswap-sqr_binary64`
51×	`distribute-neg-frac_binary64`
46×	`unsub-neg_binary64`
41×	`sqr-pow_binary64`
33×	`distribute-rgt-neg-in_binary64`
30×	`associate-r/_binary64` `associate-r*_binary64`
28×	`associate-*l/_binary64`
25×	`distribute-lft-neg-in_binary64` `associate-l_binary64`
24×	`cube-prod_binary64`
20×	`associate-/l/_binary64`
19×	`distribute-rgt-out_binary64`
13×	`distribute-rgt1-in_binary64` `associate-/r/_binary64`
11×	`unpow3_binary64` `*-rgt-identity_binary64` `distribute-lft-neg-out_binary64`
9×	`log-prod_binary64` `cube-unmult_binary64` `cube-div_binary64` `distribute-rgt-out--_binary64`
8×	`/-rgt-identity_binary64`
7×	`pow-plus_binary64` `exp-sum_binary64` `distribute-lft-out_binary64`
6×	`log-div_binary64`
5×	`unpow2_binary64` `unpow1/2_binary64` `exp-prod_binary64` `exp-diff_binary64` `cube-mult_binary64`
4×	`unpow1_binary64` `rem-sqrt-square_binary64` `swap-sqr_binary64` `distribute-rgt-neg-out_binary64`
3×	`*-lft-identity_binary64` `associate--r-_binary64` `associate-+l-_binary64`
2×	`mul-1-neg_binary64` `distribute-lft1-in_binary64` `associate-+r-_binary64`
1×	`prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `cube-neg_binary64` `sqr-neg_binary64` `remove-double-neg_binary64` `pow-sqr_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate--l-_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `count-2_binary64`

Counts

105 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	268	3385
1	755	3272
2	2485	3122
3	4744	3116
4	5009	3116

prune74.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	88	4	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	5	93

Error

0.0b

Counts

93 → 5

Compiler

Compiled 2025 to 1289 computations (36.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 2 (*.f64 2 beta)) alpha)

rewrite31.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64` `*-un-lft-identity_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l_binary64` `associate-/r_binary64`
2×	`associate-/l/_binary64`
1×	`pow1_binary64` `div-exp_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64` `flip3-+_binary64` `flip-+_binary64`

Counts

1 → 29

Calls

1 calls:

5.0ms

(/.f64 (+.f64 2 (*.f64 2 beta)) alpha)

Compiler

Compiled 516 to 398 computations (22.9% saved)

series28.0ms (0.6%)

Error

0.0b

Counts

1 → 9

Calls

1 calls:

24.0ms

(/.f64 (+.f64 2 (*.f64 2 beta)) alpha)

Compiler

Compiled 185 to 173 computations (6.5% saved)

simplify84.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

580×	`distribute-rgt-out_binary64`
472×	`times-frac_binary64`
416×	`div-sub_binary64`
353×	`associate-l_binary64`
347×	`associate-/l*_binary64`
293×	`associate-r_binary64`
224×	`distribute-lft-out_binary64`
222×	`distribute-rgt-in_binary64`
201×	`associate-/l/_binary64`
199×	`distribute-lft-in_binary64`
162×	`associate-*l/_binary64`
128×	`associate-/r*_binary64`
98×	`*-commutative_binary64`
94×	`associate--l+_binary64`
86×	`sub-neg_binary64`
85×	`associate-*r/_binary64`
75×	`associate-/r/_binary64`
70×	`associate-+l+_binary64`
68×	`associate--l-_binary64`
65×	`cancel-sign-sub-inv_binary64`
55×	`associate-+r+_binary64`
48×	`distribute-rgt1-in_binary64`
46×	`*-lft-identity_binary64`
41×	`*-rgt-identity_binary64`
36×	`distribute-rgt-neg-in_binary64`
34×	`cube-prod_binary64`
30×	`distribute-neg-in_binary64`
29×	`unsub-neg_binary64`
28×	`+-commutative_binary64`
27×	`distribute-lft1-in_binary64`
26×	`log-prod_binary64`
24×	`distribute-lft-neg-in_binary64`
23×	`cube-div_binary64`
21×	`log-div_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `distribute-rgt-out--_binary64` `associate-+l-_binary64`
18×	`distribute-lft-neg-out_binary64`
15×	`exp-prod_binary64` `sqr-pow_binary64` `distribute-rgt-neg-out_binary64` `associate--r-_binary64`
13×	`/-rgt-identity_binary64` `swap-sqr_binary64`
11×	`sub0-neg_binary64`
9×	`unpow3_binary64` `cube-mult_binary64`
8×	`associate-+r-_binary64`
7×	`+-rgt-identity_binary64` `associate--r+_binary64`
5×	`--rgt-identity_binary64`
4×	`exp-sum_binary64` `cube-unmult_binary64`
3×	`log-rec_binary64` `exp-lft-sqr_binary64` `distribute-neg-frac_binary64` `distribute-lft-out--_binary64`
2×	`mul0-rgt_binary64` `mul0-lft_binary64` `unswap-sqr_binary64` `distribute-neg-out_binary64` `count-2_binary64`
1×	`unpow1_binary64` `prod-exp_binary64` `exp-diff_binary64` `1-exp_binary64` `remove-double-neg_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `+-lft-identity_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64`

Counts

38 → 19

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	67	639
1	156	592
2	364	592
3	878	592
4	3221	571
5	4585	571
6	5423	571

prune17.0ms (0.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	19	5	24

Error

0.0b

Counts

24 → 5

Compiler

Compiled 365 to 276 computations (24.4% saved)

localize38.0ms (0.8%)

Local error

Found 4 expressions with local error:

5.8b	(+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (.f64 10 (/.f64 (*.f64 beta beta) (pow.f64 alpha 3)))))
7.0b	(/.f64 beta (*.f64 alpha alpha))
12.9b	(-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
15.9b	(/.f64 (*.f64 beta beta) (pow.f64 alpha 3))

rewrite590.0ms (12.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

123×	`frac-add_binary64`
79×	`associate-*r/_binary64`
63×	`add-log-exp_binary64`
49×	`frac-sub_binary64`
37×	`flip3-+_binary64` `flip-+_binary64`
33×	`sum-log_binary64`
24×	`*-un-lft-identity_binary64`
22×	`add-exp-log_binary64`
15×	`add-sqr-sqrt_binary64` `times-frac_binary64`
14×	`add-cbrt-cube_binary64`
13×	`add-cube-cbrt_binary64` `associate-/r*_binary64`
12×	`diff-log_binary64`
8×	`div-exp_binary64`
7×	`frac-times_binary64` `associate-*l/_binary64`
6×	`unpow-prod-down_binary64` `cube-prod_binary64`
4×	`pow1_binary64` `prod-exp_binary64` `cbrt-undiv_binary64` `associate-/l*_binary64` `distribute-lft-out_binary64`
3×	`cancel-sign-sub-inv_binary64` `distribute-lft-out--_binary64`
2×	`pow-to-exp_binary64` `pow-exp_binary64` `cbrt-unprod_binary64` `frac-2neg_binary64` `unpow3_binary64` `cube-mult_binary64` `sqr-pow_binary64` `clear-num_binary64` `div-inv_binary64`
1×	`flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `difference-of-squares_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+r+_binary64` `+-commutative_binary64`

Counts

4 → 161

Calls

4 calls:

57.0ms	(-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
25.0ms	(+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (.f64 10 (/.f64 (*.f64 beta beta) (pow.f64 alpha 3)))))
7.0ms	(/.f64 (*.f64 beta beta) (pow.f64 alpha 3))
4.0ms	(/.f64 beta (*.f64 alpha alpha))

Compiler

Compiled 21651 to 12368 computations (42.9% saved)

series301.0ms (6.4%)

Error

0.0b

Counts

4 → 38

Calls

4 calls:

137.0ms	(-.f64 (+.f64 (/.f64 2 alpha) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (.f64 10 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))) (+.f64 (.f64 6 (/.f64 beta (.f64 alpha alpha))) (+.f64 (/.f64 4 (.f64 alpha alpha)) (.f64 2 (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))
68.0ms	(+.f64 (/.f64 8 (pow.f64 alpha 3)) (+.f64 (.f64 16 (/.f64 beta (pow.f64 alpha 3))) (.f64 10 (/.f64 (*.f64 beta beta) (pow.f64 alpha 3)))))
34.0ms	(/.f64 (*.f64 beta beta) (pow.f64 alpha 3))
30.0ms	(/.f64 beta (*.f64 alpha alpha))

Compiler

Compiled 4476 to 3161 computations (29.4% saved)

simplify334.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

881×	`distribute-rgt-in_binary64`
224×	`times-frac_binary64` `cancel-sign-sub-inv_binary64`
216×	`*-commutative_binary64`
192×	`distribute-rgt-neg-in_binary64`
137×	`distribute-lft-neg-in_binary64`
121×	`sub-neg_binary64`
104×	`distribute-neg-in_binary64`
99×	`associate-l_binary64`
93×	`associate-r_binary64`
87×	`neg-mul-1_binary64`
85×	`neg-sub0_binary64`
83×	`distribute-lft-in_binary64`
56×	`distribute-lft-neg-out_binary64`
53×	`unswap-sqr_binary64`
47×	`sqr-pow_binary64` `+-commutative_binary64`
27×	`cube-prod_binary64`
21×	`swap-sqr_binary64` `associate-/l*_binary64`
20×	`unpow3_binary64` `associate-*r/_binary64`
18×	`exp-prod_binary64` `cube-mult_binary64`
16×	`cube-div_binary64`
15×	`distribute-neg-frac_binary64`
14×	`associate-/r*_binary64`
13×	`log-prod_binary64`
11×	`associate--r+_binary64`
10×	`distribute-rgt-out_binary64` `associate-*l/_binary64` `associate--l+_binary64` `associate-+r+_binary64`
8×	`prod-exp_binary64`
7×	`log-div_binary64` `exp-sum_binary64` `difference-of-squares_binary64` `distribute-rgt-out--_binary64`
5×	`div-exp_binary64` `pow-sqr_binary64` `associate-+r-_binary64`
4×	`cube-unmult_binary64`
3×	`log-pow_binary64` `pow-plus_binary64`
2×	`unpow2_binary64` `unpow1_binary64` `exp-lft-sqr_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `/-rgt-identity_binary64` `distribute-lft-out_binary64` `count-2_binary64`
1×	`exp-diff_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `unsub-neg_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `associate-+l+_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-rec_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow1/2_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `div-sub_binary64` `mul-1-neg_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+l-_binary64`

Counts

199 → 164

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	530	22169
1	2028	21051
2	5271	21051

prune287.0ms (6.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	164	5	169

Error

0.0b

Counts

169 → 5

Compiler

Compiled 14014 to 8297 computations (40.8% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta)))

rewrite21.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64`
1×	`sum-log_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-r/_binary64` `frac-add_binary64` `flip3-+_binary64` `-un-lft-identity_binary64` `flip-+_binary64` `div-inv_binary64` `distribute-lft-out_binary64` `+-commutative_binary64`

Counts

1 → 13

Calls

1 calls:

7.0ms

(+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta)))

Compiler

Compiled 294 to 204 computations (30.6% saved)

series31.0ms (0.7%)

Error

0.0b

Counts

1 → 9

Calls

1 calls:

26.0ms

(+.f64 (/.f64 2 beta) (*.f64 2 (/.f64 alpha beta)))

Compiler

Compiled 223 to 211 computations (5.4% saved)

simplify63.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

630×	`associate-*l/_binary64`
573×	`times-frac_binary64`
470×	`associate-/l*_binary64`
365×	`distribute-rgt-in_binary64`
325×	`distribute-lft-in_binary64`
262×	`distribute-rgt-out_binary64`
259×	`associate-l_binary64`
216×	`associate-r_binary64`
203×	`distribute-lft-out_binary64`
149×	`associate-*r/_binary64`
103×	`associate-/l/_binary64`
102×	`cancel-sign-sub-inv_binary64`
86×	`distribute-rgt-neg-in_binary64`
77×	`associate-/r/_binary64`
69×	`distribute-neg-frac_binary64`
67×	`distribute-lft-neg-in_binary64`
65×	`associate-/r*_binary64`
56×	`*-commutative_binary64`
43×	`distribute-rgt-out--_binary64`
38×	`sqr-pow_binary64`
33×	`sub-neg_binary64`
29×	`distribute-lft-neg-out_binary64`
24×	`prod-exp_binary64`
22×	`neg-sub0_binary64`
19×	`neg-mul-1_binary64`
17×	`cube-prod_binary64`
16×	`unswap-sqr_binary64`
15×	`distribute-lft-out--_binary64` `+-commutative_binary64`
14×	`exp-prod_binary64`
12×	`unpow3_binary64` `distribute-rgt-neg-out_binary64`
11×	`-rgt-identity_binary64` `-lft-identity_binary64` `associate-+l+_binary64`
10×	`cube-mult_binary64` `cube-div_binary64` `unsub-neg_binary64`
9×	`swap-sqr_binary64`
8×	`distribute-neg-in_binary64`
7×	`div-sub_binary64` `associate-+r+_binary64`
6×	`associate-+r-_binary64`
5×	`cube-unmult_binary64` `+-rgt-identity_binary64` `distribute-rgt1-in_binary64` `associate-+l-_binary64`
4×	`log-prod_binary64` `pow-sqr_binary64`
3×	`unpow1_binary64` `exp-lft-sqr_binary64` `sub0-neg_binary64` `difference-of-squares_binary64`
2×	`unpow1/2_binary64` `exp-sum_binary64` `count-2_binary64`
1×	`pow-plus_binary64` `1-exp_binary64` `distribute-lft1-in_binary64` `associate--l+_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow2_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--r+_binary64`

Counts

22 → 12

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	41	370
1	125	331
2	426	331
3	1490	327
4	4606	321
5	5224	321

prune8.0ms (0.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	12	5	17

Error

0.0b

Counts

17 → 5

Compiler

Compiled 131 to 96 computations (26.7% saved)

regimes593.0ms (12.6%)

Accuracy

Total 0.0b remaining (0.4%)

Threshold costs 0.0b (0.4%)

Compiler

Compiled 10018 to 7555 computations (24.6% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

20×	`+-commutative_binary64`
14×	`*-commutative_binary64`
12×	`sub-neg_binary64`
10×	`neg-mul-1_binary64` `neg-sub0_binary64`
5×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
4×	`unsub-neg_binary64` `distribute-neg-in_binary64`
3×	`distribute-neg-frac_binary64`
1×	`1-exp_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	143
1	59	143
2	70	143
3	91	143
4	117	143
5	132	143
6	142	143
7	146	143
8	147	143
9	143	143

end2.0ms (0%)

Compiler: Compiled 95 to 56 computations (41.1% saved)

sample1.1s (24.4%)

Algorithm

1×

intervals

Results

214.0ms	5960×	body	128	valid
148.0ms	8000×	pre	128	true
136.0ms	1042×	body	1024	valid
68.0ms	613×	body	512	valid
21.0ms	300×	body	256	valid
14.0ms	85×	body	2048	valid

Compiler

Compiled 321 to 228 computations (29% saved)

Iter	Nodes	Cost
0	41	143
1	59	143
2	70	143
3	91	143
4	117	143
5	132	143
6	142	143
7	146	143
8	147	143
9	143	143

Iter	Nodes	Cost
0	41	143
1	59	143
2	70	143
3	91	143
4	117	143
5	132	143
6	142	143
7	146	143
8	147	143
9	143	143

Details

analyze335.0ms (7.1%)

sample36.0ms (0.8%)

simplify253.0ms (5.4%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

rewrite119.0ms (2.5%)

series151.0ms (3.2%)

simplify125.0ms (2.7%)

prune74.0ms (1.6%)

localize6.0ms (0.1%)

rewrite31.0ms (0.7%)

series28.0ms (0.6%)

simplify84.0ms (1.8%)

prune17.0ms (0.4%)

localize38.0ms (0.8%)

rewrite590.0ms (12.5%)

series301.0ms (6.4%)

simplify334.0ms (7.1%)

prune287.0ms (6.1%)

localize8.0ms (0.2%)

rewrite21.0ms (0.4%)

series31.0ms (0.7%)

simplify63.0ms (1.3%)

prune8.0ms (0.2%)

regimes593.0ms (12.6%)

bsearch3.0ms (0.1%)

simplify10.0ms (0.2%)

end2.0ms (0%)

sample1.1s (24.4%)

Profiling

Iter	Nodes	Cost
0	41	143
1	59	143
2	70	143
3	91	143
4	117	143
5	132	143
6	142	143
7	146	143
8	147	143
9	143	143