Details

analyze1.8s (13.2%)

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)

sample166.0ms (1.2%)

Algorithm

1×

intervals

Results

49.0ms	55×	body	1024	valid
28.0ms	32×	body	1024	invalid
24.0ms	160×	body	128	valid
17.0ms	28×	body	512	invalid
13.0ms	23×	body	512	valid
6.0ms	16×	body	256	invalid
5.0ms	15×	body	256	valid
4.0ms	3×	body	2048	valid
2.0ms	19×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

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

21.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.4b	(*.f64 (/.f64 angle 180) PI.f64)
0.4b	(*.f64 (/.f64 angle 180) PI.f64)
26.2b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.2b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite192.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

20.5b

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	(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)

series63.0ms (0.5%)

Error

20.7b

Counts

4 → 18

Calls

4 calls:

13.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
12.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
11.0ms	(*.f64 (/.f64 angle 180) PI.f64)
9.0ms	(*.f64 (/.f64 angle 180) PI.f64)

Compiler

Compiled 990 to 841 computations (15.1% saved)

simplify126.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

633×	`distribute-rgt-neg-in_binary64`
611×	`distribute-lft-neg-in_binary64`
594×	`associate-l_binary64`
589×	`associate-r_binary64`
164×	`*-commutative_binary64`
152×	`associate-*l/_binary64`
145×	`cancel-sign-sub-inv_binary64`
125×	`associate-/l*_binary64`
110×	`associate-*r/_binary64`
103×	`swap-sqr_binary64`
97×	`sub-neg_binary64`
77×	`unswap-sqr_binary64`
73×	`distribute-rgt-out--_binary64`
68×	`sqr-pow_binary64`
63×	`neg-mul-1_binary64` `neg-sub0_binary64`
60×	`times-frac_binary64`
51×	`log-prod_binary64`
31×	`log-div_binary64`
28×	`+-commutative_binary64`
26×	`unpow3_binary64`
24×	`associate-/r*_binary64`
23×	`cube-prod_binary64` `associate--l+_binary64`
22×	`associate-+l-_binary64`
19×	`associate-+l+_binary64`
18×	`cube-unmult_binary64`
17×	`exp-prod_binary64` `unsub-neg_binary64` `associate-+r+_binary64`
16×	`distribute-lft-neg-out_binary64`
15×	`cube-div_binary64` `associate-/r/_binary64` `associate-+r-_binary64`
13×	`*-rgt-identity_binary64` `associate--r+_binary64`
11×	`*-lft-identity_binary64`
9×	`+-rgt-identity_binary64`
8×	`log-pow_binary64` `pow-plus_binary64` `sub0-neg_binary64`
7×	`/-rgt-identity_binary64` `associate-/l/_binary64`
6×	`pow-sqr_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64`
4×	`unpow1/2_binary64` `cube-mult_binary64` `distribute-rgt-in_binary64`
3×	`log-rec_binary64`
2×	`unpow2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64` `cancel-sign-sub_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `remove-double-neg_binary64` `distribute-rgt-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` `rem-square-sqrt_binary64` `div-sub_binary64` `mul-1-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` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-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` `associate--l-_binary64`

Counts

96 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	1350
1	301	1212
2	819	1212
3	3065	1203
4	4948	1203
5	4996	1203
6	4922	1203

prune151.0ms (1.1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	42	24	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	24	67

Error

20.6b

Counts

67 → 24

Compiler

Compiled 2357 to 1803 computations (23.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
0.4b	(*.f64 (/.f64 angle 180) PI.f64)
26.2b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
26.6b	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))

rewrite246.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

20.6b

Rules

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

Counts

4 → 64

Calls

4 calls:

6.0ms	(*.f64 (/.f64 angle 180) PI.f64)
4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
2.0ms	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 1680 to 1219 computations (27.4% saved)

series123.0ms (0.9%)

Error

20.2b

Counts

4 → 24

Calls

4 calls:

42.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
15.0ms	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))
12.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
9.0ms	(*.f64 (/.f64 angle 180) PI.f64)

Compiler

Compiled 1477 to 1245 computations (15.7% saved)

simplify101.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

588×	`cancel-sign-sub-inv_binary64`
414×	`distribute-rgt-neg-in_binary64`
398×	`distribute-lft-neg-in_binary64`
396×	`*-commutative_binary64`
256×	`associate-/l/_binary64`
201×	`unswap-sqr_binary64`
154×	`associate-r_binary64`
152×	`associate-*l/_binary64`
145×	`sub-neg_binary64`
131×	`sqr-pow_binary64`
129×	`associate-l_binary64`
126×	`associate-/l*_binary64`
113×	`associate-*r/_binary64`
101×	`neg-mul-1_binary64` `neg-sub0_binary64`
89×	`log-prod_binary64`
60×	`swap-sqr_binary64`
59×	`exp-prod_binary64`
56×	`cube-prod_binary64`
43×	`+-commutative_binary64`
42×	`unpow3_binary64`
40×	`distribute-rgt-in_binary64`
34×	`log-div_binary64` `associate--l+_binary64`
31×	`associate-+l-_binary64`
29×	`associate-+l+_binary64`
26×	`distribute-lft-in_binary64` `associate-+r+_binary64`
24×	`times-frac_binary64` `distribute-lft-out--_binary64` `associate-/r*_binary64`
23×	`log-pow_binary64` `associate-+r-_binary64`
22×	`unsub-neg_binary64` `pow-sqr_binary64`
19×	`associate--r+_binary64`
18×	`*-rgt-identity_binary64`
17×	`cube-div_binary64`
16×	`pow-plus_binary64` `cube-unmult_binary64` `*-lft-identity_binary64` `associate-/r/_binary64`
15×	`distribute-rgt-out--_binary64`
14×	`+-rgt-identity_binary64` `distribute-rgt-out_binary64` `distribute-lft-out_binary64`
13×	`cube-mult_binary64`
12×	`sub0-neg_binary64`
8×	`rem-sqrt-square_binary64` `distribute-neg-in_binary64`
7×	`/-rgt-identity_binary64` `count-2_binary64`
6×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `distribute-lft-neg-out_binary64`
2×	`log-rec_binary64`
1×	`1-exp_binary64` `exp-1-e_binary64` `remove-double-neg_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `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` `--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` `associate--r-_binary64` `associate--l-_binary64`

Counts

88 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	187	1542
1	428	1425
2	1226	1401
3	2861	1377
4	4939	1377
5	4924	1377

prune196.0ms (1.5%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	57	8	65
Fresh	4	19	23
Picked	1	0	1
Done	0	0	0
Total	62	27	89

Error

20.6b

Counts

89 → 27

Compiler

Compiled 2321 to 1765 computations (24% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (.f64 b (cos.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
26.5b	(cos.f64 (.f64 angle (.f64 1/180 PI.f64)))
26.6b	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))

rewrite198.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

20.6b

Rules

10×	`pow1_binary64` `add-exp-log_binary64`
6×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `pow-unpow_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `pow-pow_binary64` `pow-exp_binary64`
2×	`unpow-prod-down_binary64` `pow-prod-down_binary64` `pow-to-exp_binary64` `prod-exp_binary64` `unpow2_binary64` `sqr-pow_binary64`

Counts

4 → 50

Calls

4 calls:

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

Compiler

Compiled 1290 to 956 computations (25.9% saved)

series191.0ms (1.4%)

Error

20.2b

Counts

4 → 30

Calls

4 calls:

41.0ms	(pow.f64 (.f64 b (cos.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
41.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 1/180 PI.f64)))) 2)
14.0ms	(cos.f64 (.f64 angle (.f64 1/180 PI.f64)))
13.0ms	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))

Compiler

Compiled 1884 to 1585 computations (15.9% saved)

simplify104.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

572×	`distribute-rgt-neg-in_binary64`
557×	`distribute-lft-neg-in_binary64`
457×	`*-commutative_binary64`
362×	`cancel-sign-sub-inv_binary64`
292×	`unswap-sqr_binary64`
181×	`sub-neg_binary64`
173×	`associate-r_binary64`
170×	`sqr-pow_binary64`
132×	`neg-mul-1_binary64` `neg-sub0_binary64`
124×	`log-prod_binary64` `associate-l_binary64`
122×	`exp-prod_binary64`
82×	`cube-prod_binary64`
66×	`swap-sqr_binary64`
62×	`distribute-rgt-in_binary64`
56×	`unpow3_binary64`
53×	`+-commutative_binary64`
48×	`distribute-rgt-out_binary64`
46×	`cube-mult_binary64`
44×	`associate--l+_binary64`
42×	`distribute-lft-out--_binary64`
40×	`distribute-rgt-out--_binary64`
36×	`associate-+l-_binary64`
34×	`log-pow_binary64` `pow-sqr_binary64`
32×	`associate-+l+_binary64`
30×	`associate-+r+_binary64`
28×	`pow-plus_binary64` `associate-+r-_binary64`
24×	`associate--r+_binary64`
23×	`unsub-neg_binary64`
19×	`distribute-lft-out_binary64`
18×	`cube-unmult_binary64`
17×	`+-rgt-identity_binary64`
16×	`sub0-neg_binary64`
14×	`rem-sqrt-square_binary64`
10×	`unpow2_binary64` `unpow1_binary64`
8×	`unpow1/2_binary64` `distribute-neg-in_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-in_binary64`
6×	`*-rgt-identity_binary64` `cancel-sign-sub_binary64`
5×	`distribute-rgt1-in_binary64`
3×	`associate-/l/_binary64` `associate-*r/_binary64`
2×	`*-lft-identity_binary64` `count-2_binary64`
1×	`exp-sum_binary64` `1-exp_binary64` `associate-/r/_binary64` `associate-/l*_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-rec_binary64` `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` `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` `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` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft1-in_binary64` `associate-/r_binary64` `associate-*l/_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

80 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	1670
1	394	1574
2	1204	1532
3	2862	1508
4	4865	1508
5	4942	1508

prune196.0ms (1.5%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	2	24	26
Picked	0	1	1
Done	0	0	0
Total	58	31	89

Error

20.2b

Counts

89 → 31

Compiler

Compiled 2183 to 1651 computations (24.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 1/180 (.f64 angle PI.f64))
0.4b	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
26.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
26.6b	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))

rewrite239.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

20.1b

Rules

10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
4×	`add-log-exp_binary64`
3×	`unpow-prod-down_binary64` `pow-unpow_binary64` `cube-prod_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64`
1×	`pow-pow_binary64` `pow-to-exp_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64` `rem-cube-cbrt_binary64` `sqr-pow_binary64` `associate-r_binary64` `*-commutative_binary64`

Counts

4 → 55

Calls

4 calls:

5.0ms	(.f64 1/180 (.f64 angle PI.f64))
4.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
2.0ms	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))
2.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 1435 to 1032 computations (28.1% saved)

series130.0ms (1%)

Error

20.2b

Counts

4 → 21

Calls

4 calls:

19.0ms	(pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 3)
16.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
14.0ms	(sin.f64 (.f64 angle (.f64 1/180 PI.f64)))
10.0ms	(.f64 1/180 (.f64 angle PI.f64))

Compiler

Compiled 1312 to 1114 computations (15.1% saved)

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

413×	`*-commutative_binary64`
365×	`distribute-rgt-neg-in_binary64`
351×	`distribute-lft-neg-in_binary64`
309×	`unswap-sqr_binary64`
306×	`cancel-sign-sub-inv_binary64`
230×	`log-prod_binary64`
219×	`exp-prod_binary64`
182×	`sqr-pow_binary64`
168×	`associate-r_binary64`
156×	`associate-+l+_binary64`
128×	`associate-l_binary64`
126×	`associate-+r+_binary64`
121×	`sub-neg_binary64`
113×	`cube-prod_binary64` `swap-sqr_binary64`
109×	`associate-+l-_binary64`
86×	`unpow3_binary64`
85×	`neg-mul-1_binary64` `neg-sub0_binary64`
72×	`+-commutative_binary64`
71×	`cube-mult_binary64`
63×	`log-pow_binary64` `associate--l+_binary64`
49×	`associate-/l*_binary64` `associate-+r-_binary64`
48×	`pow-sqr_binary64`
39×	`pow-plus_binary64`
33×	`distribute-rgt-in_binary64`
30×	`associate--r+_binary64`
25×	`cube-unmult_binary64`
24×	`distribute-lft-in_binary64`
22×	`unsub-neg_binary64`
19×	`distribute-rgt-out_binary64`
17×	`associate--l-_binary64`
15×	`rem-sqrt-square_binary64`
14×	`associate-/l/_binary64`
13×	`count-2_binary64`
12×	`sub0-neg_binary64`
10×	`+-rgt-identity_binary64`
9×	`associate-*r/_binary64`
8×	`distribute-rgt-out--_binary64`
6×	`distribute-neg-in_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-out_binary64`
5×	`unpow2_binary64`
4×	`-rgt-identity_binary64` `-lft-identity_binary64` `associate-/r/_binary64`
3×	`unpow1/2_binary64` `unpow1_binary64` `cancel-sign-sub_binary64` `associate-*l/_binary64` `associate--r-_binary64`
2×	`exp-sum_binary64` `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` `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` `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

76 → 39

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	138	1271
1	325	1145
2	1076	1127
3	2525	1127
4	4722	1113
5	4978	1113
6	4910	1113

prune120.0ms (0.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	3	26	29
Picked	1	0	1
Done	1	0	1
Total	41	29	70

Error

20.1b

Counts

70 → 29

Compiler

Compiled 870 to 623 computations (28.4% saved)

regimes2.6s (19.4%)

Accuracy

Total 1.3b remaining (6.7%)

Threshold costs 0b (0%)

Compiler

Compiled 37736 to 32951 computations (12.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-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	23	46
1	31	46
2	31	46

end1.0ms (0%)

Compiler: Compiled 28 to 26 computations (7.1% saved)

sample6.1s (45.8%)

Algorithm

1×

intervals

Results

1.4s	1582×	body	1024	valid
1.2s	1296×	body	1024	invalid
654.0ms	5104×	body	128	valid
441.0ms	752×	body	512	valid
404.0ms	665×	body	512	invalid
259.0ms	186×	body	2048	valid
130.0ms	367×	body	256	invalid
120.0ms	370×	body	256	valid
66.0ms	523×	body	128	invalid
28.0ms	6×	body	4096	valid

Compiler

Compiled 946 to 829 computations (12.4% saved)

Details

analyze1.8s (13.2%)

sample166.0ms (1.2%)

simplify145.0ms (1.1%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite192.0ms (1.4%)

series63.0ms (0.5%)

simplify126.0ms (0.9%)

prune151.0ms (1.1%)

localize19.0ms (0.1%)

rewrite246.0ms (1.8%)

series123.0ms (0.9%)

simplify101.0ms (0.8%)

prune196.0ms (1.5%)

localize17.0ms (0.1%)

rewrite198.0ms (1.5%)

series191.0ms (1.4%)

simplify104.0ms (0.8%)

prune196.0ms (1.5%)

localize23.0ms (0.2%)

rewrite239.0ms (1.8%)

series130.0ms (1%)

simplify112.0ms (0.8%)

prune120.0ms (0.9%)

regimes2.6s (19.4%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end1.0ms (0%)

sample6.1s (45.8%)

Profiling