Details

analyze1.7s (12.7%)

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	195	136
3	357	136
4	695	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
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample154.0ms (1.2%)

Algorithm

1×

intervals

Results

40.0ms	47×	body	1024	valid
31.0ms	35×	body	1024	invalid
20.0ms	162×	body	128	valid
16.0ms	21×	body	512	invalid
14.0ms	25×	body	512	valid
7.0ms	6×	body	2048	valid
5.0ms	16×	body	256	valid
2.0ms	7×	body	256	invalid
2.0ms	15×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify144.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	108	34
4	198	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.2b

Counts

1 → 1

Compiler

Compiled 21 to 19 computations (9.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
25.1b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.1b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite188.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

19.1b

Rules

30×	`add-sqr-sqrt_binary64`
26×	`associate-l_binary64`
20×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `times-frac_binary64`
14×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64`
4×	`add-log-exp_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64`
2×	`pow-prod-down_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `associate-l/_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 2070 to 1469 computations (29% saved)

series45.0ms (0.3%)

Error

19.8b

Counts

4 → 13

Calls

4 calls:

11.0ms	(*.f64 (/.f64 angle 180) PI.f64)
10.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
9.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 660 to 577 computations (12.6% saved)

simplify118.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

567×	`associate-/l*_binary64`
478×	`associate-*l/_binary64`
375×	`distribute-rgt-neg-in_binary64`
357×	`*-commutative_binary64`
345×	`distribute-lft-neg-in_binary64`
332×	`associate-*r/_binary64`
278×	`associate-l_binary64`
245×	`sub-neg_binary64`
234×	`associate-r_binary64`
201×	`cancel-sign-sub-inv_binary64`
189×	`unswap-sqr_binary64`
171×	`associate-/l/_binary64`
157×	`associate-/r*_binary64`
152×	`unsub-neg_binary64`
147×	`associate-/r/_binary64`
139×	`neg-mul-1_binary64`
127×	`neg-sub0_binary64`
101×	`sqr-pow_binary64`
85×	`associate-+l+_binary64`
83×	`associate-+r+_binary64`
57×	`associate--l+_binary64`
52×	`associate-+l-_binary64`
49×	`distribute-rgt-in_binary64`
45×	`distribute-lft-in_binary64` `associate-+r-_binary64`
34×	`associate--r+_binary64`
33×	`-rgt-identity_binary64` `-lft-identity_binary64`
30×	`times-frac_binary64`
29×	`exp-prod_binary64`
27×	`log-prod_binary64`
26×	`+-commutative_binary64`
25×	`pow-sqr_binary64`
24×	`cube-prod_binary64`
23×	`associate--l-_binary64`
22×	`rem-sqrt-square_binary64` `mul0-rgt_binary64` `mul0-lft_binary64`
20×	`distribute-neg-in_binary64`
18×	`div-sub_binary64` `associate--r-_binary64`
17×	`log-div_binary64` `/-rgt-identity_binary64`
16×	`swap-sqr_binary64`
15×	`cube-div_binary64`
14×	`distribute-rgt-out--_binary64`
13×	`distribute-rgt-out_binary64`
12×	`unpow3_binary64`
11×	`sub0-neg_binary64`
10×	`cube-unmult_binary64` `+-rgt-identity_binary64` `distribute-lft-neg-out_binary64`
8×	`cube-mult_binary64` `distribute-rgt-neg-out_binary64`
7×	`--rgt-identity_binary64`
6×	`distribute-neg-frac_binary64` `distribute-lft-out--_binary64`
5×	`distribute-lft-out_binary64`
4×	`pow-plus_binary64` `remove-double-neg_binary64`
3×	`log-rec_binary64` `unpow1/2_binary64` `exp-sum_binary64` `+-lft-identity_binary64`
2×	`unpow2_binary64`
1×	`cos-neg_binary64` `sin-neg_binary64` `exp-diff_binary64` `1-exp_binary64` `exp-1-e_binary64` `cube-neg_binary64` `sqr-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_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` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_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-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `mul-1-neg_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`

Counts

91 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1161
1	193	1017
2	483	1017
3	1387	1014
4	3361	1014
5	4565	1014
6	4803	1014
7	4910	1014

prune148.0ms (1.1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	43	24	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	24	68

Error

19.1b

Counts

68 → 24

Compiler

Compiled 2341 to 1722 computations (26.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 angle 180))
0.6b	(cbrt.f64 (/.f64 angle 180))
24.8b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))
25.1b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite269.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

19.1b

Rules

26×	`cbrt-prod_binary64`
18×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `times-frac_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1/3_binary64` `cbrt-div_binary64` `div-inv_binary64`

Counts

4 → 58

Calls

4 calls:

4.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))
3.0ms	(cbrt.f64 (/.f64 angle 180))
2.0ms	(cbrt.f64 (/.f64 angle 180))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 2315 to 1754 computations (24.2% saved)

series101.0ms (0.8%)

Error

19.0b

Counts

4 → 13

Calls

4 calls:

24.0ms	(cbrt.f64 (/.f64 angle 180))
22.0ms	(cbrt.f64 (/.f64 angle 180))
12.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
11.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))

Compiler

Compiled 1124 to 960 computations (14.6% saved)

simplify159.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

830×	`unswap-sqr_binary64`
558×	`associate-*l/_binary64`
333×	`distribute-rgt-neg-in_binary64`
323×	`distribute-lft-neg-in_binary64`
314×	`times-frac_binary64`
302×	`*-commutative_binary64`
294×	`cancel-sign-sub-inv_binary64`
174×	`sub-neg_binary64`
158×	`associate-/l*_binary64`
151×	`associate-l_binary64`
142×	`associate-r_binary64`
140×	`neg-mul-1_binary64`
138×	`neg-sub0_binary64`
134×	`associate-/l/_binary64`
118×	`associate-/r*_binary64`
91×	`unsub-neg_binary64` `associate-/r/_binary64`
70×	`sqr-pow_binary64`
60×	`distribute-rgt-in_binary64`
55×	`distribute-lft-in_binary64`
43×	`remove-double-neg_binary64`
37×	`-rgt-identity_binary64` `associate-r/_binary64`
34×	`*-lft-identity_binary64`
32×	`mul0-rgt_binary64` `mul0-lft_binary64`
28×	`div-sub_binary64`
24×	`unpow3_binary64`
20×	`pow-plus_binary64` `cube-unmult_binary64`
19×	`distribute-neg-in_binary64` `distribute-rgt-out_binary64`
14×	`cube-prod_binary64`
13×	`distribute-lft-neg-out_binary64` `distribute-rgt-out--_binary64`
12×	`distribute-rgt-neg-out_binary64`
11×	`+-commutative_binary64`
10×	`sub0-neg_binary64`
9×	`/-rgt-identity_binary64`
8×	`associate-+l-_binary64`
7×	`pow-sqr_binary64` `associate--r+_binary64`
6×	`cube-mult_binary64` `cube-div_binary64` `sqr-neg_binary64` `--rgt-identity_binary64` `distribute-lft-out--_binary64`
5×	`unpow2_binary64` `swap-sqr_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate-+r-_binary64` `associate-+r+_binary64`
4×	`+-rgt-identity_binary64` `distribute-lft-out_binary64`
2×	`sin-neg_binary64` `unpow1/3_binary64` `cube-neg_binary64` `rem-cube-cbrt_binary64` `mul-1-neg_binary64` `distribute-neg-out_binary64`
1×	`cos-neg_binary64` `unpow1_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-sqrt-square_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` `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/2_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `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` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `+-lft-identity_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-rgt1-in_binary64` `distribute-lft1-in_binary64` `count-2_binary64` `associate-+l+_binary64`

Counts

71 → 28

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	107	1145
1	189	1043
2	385	1043
3	986	1043
4	2210	1043
5	3890	1043
6	4906	1043
7	4995	1043
8	5000	1043
9	4852	1043

prune109.0ms (0.8%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	23	5	28
Fresh	3	20	23
Picked	1	0	1
Done	0	0	0
Total	27	25	52

Error

19.0b

Counts

52 → 25

Compiler

Compiled 1655 to 1320 computations (20.2% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 angle 180))
0.6b	(cbrt.f64 (*.f64 1/180 angle))
24.8b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))
25.1b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite223.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

19.0b

Rules

14×	`cbrt-prod_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
9×	`times-frac_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1/3_binary64`
1×	`cbrt-div_binary64` `div-inv_binary64`

Counts

4 → 45

Calls

4 calls:

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

Compiler

Compiled 1922 to 1496 computations (22.2% saved)

series104.0ms (0.8%)

Error

19.0b

Counts

4 → 13

Calls

4 calls:

23.0ms	(cbrt.f64 (*.f64 1/180 angle))
23.0ms	(cbrt.f64 (/.f64 angle 180))
12.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
12.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))

Compiler

Compiled 1229 to 1065 computations (13.3% saved)

simplify143.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

830×	`unswap-sqr_binary64`
558×	`associate-*l/_binary64`
347×	`distribute-rgt-neg-in_binary64`
333×	`distribute-lft-neg-in_binary64`
314×	`times-frac_binary64`
304×	`*-commutative_binary64`
301×	`cancel-sign-sub-inv_binary64`
158×	`associate-/l*_binary64`
156×	`associate-l_binary64`
145×	`associate-r_binary64`
142×	`neg-sub0_binary64`
141×	`neg-mul-1_binary64`
134×	`associate-/l/_binary64`
118×	`associate-/r*_binary64`
105×	`sub-neg_binary64`
91×	`unsub-neg_binary64` `associate-/r/_binary64`
74×	`sqr-pow_binary64`
60×	`distribute-rgt-in_binary64`
55×	`distribute-lft-in_binary64`
43×	`remove-double-neg_binary64`
37×	`-rgt-identity_binary64` `associate-r/_binary64`
34×	`div-sub_binary64` `*-lft-identity_binary64`
32×	`mul0-rgt_binary64` `mul0-lft_binary64`
24×	`unpow3_binary64`
23×	`distribute-neg-in_binary64`
21×	`cube-unmult_binary64`
20×	`pow-plus_binary64`
19×	`distribute-rgt-out_binary64`
17×	`distribute-lft-neg-out_binary64`
14×	`cube-prod_binary64`
13×	`distribute-rgt-out--_binary64`
12×	`distribute-rgt-neg-out_binary64`
11×	`+-commutative_binary64`
10×	`cube-mult_binary64` `sub0-neg_binary64`
9×	`/-rgt-identity_binary64`
8×	`associate-+l-_binary64`
7×	`pow-sqr_binary64` `associate--r+_binary64`
6×	`cube-div_binary64` `sqr-neg_binary64` `--rgt-identity_binary64` `distribute-lft-out--_binary64`
5×	`unpow2_binary64` `swap-sqr_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate-+r-_binary64` `associate-+r+_binary64`
4×	`+-rgt-identity_binary64` `distribute-lft-out_binary64`
2×	`sin-neg_binary64` `unpow1/3_binary64` `cube-neg_binary64` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64` `mul-1-neg_binary64` `distribute-neg-out_binary64`
1×	`cos-neg_binary64` `unpow1_binary64` `1-exp_binary64` `rem-sqrt-square_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` `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/2_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `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` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `+-lft-identity_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-rgt1-in_binary64` `distribute-lft1-in_binary64` `count-2_binary64` `associate-+l+_binary64`

Counts

58 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	114	913
1	197	823
2	397	823
3	1004	823
4	2243	823
5	3954	823
6	4978	823
7	4964	823
8	4988	823
9	4853	823

prune95.0ms (0.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	2	22	24
Picked	1	0	1
Done	0	0	0
Total	21	26	47

Error

19.0b

Counts

47 → 26

Compiler

Compiled 1525 to 1245 computations (18.4% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 angle 180))
0.6b	(cbrt.f64 (*.f64 1/180 angle))
24.8b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))
25.1b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite222.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

19.0b

Rules

14×	`cbrt-prod_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
9×	`times-frac_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1/3_binary64`
1×	`cbrt-div_binary64` `div-inv_binary64`

Counts

4 → 45

Calls

4 calls:

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

Compiler

Compiled 2057 to 1631 computations (20.7% saved)

series112.0ms (0.8%)

Error

19.0b

Counts

4 → 13

Calls

4 calls:

24.0ms	(cbrt.f64 (/.f64 angle 180))
22.0ms	(cbrt.f64 (*.f64 1/180 angle))
15.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
13.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))

Compiler

Compiled 1334 to 1170 computations (12.3% saved)

simplify146.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

830×	`unswap-sqr_binary64`
558×	`associate-*l/_binary64`
347×	`distribute-rgt-neg-in_binary64`
333×	`distribute-lft-neg-in_binary64`
314×	`times-frac_binary64`
304×	`*-commutative_binary64`
301×	`cancel-sign-sub-inv_binary64`
158×	`associate-/l*_binary64`
156×	`associate-l_binary64`
145×	`associate-r_binary64`
142×	`neg-sub0_binary64`
141×	`neg-mul-1_binary64`
134×	`associate-/l/_binary64`
118×	`associate-/r*_binary64`
105×	`sub-neg_binary64`
91×	`unsub-neg_binary64` `associate-/r/_binary64`
74×	`sqr-pow_binary64`
60×	`distribute-rgt-in_binary64`
55×	`distribute-lft-in_binary64`
43×	`remove-double-neg_binary64`
37×	`-rgt-identity_binary64` `associate-r/_binary64`
34×	`div-sub_binary64` `*-lft-identity_binary64`
32×	`mul0-rgt_binary64` `mul0-lft_binary64`
24×	`unpow3_binary64`
23×	`distribute-neg-in_binary64`
21×	`cube-unmult_binary64`
20×	`pow-plus_binary64`
19×	`distribute-rgt-out_binary64`
17×	`distribute-lft-neg-out_binary64`
14×	`cube-prod_binary64`
13×	`distribute-rgt-out--_binary64`
12×	`distribute-rgt-neg-out_binary64`
11×	`+-commutative_binary64`
10×	`cube-mult_binary64` `sub0-neg_binary64`
9×	`/-rgt-identity_binary64`
8×	`associate-+l-_binary64`
7×	`pow-sqr_binary64` `associate--r+_binary64`
6×	`cube-div_binary64` `sqr-neg_binary64` `--rgt-identity_binary64` `distribute-lft-out--_binary64`
5×	`unpow2_binary64` `swap-sqr_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate-+r-_binary64` `associate-+r+_binary64`
4×	`+-rgt-identity_binary64` `distribute-lft-out_binary64`
2×	`sin-neg_binary64` `unpow1/3_binary64` `cube-neg_binary64` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64` `mul-1-neg_binary64` `distribute-neg-out_binary64`
1×	`cos-neg_binary64` `unpow1_binary64` `1-exp_binary64` `rem-sqrt-square_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` `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/2_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `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` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `sqr-abs_binary64` `rem-square-sqrt_binary64` `+-lft-identity_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-rgt1-in_binary64` `distribute-lft1-in_binary64` `count-2_binary64` `associate-+l+_binary64`

Counts

58 → 22

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	114	913
1	197	823
2	397	823
3	1004	823
4	2243	823
5	3954	823
6	4978	823
7	4964	823
8	4988	823
9	4853	823

prune78.0ms (0.6%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	20	2	22
Fresh	2	23	25
Picked	0	1	1
Done	0	0	0
Total	22	26	48

Error

19.0b

Counts

48 → 26

Compiler

Compiled 753 to 597 computations (20.7% saved)

regimes2.7s (20.3%)

Accuracy

Total 1.2b remaining (5.6%)

Threshold costs 0b (0%)

Compiler

Compiled 46240 to 40397 computations (12.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	26	70
1	35	70
2	35	70

end2.0ms (0%)

Compiler: Compiled 43 to 37 computations (14% saved)

sample6.3s (46.9%)

Algorithm

1×

intervals

Results

1.4s	1602×	body	1024	valid
1.2s	1333×	body	1024	invalid
774.0ms	4976×	body	128	valid
481.0ms	825×	body	512	valid
427.0ms	709×	body	512	invalid
282.0ms	209×	body	2048	valid
129.0ms	361×	body	256	invalid
119.0ms	384×	body	256	valid
72.0ms	548×	body	128	invalid
18.0ms	4×	body	4096	valid

Compiler

Compiled 900 to 780 computations (13.3% saved)

Details

analyze1.7s (12.7%)

sample154.0ms (1.2%)

simplify144.0ms (1.1%)

prune2.0ms (0%)

localize19.0ms (0.1%)

rewrite188.0ms (1.4%)

series45.0ms (0.3%)

simplify118.0ms (0.9%)

prune148.0ms (1.1%)

localize26.0ms (0.2%)

rewrite269.0ms (2%)

series101.0ms (0.8%)

simplify159.0ms (1.2%)

prune109.0ms (0.8%)

localize30.0ms (0.2%)

rewrite223.0ms (1.7%)

series104.0ms (0.8%)

simplify143.0ms (1.1%)

prune95.0ms (0.7%)

localize32.0ms (0.2%)

rewrite222.0ms (1.7%)

series112.0ms (0.8%)

simplify146.0ms (1.1%)

prune78.0ms (0.6%)

regimes2.7s (20.3%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end2.0ms (0%)

sample6.3s (46.9%)

Profiling