Details

analyze1.8s (13.6%)

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)

sample163.0ms (1.2%)

Algorithm

1×

intervals

Results

38.0ms	42×	body	1024	valid
31.0ms	34×	body	1024	invalid
21.0ms	27×	body	512	invalid
21.0ms	167×	body	128	valid
13.0ms	22×	body	512	valid
12.0ms	9×	body	2048	valid
5.0ms	16×	body	256	valid
2.0ms	18×	body	128	invalid
2.0ms	6×	body	256	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

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

18.6b

Counts

1 → 1

Compiler

Compiled 21 to 19 computations (9.5% saved)

localize14.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)
22.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.1b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite216.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

17.4b

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:

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

Compiler

Compiled 2070 to 1469 computations (29% saved)

series45.0ms (0.3%)

Error

17.6b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 590 to 522 computations (11.5% saved)

simplify160.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

509×	`unsub-neg_binary64`
449×	`associate-/l*_binary64`
397×	`associate-*l/_binary64`
384×	`sqr-pow_binary64`
316×	`distribute-neg-in_binary64`
313×	`sub-neg_binary64`
301×	`*-commutative_binary64`
278×	`cancel-sign-sub-inv_binary64`
266×	`associate-*r/_binary64`
237×	`distribute-rgt-in_binary64`
211×	`pow-sqr_binary64`
199×	`associate--r+_binary64`
171×	`associate-l_binary64`
158×	`+-commutative_binary64`
153×	`associate-/l/_binary64`
133×	`unswap-sqr_binary64`
120×	`rem-sqrt-square_binary64`
114×	`associate-r_binary64` `associate--r-_binary64`
110×	`associate-/r/_binary64`
105×	`associate--l-_binary64`
99×	`distribute-lft-in_binary64`
92×	`neg-mul-1_binary64`
86×	`neg-sub0_binary64`
84×	`associate-+l+_binary64`
83×	`associate-/r*_binary64`
82×	`associate-+r+_binary64`
69×	`distribute-neg-out_binary64`
57×	`associate--l+_binary64`
49×	`associate-+l-_binary64`
45×	`*-lft-identity_binary64`
44×	`distribute-lft-neg-out_binary64`
43×	`distribute-rgt-neg-in_binary64` `associate-+r-_binary64`
42×	`*-rgt-identity_binary64`
39×	`cancel-sign-sub_binary64`
28×	`exp-prod_binary64` `remove-double-neg_binary64`
27×	`times-frac_binary64` `distribute-lft-neg-in_binary64`
26×	`log-prod_binary64`
23×	`distribute-rgt-neg-out_binary64`
21×	`cube-prod_binary64`
20×	`swap-sqr_binary64`
17×	`log-div_binary64`
16×	`cube-div_binary64` `/-rgt-identity_binary64`
12×	`sub0-neg_binary64` `distribute-rgt-out_binary64`
10×	`+-rgt-identity_binary64` `distribute-lft-out--_binary64`
9×	`distribute-lft-out_binary64`
6×	`unpow3_binary64` `unpow1/2_binary64` `cube-unmult_binary64` `cube-mult_binary64` `--rgt-identity_binary64`
4×	`+-lft-identity_binary64` `distribute-rgt1-in_binary64`
3×	`log-rec_binary64` `distribute-rgt-out--_binary64`
2×	`distribute-lft1-in_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `count-2_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `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` `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` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64`

Counts

90 → 66

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	1137
1	170	993
2	393	993
3	846	993
4	1889	993
5	2351	993
6	2940	993
7	3554	993
8	4186	993
9	4966	993
10	4892	993

prune171.0ms (1.3%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	41	25	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	25	67

Error

17.4b

Counts

67 → 25

Compiler

Compiled 2341 to 1726 computations (26.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
22.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
22.5b	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))

rewrite186.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

17.4b

Rules

6×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `cbrt-prod_binary64`
4×	`pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`pow1/3_binary64`

Counts

4 → 36

Calls

4 calls:

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

Compiler

Compiled 1315 to 792 computations (39.8% saved)

series84.0ms (0.6%)

Error

17.4b

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt.f64 angle)
19.0ms	(cbrt.f64 angle)
10.0ms	(cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))
9.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 972 to 786 computations (19.1% saved)

simplify79.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

512×	`associate-/l*_binary64`
427×	`times-frac_binary64`
339×	`associate-*l/_binary64`
268×	`associate-/l/_binary64`
249×	`associate-/r/_binary64`
239×	`log-prod_binary64`
233×	`associate-*r/_binary64`
209×	`*-commutative_binary64`
200×	`distribute-rgt-in_binary64`
193×	`associate-/r*_binary64`
188×	`distribute-lft-in_binary64`
181×	`log-div_binary64`
180×	`distribute-rgt-neg-in_binary64`
166×	`distribute-lft-neg-in_binary64`
162×	`associate-l_binary64`
159×	`distribute-neg-frac_binary64`
133×	`associate-r_binary64`
97×	`unswap-sqr_binary64`
95×	`distribute-lft-neg-out_binary64`
91×	`cancel-sign-sub-inv_binary64`
83×	`distribute-rgt-neg-out_binary64`
64×	`div-sub_binary64`
54×	`neg-sub0_binary64`
47×	`cos-neg_binary64` `sin-neg_binary64`
46×	`distribute-frac-neg_binary64`
45×	`neg-mul-1_binary64`
40×	`sqr-pow_binary64`
34×	`sub-neg_binary64`
29×	`/-rgt-identity_binary64`
23×	`*-lft-identity_binary64`
21×	`log-pow_binary64`
17×	`distribute-rgt-out_binary64`
13×	`log-rec_binary64` `distribute-neg-in_binary64`
11×	`exp-prod_binary64`
10×	`cube-unmult_binary64` `*-rgt-identity_binary64`
8×	`unsub-neg_binary64` `swap-sqr_binary64`
7×	`cube-div_binary64` `distribute-lft-out_binary64`
6×	`pow-sqr_binary64`
5×	`pow-plus_binary64` `cube-prod_binary64`
4×	`rem-sqrt-square_binary64`
3×	`unpow3_binary64` `count-2_binary64`
2×	`unpow1/3_binary64` `cube-mult_binary64` `mul-1-neg_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `associate--l+_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
1×	`exp-neg_binary64` `1-exp_binary64` `cube-neg_binary64` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64` `sqr-neg_binary64` `remove-double-neg_binary64` `div0_binary64` `associate--l-_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` `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` `unpow2_binary64` `unpow1/2_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-diff_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` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_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-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `associate--r-_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

48 → 21

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	58	579
1	102	409
2	246	409
3	859	409
4	2940	409
5	4652	409
6	4944	409

prune77.0ms (0.6%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	19	2	21
Fresh	1	23	24
Picked	0	1	1
Done	0	0	0
Total	20	26	46

Error

17.4b

Counts

46 → 26

Compiler

Compiled 1254 to 955 computations (23.8% 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))
22.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
22.9b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 1/180 angle)))))

rewrite353.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

17.3b

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)

series100.0ms (0.8%)

Error

17.3b

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt.f64 (/.f64 angle 180))
22.0ms	(cbrt.f64 (/.f64 angle 180))
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)))))
11.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1032 to 887 computations (14.1% saved)

simplify153.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1010×	`associate-/r*_binary64`
872×	`associate-/l/_binary64`
469×	`associate-/r/_binary64`
328×	`unswap-sqr_binary64`
320×	`*-commutative_binary64`
314×	`times-frac_binary64`
282×	`sqr-pow_binary64`
158×	`associate-/l*_binary64`
128×	`associate-l_binary64`
95×	`associate-r_binary64`
84×	`cube-prod_binary64`
73×	`pow-sqr_binary64`
53×	`unpow3_binary64`
48×	`pow-plus_binary64` `cube-mult_binary64`
37×	`associate-*r/_binary64`
36×	`distribute-rgt-in_binary64`
32×	`associate-*l/_binary64`
27×	`sub-neg_binary64`
24×	`cube-div_binary64`
19×	`cube-unmult_binary64`
18×	`distribute-lft-in_binary64`
16×	`mul0-rgt_binary64` `mul0-lft_binary64`
14×	`unpow2_binary64`
13×	`unpow1/2_binary64` `unpow1_binary64`
12×	`+-commutative_binary64`
10×	`unsub-neg_binary64` `distribute-rgt-neg-in_binary64`
9×	`rem-sqrt-square_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `*-lft-identity_binary64`
8×	`swap-sqr_binary64`
7×	`neg-sub0_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `associate-+l-_binary64`
6×	`*-rgt-identity_binary64` `associate--r+_binary64`
5×	`distribute-lft-neg-in_binary64`
4×	`neg-mul-1_binary64` `div0_binary64`
3×	`cancel-sign-sub-inv_binary64`
2×	`unpow1/3_binary64` `rem-cube-cbrt_binary64` `mul-1-neg_binary64` `distribute-lft-neg-out_binary64` `associate--l-_binary64`
1×	`cos-neg_binary64` `sin-neg_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `distribute-neg-frac_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` `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-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `remove-double-neg_binary64` `+-rgt-identity_binary64` `+-lft-identity_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-neg-in_binary64` `distribute-rgt-neg-out_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` `count-2_binary64` `associate--r-_binary64` `associate--l+_binary64` `associate-+r-_binary64` `associate-+l+_binary64` `associate-+r+_binary64`

Counts

70 → 35

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	101	1121
1	163	1019
2	294	1019
3	507	1019
4	1328	1019
5	1542	1019
6	1857	1019
7	2008	1019
8	2225	1019
9	2415	1019
10	4903	1019
11	4787	1019

prune178.0ms (1.4%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	29	6	35
Fresh	1	23	24
Picked	1	0	1
Done	0	1	1
Total	31	30	61

Error

17.4b

Counts

61 → 30

Compiler

Compiled 2065 to 1642 computations (20.5% saved)

localize27.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))
22.4b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
22.9b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 angle 1/180)))))

rewrite387.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

17.3b

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:

6.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 PI.f64 (cbrt.f64 (.f64 angle 1/180)))))
2.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 2489 to 1928 computations (22.5% saved)

series115.0ms (0.9%)

Error

16.8b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 1131 to 986 computations (12.8% saved)

simplify154.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1010×	`associate-/r*_binary64`
872×	`associate-/l/_binary64`
469×	`associate-/r/_binary64`
328×	`unswap-sqr_binary64`
320×	`*-commutative_binary64`
314×	`times-frac_binary64`
282×	`sqr-pow_binary64`
158×	`associate-/l*_binary64`
128×	`associate-l_binary64`
95×	`associate-r_binary64`
84×	`cube-prod_binary64`
73×	`pow-sqr_binary64`
53×	`unpow3_binary64`
48×	`pow-plus_binary64` `cube-mult_binary64`
37×	`associate-*r/_binary64`
36×	`distribute-rgt-in_binary64`
32×	`associate-*l/_binary64`
27×	`sub-neg_binary64`
24×	`cube-div_binary64`
19×	`cube-unmult_binary64`
18×	`distribute-lft-in_binary64`
16×	`mul0-rgt_binary64` `mul0-lft_binary64`
14×	`unpow2_binary64`
13×	`unpow1/2_binary64` `unpow1_binary64`
12×	`+-commutative_binary64`
10×	`unsub-neg_binary64` `distribute-rgt-neg-in_binary64`
9×	`rem-sqrt-square_binary64` `div-sub_binary64` `/-rgt-identity_binary64` `*-lft-identity_binary64`
8×	`swap-sqr_binary64`
7×	`neg-sub0_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `associate-+l-_binary64`
6×	`*-rgt-identity_binary64` `associate--r+_binary64`
5×	`distribute-lft-neg-in_binary64`
4×	`neg-mul-1_binary64` `div0_binary64`
3×	`cancel-sign-sub-inv_binary64`
2×	`unpow1/3_binary64` `rem-cube-cbrt_binary64` `mul-1-neg_binary64` `distribute-lft-neg-out_binary64` `associate--l-_binary64`
1×	`cos-neg_binary64` `sin-neg_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `distribute-neg-frac_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` `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-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `remove-double-neg_binary64` `+-rgt-identity_binary64` `+-lft-identity_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-neg-in_binary64` `distribute-rgt-neg-out_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` `count-2_binary64` `associate--r-_binary64` `associate--l+_binary64` `associate-+r-_binary64` `associate-+l+_binary64` `associate-+r+_binary64`

Counts

70 → 31

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	101	1121
1	163	1019
2	294	1019
3	507	1019
4	1328	1019
5	1542	1019
6	1857	1019
7	2008	1019
8	2225	1019
9	2415	1019
10	4903	1019
11	4787	1019

prune141.0ms (1.1%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	27	4	31
Fresh	3	25	28
Picked	1	0	1
Done	0	1	1
Total	31	30	61

Error

17.4b

Counts

61 → 30

Compiler

Compiled 1016 to 785 computations (22.7% saved)

regimes2.0s (14.9%)

Accuracy

Total 1.2b remaining (5.7%)

Threshold costs 0b (0%)

Compiler

Compiled 32086 to 27575 computations (14.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`1-exp_binary64` `*-rgt-identity_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` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-neg_binary64` `mul-1-neg_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	16	22
1	22	22
2	21	22

end1.0ms (0%)

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

sample6.4s (48.5%)

Algorithm

1×

intervals

Results

1.5s	1617×	body	1024	valid
1.2s	1330×	body	1024	invalid
658.0ms	5026×	body	128	valid
499.0ms	819×	body	512	valid
424.0ms	681×	body	512	invalid
229.0ms	174×	body	2048	valid
143.0ms	354×	body	256	invalid
123.0ms	363×	body	256	valid
71.0ms	561×	body	128	invalid
4.0ms	1×	body	4096	valid

Compiler

Compiled 1017 to 873 computations (14.2% saved)

Details

analyze1.8s (13.6%)

sample163.0ms (1.2%)

simplify149.0ms (1.1%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite216.0ms (1.6%)

series45.0ms (0.3%)

simplify160.0ms (1.2%)

prune171.0ms (1.3%)

localize23.0ms (0.2%)

rewrite186.0ms (1.4%)

series84.0ms (0.6%)

simplify79.0ms (0.6%)

prune77.0ms (0.6%)

localize26.0ms (0.2%)

rewrite353.0ms (2.7%)

series100.0ms (0.8%)

simplify153.0ms (1.2%)

prune178.0ms (1.4%)

localize27.0ms (0.2%)

rewrite387.0ms (2.9%)

series115.0ms (0.9%)

simplify154.0ms (1.2%)

prune141.0ms (1.1%)

regimes2.0s (14.9%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end1.0ms (0%)

sample6.4s (48.5%)

Profiling