Details

analyze95.0ms (3.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

335×	`div-sub_binary64`
178×	`associate-/l*_binary64`
162×	`sub-neg_binary64`
146×	`times-frac_binary64`
139×	`cancel-sign-sub-inv_binary64`
134×	`distribute-rgt-in_binary64`
121×	`unsub-neg_binary64`
99×	`distribute-lft-in_binary64` `associate-/l/_binary64`
57×	`associate-/r*_binary64`
46×	`associate-l_binary64`
37×	`associate-/r/_binary64`
34×	`distribute-rgt-neg-in_binary64` `associate--r+_binary64`
31×	`neg-mul-1_binary64` `distribute-neg-frac_binary64` `associate--r-_binary64` `associate--l-_binary64`
30×	`neg-sub0_binary64` `+-commutative_binary64`
28×	`associate--l+_binary64` `associate-+l-_binary64`
27×	`*-commutative_binary64`
26×	`distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`
23×	`distribute-neg-in_binary64`
22×	`associate-r_binary64`
21×	`sub0-neg_binary64` `associate-*l/_binary64`
20×	`distribute-rgt-neg-out_binary64`
18×	`distribute-rgt-out--_binary64`
16×	`*-lft-identity_binary64`
14×	`div0_binary64` `associate-+r-_binary64`
13×	`mul0-rgt_binary64`
12×	`distribute-neg-out_binary64` `associate-+l+_binary64`
11×	`*-rgt-identity_binary64` `mul0-lft_binary64` `cancel-sign-sub_binary64` `distribute-rgt-out_binary64`
10×	`associate-+r+_binary64`
9×	`remove-double-neg_binary64` `--rgt-identity_binary64`
8×	`+-lft-identity_binary64` `associate-*r/_binary64`
6×	`mul-1-neg_binary64` `/-rgt-identity_binary64` `distribute-frac-neg_binary64`
4×	`remove-double-div_binary64` `distribute-lft-out_binary64`
3×	`distribute-lft-out--_binary64`
2×	`+-rgt-identity_binary64` `distribute-rgt1-in_binary64`
1×	`1-exp_binary64` `*-inverses_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-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `count-2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample29.0ms (1.1%)

Algorithm

1×

intervals

Results

13.0ms	73×	body	1024	valid
4.0ms	140×	body	128	valid
2.0ms	27×	body	512	valid
1.0ms	12×	body	256	valid
1.0ms	4×	body	2048	valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify80.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

335×	`div-sub_binary64`
178×	`associate-/l*_binary64`
162×	`sub-neg_binary64`
146×	`times-frac_binary64`
139×	`cancel-sign-sub-inv_binary64`
134×	`distribute-rgt-in_binary64`
121×	`unsub-neg_binary64`
99×	`distribute-lft-in_binary64` `associate-/l/_binary64`
57×	`associate-/r*_binary64`
46×	`associate-l_binary64`
37×	`associate-/r/_binary64`
34×	`distribute-rgt-neg-in_binary64` `associate--r+_binary64`
31×	`neg-mul-1_binary64` `distribute-neg-frac_binary64` `associate--r-_binary64` `associate--l-_binary64`
30×	`neg-sub0_binary64` `+-commutative_binary64`
28×	`associate--l+_binary64` `associate-+l-_binary64`
27×	`*-commutative_binary64`
26×	`distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`
23×	`distribute-neg-in_binary64`
22×	`associate-r_binary64`
21×	`sub0-neg_binary64` `associate-*l/_binary64`
20×	`distribute-rgt-neg-out_binary64`
18×	`distribute-rgt-out--_binary64`
16×	`*-lft-identity_binary64`
14×	`div0_binary64` `associate-+r-_binary64`
13×	`mul0-rgt_binary64`
12×	`distribute-neg-out_binary64` `associate-+l+_binary64`
11×	`*-rgt-identity_binary64` `mul0-lft_binary64` `cancel-sign-sub_binary64` `distribute-rgt-out_binary64`
10×	`associate-+r+_binary64`
9×	`remove-double-neg_binary64` `--rgt-identity_binary64`
8×	`+-lft-identity_binary64` `associate-*r/_binary64`
6×	`mul-1-neg_binary64` `/-rgt-identity_binary64` `distribute-frac-neg_binary64`
4×	`remove-double-div_binary64` `distribute-lft-out_binary64`
3×	`distribute-lft-out--_binary64`
2×	`+-rgt-identity_binary64` `distribute-rgt1-in_binary64`
1×	`1-exp_binary64` `*-inverses_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-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `count-2_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

28.3b

Counts

1 → 1

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
0.0b	(/.f64 x (+.f64 x 1))
2.2b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite259.0ms (10%)

Algorithm

1×	rewrite-expression-head

Error

27.9b

Rules

148×	`*-un-lft-identity_binary64`
88×	`times-frac_binary64`
85×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`
34×	`cancel-sign-sub-inv_binary64`
27×	`distribute-lft-out_binary64`
22×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
11×	`associate-/r*_binary64`
9×	`difference-of-sqr-1_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
6×	`associate-/r/_binary64`
5×	`add-log-exp_binary64`
3×	`pow1_binary64` `flip3--_binary64` `flip--_binary64` `div-inv_binary64`
2×	`div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `flip3-+_binary64` `flip-+_binary64` `associate-/l/_binary64`
1×	`diff-log_binary64` `frac-sub_binary64` `sub-neg_binary64`

Counts

3 → 147

Calls

3 calls:

39.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
11.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
5.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 2466 to 1786 computations (27.6% saved)

series53.0ms (2.1%)

Error

0.0b

Counts

3 → 30

Calls

3 calls:

14.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
12.0ms	(/.f64 x (+.f64 x 1))
11.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))

Compiler

Compiled 729 to 612 computations (16% saved)

simplify135.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

566×	`times-frac_binary64`
534×	`associate-/l*_binary64`
478×	`div-sub_binary64`
301×	`distribute-rgt-in_binary64`
233×	`distribute-lft-in_binary64`
225×	`associate-/r*_binary64`
170×	`associate-/l/_binary64`
134×	`exp-prod_binary64`
111×	`associate-/r/_binary64`
107×	`distribute-neg-frac_binary64`
103×	`sub-neg_binary64`
98×	`associate-*l/_binary64`
92×	`neg-sub0_binary64`
89×	`neg-mul-1_binary64`
86×	`*-commutative_binary64`
83×	`distribute-rgt-neg-in_binary64`
80×	`associate-*r/_binary64`
75×	`log-prod_binary64`
72×	`cube-prod_binary64`
64×	`distribute-neg-in_binary64`
62×	`+-commutative_binary64`
61×	`distribute-lft-neg-out_binary64`
60×	`log-div_binary64` `cube-div_binary64`
58×	`cancel-sign-sub-inv_binary64`
54×	`distribute-lft-neg-in_binary64`
53×	`distribute-rgt-neg-out_binary64`
46×	`associate-r_binary64`
43×	`associate-l_binary64`
38×	`exp-sum_binary64`
28×	`distribute-frac-neg_binary64`
27×	`unsub-neg_binary64`
24×	`associate-+r+_binary64`
23×	`*-rgt-identity_binary64` `associate-+l+_binary64`
19×	`sqr-pow_binary64` `distribute-rgt-out_binary64`
18×	`exp-diff_binary64`
17×	`*-lft-identity_binary64` `unswap-sqr_binary64`
16×	`associate--r+_binary64`
14×	`/-rgt-identity_binary64`
12×	`unpow3_binary64`
11×	`log-rec_binary64`
9×	`swap-sqr_binary64`
8×	`cube-unmult_binary64`
7×	`distribute-rgt1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out_binary64`
6×	`cube-mult_binary64` `mul-1-neg_binary64` `div0_binary64` `distribute-neg-out_binary64` `associate--l+_binary64` `associate-+r-_binary64`
4×	`difference-of-squares_binary64`
3×	`log-pow_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `+-rgt-identity_binary64`
2×	`rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `associate-+l-_binary64`
1×	`unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `unpow1_binary64` `div-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `sqr-neg_binary64` `*-inverses_binary64` `distribute-lft1-in_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` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `prod-exp_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `cancel-sign-sub_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

177 → 160

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	3341
1	576	3236
2	1766	2990
3	4298	2990
4	5580	2990

prune71.0ms (2.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	158	2	160
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	158	3	161

Error

0.0b

Counts

161 → 3

Compiler

Compiled 1796 to 1273 computations (29.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 1 (*.f64 3 x))

rewrite11.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64`
1×	`sum-log_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `flip3-+_binary64` `*-un-lft-identity_binary64` `flip-+_binary64` `+-commutative_binary64`

Counts

1 → 11

Calls

1 calls:

3.0ms

(+.f64 1 (*.f64 3 x))

Compiler

Compiled 136 to 116 computations (14.7% saved)

series10.0ms (0.4%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

8.0ms

(+.f64 1 (*.f64 3 x))

Compiler

Compiled 46 to 46 computations (0% saved)

simplify98.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

599×	`associate-*r/_binary64`
441×	`associate-+l+_binary64`
362×	`distribute-rgt-out_binary64`
305×	`associate-+r+_binary64`
275×	`distribute-rgt-in_binary64`
209×	`cancel-sign-sub-inv_binary64`
208×	`+-commutative_binary64`
199×	`*-commutative_binary64`
178×	`associate-l_binary64`
172×	`unswap-sqr_binary64`
144×	`distribute-lft-in_binary64`
143×	`associate-/l/_binary64`
125×	`associate-r_binary64`
108×	`associate--l+_binary64`
106×	`cube-div_binary64` `associate--r+_binary64`
103×	`distribute-rgt-neg-in_binary64`
92×	`cube-prod_binary64` `sqr-pow_binary64`
91×	`associate-/l*_binary64`
90×	`associate-/r/_binary64`
88×	`sub-neg_binary64`
81×	`distribute-rgt1-in_binary64`
64×	`distribute-lft-out_binary64`
62×	`unsub-neg_binary64`
55×	`unpow3_binary64`
51×	`exp-prod_binary64`
48×	`distribute-lft-neg-in_binary64`
45×	`distribute-lft1-in_binary64`
43×	`*-rgt-identity_binary64`
38×	`associate-/r*_binary64`
33×	`pow-sqr_binary64`
31×	`distribute-neg-in_binary64`
30×	`neg-mul-1_binary64` `associate-+l-_binary64`
28×	`associate--l-_binary64`
26×	`neg-sub0_binary64`
22×	`pow-plus_binary64` `prod-exp_binary64`
19×	`cube-unmult_binary64` `*-lft-identity_binary64` `distribute-rgt-out--_binary64`
17×	`associate-+r-_binary64`
16×	`log-prod_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64`
15×	`distribute-neg-frac_binary64`
14×	`cube-mult_binary64` `rem-sqrt-square_binary64`
13×	`log-div_binary64`
11×	`+-rgt-identity_binary64`
10×	`remove-double-neg_binary64` `sub0-neg_binary64` `swap-sqr_binary64`
9×	`exp-sum_binary64` `+-lft-identity_binary64`
8×	`exp-sqrt_binary64` `exp-diff_binary64`
6×	`exp-lft-sqr_binary64`
5×	`--rgt-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
4×	`unpow2_binary64` `exp-lft-cube_binary64` `associate--r-_binary64`
3×	`unpow1/2_binary64` `div-sub_binary64`
2×	`log-rec_binary64` `distribute-neg-out_binary64` `count-2_binary64`
1×	`unpow1_binary64` `1-exp_binary64` `exp-1-e_binary64` `/-rgt-identity_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `associate-*l/_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-cbrt_binary64` `div-exp_binary64` `rec-exp_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `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-square-sqrt_binary64` `times-frac_binary64` `mul-1-neg_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64`

Counts

17 → 7

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	172
1	89	154
2	221	154
3	481	154
4	991	154
5	1945	154
6	2460	154
7	4689	154
8	4926	154
9	4762	154

prune5.0ms (0.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	7	0	7
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	7	3	10

Error

0.0b

Counts

10 → 3

Compiler

Compiled 71 to 59 computations (16.9% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (pow.f64 x 4))
0.3b	(/.f64 3 (pow.f64 x 3))
0.4b	(/.f64 1 (*.f64 x x))
8.6b	(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4)))

rewrite228.0ms (8.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

62×	`times-frac_binary64`
54×	`*-un-lft-identity_binary64`
47×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
29×	`add-exp-log_binary64`
24×	`unpow-prod-down_binary64`
20×	`associate-/r*_binary64`
13×	`add-cbrt-cube_binary64` `div-exp_binary64`
12×	`pow1_binary64` `cube-prod_binary64`
9×	`associate-/l*_binary64`
8×	`sqr-pow_binary64`
7×	`pow-flip_binary64`
6×	`add-log-exp_binary64`
5×	`1-exp_binary64` `rec-exp_binary64`
4×	`div-inv_binary64` `cbrt-undiv_binary64` `pow-to-exp_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`
3×	`distribute-lft-out_binary64` `prod-exp_binary64` `frac-2neg_binary64` `clear-num_binary64`
2×	`inv-pow_binary64`
1×	`sum-log_binary64` `frac-add_binary64` `flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64` `pow2_binary64` `pow-prod-down_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `pow-sqr_binary64` `cbrt-unprod_binary64`

Counts

4 → 165

Calls

4 calls:

50.0ms	(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4)))
6.0ms	(/.f64 3 (pow.f64 x 3))
5.0ms	(/.f64 1 (*.f64 x x))
5.0ms	(/.f64 1 (pow.f64 x 4))

Compiler

Compiled 3963 to 2937 computations (25.9% saved)

series48.0ms (1.9%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

18.0ms	(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4)))
9.0ms	(/.f64 3 (pow.f64 x 3))
8.0ms	(/.f64 1 (pow.f64 x 4))
8.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 656 to 533 computations (18.8% saved)

simplify119.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

695×	`associate-*r/_binary64`
484×	`associate-/r/_binary64`
471×	`unswap-sqr_binary64`
195×	`log-div_binary64`
177×	`associate-/r*_binary64`
161×	`cancel-sign-sub-inv_binary64`
110×	`distribute-rgt-neg-in_binary64`
102×	`distribute-lft-neg-in_binary64`
98×	`log-prod_binary64`
83×	`distribute-rgt-in_binary64` `associate-l_binary64`
81×	`cube-prod_binary64`
77×	`associate-/l_binary64` `associate-r*_binary64`
66×	`times-frac_binary64`
63×	`distribute-lft-in_binary64`
50×	`distribute-neg-frac_binary64`
48×	`swap-sqr_binary64`
47×	`sqr-pow_binary64`
43×	`cube-div_binary64`
41×	`distribute-rgt-out_binary64`
36×	`associate-/l/_binary64`
34×	`sub-neg_binary64`
33×	`log-pow_binary64`
30×	`associate-l/_binary64` `-commutative_binary64`
27×	`distribute-lft-out_binary64`
23×	`*-rgt-identity_binary64`
22×	`neg-mul-1_binary64`
21×	`neg-sub0_binary64`
18×	`exp-prod_binary64` `distribute-rgt-out--_binary64`
14×	`+-commutative_binary64`
13×	`rem-sqrt-square_binary64` `/-rgt-identity_binary64`
12×	`unpow3_binary64` `pow-sqr_binary64` `distribute-neg-in_binary64`
11×	`pow-plus_binary64` `*-lft-identity_binary64`
10×	`log-rec_binary64` `distribute-lft-out--_binary64`
9×	`cube-unmult_binary64` `associate-+r-_binary64`
8×	`cube-mult_binary64`
7×	`distribute-lft-neg-out_binary64`
6×	`count-2_binary64` `associate-+r+_binary64`
4×	`unpow2_binary64` `unpow1_binary64` `distribute-rgt-neg-out_binary64`
3×	`div-sub_binary64`
2×	`+-lft-identity_binary64` `associate--r+_binary64`
1×	`unpow1/2_binary64` `exp-lft-cube_binary64` `prod-exp_binary64` `1-exp_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `rem-square-sqrt_binary64` `unsub-neg_binary64` `+-rgt-identity_binary64` `difference-of-squares_binary64` `distribute-rgt1-in_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` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-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` `sqr-abs_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-lft1-in_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64`

Counts

180 → 123

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	2237
1	377	2099
2	1385	2048
3	4955	2048
4	5123	2048

prune60.0ms (2.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	123	3	126

Error

0.0b

Counts

126 → 3

Compiler

Compiled 1510 to 1089 computations (27.9% saved)

regimes346.0ms (13.4%)

Accuracy

Total 0.1b remaining (79.2%)

Threshold costs 0.1b (79.2%)

Compiler

Compiled 4096 to 3233 computations (21.1% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	115
1	41	115
2	58	115
3	77	115
4	89	115
5	94	115
6	95	115
7	92	115

end2.0ms (0.1%)

Compiler: Compiled 77 to 57 computations (26% saved)

sample901.0ms (34.9%)

Algorithm

1×

intervals

Results

253.0ms	2002×	body	1024	valid
144.0ms	4261×	body	128	valid
100.0ms	1015×	body	512	valid
41.0ms	223×	body	2048	valid
31.0ms	499×	body	256	valid

Compiler

Compiled 133 to 107 computations (19.5% saved)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19
0	1	1
1	1	1

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19
0	1	1
1	1	1

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19

Details

analyze95.0ms (3.7%)

sample29.0ms (1.1%)

simplify80.0ms (3.1%)

prune1.0ms (0%)

localize6.0ms (0.2%)

rewrite259.0ms (10%)

series53.0ms (2.1%)

simplify135.0ms (5.2%)

prune71.0ms (2.8%)

localize3.0ms (0.1%)

rewrite11.0ms (0.4%)

series10.0ms (0.4%)

simplify98.0ms (3.8%)

prune5.0ms (0.2%)

localize13.0ms (0.5%)

rewrite228.0ms (8.8%)

series48.0ms (1.9%)

simplify119.0ms (4.6%)

prune60.0ms (2.3%)

regimes346.0ms (13.4%)

bsearch3.0ms (0.1%)

simplify7.0ms (0.3%)

end2.0ms (0.1%)

sample901.0ms (34.9%)

Profiling

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19
0	1	1
1	1	1

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	33	19
4	55	19
5	85	19
6	165	19
7	242	19
8	538	19
9	578	19
10	658	19
11	835	19
12	780	19
13	770	19
14	764	19
15	766	19
16	768	19
17	770	19
18	770	19
19	681	19