Details

analyze253.0ms (6.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

1760×	`associate--l+_binary64`
1745×	`associate--r+_binary64`
455×	`unsub-neg_binary64`
435×	`distribute-rgt-in_binary64`
425×	`sub-neg_binary64`
323×	`distribute-neg-in_binary64`
321×	`distribute-lft-in_binary64`
175×	`associate-+l-_binary64`
154×	`+-commutative_binary64`
144×	`cancel-sign-sub-inv_binary64`
126×	`associate-+r-_binary64`
114×	`associate--l-_binary64`
93×	`distribute-lft-neg-out_binary64`
92×	`associate--r-_binary64`
86×	`associate-r_binary64`
83×	`associate-l_binary64`
82×	`*-commutative_binary64`
78×	`neg-sub0_binary64` `distribute-rgt-neg-out_binary64`
72×	`associate-+r+_binary64`
71×	`distribute-rgt-neg-in_binary64`
67×	`neg-mul-1_binary64`
63×	`distribute-lft-neg-in_binary64` `associate-+l+_binary64`
55×	`distribute-rgt-out--_binary64`
47×	`distribute-neg-out_binary64`
29×	`distribute-rgt-out_binary64`
28×	`mul0-rgt_binary64` `mul0-lft_binary64`
27×	`sub0-neg_binary64`
26×	`*-rgt-identity_binary64`
19×	`*-lft-identity_binary64` `remove-double-neg_binary64`
17×	`distribute-rgt1-in_binary64`
16×	`log-prod_binary64`
15×	`--rgt-identity_binary64`
12×	`+-rgt-identity_binary64`
10×	`cancel-sign-sub_binary64`
8×	`+-lft-identity_binary64`
4×	`distribute-lft-out--_binary64`
2×	`distribute-lft-out_binary64`
1×	`1-exp_binary64` `+-inverses_binary64` `distribute-lft1-in_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` `log-rec_binary64` `log-div_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` `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` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	25	23
2	51	23
3	91	23
4	195	23
5	328	23
6	532	23
7	817	23
8	1428	23
9	1449	23
10	1675	23
11	1757	23
12	1815	23
13	1828	23
14	2029	23
15	1969	23
16	2031	23
17	2041	23
18	2051	23
19	2051	23
20	2081	23
21	2061	23
22	2061	23
23	2185	23
24	2137	23
25	2137	23
26	6094	23
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	23.7%	76.3%	0
0%	23.7%	76.3%	1
11.9%	11.9%	76.3%	2
17.8%	5.9%	76.3%	3
20.8%	3%	76.3%	4
22.2%	1.5%	76.3%	5
23%	0.7%	76.3%	6
23.3%	0.4%	76.3%	7
23.3%	0.4%	76.3%	8
23.4%	0.3%	76.3%	9
23.5%	0.2%	76.3%	10
23.5%	0.2%	76.3%	11
23.5%	0.2%	76.3%	12
23.6%	0.2%	76.3%	13
23.6%	0.1%	76.3%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample82.0ms (2.1%)

Algorithm

1×

intervals

Results

39.0ms	136×	body	1024	valid
12.0ms	63×	body	512	valid
10.0ms	39×	body	256	valid
6.0ms	14×	body	2048	valid
3.0ms	256×	pre	128	true
0.0ms	4×	body	128	valid

Compiler

Compiled 33 to 27 computations (18.2% saved)

simplify230.0ms (6%)

Algorithm

1×	egg-herbie

Rules

1760×	`associate--l+_binary64`
1745×	`associate--r+_binary64`
455×	`unsub-neg_binary64`
435×	`distribute-rgt-in_binary64`
425×	`sub-neg_binary64`
323×	`distribute-neg-in_binary64`
321×	`distribute-lft-in_binary64`
175×	`associate-+l-_binary64`
154×	`+-commutative_binary64`
144×	`cancel-sign-sub-inv_binary64`
126×	`associate-+r-_binary64`
114×	`associate--l-_binary64`
93×	`distribute-lft-neg-out_binary64`
92×	`associate--r-_binary64`
86×	`associate-r_binary64`
83×	`associate-l_binary64`
82×	`*-commutative_binary64`
78×	`neg-sub0_binary64` `distribute-rgt-neg-out_binary64`
72×	`associate-+r+_binary64`
71×	`distribute-rgt-neg-in_binary64`
67×	`neg-mul-1_binary64`
63×	`distribute-lft-neg-in_binary64` `associate-+l+_binary64`
55×	`distribute-rgt-out--_binary64`
47×	`distribute-neg-out_binary64`
29×	`distribute-rgt-out_binary64`
28×	`mul0-rgt_binary64` `mul0-lft_binary64`
27×	`sub0-neg_binary64`
26×	`*-rgt-identity_binary64`
19×	`*-lft-identity_binary64` `remove-double-neg_binary64`
17×	`distribute-rgt1-in_binary64`
16×	`log-prod_binary64`
15×	`--rgt-identity_binary64`
12×	`+-rgt-identity_binary64`
10×	`cancel-sign-sub_binary64`
8×	`+-lft-identity_binary64`
4×	`distribute-lft-out--_binary64`
2×	`distribute-lft-out_binary64`
1×	`1-exp_binary64` `+-inverses_binary64` `distribute-lft1-in_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` `log-rec_binary64` `log-div_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` `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` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `swap-sqr_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	25	23
2	51	23
3	91	23
4	195	23
5	328	23
6	532	23
7	817	23
8	1428	23
9	1449	23
10	1675	23
11	1757	23
12	1815	23
13	1828	23
14	2029	23
15	1969	23
16	2031	23
17	2041	23
18	2051	23
19	2051	23
20	2081	23
21	2061	23
22	2061	23
23	2185	23
24	2137	23
25	2137	23
26	6094	23

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

63.0b

Counts

1 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.3b	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
0.3b	(*.f64 n (log.f64 n))
4.1b	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

rewrite117.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

60.4b

Rules

28×	`log-prod_binary64`
25×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
14×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
9×	`pow1_binary64`
8×	`associate--l+_binary64` `associate-r_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
6×	`associate--r+_binary64`
5×	`add-log-exp_binary64` `distribute-lft-out_binary64`
2×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `log-pow_binary64` `-commutative_binary64` `associate-l/_binary64`
1×	`diff-log_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64` `flip3-+_binary64` `flip-+_binary64`

Counts

3 → 81

Calls

3 calls:

10.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))
9.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
4.0ms	(*.f64 n (log.f64 n))

Compiler

Compiled 1683 to 1052 computations (37.5% saved)

series47.0ms (1.2%)

Error

0.0b

Counts

3 → 12

Calls

3 calls:

15.0ms	(*.f64 n (log.f64 n))
11.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))
10.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))

Compiler

Compiled 515 to 407 computations (21% saved)

simplify108.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

378×	`times-frac_binary64`
356×	`unsub-neg_binary64`
344×	`distribute-rgt-in_binary64`
318×	`distribute-lft-in_binary64`
264×	`cancel-sign-sub-inv_binary64`
227×	`distribute-rgt-neg-out_binary64`
225×	`distribute-rgt-neg-in_binary64`
209×	`distribute-lft-neg-out_binary64`
194×	`*-commutative_binary64`
168×	`sub-neg_binary64`
121×	`exp-sum_binary64`
118×	`associate-l_binary64`
111×	`distribute-neg-in_binary64`
109×	`exp-prod_binary64`
101×	`associate-+l+_binary64`
98×	`neg-sub0_binary64`
95×	`neg-mul-1_binary64` `associate-r_binary64`
93×	`associate-+r+_binary64`
87×	`unswap-sqr_binary64`
77×	`log-prod_binary64` `sqr-pow_binary64`
66×	`+-commutative_binary64`
60×	`cube-prod_binary64` `distribute-lft-neg-in_binary64`
51×	`exp-diff_binary64`
46×	`associate--l+_binary64`
43×	`distribute-rgt-out_binary64`
39×	`distribute-neg-out_binary64`
37×	`*-rgt-identity_binary64`
36×	`*-lft-identity_binary64`
31×	`associate-+r-_binary64`
30×	`associate--r-_binary64`
29×	`difference-of-squares_binary64`
27×	`div-sub_binary64`
25×	`associate-+l-_binary64`
23×	`exp-to-pow_binary64` `remove-double-neg_binary64`
21×	`swap-sqr_binary64`
20×	`prod-exp_binary64`
19×	`sub0-neg_binary64` `associate--r+_binary64`
18×	`distribute-rgt-out--_binary64`
16×	`log-div_binary64`
15×	`distribute-lft-out_binary64`
14×	`exp-neg_binary64` `sqr-neg_binary64` `+-rgt-identity_binary64`
13×	`unpow3_binary64`
12×	`--rgt-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `pow-sqr_binary64`
11×	`rem-sqrt-square_binary64`
8×	`unpow1/2_binary64`
7×	`log-pow_binary64` `cube-div_binary64` `distribute-rgt1-in_binary64`
6×	`cube-mult_binary64`
5×	`cube-neg_binary64` `distribute-frac-neg_binary64` `associate-/l_binary64` `associate-/r_binary64`
4×	`log-rec_binary64`
3×	`pow-plus_binary64` `div-exp_binary64` `rem-exp-log_binary64` `cube-unmult_binary64` `fabs-mul_binary64` `mul-1-neg_binary64` `count-2_binary64`
2×	`+-inverses_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64`
1×	`log-E_binary64` `unpow2_binary64` `unpow1_binary64` `unpow-1_binary64` `rec-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-log-exp_binary64` `fabs-sqr_binary64` `+-lft-identity_binary64` `difference-of-sqr--1_binary64` `distribute-neg-frac_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` `pow-base-0_binary64` `unpow1/3_binary64` `pow-base-1_binary64` `unpow0_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `/-rgt-identity_binary64` `div0_binary64` `-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-l/_binary64` `associate-*r/_binary64`

Counts

93 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	1593
1	336	1506
2	937	1495
3	2694	1492
4	4284	1492
5	5108	1492

prune43.0ms (1.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	1	75

Error

0.0b

Counts

75 → 1

Compiler

Compiled 1181 to 756 computations (36% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (+.f64 1 (log.f64 n)) 1)
0.0b	(+.f64 1 (log.f64 n))

rewrite39.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-log-exp_binary64`
4×	`pow1_binary64` `add-cube-cbrt_binary64` `distribute-lft-out_binary64`
3×	`log-prod_binary64` `associate-+r+_binary64` `cancel-sign-sub-inv_binary64` `distribute-lft-out--_binary64`
2×	`sum-log_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `log-pow_binary64` `diff-log_binary64` `difference-of-squares_binary64`
1×	`flip3-+_binary64` `flip-+_binary64` `+-commutative_binary64` `flip3--_binary64` `sub-neg_binary64` `flip--_binary64` `difference-of-sqr-1_binary64` `associate--l+_binary64`

Counts

2 → 38

Calls

2 calls:

7.0ms	(-.f64 (+.f64 1 (log.f64 n)) 1)
4.0ms	(+.f64 1 (log.f64 n))

Compiler

Compiled 407 to 297 computations (27% saved)

series24.0ms (0.6%)

Error

Counts

2 → 6

Calls

2 calls:

10.0ms	(+.f64 1 (log.f64 n))
9.0ms	(-.f64 (+.f64 1 (log.f64 n)) 1)

Compiler

Compiled 120 to 114 computations (5% saved)

simplify84.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

437×	`unsub-neg_binary64`
414×	`associate-+l-_binary64`
366×	`associate-+r-_binary64`
341×	`associate--r+_binary64`
281×	`log-prod_binary64`
248×	`associate--l+_binary64`
224×	`log-div_binary64`
204×	`exp-diff_binary64`
202×	`div-sub_binary64`
193×	`associate-l_binary64`
174×	`exp-sum_binary64`
170×	`+-commutative_binary64`
162×	`associate-r_binary64`
133×	`associate--r-_binary64`
116×	`distribute-rgt-in_binary64`
96×	`sub-neg_binary64`
95×	`distribute-lft-in_binary64`
89×	`associate-+l+_binary64`
85×	`distribute-rgt-out_binary64`
84×	`neg-sub0_binary64`
73×	`times-frac_binary64`
56×	`associate--l-_binary64`
55×	`associate-+r+_binary64`
53×	`distribute-rgt-neg-out_binary64`
49×	`distribute-lft-neg-out_binary64`
48×	`neg-mul-1_binary64`
47×	`*-commutative_binary64`
45×	`distribute-neg-out_binary64`
32×	`distribute-neg-in_binary64`
26×	`log-pow_binary64` `cancel-sign-sub-inv_binary64`
25×	`exp-prod_binary64` `distribute-rgt1-in_binary64`
23×	`associate-/l*_binary64`
21×	`sqr-pow_binary64` `associate-/r*_binary64`
20×	`distribute-rgt-out--_binary64`
13×	`associate-/r/_binary64`
12×	`prod-exp_binary64`
11×	`distribute-rgt-neg-in_binary64`
10×	`cube-prod_binary64` `-lft-identity_binary64` `sub0-neg_binary64` `distribute-lft1-in_binary64` `associate-r/_binary64`
9×	`pow-plus_binary64`
8×	`log-rec_binary64` `exp-to-pow_binary64` `mul-1-neg_binary64` `*-rgt-identity_binary64` `distribute-lft-out_binary64`
7×	`associate-*l/_binary64`
6×	`div-exp_binary64` `cube-unmult_binary64` `rem-sqrt-square_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `distribute-lft-neg-in_binary64`
5×	`mul0-rgt_binary64` `mul0-lft_binary64` `swap-sqr_binary64` `associate-/l/_binary64`
4×	`rec-exp_binary64` `difference-of-sqr--1_binary64` `unswap-sqr_binary64`
3×	`unpow3_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `difference-of-sqr-1_binary64`
2×	`unpow1/2_binary64` `cube-mult_binary64` `fabs-mul_binary64` `sqr-neg_binary64` `pow-sqr_binary64` `cancel-sign-sub_binary64` `distribute-lft-out--_binary64` `count-2_binary64`
1×	`log-E_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-log-exp_binary64` `rem-3cbrt-lft_binary64` `fabs-sqr_binary64` `remove-double-neg_binary64` `+-inverses_binary64` `distribute-frac-neg_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow2_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-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `cube-div_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `/-rgt-identity_binary64` `+-lft-identity_binary64` `div0_binary64` `*-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-squares_binary64` `distribute-neg-frac_binary64`

Counts

44 → 35

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	449
1	154	395
2	323	345
3	911	345
4	3582	345
5	4667	345
6	4928	345

prune15.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	35	1	36

Error

Counts

36 → 1

Compiler

Compiled 210 to 136 computations (35.2% saved)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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 1-exp_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 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 times-frac_binary64 div-sub_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 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 sqr-pow_binary64 difference-of-sqr--1_binary64 difference-of-sqr-1_binary64 difference-of-squares_binary64 unswap-sqr_binary64 swap-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-rgt1-in_binary64 distribute-lft1-in_binary64 distribute-rgt-out--_binary64 distribute-rgt-out_binary64 distribute-lft-out--_binary64 distribute-lft-out_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 count-2_binary64 associate-/l/_binary64 associate-/r/_binary64 associate-/l*_binary64 associate-/r*_binary64 associate-*l/_binary64 associate-*r/_binary64 associate-*l*_binary64 associate-*r*_binary64 associate--r-_binary64 associate--l-_binary64 associate--l+_binary64 associate--r+_binary64 associate-+l-_binary64 associate-+r-_binary64 associate-+l+_binary64 associate-+r+_binary64 *-commutative_binary64 +-commutative_binary64

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Compiler

Compiled 0 to 0 computations (0% saved)

regimes261.0ms (6.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 3569 to 2744 computations (23.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	3	3

end1.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

sample2.5s (65%)

Algorithm

1×

intervals

Results

1.3s	4280×	body	1024	valid
397.0ms	2061×	body	512	valid
210.0ms	451×	body	2048	valid
123.0ms	1043×	body	256	valid
92.0ms	8000×	pre	128	true
9.0ms	165×	body	128	valid

Compiler

Compiled 51 to 47 computations (7.8% saved)

Details

analyze253.0ms (6.6%)

sample82.0ms (2.1%)

simplify230.0ms (6%)

prune1.0ms (0%)

localize9.0ms (0.2%)

rewrite117.0ms (3.1%)

series47.0ms (1.2%)

simplify108.0ms (2.8%)

prune43.0ms (1.1%)

localize5.0ms (0.1%)

rewrite39.0ms (1%)

series24.0ms (0.6%)

simplify84.0ms (2.2%)

prune15.0ms (0.4%)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

regimes261.0ms (6.8%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.5s (65%)

Profiling