Details

analyze292.0ms (1.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

1530×	`associate-/l*_binary64`
822×	`distribute-rgt-in_binary64`
784×	`+-commutative_binary64`
782×	`distribute-lft-in_binary64`
604×	`associate-/l/_binary64`
560×	`associate-l_binary64`
531×	`associate-+l+_binary64` `associate-+r+_binary64`
385×	`times-frac_binary64`
364×	`associate-/r/_binary64`
359×	`*-commutative_binary64`
292×	`distribute-rgt-out_binary64`
280×	`associate-*l/_binary64`
217×	`associate-r_binary64`
60×	`/-rgt-identity_binary64` `associate-/r*_binary64`
46×	`*-lft-identity_binary64`
36×	`remove-double-div_binary64`
35×	`sqr-pow_binary64`
24×	`*-rgt-identity_binary64`
19×	`distribute-rgt1-in_binary64` `associate-*r/_binary64`
15×	`distribute-lft-out_binary64`
10×	`swap-sqr_binary64`
6×	`distribute-lft1-in_binary64`
4×	`cube-div_binary64`
2×	`cube-prod_binary64`
1×	`unpow3_binary64` `1-exp_binary64` `cube-unmult_binary64` `cube-mult_binary64` `swap-alpha-beta`
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` `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-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` `div-sub_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-neg_binary64` `mul-1-neg_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` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	80
1	43	80
2	132	80
3	558	74
4	2748	74
5	2740	74
6	2924	74
7	3101	74
8	3476	74
9	3447	74
10	3681	74
11	3980	74
12	4234	74
13	4496	74
14	4932	74
15	4786	74
16	4793	74
17	4800	74
18	4807	74
19	4814	74
20	4821	74
21	4828	74
22	4850	74
23	4857	74
24	6300	74
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
0%	56.2%	43.8%	2
42.1%	14%	43.8%	3
42.1%	14%	43.8%	4
52.7%	3.5%	43.8%	5
56.2%	0%	43.8%	6

Symmetry

(sort alpha beta)

Compiler

Compiled 42 to 29 computations (31% saved)

sample43.0ms (0.2%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
4.0ms	256×	pre	128	true

Compiler

Compiled 77 to 55 computations (28.6% saved)

simplify232.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1227×	`associate-/l*_binary64`
689×	`distribute-rgt-in_binary64`
661×	`distribute-lft-in_binary64`
481×	`associate-/l/_binary64`
450×	`associate-l_binary64`
415×	`+-commutative_binary64`
389×	`associate-+r+_binary64`
388×	`associate-+l+_binary64`
333×	`*-commutative_binary64`
290×	`times-frac_binary64`
288×	`associate-/r/_binary64`
269×	`associate-*l/_binary64`
244×	`associate-/r*_binary64`
210×	`associate-r_binary64`
144×	`distribute-rgt-out_binary64`
60×	`/-rgt-identity_binary64` `*-lft-identity_binary64`
38×	`*-rgt-identity_binary64`
36×	`remove-double-div_binary64`
35×	`sqr-pow_binary64`
27×	`associate-*r/_binary64`
23×	`distribute-rgt1-in_binary64`
16×	`distribute-lft-out_binary64`
14×	`distribute-lft1-in_binary64`
10×	`swap-sqr_binary64`
4×	`cube-div_binary64`
2×	`cube-prod_binary64`
1×	`unpow3_binary64` `1-exp_binary64` `cube-unmult_binary64` `cube-mult_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` `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-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` `div-sub_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-neg_binary64` `mul-1-neg_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` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	36	40
2	110	40
3	444	37
4	2164	37
5	2127	37
6	2255	37
7	2514	37
8	2864	37
9	2835	37
10	2933	37
11	3060	37
12	3203	37
13	3503	37
14	4070	37
15	3881	37
16	3904	37
17	3911	37
18	3918	37
19	3925	37
20	3932	37
21	3939	37
22	3946	37
23	3953	37
24	5023	37

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

1.1b

Counts

2 → 2

Compiler

Compiled 85 to 60 computations (29.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
0.1b	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
0.1b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
20.0b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

rewrite414.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

77×	`*-un-lft-identity_binary64`
34×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-lft-out_binary64`
24×	`flip3-+_binary64` `flip-+_binary64`
21×	`add-sqr-sqrt_binary64` `associate-r_binary64`
18×	`associate-/r/_binary64`
16×	`frac-times_binary64`
15×	`add-cube-cbrt_binary64`
14×	`times-frac_binary64`
13×	`pow1_binary64`
11×	`swap-sqr_binary64`
10×	`prod-exp_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `cbrt-unprod_binary64` `associate-*l/_binary64`
9×	`associate-l_binary64`
8×	`associate-*r/_binary64`
7×	`associate-/l/_binary64`
6×	`associate-/r*_binary64`
5×	`associate-/l*_binary64`
4×	`add-log-exp_binary64`
3×	`div-inv_binary64` `unswap-sqr_binary64`
2×	`frac-2neg_binary64` `clear-num_binary64` `pow-prod-down_binary64` `*-commutative_binary64`
1×	`pow2_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `pow-sqr_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64`

Counts

4 → 158

Calls

4 calls:

27.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
26.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
16.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
16.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 5262 to 3194 computations (39.3% saved)

series736.0ms (4%)

Error

0.2b

Counts

4 → 65

Calls

4 calls:

279.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
141.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
104.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
39.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 13143 to 10492 computations (20.2% saved)

simplify207.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

352×	`distribute-rgt-in_binary64`
331×	`distribute-lft-in_binary64`
280×	`+-commutative_binary64`
219×	`associate-+r+_binary64`
208×	`*-commutative_binary64`
144×	`associate-*r/_binary64`
120×	`associate-/r/_binary64`
119×	`sub-neg_binary64`
112×	`associate-/r*_binary64`
97×	`associate-/l*_binary64`
78×	`distribute-neg-in_binary64`
74×	`times-frac_binary64`
61×	`associate-/l/_binary64`
60×	`cancel-sign-sub-inv_binary64`
45×	`sqr-pow_binary64` `unswap-sqr_binary64`
35×	`neg-mul-1_binary64` `neg-sub0_binary64`
26×	`associate--l+_binary64`
24×	`associate--r+_binary64`
21×	`associate-r_binary64`
16×	`distribute-rgt-neg-in_binary64` `associate-l_binary64`
14×	`swap-sqr_binary64`
11×	`cube-unmult_binary64` `*-rgt-identity_binary64` `distribute-rgt-out_binary64`
8×	`log-div_binary64` `unpow2_binary64` `exp-prod_binary64` `distribute-lft-neg-in_binary64`
7×	`log-prod_binary64`
6×	`unpow3_binary64` `unpow1_binary64` `exp-sum_binary64` `cube-mult_binary64` `distribute-neg-frac_binary64`
5×	`*-lft-identity_binary64` `associate-+r-_binary64`
4×	`cube-prod_binary64`
2×	`rem-sqrt-square_binary64` `/-rgt-identity_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out_binary64` `associate-*l/_binary64`
1×	`1-exp_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-square-sqrt_binary64` `div-sub_binary64` `unsub-neg_binary64` `pow-sqr_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `count-2_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` `unpow1/2_binary64` `pow-plus_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` `prod-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-div_binary64` `cube-neg_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `mul-1-neg_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` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+l-_binary64`

Counts

223 → 203

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	870	13292
1	2903	11837
2	5042	11837

prune359.0ms (2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	197	6	203
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	198	7	205

Error

0.0b

Counts

205 → 7

Compiler

Compiled 8626 to 5948 computations (31% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite386.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

192×	`*-un-lft-identity_binary64`
89×	`times-frac_binary64`
82×	`distribute-lft-out_binary64`
60×	`add-sqr-sqrt_binary64`
48×	`add-cube-cbrt_binary64`
38×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
26×	`associate-l_binary64` `associate-r_binary64`
15×	`div-exp_binary64` `cbrt-undiv_binary64` `associate-/r*_binary64`
10×	`associate-/r/_binary64`
9×	`associate-/l*_binary64`
8×	`prod-exp_binary64` `cbrt-unprod_binary64`
7×	`associate-/l/_binary64` `flip3-+_binary64` `flip-+_binary64`
6×	`pow1_binary64`
5×	`div-inv_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64`
3×	`frac-2neg_binary64` `clear-num_binary64`
2×	`frac-times_binary64` `associate-l/_binary64` `associate-r/_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 202

Calls

4 calls:

35.0ms	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
28.0ms	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
10.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))
9.0ms	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 5580 to 3723 computations (33.3% saved)

series662.0ms (3.6%)

Error

0.0b

Counts

4 → 61

Calls

4 calls:

277.0ms	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
141.0ms	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
50.0ms	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))
43.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 12409 to 9784 computations (21.2% saved)

simplify279.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

366×	`distribute-rgt-in_binary64`
343×	`distribute-lft-in_binary64`
245×	`+-commutative_binary64`
197×	`*-commutative_binary64`
180×	`associate-+r+_binary64`
150×	`associate-/l/_binary64`
145×	`associate-*r/_binary64`
144×	`sub-neg_binary64`
117×	`associate-/r*_binary64`
98×	`associate-/l*_binary64`
91×	`distribute-neg-in_binary64`
79×	`times-frac_binary64`
50×	`cancel-sign-sub-inv_binary64`
47×	`sqr-pow_binary64`
42×	`neg-mul-1_binary64` `neg-sub0_binary64`
35×	`unswap-sqr_binary64`
32×	`associate--l+_binary64`
31×	`associate-*l/_binary64`
28×	`associate--r+_binary64`
24×	`log-div_binary64`
16×	`swap-sqr_binary64`
15×	`log-prod_binary64`
12×	`distribute-rgt-neg-in_binary64` `associate-l_binary64` `associate-r_binary64`
11×	`distribute-neg-frac_binary64`
9×	`cube-unmult_binary64`
8×	`unpow2_binary64` `/-rgt-identity_binary64` `*-rgt-identity_binary64`
7×	`unpow3_binary64` `cube-mult_binary64` `*-lft-identity_binary64`
6×	`unpow1_binary64`
5×	`distribute-lft-neg-in_binary64` `associate-+r-_binary64`
4×	`exp-prod_binary64` `cube-prod_binary64` `distribute-rgt-out_binary64`
3×	`unsub-neg_binary64` `distribute-lft-neg-out_binary64`
2×	`difference-of-squares_binary64` `distribute-rgt-out--_binary64` `associate-+l-_binary64`
1×	`log-rec_binary64` `1-exp_binary64` `div-sub_binary64` `pow-sqr_binary64` `distribute-rgt1-in_binary64` `associate-/r/_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` `pow-base-0_binary64` `unpow1/3_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-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_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-div_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` `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-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

263 → 245

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	862	13552
1	2861	12297
2	4975	12297
3	4956	12297

prune422.0ms (2.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	242	3	245
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	247	5	252

Error

0.0b

Counts

252 → 5

Compiler

Compiled 9107 to 6382 computations (29.9% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha)))
0.0b	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha))
0.0b	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))
0.1b	(/.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha))))

rewrite3.6s (19.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15581×	`*-un-lft-identity_binary64`
12730×	`times-frac_binary64`
6938×	`distribute-lft-out_binary64`
3552×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
587×	`associate-/r/_binary64`
308×	`div-inv_binary64`
282×	`flip3-+_binary64` `flip-+_binary64`
171×	`associate-/r*_binary64`
39×	`associate-/l*_binary64`
34×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
20×	`div-exp_binary64` `cbrt-undiv_binary64`
7×	`associate-/l/_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `frac-2neg_binary64` `clear-num_binary64`

Counts

4 → 3963

Calls

4 calls:

133.0ms	(/.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha))))
21.0ms	(/.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha)))
19.0ms	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha))
10.0ms	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 54202 to 39325 computations (27.4% saved)

series577.0ms (3.1%)

Error

0.0b

Counts

4 → 65

Calls

4 calls:

280.0ms	(/.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha))))
62.0ms	(/.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha)))
52.0ms	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))
44.0ms	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 beta 2) alpha))

Compiler

Compiled 10721 to 8390 computations (21.7% saved)

simplify3.3s (18.2%)

Algorithm

1×	egg-herbie

Rules

1311×	`associate-/r/_binary64`
978×	`associate-/l/_binary64`
63×	`times-frac_binary64`
47×	`sub-neg_binary64`
46×	`div-sub_binary64`
28×	`sqr-pow_binary64`
24×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
22×	`/-rgt-identity_binary64`
15×	`remove-double-div_binary64`
8×	`unpow2_binary64` `neg-mul-1_binary64` `neg-sub0_binary64`
7×	`cancel-sign-sub-inv_binary64`
6×	`unpow3_binary64` `cube-mult_binary64`
5×	`distribute-neg-in_binary64` `distribute-rgt-out--_binary64`
4×	`log-div_binary64`
3×	`distribute-neg-frac_binary64`
2×	`*-lft-identity_binary64` `difference-of-squares_binary64`
1×	`1-exp_binary64` `distribute-lft1-in_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-prod_binary64` `pow-base-0_binary64` `unpow1/3_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-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` `unsub-neg_binary64` `mul-1-neg_binary64` `-rgt-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` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-r/_binary64` `associate-l_binary64` `associate-r_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64` `associate-+l+_binary64` `associate-+r+_binary64` `*-commutative_binary64` `+-commutative_binary64`

Counts

4028 → 3683

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2152	278257
1	5470	278257

prune1.5s (8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	3682	1	3683
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	3682	6	3688

Error

Counts

3688 → 6

Compiler

Compiled 36307 to 26056 computations (28.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite541.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

204×	`*-un-lft-identity_binary64`
99×	`times-frac_binary64`
97×	`add-exp-log_binary64`
85×	`distribute-lft-out_binary64`
67×	`add-sqr-sqrt_binary64`
61×	`add-cbrt-cube_binary64`
55×	`add-cube-cbrt_binary64`
47×	`associate-r_binary64`
40×	`prod-exp_binary64`
32×	`div-exp_binary64`
27×	`associate-l_binary64`
22×	`cbrt-unprod_binary64`
19×	`cbrt-undiv_binary64`
11×	`pow1_binary64`
10×	`associate-/r/_binary64` `associate-/r*_binary64`
8×	`associate-/l*_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
6×	`frac-times_binary64` `associate-*l/_binary64`
5×	`1-exp_binary64` `rec-exp_binary64` `div-inv_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-*r/_binary64` `unswap-sqr_binary64` `associate-/l/_binary64`
2×	`*-commutative_binary64` `frac-2neg_binary64` `clear-num_binary64`
1×	`un-div-inv_binary64`

Counts

4 → 236

Calls

4 calls:

38.0ms	(.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (/.f64 1 (+.f64 (+.f64 beta 3) alpha)))
34.0ms	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
10.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))
10.0ms	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 7122 to 4902 computations (31.2% saved)

series704.0ms (3.8%)

Error

Counts

4 → 61

Calls

4 calls:

287.0ms	(.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (/.f64 1 (+.f64 (+.f64 beta 3) alpha)))
147.0ms	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
55.0ms	(/.f64 (+.f64 1 alpha) (+.f64 alpha (+.f64 2 beta)))
47.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 12595 to 9970 computations (20.8% saved)

simplify252.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

347×	`distribute-rgt-in_binary64`
327×	`distribute-lft-in_binary64`
247×	`+-commutative_binary64`
225×	`*-commutative_binary64`
179×	`associate-+r+_binary64`
162×	`associate-*r/_binary64`
139×	`sub-neg_binary64`
112×	`associate-/r*_binary64`
95×	`associate-/r/_binary64`
93×	`associate-/l/_binary64`
90×	`associate-/l*_binary64`
84×	`distribute-neg-in_binary64`
74×	`times-frac_binary64`
50×	`cancel-sign-sub-inv_binary64`
48×	`sqr-pow_binary64`
42×	`associate-l_binary64`
37×	`neg-mul-1_binary64` `neg-sub0_binary64`
35×	`unswap-sqr_binary64`
32×	`associate-*l/_binary64`
28×	`associate--l+_binary64` `associate--r+_binary64`
21×	`swap-sqr_binary64`
20×	`*-rgt-identity_binary64`
19×	`associate-r_binary64`
15×	`associate-+r-_binary64`
14×	`associate-+l+_binary64`
10×	`exp-prod_binary64` `cube-unmult_binary64`
8×	`log-prod_binary64` `unpow2_binary64` `unsub-neg_binary64` `*-lft-identity_binary64` `distribute-rgt-neg-in_binary64`
7×	`log-div_binary64` `unpow3_binary64` `cube-mult_binary64` `/-rgt-identity_binary64`
6×	`unpow1_binary64`
5×	`distribute-neg-frac_binary64`
4×	`cube-prod_binary64` `distribute-rgt-out_binary64`
3×	`distribute-lft-neg-out_binary64`
2×	`difference-of-squares_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt-out--_binary64` `associate-+l-_binary64`
1×	`log-rec_binary64` `1-exp_binary64` `+-rgt-identity_binary64` `pow-sqr_binary64` `distribute-rgt1-in_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` `unpow1/2_binary64` `pow-plus_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` `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-div_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` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-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` `distribute-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

297 → 277

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	906	15252
1	2951	13615
2	4967	13615

prune453.0ms (2.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	277	0	277
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	277	6	283

Error

Counts

283 → 6

Compiler

Compiled 9643 to 6865 computations (28.8% saved)

regimes1.8s (10%)

Accuracy

Total 0.1b remaining (79%)

Threshold costs 0.1b (79%)

Compiler

Compiled 35855 to 27461 computations (23.4% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_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` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-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-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	28	37
2	27	37

end10.0ms (0.1%)

Compiler: Compiled 75 to 57 computations (24% saved)

sample1.4s (7.7%)

Algorithm

1×

intervals

Results

560.0ms	8000×	body	128	valid
139.0ms	8000×	pre	128	true

Compiler

Compiled 272 to 214 computations (21.3% saved)

Details

analyze292.0ms (1.6%)

sample43.0ms (0.2%)

simplify232.0ms (1.3%)

prune4.0ms (0%)

localize13.0ms (0.1%)

rewrite414.0ms (2.3%)

series736.0ms (4%)

simplify207.0ms (1.1%)

prune359.0ms (2%)

localize16.0ms (0.1%)

rewrite386.0ms (2.1%)

series662.0ms (3.6%)

simplify279.0ms (1.5%)

prune422.0ms (2.3%)

localize15.0ms (0.1%)

rewrite3.6s (19.9%)

series577.0ms (3.1%)

simplify3.3s (18.2%)

prune1.5s (8%)

localize17.0ms (0.1%)

rewrite541.0ms (3%)

series704.0ms (3.8%)

simplify252.0ms (1.4%)

prune453.0ms (2.5%)

regimes1.8s (10%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end10.0ms (0.1%)

sample1.4s (7.7%)

Profiling