Details

analyze1.4s (16.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

1132×	`unswap-sqr_binary64`
672×	`associate-/l/_binary64`
567×	`sqr-pow_binary64`
254×	`*-commutative_binary64`
210×	`pow-sqr_binary64`
164×	`associate-/r*_binary64`
122×	`associate-l_binary64`
110×	`associate-r_binary64`
81×	`cube-prod_binary64`
69×	`unpow3_binary64` `cube-mult_binary64`
27×	`rem-sqrt-square_binary64`
21×	`pow-plus_binary64`
12×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
6×	`cube-unmult_binary64`
1×	`1-exp_binary64` `swap-c-s`
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` `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` `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-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-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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_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-/r/_binary64` `associate-/l_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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	96
1	72	96
2	170	96
3	628	96
4	1074	96
5	1056	96
6	1105	96
7	1161	96
8	1227	96
9	1309	96
10	3858	96
11	3958	96
12	4112	96
13	4258	96
14	4428	96
15	4633	96
16	4893	96
17	5083	96
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

Symmetry

(sort c s)

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample63.0ms (0.7%)

Algorithm

1×

intervals

Results

16.0ms	207×	body	128	valid
8.0ms	26×	body	1024	valid
5.0ms	57×	body	128	invalid
4.0ms	15×	body	512	valid
3.0ms	7×	body	1024	invalid
2.0ms	9×	body	512	invalid
1.0ms	8×	body	256	valid
1.0ms	6×	body	256	invalid

Compiler

Compiled 33 to 32 computations (3% saved)

simplify168.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2066×	`associate-/r*_binary64`
750×	`unswap-sqr_binary64`
658×	`sqr-pow_binary64`
616×	`*-commutative_binary64`
381×	`associate-/l/_binary64`
276×	`pow-sqr_binary64`
252×	`cube-prod_binary64`
232×	`unpow3_binary64` `associate-l_binary64`
230×	`cube-mult_binary64`
203×	`associate-r_binary64`
34×	`pow-plus_binary64`
24×	`rem-sqrt-square_binary64`
10×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
8×	`cube-unmult_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` `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` `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` `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-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-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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_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-/r/_binary64` `associate-/l_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`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	29	24
2	68	24
3	214	24
4	833	24
5	1363	24
6	2078	24
7	2141	24
8	2214	24
9	2303	24
10	2428	24
11	2591	24
12	2676	24
13	2919	24
14	3249	24
15	3660	24
16	4182	24
17	4324	24
18	4444	24
19	4528	24
20	7278	24

prune8.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

28.6b

Counts

2 → 1

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
3.2b	(.f64 (.f64 x (pow.f64 s 2)) x)
7.6b	(*.f64 x (pow.f64 s 2))
20.6b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite231.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

14.3b

Rules

122×	`add-exp-log_binary64`
82×	`prod-exp_binary64`
34×	`add-cbrt-cube_binary64`
18×	`pow-to-exp_binary64` `pow-exp_binary64` `add-sqr-sqrt_binary64`
16×	`cbrt-unprod_binary64` `div-exp_binary64`
12×	`add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-l_binary64` `associate-r*_binary64`
7×	`unpow-prod-down_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64` `cbrt-undiv_binary64`
3×	`unpow2_binary64` `sqr-pow_binary64` `-commutative_binary64` `times-frac_binary64` `associate-/l_binary64`
1×	`pow-prod-down_binary64` `frac-2neg_binary64` `cos-2_binary64` `div-sub_binary64` `clear-num_binary64` `div-inv_binary64` `associate-/r*_binary64`

Counts

4 → 119

Calls

4 calls:

11.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
10.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
6.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
6.0ms	(*.f64 x (pow.f64 s 2))

Compiler

Compiled 2430 to 1661 computations (31.6% saved)

series174.0ms (2.1%)

Error

27.2b

Counts

4 → 33

Calls

4 calls:

80.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
41.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
20.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
20.0ms	(*.f64 x (pow.f64 s 2))

Compiler

Compiled 1236 to 1114 computations (9.9% saved)

simplify141.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

710×	`associate-/l*_binary64`
423×	`*-commutative_binary64`
242×	`associate-/l/_binary64`
227×	`associate-l_binary64`
225×	`log-prod_binary64`
214×	`associate-r_binary64`
186×	`associate-*l/_binary64`
184×	`associate-*r/_binary64`
163×	`exp-prod_binary64`
144×	`unswap-sqr_binary64` `associate-/r*_binary64`
121×	`cube-prod_binary64`
105×	`associate-/r/_binary64`
76×	`times-frac_binary64`
57×	`distribute-rgt-neg-in_binary64`
52×	`cancel-sign-sub-inv_binary64`
50×	`distribute-lft-neg-in_binary64`
46×	`sqr-pow_binary64`
45×	`swap-sqr_binary64`
44×	`associate--r+_binary64`
43×	`log-div_binary64`
38×	`associate-+l+_binary64` `associate-+r+_binary64`
37×	`sub-neg_binary64`
36×	`log-pow_binary64`
35×	`cube-div_binary64`
33×	`+-commutative_binary64`
20×	`distribute-neg-frac_binary64` `distribute-neg-in_binary64`
19×	`unpow3_binary64` `pow-plus_binary64` `neg-mul-1_binary64` `neg-sub0_binary64`
17×	`cube-unmult_binary64`
16×	`cube-mult_binary64`
14×	`*-rgt-identity_binary64`
13×	`distribute-rgt-in_binary64` `associate--l+_binary64`
12×	`*-lft-identity_binary64`
11×	`associate-+l-_binary64`
9×	`unpow1/2_binary64`
8×	`pow-sqr_binary64` `associate-+r-_binary64`
7×	`unpow2_binary64` `unpow1_binary64`
6×	`rem-sqrt-square_binary64` `unsub-neg_binary64`
4×	`distribute-lft-neg-out_binary64`
3×	`/-rgt-identity_binary64` `distribute-lft-in_binary64`
2×	`rem-square-sqrt_binary64` `distribute-lft-out_binary64` `associate--l-_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt-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-rec_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` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_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` `sqr-neg_binary64` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `associate--r-_binary64`

Counts

152 → 141

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	179	3208
1	409	2744
2	1445	2727
3	4510	2704
4	4953	2688
5	5011	2688

prune97.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	130	11	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	11	142

Error

13.1b

Counts

142 → 11

Compiler

Compiled 1596 to 767 computations (51.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cos.f64 (*.f64 2 x))
0.2b	(.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))
0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
20.6b	(.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (.f64 s x))))

rewrite177.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

2.6b

Rules

40×	`add-exp-log_binary64`
20×	`add-cbrt-cube_binary64`
19×	`prod-exp_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
11×	`pow1_binary64` `associate-l_binary64`
7×	`cbrt-unprod_binary64` `div-exp_binary64`
5×	`unswap-sqr_binary64`
4×	`pow-to-exp_binary64` `pow-exp_binary64` `add-log-exp_binary64` `unpow-prod-down_binary64` `associate-r_binary64`
3×	`cbrt-undiv_binary64` `times-frac_binary64` `associate-/l*_binary64` `swap-sqr_binary64`
2×	`pow2_binary64` `pow-prod-down_binary64` `unpow2_binary64` `sqr-pow_binary64` `*-commutative_binary64` `cos-2_binary64`
1×	`frac-2neg_binary64` `div-sub_binary64` `clear-num_binary64` `div-inv_binary64` `associate-/r*_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `sqr-abs_binary64` `pow-sqr_binary64`

Counts

4 → 92

Calls

4 calls:

9.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
7.0ms	(.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (.f64 s x))))
4.0ms	(.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))
1.0ms	(cos.f64 (*.f64 2 x))

Compiler

Compiled 2220 to 934 computations (57.9% saved)

series161.0ms (1.9%)

Error

13.1b

Counts

4 → 33

Calls

4 calls:

81.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
35.0ms	(.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (.f64 s x))))
16.0ms	(.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))
9.0ms	(cos.f64 (*.f64 2 x))

Compiler

Compiled 1302 to 1059 computations (18.7% saved)

simplify105.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

817×	`associate-/l*_binary64`
272×	`unswap-sqr_binary64`
260×	`associate-/l/_binary64`
254×	`associate-*l/_binary64`
234×	`associate-*r/_binary64`
153×	`cancel-sign-sub-inv_binary64`
141×	`log-prod_binary64`
135×	`exp-prod_binary64`
130×	`associate-/r*_binary64`
126×	`associate-r_binary64`
106×	`associate-/r/_binary64`
105×	`associate-l_binary64`
86×	`times-frac_binary64`
83×	`distribute-rgt-neg-in_binary64`
76×	`distribute-lft-neg-in_binary64`
48×	`*-commutative_binary64`
43×	`sub-neg_binary64`
41×	`log-div_binary64`
38×	`sqr-pow_binary64`
28×	`distribute-neg-frac_binary64`
27×	`unpow3_binary64` `cube-prod_binary64`
25×	`swap-sqr_binary64`
24×	`neg-mul-1_binary64` `neg-sub0_binary64`
21×	`+-commutative_binary64`
18×	`log-pow_binary64` `pow-plus_binary64`
17×	`distribute-neg-in_binary64` `distribute-rgt-in_binary64`
15×	`associate--r+_binary64`
12×	`associate--l+_binary64`
11×	`unsub-neg_binary64`
10×	`cube-unmult_binary64`
9×	`*-rgt-identity_binary64`
8×	`rem-sqrt-square_binary64` `pow-sqr_binary64`
7×	`cube-div_binary64` `distribute-lft-in_binary64`
6×	`unpow1/2_binary64` `*-lft-identity_binary64`
5×	`unpow2_binary64` `unpow1_binary64` `distribute-lft-neg-out_binary64` `associate-+l+_binary64`
4×	`distribute-lft-out_binary64`
3×	`/-rgt-identity_binary64` `count-2_binary64`
2×	`rem-square-sqrt_binary64` `associate-+r+_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `cube-mult_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `sqr-abs_binary64` `div-sub_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt-out--_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-rec_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` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-neg_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

125 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	2668
1	331	2255
2	1322	2214
3	4750	2169
4	5010	2169

prune116.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	97	8	105
Fresh	7	3	10
Picked	1	0	1
Done	0	0	0
Total	105	11	116

Error

2.6b

Counts

116 → 11

Compiler

Compiled 1575 to 869 computations (44.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cos.f64 (*.f64 2 x))
0.3b	(pow.f64 (.f64 (fabs.f64 (.f64 s x)) c) 2)
0.4b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (fabs.f64 (*.f64 s x)) c) 2))
4.0b	(.f64 (fabs.f64 (.f64 s x)) c)

rewrite174.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

2.5b

Rules

20×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `times-frac_binary64`
17×	`add-exp-log_binary64`
9×	`pow1_binary64`
8×	`add-cbrt-cube_binary64`
6×	`associate-/r*_binary64`
5×	`unpow-prod-down_binary64` `unpow2_binary64` `sqr-pow_binary64`
4×	`add-log-exp_binary64` `div-exp_binary64` `pow-exp_binary64`
3×	`prod-exp_binary64` `associate-l_binary64` `associate-r_binary64` `associate-/l*_binary64` `pow-unpow_binary64`
2×	`pow-prod-down_binary64` `pow-to-exp_binary64` `cos-2_binary64` `pow-pow_binary64`
1×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `div-sub_binary64` `clear-num_binary64` `div-inv_binary64`

Counts

4 → 87

Calls

4 calls:

5.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (fabs.f64 (*.f64 s x)) c) 2))
4.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
3.0ms	(pow.f64 (.f64 (fabs.f64 (.f64 s x)) c) 2)
1.0ms	(cos.f64 (*.f64 2 x))

Compiler

Compiled 1807 to 929 computations (48.6% saved)

series160.0ms (1.9%)

Error

2.6b

Counts

4 → 36

Calls

4 calls:

81.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (fabs.f64 (*.f64 s x)) c) 2))
32.0ms	(pow.f64 (.f64 (fabs.f64 (.f64 s x)) c) 2)
23.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
9.0ms	(cos.f64 (*.f64 2 x))

Compiler

Compiled 1276 to 1085 computations (15% saved)

simplify132.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

775×	`associate-/l*_binary64`
275×	`associate-/l/_binary64`
222×	`associate-*l/_binary64`
199×	`associate-*r/_binary64`
184×	`*-commutative_binary64`
178×	`cancel-sign-sub-inv_binary64`
131×	`associate-/r*_binary64`
123×	`log-prod_binary64`
122×	`exp-prod_binary64`
120×	`sub-neg_binary64`
118×	`sqr-pow_binary64`
105×	`unswap-sqr_binary64`
98×	`neg-mul-1_binary64` `neg-sub0_binary64`
94×	`associate-/r/_binary64`
91×	`times-frac_binary64`
90×	`distribute-rgt-neg-in_binary64`
82×	`distribute-lft-neg-in_binary64`
75×	`cube-prod_binary64`
67×	`associate-l_binary64`
55×	`associate-r_binary64`
45×	`swap-sqr_binary64`
41×	`unpow3_binary64`
37×	`distribute-neg-frac_binary64`
36×	`log-div_binary64`
31×	`pow-sqr_binary64`
29×	`+-commutative_binary64`
27×	`/-rgt-identity_binary64` `distribute-rgt-in_binary64`
26×	`associate--r+_binary64`
25×	`cube-div_binary64`
23×	`associate--l+_binary64`
20×	`log-pow_binary64` `unsub-neg_binary64` `associate-+l-_binary64`
19×	`associate-+l+_binary64`
18×	`distribute-lft-in_binary64`
16×	`distribute-neg-in_binary64`
15×	`*-rgt-identity_binary64` `associate-+r-_binary64` `associate-+r+_binary64`
13×	`pow-plus_binary64` `cube-mult_binary64`
11×	`*-lft-identity_binary64`
10×	`cube-unmult_binary64`
9×	`sub0-neg_binary64` `+-rgt-identity_binary64`
8×	`unpow1/2_binary64` `rem-sqrt-square_binary64`
7×	`div-sub_binary64`
4×	`unpow2_binary64` `unpow1_binary64`
3×	`distribute-lft-neg-out_binary64`
2×	`*-inverses_binary64` `distribute-lft-out_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `sqr-abs_binary64` `div0_binary64` `distribute-rgt-out--_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_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-rec_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` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_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-neg_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `remove-double-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` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate--r-_binary64`

Counts

123 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	152	2604
1	306	2449
2	1188	2428
3	4259	2407
4	4902	2407
5	4945	2407

prune108.0ms (1.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	77	10	87
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	83	15	98

Error

2.5b

Counts

98 → 15

Compiler

Compiled 1480 to 839 computations (43.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (.f64 s x)) c)) (.f64 (fabs.f64 (*.f64 s x)) c))
1.0b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (*.f64 s x)) c))
4.0b	(.f64 (fabs.f64 (.f64 s x)) c)
4.0b	(.f64 (fabs.f64 (.f64 s x)) c)

rewrite204.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

2.5b

Rules

34×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
12×	`div-exp_binary64` `cbrt-undiv_binary64`
10×	`associate-/l*_binary64`
8×	`pow1_binary64` `prod-exp_binary64` `cbrt-unprod_binary64`
6×	`associate-l_binary64` `associate-r_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
2×	`pow-prod-down_binary64` `unswap-sqr_binary64` `-commutative_binary64` `frac-2neg_binary64` `clear-num_binary64` `associate-/r_binary64`
1×	`associate-/l/_binary64`

Counts

4 → 95

Calls

4 calls:

7.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (.f64 s x)) c)) (.f64 (fabs.f64 (*.f64 s x)) c))
7.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (*.f64 s x)) c))
4.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
4.0ms	(.f64 (fabs.f64 (.f64 s x)) c)

Compiler

Compiled 2511 to 827 computations (67.1% saved)

series192.0ms (2.3%)

Error

2.5b

Counts

4 → 42

Calls

4 calls:

79.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (.f64 s x)) c)) (.f64 (fabs.f64 (*.f64 s x)) c))
52.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 (fabs.f64 (*.f64 s x)) c))
23.0ms	(.f64 (fabs.f64 (.f64 s x)) c)
22.0ms	(.f64 (fabs.f64 (.f64 s x)) c)

Compiler

Compiled 1803 to 1149 computations (36.3% saved)

simplify119.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

629×	`associate-*l/_binary64`
492×	`associate-*r/_binary64`
455×	`associate-/r/_binary64`
358×	`unswap-sqr_binary64`
209×	`*-commutative_binary64`
199×	`associate-/r*_binary64`
174×	`times-frac_binary64`
172×	`sub-neg_binary64`
126×	`associate-/l*_binary64`
118×	`cancel-sign-sub-inv_binary64`
88×	`neg-mul-1_binary64`
87×	`neg-sub0_binary64`
81×	`log-prod_binary64`
72×	`log-div_binary64` `swap-sqr_binary64`
69×	`associate-l_binary64`
62×	`sqr-pow_binary64` `distribute-neg-frac_binary64`
55×	`associate-/l/_binary64` `associate-r_binary64`
52×	`cube-prod_binary64`
46×	`distribute-rgt-neg-in_binary64`
44×	`cube-div_binary64` `distribute-lft-neg-in_binary64`
40×	`+-commutative_binary64`
38×	`associate--l+_binary64`
36×	`/-rgt-identity_binary64`
31×	`associate-+l-_binary64` `associate-+l+_binary64`
30×	`associate--r+_binary64`
28×	`exp-prod_binary64`
25×	`associate-+r+_binary64`
19×	`associate-+r-_binary64`
18×	`unsub-neg_binary64`
16×	`unpow3_binary64`
14×	`div-sub_binary64`
13×	`+-rgt-identity_binary64` `associate--l-_binary64`
12×	`pow-sqr_binary64` `distribute-neg-in_binary64`
11×	`cube-mult_binary64` `*-lft-identity_binary64`
10×	`cube-unmult_binary64` `sub0-neg_binary64`
9×	`pow-plus_binary64`
8×	`distribute-rgt-in_binary64`
7×	`*-rgt-identity_binary64`
6×	`log-pow_binary64` `log-rec_binary64`
4×	`unpow1/2_binary64` `rem-sqrt-square_binary64`
3×	`unpow2_binary64` `unpow1_binary64` `div0_binary64`
2×	`--rgt-identity_binary64` `remove-double-div_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-in_binary64` `associate--r-_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `sqr-abs_binary64` `remove-double-neg_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-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` `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` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_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-neg_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64`

Counts

137 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	146	3289
1	359	2777
2	1442	2756
3	4126	2756
4	5170	2756

prune67.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	76	14	90

Error

2.5b

Counts

90 → 14

Compiler

Compiled 1021 to 437 computations (57.2% saved)

regimes2.3s (27.2%)

Accuracy

Total 0.5b remaining (17.8%)

Threshold costs 0.5b (17.8%)

Compiler

Compiled 34423 to 25497 computations (25.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3× *-commutative_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 1-exp_binary64 exp-1-e_binary64 exp-0_binary64 sqr-abs_binary64 sqr-neg_binary64 neg-mul-1_binary64 neg-sub0_binary64 unsub-neg_binary64 sub-neg_binary64 mul-1-neg_binary64 /-rgt-identity_binary64 *-rgt-identity_binary64 *-lft-identity_binary64 remove-double-neg_binary64 sub0-neg_binary64 --rgt-identity_binary64 +-rgt-identity_binary64 +-lft-identity_binary64 cancel-sign-sub-inv_binary64 cancel-sign-sub_binary64 distribute-neg-frac_binary64 distribute-frac-neg_binary64 distribute-neg-out_binary64 distribute-neg-in_binary64 distribute-rgt-neg-out_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 distribute-lft-neg-in_binary64 +-commutative_binary64

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	16	28
2	16	28

end10.0ms (0.1%)

Remove: (sort c s)
Compiler: Compiled 54 to 36 computations (33.3% saved)

sample2.0s (24.3%)

Algorithm

1×

intervals

Results

495.0ms	6219×	body	128	valid
279.0ms	847×	body	1024	valid
159.0ms	1828×	body	128	invalid
152.0ms	618×	body	512	valid
56.0ms	175×	body	1024	invalid
51.0ms	313×	body	256	valid
48.0ms	205×	body	512	invalid
29.0ms	154×	body	256	invalid
2.0ms	3×	body	2048	valid

Compiler

Compiled 328 to 254 computations (22.6% saved)

Details

analyze1.4s (16.9%)

sample63.0ms (0.7%)

simplify168.0ms (2%)

prune8.0ms (0.1%)

localize12.0ms (0.1%)

rewrite231.0ms (2.8%)

series174.0ms (2.1%)

simplify141.0ms (1.7%)

prune97.0ms (1.2%)

localize11.0ms (0.1%)

rewrite177.0ms (2.1%)

series161.0ms (1.9%)

simplify105.0ms (1.2%)

prune116.0ms (1.4%)

localize10.0ms (0.1%)

rewrite174.0ms (2.1%)

series160.0ms (1.9%)

simplify132.0ms (1.6%)

prune108.0ms (1.3%)

localize10.0ms (0.1%)

rewrite204.0ms (2.4%)

series192.0ms (2.3%)

simplify119.0ms (1.4%)

prune67.0ms (0.8%)

regimes2.3s (27.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end10.0ms (0.1%)

sample2.0s (24.3%)

Profiling