Details

analyze295.0ms (2%)

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)

sample38.0ms (0.3%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 77 to 55 computations (28.6% saved)

simplify246.0ms (1.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` `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

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

0.9b

Counts

2 → 2

Compiler

Compiled 85 to 60 computations (29.4% saved)

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

rewrite386.0ms (2.7%)

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:

26.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
25.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)))
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)

series691.0ms (4.8%)

Error

0.3b

Counts

4 → 67

Calls

4 calls:

267.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)))
136.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
100.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
36.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 11879 to 9467 computations (20.3% saved)

simplify191.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

736×	`associate-/l*_binary64`
350×	`distribute-rgt-in_binary64`
329×	`distribute-lft-in_binary64`
247×	`+-commutative_binary64`
187×	`associate-+r+_binary64` `*-commutative_binary64`
130×	`associate-*r/_binary64`
119×	`sub-neg_binary64`
101×	`associate-/r/_binary64`
84×	`associate-/r*_binary64`
78×	`distribute-neg-in_binary64`
61×	`cancel-sign-sub-inv_binary64`
52×	`times-frac_binary64` `associate-/l/_binary64`
41×	`sqr-pow_binary64`
37×	`unswap-sqr_binary64`
35×	`neg-mul-1_binary64` `neg-sub0_binary64`
26×	`associate--l+_binary64`
24×	`associate--r+_binary64`
19×	`associate-r_binary64`
16×	`distribute-rgt-neg-in_binary64` `associate-l_binary64`
11×	`cube-unmult_binary64` `*-rgt-identity_binary64`
10×	`swap-sqr_binary64` `distribute-rgt-out_binary64`
8×	`log-div_binary64` `exp-prod_binary64` `distribute-lft-neg-in_binary64`
7×	`log-prod_binary64` `unpow2_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` `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` `pow-sqr_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

225 → 205

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	792	11761
1	2585	10693
2	5690	10693

prune343.0ms (2.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	199	6	205
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	201	6	207

Error

0.0b

Counts

207 → 6

Compiler

Compiled 7711 to 5221 computations (32.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite648.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

826×	`*-un-lft-identity_binary64`
508×	`times-frac_binary64`
374×	`distribute-lft-out_binary64`
191×	`add-sqr-sqrt_binary64`
182×	`add-cube-cbrt_binary64`
136×	`associate-r_binary64`
34×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
31×	`associate-/l*_binary64`
30×	`associate-/r/_binary64`
20×	`flip3-+_binary64` `flip-+_binary64`
15×	`div-inv_binary64` `associate-/r*_binary64`
14×	`div-exp_binary64` `cbrt-undiv_binary64`
8×	`associate-/l/_binary64`
6×	`pow1_binary64` `prod-exp_binary64` `cbrt-unprod_binary64`
4×	`add-log-exp_binary64` `frac-times_binary64` `associate-l/_binary64` `associate-l*_binary64`
3×	`frac-2neg_binary64` `clear-num_binary64` `unswap-sqr_binary64`
2×	`associate-*r/_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 422

Calls

4 calls:

50.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2)))
32.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
20.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))
9.0ms	(/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 9136 to 6131 computations (32.9% saved)

series703.0ms (4.9%)

Error

0.0b

Counts

4 → 67

Calls

4 calls:

269.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
138.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2)))
104.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta))) (+.f64 (+.f64 alpha beta) 2))
44.0ms	(/.f64 (+.f64 1 beta) (+.f64 alpha (+.f64 2 beta)))

Compiler

Compiled 12448 to 9869 computations (20.7% saved)

simplify343.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

487×	`distribute-rgt-in_binary64`
465×	`distribute-lft-in_binary64`
253×	`+-commutative_binary64`
216×	`*-commutative_binary64`
185×	`associate-+r+_binary64`
173×	`associate-*r/_binary64`
160×	`sub-neg_binary64`
101×	`distribute-neg-in_binary64`
100×	`associate-/r*_binary64`
83×	`associate-/l*_binary64`
67×	`cancel-sign-sub-inv_binary64`
65×	`associate-/l/_binary64`
57×	`times-frac_binary64`
45×	`neg-mul-1_binary64` `neg-sub0_binary64`
43×	`sqr-pow_binary64`
33×	`associate--l+_binary64`
32×	`associate--r+_binary64`
27×	`unswap-sqr_binary64`
19×	`/-rgt-identity_binary64`
13×	`associate-l_binary64`
12×	`log-div_binary64` `swap-sqr_binary64` `distribute-rgt-neg-in_binary64`
11×	`div-sub_binary64` `associate-/r/_binary64`
10×	`distribute-neg-frac_binary64` `associate-r_binary64`
9×	`cube-unmult_binary64` `-rgt-identity_binary64` `-lft-identity_binary64`
7×	`unpow3_binary64` `unpow2_binary64` `cube-mult_binary64`
6×	`unpow1_binary64`
5×	`distribute-lft-neg-in_binary64` `distribute-rgt-out_binary64` `associate-+r-_binary64`
4×	`exp-prod_binary64` `cube-prod_binary64`
3×	`log-prod_binary64` `unsub-neg_binary64` `distribute-lft-neg-out_binary64` `associate-*l/_binary64`
2×	`exp-sum_binary64` `difference-of-squares_binary64` `distribute-rgt-out--_binary64`
1×	`1-exp_binary64` `rem-square-sqrt_binary64` `difference-of-sqr-1_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out_binary64` `associate--l-_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-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` `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` `pow-sqr_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--r-_binary64` `associate-+l-_binary64`

Counts

489 → 472

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	953	20888
1	2991	19864
2	5398	19864

prune554.0ms (3.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	472	0	472
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	472	6	478

Error

0.0b

Counts

478 → 6

Compiler

Compiled 12089 to 8378 computations (30.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 (/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))))
18.4b	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
18.4b	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
18.4b	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))

rewrite401.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`associate-/r/_binary64`
27×	`flip3-+_binary64` `flip-+_binary64`
26×	`*-un-lft-identity_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`times-frac_binary64` `frac-times_binary64` `cbrt-prod_binary64`
12×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-/l*_binary64`
8×	`associate-l/_binary64` `associate-r/_binary64`
7×	`distribute-lft-out_binary64`
6×	`div-exp_binary64` `cbrt-undiv_binary64` `associate-/l/_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `div-inv_binary64`
3×	`prod-exp_binary64` `cbrt-unprod_binary64` `frac-2neg_binary64` `clear-num_binary64` `associate-/r*_binary64`
1×	`pow1/3_binary64` `cbrt-div_binary64`

Counts

4 → 124

Calls

4 calls:

16.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
16.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
16.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
15.0ms	(cbrt.f64 (/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))))

Compiler

Compiled 8452 to 5927 computations (29.9% saved)

series1.8s (12.2%)

Error

0.0b

Counts

4 → 69

Calls

4 calls:

1.1s	(cbrt.f64 (/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))))
115.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
114.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
113.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))

Compiler

Compiled 23626 to 18969 computations (19.7% saved)

simplify257.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

397×	`times-frac_binary64`
364×	`*-commutative_binary64`
270×	`+-commutative_binary64`
231×	`associate-+r+_binary64`
167×	`distribute-rgt-in_binary64`
161×	`distribute-lft-in_binary64`
138×	`associate-r_binary64`
102×	`sqr-pow_binary64`
89×	`sub-neg_binary64` `unswap-sqr_binary64`
69×	`associate-/l*_binary64`
68×	`associate-*l/_binary64`
66×	`distribute-rgt-out_binary64`
61×	`cancel-sign-sub-inv_binary64` `associate-l_binary64`
59×	`distribute-neg-in_binary64`
40×	`associate-*r/_binary64`
34×	`associate-/r*_binary64`
26×	`neg-mul-1_binary64` `neg-sub0_binary64`
20×	`associate--r+_binary64`
17×	`unpow1/3_binary64`
15×	`associate--l+_binary64`
9×	`swap-sqr_binary64`
8×	`exp-prod_binary64`
7×	`distribute-rgt-neg-in_binary64`
6×	`unpow2_binary64` `exp-sum_binary64`
5×	`log-div_binary64` `log-prod_binary64` `unpow1_binary64` `cube-unmult_binary64`
4×	`unpow3_binary64` `cube-mult_binary64` `*-lft-identity_binary64` `distribute-lft-neg-in_binary64`
3×	`*-rgt-identity_binary64` `distribute-lft-neg-out_binary64`
2×	`cube-prod_binary64` `distribute-rgt-out--_binary64` `associate-+r-_binary64`
1×	`log-rec_binary64` `pow-plus_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `unsub-neg_binary64` `difference-of-squares_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft-out_binary64` `count-2_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/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` `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-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` `/-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` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_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` `associate-+l+_binary64`

Counts

193 → 122

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1054	16429
1	3223	14781
2	5186	14781

prune349.0ms (2.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	122	6	128

Error

0.0b

Counts

128 → 6

Compiler

Compiled 12135 to 8743 computations (28% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))
0.6b	(/.f64 (/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))
0.7b	(.f64 (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 1 beta) (.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
18.4b	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))

rewrite1.1s (7.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

425×	`*-un-lft-identity_binary64`
420×	`times-frac_binary64`
221×	`sqrt-prod_binary64`
195×	`add-sqr-sqrt_binary64`
162×	`distribute-lft-out_binary64`
152×	`associate-/r/_binary64`
143×	`add-cube-cbrt_binary64`
134×	`associate-r_binary64`
114×	`flip3-+_binary64` `flip-+_binary64`
73×	`frac-times_binary64`
52×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
38×	`associate-l_binary64`
37×	`associate-l/_binary64` `associate-r/_binary64`
24×	`associate-/l*_binary64`
22×	`div-exp_binary64` `cbrt-undiv_binary64` `div-inv_binary64`
17×	`associate-/r*_binary64`
15×	`unswap-sqr_binary64`
12×	`prod-exp_binary64` `cbrt-unprod_binary64`
8×	`sqrt-div_binary64`
6×	`pow1_binary64`
5×	`associate-/l/_binary64`
4×	`add-log-exp_binary64`
3×	`frac-2neg_binary64` `clear-num_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 479

Calls

4 calls:

115.0ms	(.f64 (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 1 beta) (.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
25.0ms	(/.f64 (/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))
15.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
12.0ms	(/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))

Compiler

Compiled 17572 to 12448 computations (29.2% saved)

series869.0ms (6%)

Error

0.0b

Counts

4 → 55

Calls

4 calls:

291.0ms	(/.f64 (/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))
272.0ms	(.f64 (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 1 beta) (.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
106.0ms	(/.f64 (+.f64 1 beta) (*.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 alpha (+.f64 2 beta))))
53.0ms	(/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))

Compiler

Compiled 14348 to 11560 computations (19.4% saved)

simplify504.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

347×	`distribute-rgt-in_binary64`
344×	`*-commutative_binary64`
236×	`+-commutative_binary64`
200×	`associate-*r/_binary64`
175×	`associate-+r+_binary64`
144×	`sub-neg_binary64`
124×	`associate-*l/_binary64`
111×	`associate-/r*_binary64`
109×	`cancel-sign-sub-inv_binary64`
92×	`associate-/l*_binary64`
87×	`distribute-neg-in_binary64`
70×	`associate-/l/_binary64`
65×	`associate-r_binary64`
56×	`times-frac_binary64`
46×	`sqr-pow_binary64`
44×	`neg-sub0_binary64`
43×	`distribute-rgt-out_binary64`
40×	`neg-mul-1_binary64`
37×	`div-sub_binary64`
33×	`unswap-sqr_binary64`
28×	`associate--r+_binary64`
25×	`associate--l+_binary64`
21×	`distribute-lft-in_binary64`
20×	`associate-l_binary64`
19×	`/-rgt-identity_binary64`
17×	`distribute-rgt-neg-in_binary64`
16×	`*-lft-identity_binary64`
11×	`log-div_binary64` `swap-sqr_binary64` `distribute-lft-neg-in_binary64`
10×	`cube-unmult_binary64`
9×	`*-rgt-identity_binary64` `distribute-lft-out_binary64`
8×	`unpow2_binary64` `associate-+r-_binary64`
7×	`unpow3_binary64` `cube-mult_binary64` `distribute-rgt-out--_binary64`
6×	`unpow1_binary64` `mul-1-neg_binary64`
5×	`distribute-neg-frac_binary64` `associate-/r/_binary64`
4×	`log-prod_binary64` `exp-prod_binary64` `cube-prod_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt1-in_binary64` `associate-+l-_binary64`
3×	`distribute-lft1-in_binary64`
2×	`rem-sqrt-square_binary64` `unsub-neg_binary64` `difference-of-squares_binary64`
1×	`1-exp_binary64` `rem-square-sqrt_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` `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` `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` `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-lft-out--_binary64` `associate--r-_binary64` `associate-+l+_binary64`

Counts

534 → 389

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1117	31950
1	3516	30401
2	5095	30401

prune402.0ms (2.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	388	1	389
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	388	7	395

Error

Counts

395 → 7

Compiler

Compiled 12190 to 8724 computations (28.4% saved)

regimes2.8s (19.4%)

Accuracy

Total 0.1b remaining (80.1%)

Threshold costs 0.1b (80.1%)

Compiler

Compiled 56258 to 42398 computations (24.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
2×	`*-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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	40
1	31	40
2	30	40

end7.0ms (0.1%)

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

sample1.4s (9.9%)

Algorithm

1×

intervals

Results

534.0ms	8000×	body	128	valid
136.0ms	8000×	pre	128	true

Compiler

Compiled 337 to 251 computations (25.5% saved)

Details

analyze295.0ms (2%)

sample38.0ms (0.3%)

simplify246.0ms (1.7%)

prune5.0ms (0%)

localize16.0ms (0.1%)

rewrite386.0ms (2.7%)

series691.0ms (4.8%)

simplify191.0ms (1.3%)

prune343.0ms (2.4%)

localize17.0ms (0.1%)

rewrite648.0ms (4.5%)

series703.0ms (4.9%)

simplify343.0ms (2.4%)

prune554.0ms (3.8%)

localize24.0ms (0.2%)

rewrite401.0ms (2.8%)

series1.8s (12.2%)

simplify257.0ms (1.8%)

prune349.0ms (2.4%)

localize17.0ms (0.1%)

rewrite1.1s (7.8%)

series869.0ms (6%)

simplify504.0ms (3.5%)

prune402.0ms (2.8%)

regimes2.8s (19.4%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end7.0ms (0.1%)

sample1.4s (9.9%)

Profiling