Details

analyze1.8s (14%)

Algorithm

1×	search
2×	egg-herbie

Rules

912×	`unswap-sqr_binary64`
752×	`sqr-pow_binary64`
360×	`cube-prod_binary64`
336×	`unpow3_binary64`
320×	`cube-mult_binary64`
257×	`*-commutative_binary64`
208×	`pow-sqr_binary64`
200×	`associate-l_binary64`
192×	`pow-plus_binary64`
168×	`associate-r_binary64`
120×	`rem-sqrt-square_binary64`
40×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `cube-unmult_binary64`
16×	`swap-sqr_binary64`
6×	`associate-/l*_binary64`
4×	`+-commutative_binary64`
3×	`associate-/r/_binary64` `associate-l/_binary64` `associate-r/_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` `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--r-_binary64` `associate--l-_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	39	136
1	86	136
2	197	136
3	361	136
4	698	136
5	868	136
6	1296	136
7	2649	136
8	2812	136
9	3009	136
10	3411	136
11	4084	136
12	4396	136
13	4716	136
14	4940	136
15	4958	136
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
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	62.4%	12.6%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
42.9%	44.5%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
52.6%	34.8%	12.6%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample161.0ms (1.2%)

Algorithm

1×

intervals

Results

55.0ms	58×	body	1024	valid
34.0ms	38×	body	1024	invalid
20.0ms	161×	body	128	valid
14.0ms	23×	body	512	valid
8.0ms	13×	body	512	invalid
6.0ms	5×	body	2048	valid
3.0ms	25×	body	128	invalid
3.0ms	8×	body	256	invalid
3.0ms	9×	body	256	valid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify142.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1308×	`sqr-pow_binary64`
632×	`pow-sqr_binary64`
484×	`unswap-sqr_binary64`
332×	`cube-prod_binary64`
271×	`*-commutative_binary64`
238×	`unpow3_binary64` `cube-mult_binary64`
186×	`associate-l_binary64`
120×	`associate-r_binary64`
84×	`pow-plus_binary64`
42×	`rem-sqrt-square_binary64`
14×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
10×	`cube-unmult_binary64`
4×	`swap-sqr_binary64`
2×	`associate-/l*_binary64`
1×	`1-exp_binary64` `associate-/r/_binary64` `associate-l/_binary64` `associate-r/_binary64` `+-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` `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` `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--r-_binary64` `associate--l-_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	16	34
1	30	34
2	64	34
3	110	34
4	199	34
5	435	34
6	615	34
7	1068	34
8	1083	34
9	1255	34
10	1456	34
11	1778	34
12	2198	34
13	2712	34
14	3360	34
15	3572	34
16	3702	34
17	3734	34
18	3738	34
19	3738	34
20	4557	34
21	5252	34

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

20.7b

Counts

1 → 1

Compiler

Compiled 21 to 19 computations (9.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 (/.f64 angle 180))
0.3b	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
24.6b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
24.9b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite154.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

20.1b

Rules

18×	`add-sqr-sqrt_binary64`
13×	`add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-r*_binary64`
12×	`add-exp-log_binary64`
10×	`times-frac_binary64`
9×	`pow1_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64`
3×	`pow-unpow_binary64` `prod-exp_binary64` `associate-l_binary64`
2×	`pow-prod-down_binary64` `pow-pow_binary64` `pow-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64`
1×	`unpow-prod-down_binary64` `pow-to-exp_binary64` `unpow2_binary64` `sqr-pow_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 64

Calls

4 calls:

7.0ms	(*.f64 PI.f64 (/.f64 angle 180))
4.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
2.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1680 to 1218 computations (27.5% saved)

series87.0ms (0.7%)

Error

20.0b

Counts

4 → 20

Calls

4 calls:

37.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
12.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
11.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
9.0ms	(*.f64 PI.f64 (/.f64 angle 180))

Compiler

Compiled 1153 to 991 computations (14.1% saved)

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

587×	`times-frac_binary64`
557×	`unswap-sqr_binary64`
314×	`*-commutative_binary64`
298×	`distribute-rgt-neg-in_binary64`
223×	`cancel-sign-sub-inv_binary64`
172×	`associate-*r/_binary64`
158×	`associate-/l_binary64` `associate-l/_binary64`
134×	`associate-r_binary64`
123×	`associate-l_binary64`
115×	`log-prod_binary64`
109×	`sqr-pow_binary64`
98×	`distribute-lft-neg-in_binary64`
97×	`exp-prod_binary64`
73×	`sub-neg_binary64`
69×	`neg-mul-1_binary64` `neg-sub0_binary64`
58×	`associate-/l/_binary64`
53×	`swap-sqr_binary64`
46×	`cube-prod_binary64`
42×	`associate-/r*_binary64`
40×	`associate-/r/_binary64`
37×	`unpow3_binary64`
33×	`*-lft-identity_binary64`
31×	`log-pow_binary64`
29×	`*-rgt-identity_binary64`
27×	`log-div_binary64`
22×	`pow-sqr_binary64`
21×	`pow-plus_binary64`
20×	`+-commutative_binary64`
17×	`associate-+l+_binary64`
16×	`cube-unmult_binary64` `/-rgt-identity_binary64`
15×	`cube-div_binary64` `associate-+r+_binary64`
14×	`associate-+l-_binary64`
13×	`associate--l+_binary64`
11×	`cube-mult_binary64`
10×	`associate-+r-_binary64`
9×	`rem-sqrt-square_binary64` `unsub-neg_binary64`
8×	`unpow1/2_binary64` `distribute-neg-in_binary64` `distribute-rgt-in_binary64` `associate--r+_binary64`
7×	`sub0-neg_binary64` `+-rgt-identity_binary64`
6×	`unpow2_binary64` `unpow1_binary64`
4×	`distribute-rgt-out--_binary64` `distribute-lft-in_binary64`
2×	`log-rec_binary64` `remove-double-div_binary64` `distribute-lft-neg-out_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `distribute-rgt-out_binary64` `distribute-lft-out_binary64` `count-2_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `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-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

84 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	160	1308
1	345	1206
2	1083	1200
3	2522	1194
4	4782	1194
5	4998	1194
6	4947	1194

prune57.0ms (0.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	26	13	39
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	27	13	40

Error

20.1b

Counts

40 → 13

Compiler

Compiled 992 to 756 computations (23.8% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 (/.f64 angle 180))
0.3b	(.f64 (.f64 angle PI.f64) (/.f64 1 180))
24.6b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
24.8b	(sin.f64 (.f64 (.f64 angle PI.f64) (/.f64 1 180)))

rewrite253.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

19.6b

Rules

31×	`add-exp-log_binary64`
26×	`associate-r_binary64`
24×	`add-sqr-sqrt_binary64`
21×	`add-cbrt-cube_binary64`
19×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `times-frac_binary64`
14×	`prod-exp_binary64`
11×	`pow1_binary64`
8×	`cbrt-unprod_binary64`
5×	`div-exp_binary64`
4×	`add-log-exp_binary64` `pow-prod-down_binary64` `associate-l_binary64`
3×	`cbrt-undiv_binary64`
2×	`1-exp_binary64` `rec-exp_binary64` `associate-r/_binary64` `div-inv_binary64` `-commutative_binary64` `unswap-sqr_binary64`
1×	`un-div-inv_binary64`

Counts

4 → 84

Calls

4 calls:

8.0ms	(.f64 (.f64 angle PI.f64) (/.f64 1 180))
7.0ms	(*.f64 PI.f64 (/.f64 angle 180))
2.0ms	(sin.f64 (.f64 (.f64 angle PI.f64) (/.f64 1 180)))
2.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 2379 to 1688 computations (29% saved)

series59.0ms (0.4%)

Error

19.6b

Counts

4 → 16

Calls

4 calls:

12.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms	(sin.f64 (.f64 (.f64 angle PI.f64) (/.f64 1 180)))
9.0ms	(*.f64 PI.f64 (/.f64 angle 180))
9.0ms	(.f64 (.f64 angle PI.f64) (/.f64 1 180))

Compiler

Compiled 888 to 756 computations (14.9% saved)

simplify95.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

427×	`*-commutative_binary64`
373×	`unswap-sqr_binary64`
295×	`associate-/l*_binary64`
289×	`distribute-rgt-neg-in_binary64`
272×	`cancel-sign-sub-inv_binary64`
269×	`distribute-lft-neg-in_binary64`
233×	`associate-*r/_binary64`
227×	`sub-neg_binary64`
222×	`associate-*l/_binary64`
221×	`associate-l_binary64`
188×	`associate-r_binary64`
187×	`associate-+l+_binary64`
137×	`neg-mul-1_binary64`
130×	`neg-sub0_binary64`
125×	`times-frac_binary64`
103×	`swap-sqr_binary64`
93×	`associate-/l/_binary64`
88×	`associate-/r*_binary64`
79×	`sqr-pow_binary64`
72×	`associate-/r/_binary64`
60×	`associate-+l-_binary64`
55×	`cube-prod_binary64`
52×	`*-lft-identity_binary64` `associate-+r+_binary64`
51×	`exp-prod_binary64`
48×	`*-rgt-identity_binary64` `associate--r+_binary64`
44×	`log-prod_binary64`
43×	`associate-+r-_binary64`
41×	`associate--l+_binary64`
35×	`unsub-neg_binary64`
33×	`+-commutative_binary64`
30×	`cube-div_binary64`
28×	`log-div_binary64`
27×	`/-rgt-identity_binary64`
21×	`distribute-neg-in_binary64`
20×	`cube-unmult_binary64`
19×	`unpow3_binary64`
13×	`pow-sqr_binary64`
12×	`cube-mult_binary64` `distribute-rgt-in_binary64`
10×	`pow-plus_binary64` `+-rgt-identity_binary64` `distribute-rgt-out--_binary64` `associate--r-_binary64`
9×	`rem-sqrt-square_binary64` `sub0-neg_binary64` `distribute-rgt-out_binary64`
8×	`associate--l-_binary64`
6×	`log-pow_binary64` `distribute-lft-in_binary64`
5×	`unpow1/2_binary64`
3×	`remove-double-div_binary64` `count-2_binary64`
2×	`unpow2_binary64` `unpow1_binary64` `+-lft-identity_binary64` `distribute-lft-neg-out_binary64`
1×	`log-rec_binary64` `exp-sum_binary64` `1-exp_binary64` `exp-1-e_binary64` `--rgt-identity_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` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_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` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64`

Counts

100 → 67

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	1313
1	391	1164
2	1393	1161
3	3061	1161
4	4722	1161
5	5046	1161

prune151.0ms (1.1%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	52	15	67
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	54	26	80

Error

19.7b

Counts

80 → 26

Compiler

Compiled 2023 to 1521 computations (24.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 angle PI.f64) (/.f64 1 180))
1.0b	(/.f64 PI.f64 (sqrt.f64 180))
24.4b	(cos.f64 (*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))
24.8b	(sin.f64 (.f64 (.f64 angle PI.f64) (/.f64 1 180)))

rewrite376.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

19.6b

Rules

28×	`add-exp-log_binary64`
27×	`times-frac_binary64`
26×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
18×	`add-cbrt-cube_binary64`
13×	`associate-r_binary64`
12×	`sqrt-prod_binary64` `prod-exp_binary64`
9×	`pow1_binary64`
6×	`associate-/r*_binary64` `cbrt-unprod_binary64`
5×	`div-exp_binary64`
4×	`add-log-exp_binary64`
3×	`cbrt-undiv_binary64` `associate-/l*_binary64` `pow-prod-down_binary64`
2×	`div-inv_binary64` `1-exp_binary64` `rec-exp_binary64`
1×	`frac-2neg_binary64` `clear-num_binary64` `un-div-inv_binary64` `associate-r/_binary64` `associate-l_binary64` `-commutative_binary64`

Counts

4 → 91

Calls

4 calls:

10.0ms	(.f64 (.f64 angle PI.f64) (/.f64 1 180))
4.0ms	(/.f64 PI.f64 (sqrt.f64 180))
2.0ms	(sin.f64 (.f64 (.f64 angle PI.f64) (/.f64 1 180)))
2.0ms	(cos.f64 (*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))

Compiler

Compiled 2857 to 2148 computations (24.8% saved)

series70.0ms (0.5%)

Error

19.7b

Counts

4 → 13

Calls

4 calls:

19.0ms	(cos.f64 (*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))
11.0ms	(sin.f64 (.f64 (.f64 angle PI.f64) (/.f64 1 180)))
10.0ms	(.f64 (.f64 angle PI.f64) (/.f64 1 180))
0.0ms	(/.f64 PI.f64 (sqrt.f64 180))

Compiler

Compiled 889 to 775 computations (12.8% saved)

simplify82.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

426×	`associate-/l*_binary64`
419×	`unswap-sqr_binary64`
342×	`*-commutative_binary64`
279×	`times-frac_binary64`
244×	`cancel-sign-sub-inv_binary64`
194×	`associate-/r*_binary64`
193×	`associate-*l/_binary64`
150×	`associate-*r/_binary64`
141×	`associate-l_binary64`
139×	`swap-sqr_binary64`
122×	`associate-r_binary64`
114×	`associate-/l/_binary64`
107×	`sub-neg_binary64` `associate-/r/_binary64`
82×	`sqr-pow_binary64`
68×	`distribute-rgt-neg-in_binary64`
67×	`neg-mul-1_binary64`
66×	`neg-sub0_binary64` `distribute-lft-neg-in_binary64`
58×	`log-div_binary64` `cube-div_binary64`
54×	`log-prod_binary64`
52×	`exp-prod_binary64` `cube-prod_binary64`
47×	`associate-+r+_binary64`
44×	`associate-+l+_binary64`
36×	`+-commutative_binary64`
31×	`associate-+l-_binary64`
30×	`*-rgt-identity_binary64`
26×	`/-rgt-identity_binary64`
25×	`*-lft-identity_binary64`
24×	`distribute-neg-frac_binary64`
19×	`associate-+r-_binary64`
14×	`cube-unmult_binary64` `associate--l+_binary64`
13×	`unsub-neg_binary64` `associate--r+_binary64`
12×	`remove-double-div_binary64`
11×	`sub0-neg_binary64` `pow-sqr_binary64`
10×	`log-rec_binary64` `+-rgt-identity_binary64`
9×	`unpow3_binary64`
6×	`log-pow_binary64` `pow-plus_binary64` `cube-mult_binary64`
5×	`rem-sqrt-square_binary64`
4×	`unpow1/2_binary64`
3×	`unpow2_binary64` `unpow1_binary64` `associate--l-_binary64`
2×	`+-lft-identity_binary64` `distribute-neg-in_binary64` `distribute-rgt-out--_binary64` `distribute-rgt-out_binary64` `distribute-rgt-in_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `rem-square-sqrt_binary64` `--rgt-identity_binary64` `+-inverses_binary64` `distribute-lft-neg-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` `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-abs_binary64` `sqr-neg_binary64` `div-sub_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_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-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `distribute-lft-in_binary64` `count-2_binary64` `associate--r-_binary64`

Counts

104 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	189	1587
1	393	1433
2	1218	1359
3	3390	1333
4	4921	1333

prune179.0ms (1.4%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	58	5	63
Fresh	2	23	25
Picked	1	0	1
Done	0	0	0
Total	61	28	89

Error

19.7b

Counts

89 → 28

Compiler

Compiled 2105 to 1644 computations (21.9% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
0.3b	(pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)
24.6b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
24.9b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite237.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

19.7b

Rules

8×	`pow1_binary64` `add-exp-log_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`pow-unpow_binary64`
5×	`add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `unpow-prod-down_binary64`
3×	`pow-pow_binary64` `pow-exp_binary64` `cube-prod_binary64`
2×	`pow-to-exp_binary64` `sqr-pow_binary64`
1×	`unpow3_binary64` `cube-mult_binary64` `rem-cube-cbrt_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `unpow2_binary64`

Counts

4 → 55

Calls

4 calls:

4.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
3.0ms	(pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)
2.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1484 to 1139 computations (23.2% saved)

series144.0ms (1.1%)

Error

19.4b

Counts

4 → 23

Calls

4 calls:

38.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
18.0ms	(pow.f64 (cos.f64 (*.f64 PI.f64 (/.f64 angle 180))) 3)
14.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
13.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1496 to 1298 computations (13.2% saved)

simplify93.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

358×	`unswap-sqr_binary64`
342×	`cancel-sign-sub-inv_binary64`
320×	`distribute-rgt-neg-in_binary64`
314×	`*-commutative_binary64`
311×	`distribute-lft-neg-in_binary64`
250×	`log-prod_binary64`
243×	`exp-prod_binary64`
201×	`sqr-pow_binary64`
142×	`associate-+l+_binary64`
131×	`cube-prod_binary64`
118×	`associate-r_binary64`
114×	`associate-+r+_binary64`
101×	`unpow3_binary64`
96×	`sub-neg_binary64`
85×	`associate-l_binary64`
77×	`neg-mul-1_binary64` `neg-sub0_binary64`
76×	`associate-+l-_binary64`
72×	`swap-sqr_binary64`
65×	`associate-/l*_binary64`
58×	`pow-sqr_binary64`
57×	`log-pow_binary64`
52×	`distribute-rgt-in_binary64`
48×	`pow-plus_binary64`
42×	`associate--l+_binary64`
39×	`distribute-lft-in_binary64`
34×	`associate-+r-_binary64`
26×	`cube-unmult_binary64` `associate-/l/_binary64`
25×	`+-commutative_binary64`
22×	`rem-sqrt-square_binary64` `distribute-rgt-out_binary64`
21×	`cube-mult_binary64`
20×	`associate--r+_binary64`
16×	`unsub-neg_binary64`
15×	`count-2_binary64`
14×	`associate-*r/_binary64`
12×	`associate--l-_binary64`
10×	`sub0-neg_binary64` `distribute-rgt-out--_binary64` `associate-/r/_binary64`
9×	`unpow2_binary64` `distribute-lft-out_binary64`
8×	`+-rgt-identity_binary64` `associate-/r*_binary64`
7×	`unpow1/2_binary64` `unpow1_binary64` `-rgt-identity_binary64` `associate-l/_binary64`
5×	`*-lft-identity_binary64`
4×	`distribute-neg-in_binary64` `distribute-lft-neg-out_binary64`
2×	`associate--r-_binary64`
1×	`1-exp_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `rem-square-sqrt_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` `log-div_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-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` `sqr-abs_binary64` `sqr-neg_binary64` `times-frac_binary64` `div-sub_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64`

Counts

78 → 43

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	132	1402
1	303	1312
2	919	1294
3	2349	1291
4	4820	1277
5	4958	1277

prune106.0ms (0.8%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	27	27
Picked	1	0	1
Done	0	0	0
Total	41	30	71

Error

19.7b

Counts

71 → 30

Compiler

Compiled 744 to 554 computations (25.5% saved)

regimes2.6s (19.7%)

Accuracy

Total 1.3b remaining (6.4%)

Threshold costs 0b (0%)

Compiler

Compiled 42368 to 37596 computations (11.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	34
1	23	34
2	23	34

end1.0ms (0%)

Compiler: Compiled 21 to 19 computations (9.5% saved)

sample6.1s (46.3%)

Algorithm

1×

intervals

Results

1.4s	1530×	body	1024	valid
1.2s	1279×	body	1024	invalid
639.0ms	5076×	body	128	valid
486.0ms	830×	body	512	valid
412.0ms	654×	body	512	invalid
250.0ms	172×	body	2048	valid
132.0ms	387×	body	256	valid
106.0ms	299×	body	256	invalid
89.0ms	652×	body	128	invalid
23.0ms	5×	body	4096	valid

Compiler

Compiled 930 to 813 computations (12.6% saved)

Details

analyze1.8s (14%)

sample161.0ms (1.2%)

simplify142.0ms (1.1%)

prune2.0ms (0%)

localize13.0ms (0.1%)

rewrite154.0ms (1.2%)

series87.0ms (0.7%)

simplify112.0ms (0.8%)

prune57.0ms (0.4%)

localize18.0ms (0.1%)

rewrite253.0ms (1.9%)

series59.0ms (0.4%)

simplify95.0ms (0.7%)

prune151.0ms (1.1%)

localize20.0ms (0.1%)

rewrite376.0ms (2.9%)

series70.0ms (0.5%)

simplify82.0ms (0.6%)

prune179.0ms (1.4%)

localize16.0ms (0.1%)

rewrite237.0ms (1.8%)

series144.0ms (1.1%)

simplify93.0ms (0.7%)

prune106.0ms (0.8%)

regimes2.6s (19.7%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end1.0ms (0%)

sample6.1s (46.3%)

Profiling