Details

analyze289.0ms (0.9%)

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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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)

sample45.0ms (0.1%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 77 to 55 computations (28.6% saved)

simplify230.0ms (0.7%)

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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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.5b

Counts

2 → 2

Compiler

Compiled 85 to 60 computations (29.4% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
0.0b	(.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)))
18.0b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

rewrite403.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

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:

30.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)))
22.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)))
14.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 5262 to 3194 computations (39.3% saved)

series721.0ms (2.3%)

Error

0.0b

Counts

4 → 70

Calls

4 calls:

263.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)))
133.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
98.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 13684 to 10918 computations (20.2% saved)

simplify215.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

352×	`distribute-rgt-in_binary64`
331×	`distribute-lft-in_binary64`
320×	`+-commutative_binary64`
254×	`associate-+r+_binary64`
223×	`*-commutative_binary64`
159×	`associate-*r/_binary64`
131×	`sub-neg_binary64`
112×	`associate-/r*_binary64`
100×	`associate-/l*_binary64`
87×	`distribute-neg-in_binary64`
74×	`times-frac_binary64`
66×	`cancel-sign-sub-inv_binary64`
45×	`sqr-pow_binary64` `unswap-sqr_binary64`
38×	`neg-mul-1_binary64` `neg-sub0_binary64`
29×	`associate--l+_binary64`
27×	`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`
3×	`fabs-mul_binary64` `associate-/l/_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` `fabs-sqr_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-/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` `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` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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

228 → 208

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	936	14340
1	3139	12867
2	5056	12867

prune346.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	201	7	208
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	203	7	210

Error

Counts

210 → 7

Compiler

Compiled 9168 to 6296 computations (31.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite1.8s (5.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3195×	`*-un-lft-identity_binary64`
2687×	`times-frac_binary64`
1331×	`distribute-lft-out_binary64`
928×	`add-sqr-sqrt_binary64`
905×	`add-cube-cbrt_binary64`
410×	`associate-r_binary64`
166×	`associate-/r*_binary64`
106×	`add-exp-log_binary64`
94×	`associate-/r/_binary64`
59×	`div-exp_binary64`
52×	`add-cbrt-cube_binary64` `div-inv_binary64`
47×	`flip3-+_binary64` `flip-+_binary64`
26×	`cbrt-undiv_binary64`
20×	`prod-exp_binary64`
9×	`1-exp_binary64` `rec-exp_binary64` `associate-/l*_binary64`
8×	`cbrt-unprod_binary64` `associate-/l/_binary64`
7×	`pow1_binary64` `unswap-sqr_binary64`
4×	`add-log-exp_binary64` `frac-times_binary64` `associate-l/_binary64` `associate-l*_binary64`
3×	`frac-2neg_binary64` `clear-num_binary64`
2×	`un-div-inv_binary64` `associate-*r/_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

4 → 1241

Calls

4 calls:

129.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))))))
57.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))))) (+.f64 alpha (+.f64 beta 3)))
44.0ms	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))))
19.0ms	(/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 26105 to 19359 computations (25.8% saved)

series752.0ms (2.4%)

Error

Counts

4 → 73

Calls

4 calls:

264.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))))) (+.f64 alpha (+.f64 beta 3)))
132.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))))))
102.0ms	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))))
63.0ms	(/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 14172 to 11296 computations (20.3% saved)

simplify900.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

482×	`distribute-rgt-in_binary64`
334×	`+-commutative_binary64`
300×	`*-commutative_binary64`
264×	`associate-+r+_binary64`
254×	`associate-*r/_binary64`
241×	`associate-/r/_binary64`
162×	`sub-neg_binary64` `associate-/l*_binary64`
113×	`associate-/r*_binary64`
99×	`distribute-neg-in_binary64`
78×	`times-frac_binary64`
77×	`cancel-sign-sub-inv_binary64`
46×	`neg-mul-1_binary64`
45×	`neg-sub0_binary64`
44×	`sqr-pow_binary64`
38×	`unswap-sqr_binary64` `associate--l+_binary64`
31×	`associate--r+_binary64`
19×	`swap-sqr_binary64`
17×	`remove-double-div_binary64`
15×	`associate-r_binary64`
14×	`distribute-rgt-neg-in_binary64` `distribute-lft-in_binary64` `associate-l_binary64`
13×	`*-rgt-identity_binary64`
12×	`log-div_binary64` `/-rgt-identity_binary64`
11×	`distribute-rgt-out_binary64`
10×	`cube-unmult_binary64` `distribute-neg-frac_binary64`
8×	`unpow2_binary64` `associate-/l/_binary64` `associate-+r-_binary64`
7×	`log-prod_binary64`
6×	`unpow3_binary64` `unpow1_binary64` `exp-prod_binary64` `cube-mult_binary64` `distribute-lft-neg-in_binary64` `associate-*l/_binary64`
5×	`unsub-neg_binary64`
3×	`log-rec_binary64` `div-sub_binary64` `*-lft-identity_binary64` `distribute-lft-neg-out_binary64` `associate--r-_binary64`
2×	`exp-sum_binary64` `cube-prod_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_binary64`
1×	`1-exp_binary64` `rem-square-sqrt_binary64` `+-rgt-identity_binary64` `pow-sqr_binary64` `difference-of-sqr-1_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out_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` `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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_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` `difference-of-sqr--1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

1314 → 1297

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1336	55850
1	4067	53722
2	5717	53722

prune1.2s (3.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	1295	2	1297
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	1297	7	1304

Error

Counts

1304 → 7

Compiler

Compiled 25132 to 18212 computations (27.5% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite4.3s (14%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16927×	`*-un-lft-identity_binary64`
13445×	`times-frac_binary64`
7515×	`distribute-lft-out_binary64`
3833×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
558×	`associate-/l*_binary64`
343×	`associate-/r/_binary64`
190×	`div-inv_binary64`
171×	`associate-/r*_binary64`
156×	`flip3-+_binary64` `flip-+_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 → 4217

Calls

4 calls:

177.0ms	(/.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)))) (+.f64 alpha (+.f64 beta 3)))
43.0ms	(/.f64 (+.f64 1 alpha) (/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))))
27.0ms	(/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)))
10.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))

Compiler

Compiled 52462 to 38327 computations (26.9% saved)

series675.0ms (2.2%)

Error

Counts

4 → 73

Calls

4 calls:

265.0ms	(/.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)))) (+.f64 alpha (+.f64 beta 3)))
135.0ms	(/.f64 (+.f64 1 alpha) (/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))))
56.0ms	(/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)))
43.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))

Compiler

Compiled 12884 to 10164 computations (21.1% saved)

simplify4.4s (14.2%)

Algorithm

1×	egg-herbie

Rules

840×	`associate-/l/_binary64`
812×	`times-frac_binary64`
506×	`associate-/r/_binary64`
253×	`associate-/r*_binary64`
158×	`associate-/l*_binary64`
150×	`/-rgt-identity_binary64`
48×	`sub-neg_binary64`
28×	`sqr-pow_binary64`
15×	`remove-double-div_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64`
12×	`log-div_binary64`
8×	`unpow2_binary64` `unpow1_binary64`
7×	`neg-mul-1_binary64` `neg-sub0_binary64`
6×	`unpow3_binary64` `cube-mult_binary64`
5×	`cancel-sign-sub-inv_binary64`
4×	`distribute-neg-in_binary64`
3×	`log-prod_binary64` `distribute-neg-frac_binary64`
2×	`log-rec_binary64` `exp-prod_binary64` `cube-prod_binary64` `difference-of-squares_binary64` `distribute-rgt-out--_binary64`
1×	`1-exp_binary64` `rem-square-sqrt_binary64` `-rgt-identity_binary64` `-lft-identity_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-unmult_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `div-sub_binary64` `unsub-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` `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-lft1-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--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

4290 → 3647

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	2271	271772
1	4960	270647
2	5753	270647

prune1.6s (5.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	3645	2	3647
Fresh	2	3	5
Picked	1	0	1
Done	1	0	1
Total	3649	5	3654

Error

Counts

3654 → 5

Compiler

Compiled 36610 to 26433 computations (27.8% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite1.2s (3.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

669×	`times-frac_binary64`
608×	`*-un-lft-identity_binary64`
240×	`distribute-lft-out_binary64`
206×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
150×	`associate-/r/_binary64`
79×	`add-exp-log_binary64`
65×	`flip3-+_binary64` `flip-+_binary64`
49×	`add-cbrt-cube_binary64`
47×	`div-exp_binary64`
46×	`frac-times_binary64` `associate-*l/_binary64`
41×	`div-inv_binary64`
33×	`associate-/l*_binary64`
26×	`cbrt-undiv_binary64`
25×	`associate-/r*_binary64`
23×	`associate-*r/_binary64`
10×	`prod-exp_binary64`
6×	`cbrt-unprod_binary64`
5×	`pow1_binary64` `1-exp_binary64` `rec-exp_binary64` `associate-/l/_binary64`
4×	`add-log-exp_binary64` `frac-2neg_binary64` `clear-num_binary64`
1×	`inv-pow_binary64` `pow-flip_binary64`

Counts

4 → 485

Calls

4 calls:

38.0ms	(/.f64 (/.f64 1 (+.f64 (+.f64 beta 2) alpha)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 1 alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)))))
19.0ms	(/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 1 alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))))
11.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))
8.0ms	(/.f64 1 (+.f64 (+.f64 beta 2) alpha))

Compiler

Compiled 14733 to 10749 computations (27% saved)

series640.0ms (2.1%)

Error

Counts

4 → 76

Calls

4 calls:

264.0ms	(/.f64 (/.f64 1 (+.f64 (+.f64 beta 2) alpha)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 1 alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha)))))
108.0ms	(/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 1 alpha) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))))
46.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta 2) alpha))
39.0ms	(/.f64 1 (+.f64 (+.f64 beta 2) alpha))

Compiler

Compiled 12546 to 9851 computations (21.5% saved)

simplify521.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

509×	`distribute-rgt-in_binary64`
261×	`+-commutative_binary64`
192×	`associate-+r+_binary64`
187×	`sub-neg_binary64`
179×	`associate-/l/_binary64`
178×	`*-commutative_binary64`
159×	`associate-/r*_binary64`
154×	`associate-/r/_binary64`
125×	`associate-*r/_binary64`
103×	`associate-/l*_binary64`
92×	`distribute-neg-in_binary64`
71×	`times-frac_binary64`
50×	`cancel-sign-sub-inv_binary64`
45×	`neg-mul-1_binary64` `neg-sub0_binary64`
44×	`sqr-pow_binary64`
36×	`unswap-sqr_binary64`
35×	`div-sub_binary64`
33×	`associate--r+_binary64`
32×	`associate--l+_binary64`
25×	`distribute-lft-in_binary64`
23×	`/-rgt-identity_binary64`
21×	`*-rgt-identity_binary64`
15×	`swap-sqr_binary64`
14×	`associate-l_binary64`
12×	`log-div_binary64` `-lft-identity_binary64` `distribute-neg-frac_binary64` `distribute-rgt-neg-in_binary64` `associate-r*_binary64`
9×	`unpow2_binary64`
8×	`cube-unmult_binary64` `distribute-rgt-out_binary64`
7×	`unpow1_binary64`
5×	`unpow3_binary64` `cube-mult_binary64` `distribute-lft-neg-in_binary64` `associate-*l/_binary64` `associate-+r-_binary64`
4×	`log-rec_binary64` `cube-prod_binary64` `distribute-rgt-out--_binary64` `associate--l-_binary64`
3×	`log-prod_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-out_binary64`
2×	`unsub-neg_binary64` `associate--r-_binary64`
1×	`pow-plus_binary64` `exp-prod_binary64` `1-exp_binary64` `sub0-neg_binary64` `remove-double-div_binary64` `difference-of-squares_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-pow_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-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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `remove-double-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` `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` `count-2_binary64` `associate-+l-_binary64`

Counts

561 → 534

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1135	33756
1	3696	32335
2	5333	32335

prune666.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	533	1	534
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	534	5	539

Error

Counts

539 → 5

Compiler

Compiled 14827 to 10578 computations (28.7% saved)

regimes8.3s (26.8%)

Accuracy

Total 0.1b remaining (75.4%)

Threshold costs 0.1b (75.4%)

Compiler

Compiled 154826 to 120224 computations (22.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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	17	40
1	25	40
2	24	40

end7.0ms (0%)

Compiler: Compiled 81 to 63 computations (22.2% saved)

sample1.6s (5.2%)

Algorithm

1×

intervals

Results

541.0ms	8000×	body	128	valid
147.0ms	8000×	pre	128	true

Compiler

Compiled 229 to 184 computations (19.7% saved)

Details

analyze289.0ms (0.9%)

sample45.0ms (0.1%)

simplify230.0ms (0.7%)

prune4.0ms (0%)

localize13.0ms (0%)

rewrite403.0ms (1.3%)

series721.0ms (2.3%)

simplify215.0ms (0.7%)

prune346.0ms (1.1%)

localize17.0ms (0.1%)

rewrite1.8s (5.8%)

series752.0ms (2.4%)

simplify900.0ms (2.9%)

prune1.2s (3.9%)

localize13.0ms (0%)

rewrite4.3s (14%)

series675.0ms (2.2%)

simplify4.4s (14.2%)

prune1.6s (5.2%)

localize15.0ms (0%)

rewrite1.2s (3.8%)

series640.0ms (2.1%)

simplify521.0ms (1.7%)

prune666.0ms (2.2%)

regimes8.3s (26.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end7.0ms (0%)

sample1.6s (5.2%)

Profiling