Details

analyze1.1s (10.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

944×	`div-sub_binary64`
709×	`times-frac_binary64`
602×	`unsub-neg_binary64`
540×	`sub-neg_binary64`
504×	`associate-/l*_binary64`
466×	`distribute-rgt-in_binary64`
346×	`distribute-lft-in_binary64`
228×	`cancel-sign-sub-inv_binary64`
222×	`associate-/r*_binary64`
216×	`distribute-rgt-neg-in_binary64`
210×	`neg-mul-1_binary64`
201×	`distribute-lft-neg-in_binary64`
195×	`associate-/l/_binary64`
182×	`associate-/r/_binary64`
172×	`neg-sub0_binary64`
149×	`distribute-lft-neg-out_binary64`
137×	`distribute-rgt-neg-out_binary64`
115×	`associate--r+_binary64`
113×	`distribute-neg-frac_binary64`
96×	`distribute-frac-neg_binary64`
94×	`associate-r_binary64`
87×	`*-lft-identity_binary64`
84×	`*-commutative_binary64`
83×	`+-commutative_binary64`
76×	`associate-*l/_binary64`
70×	`remove-double-neg_binary64`
64×	`distribute-rgt-out_binary64`
59×	`associate-l_binary64`
48×	`mul0-rgt_binary64` `mul0-lft_binary64`
46×	`distribute-neg-in_binary64`
36×	`div0_binary64`
30×	`/-rgt-identity_binary64`
29×	`sub0-neg_binary64`
28×	`associate-+l-_binary64`
26×	`associate-+l+_binary64`
24×	`remove-double-div_binary64` `associate--r-_binary64`
22×	`*-rgt-identity_binary64` `associate--l-_binary64`
20×	`+-lft-identity_binary64`
18×	`associate-+r-_binary64`
15×	`cancel-sign-sub_binary64`
10×	`+-rgt-identity_binary64` `associate-+r+_binary64`
8×	`distribute-rgt-out--_binary64` `associate-*r/_binary64`
6×	`mul-1-neg_binary64` `--rgt-identity_binary64` `associate--l+_binary64`
3×	`sqr-neg_binary64` `swap-sqr_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` `unpow3_binary64` `unpow2_binary64` `unpow1/2_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` `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-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	80
1	54	72
2	88	72
3	163	72
4	235	72
5	400	72
6	640	72
7	909	72
8	1729	72
9	2404	72
10	2283	72
11	2384	72
12	2449	72
13	2489	72
14	2627	72
15	2307	72
16	2319	72
17	2147	72
18	2147	72
19	1979	72
20	2341	72
21	2097	72
22	2109	72
23	2121	72
24	2121	72
25	2121	72
26	1992	72
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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
35.1%	55%	9.9%	9
36.3%	50.9%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample41.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	176×	body	128	valid
8.0ms	37×	body	2048	valid
4.0ms	15×	body	4096	valid
2.0ms	8×	body	1024	valid
2.0ms	12×	body	512	valid
1.0ms	17×	body	128	nan
1.0ms	8×	body	256	valid
0.0ms	7×	body	128	invalid

Compiler

Compiled 27 to 24 computations (11.1% saved)

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

379×	`associate-/l*_binary64`
363×	`div-sub_binary64`
224×	`times-frac_binary64`
196×	`distribute-rgt-in_binary64`
168×	`cancel-sign-sub-inv_binary64`
164×	`distribute-lft-in_binary64`
144×	`associate-/l/_binary64`
122×	`sub-neg_binary64`
111×	`associate-/r*_binary64`
85×	`distribute-neg-frac_binary64`
71×	`unsub-neg_binary64`
70×	`associate-r_binary64`
68×	`distribute-rgt-neg-in_binary64`
66×	`associate-/r/_binary64`
60×	`distribute-lft-neg-in_binary64` `associate-l_binary64`
55×	`associate-*l/_binary64`
37×	`neg-mul-1_binary64`
35×	`associate-*r/_binary64`
33×	`neg-sub0_binary64`
29×	`+-commutative_binary64`
28×	`associate--r+_binary64`
24×	`distribute-lft-neg-out_binary64` `distribute-rgt-out_binary64`
23×	`distribute-frac-neg_binary64` `distribute-rgt-neg-out_binary64`
21×	`*-lft-identity_binary64`
20×	`mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-commutative_binary64`
16×	`distribute-neg-in_binary64` `distribute-rgt-out--_binary64`
15×	`*-rgt-identity_binary64`
13×	`+-lft-identity_binary64`
12×	`/-rgt-identity_binary64` `remove-double-div_binary64`
11×	`sub0-neg_binary64`
10×	`associate-+l-_binary64`
9×	`remove-double-neg_binary64`
8×	`associate--r-_binary64` `associate-+l+_binary64`
7×	`associate--l-_binary64`
6×	`mul-1-neg_binary64`
4×	`--rgt-identity_binary64` `associate-+r-_binary64`
3×	`+-rgt-identity_binary64` `associate-+r+_binary64`
2×	`associate--l+_binary64`
1×	`1-exp_binary64` `sqr-neg_binary64` `swap-sqr_binary64` `cancel-sign-sub_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` `unpow3_binary64` `unpow2_binary64` `unpow1/2_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` `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-unmult_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `sqr-pow_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `unswap-sqr_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

32.1b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
0.4b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite154.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

31.8b

Rules

38×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`
8×	`add-log-exp_binary64` `sqrt-prod_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
5×	`pow1_binary64` `distribute-lft-out--_binary64`
4×	`flip3--_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64`
3×	`associate-/r*_binary64`
2×	`sqrt-div_binary64` `diff-log_binary64` `sub-neg_binary64` `associate-/l/_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `div-sub_binary64` `clear-num_binary64` `div-inv_binary64`

Counts

4 → 86

Calls

4 calls:

13.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
12.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2014 to 333 computations (83.5% saved)

series882.0ms (8.6%)

Error

8.3b

Counts

4 → 65

Calls

4 calls:

273.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
205.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
189.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
161.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 2415 to 1700 computations (29.6% saved)

simplify127.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

466×	`associate-l_binary64`
447×	`times-frac_binary64`
445×	`associate-r_binary64`
325×	`associate-/l*_binary64`
235×	`associate-/r*_binary64`
163×	`associate-*l/_binary64`
118×	`distribute-rgt-neg-in_binary64` `associate-*r/_binary64`
117×	`distribute-rgt-in_binary64`
113×	`distribute-lft-in_binary64`
111×	`exp-prod_binary64`
101×	`distribute-lft-neg-in_binary64`
92×	`associate-/r/_binary64`
91×	`cancel-sign-sub-inv_binary64`
83×	`sub-neg_binary64`
65×	`associate-/l/_binary64`
58×	`*-commutative_binary64`
54×	`div-sub_binary64` `distribute-neg-frac_binary64`
51×	`neg-mul-1_binary64` `neg-sub0_binary64`
43×	`unswap-sqr_binary64`
42×	`+-commutative_binary64`
35×	`sqr-pow_binary64`
21×	`distribute-lft-neg-out_binary64`
17×	`distribute-rgt-out_binary64`
13×	`pow-plus_binary64`
11×	`distribute-rgt-neg-out_binary64` `associate--l+_binary64`
10×	`unpow3_binary64` `associate-+r-_binary64`
9×	`cube-prod_binary64` `+-rgt-identity_binary64` `distribute-neg-in_binary64` `associate-+l+_binary64`
8×	`difference-of-squares_binary64`
7×	`log-div_binary64` `exp-diff_binary64` `exp-sum_binary64` `/-rgt-identity_binary64`
6×	`unsub-neg_binary64`
5×	`log-prod_binary64` `cube-unmult_binary64` `cube-mult_binary64` `associate-+r+_binary64`
4×	`rem-sqrt-square_binary64` `*-rgt-identity_binary64` `pow-sqr_binary64` `associate--r+_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `cube-div_binary64` `mul-1-neg_binary64` `swap-sqr_binary64` `distribute-lft-out_binary64` `associate-+l-_binary64`
2×	`log-pow_binary64` `div-exp_binary64` `rem-square-sqrt_binary64`
1×	`1-exp_binary64` `rem-3cbrt-lft_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `-inverses_binary64` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `count-2_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` `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` `rec-exp_binary64` `prod-exp_binary64` `exp-neg_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` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_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` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64`

Counts

151 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	188	2994
1	458	2838
2	1186	2832
3	4970	2832
4	5044	2832

prune81.0ms (0.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	61	12	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	61	13	74

Error

9.9b

Counts

74 → 13

Compiler

Compiled 1389 to 426 computations (69.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite114.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

9.9b

Rules

18×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `cancel-sign-sub-inv_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `difference-of-squares_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `diff-log_binary64` `sub-neg_binary64` `distribute-lft-out--_binary64`

Counts

4 → 64

Calls

4 calls:

11.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 2248 to 296 computations (86.8% saved)

series920.0ms (9%)

Error

9.9b

Counts

4 → 68

Calls

4 calls:

231.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
222.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
202.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
189.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 5210 to 2890 computations (44.5% saved)

simplify125.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

456×	`distribute-rgt-neg-in_binary64`
387×	`unswap-sqr_binary64`
330×	`associate-l_binary64`
329×	`associate-r_binary64`
292×	`times-frac_binary64`
257×	`distribute-neg-frac_binary64`
165×	`associate-/l*_binary64`
124×	`sub-neg_binary64`
115×	`associate-/r*_binary64`
87×	`neg-sub0_binary64`
84×	`neg-mul-1_binary64` `distribute-lft-neg-out_binary64` `*-commutative_binary64`
80×	`cancel-sign-sub-inv_binary64`
79×	`distribute-lft-neg-in_binary64`
78×	`cube-prod_binary64`
74×	`distribute-rgt-neg-out_binary64`
59×	`associate-*l/_binary64`
58×	`+-commutative_binary64`
54×	`sqr-pow_binary64`
50×	`unsub-neg_binary64`
46×	`associate-*r/_binary64`
45×	`distribute-lft-in_binary64`
43×	`distribute-rgt-in_binary64`
37×	`associate-+l+_binary64`
33×	`exp-prod_binary64` `difference-of-squares_binary64` `swap-sqr_binary64`
30×	`associate-+l-_binary64`
28×	`unpow3_binary64` `associate-/r/_binary64`
27×	`associate-+r-_binary64`
25×	`associate-+r+_binary64`
21×	`cube-unmult_binary64`
20×	`pow-plus_binary64` `+-rgt-identity_binary64`
19×	`exp-sum_binary64`
18×	`sub0-neg_binary64`
17×	`div-sub_binary64` `distribute-rgt-out_binary64`
14×	`cube-mult_binary64`
12×	`distribute-neg-in_binary64` `associate--l+_binary64`
11×	`mul0-rgt_binary64` `mul0-lft_binary64`
8×	`exp-diff_binary64`
6×	`associate--r+_binary64`
5×	`rem-sqrt-square_binary64` `pow-sqr_binary64` `distribute-lft-out_binary64` `associate-/l/_binary64`
4×	`cancel-sign-sub_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `mul-1-neg_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64`
2×	`rem-square-sqrt_binary64` `remove-double-neg_binary64` `associate--l-_binary64`
1×	`div-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `sqr-neg_binary64` `*-lft-identity_binary64` `--rgt-identity_binary64` `+-inverses_binary64` `associate--r-_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` `rec-exp_binary64` `prod-exp_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-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `+-lft-identity_binary64` `div0_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` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64`

Counts

132 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	2302
1	252	2210
2	693	2204
3	3083	2184
4	4915	2184
5	4932	2184

prune93.0ms (0.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	66	13	79

Error

9.9b

Counts

79 → 13

Compiler

Compiled 2217 to 573 computations (74.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite130.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

9.9b

Rules

15×	`add-sqr-sqrt_binary64`
10×	`sqrt-prod_binary64` `*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `sqrt-div_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `flip--_binary64`
3×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `cancel-sign-sub-inv_binary64`
2×	`difference-of-squares_binary64`
1×	`diff-log_binary64` `sub-neg_binary64` `distribute-lft-out--_binary64`

Counts

4 → 62

Calls

4 calls:

9.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 2906 to 333 computations (88.5% saved)

series925.0ms (9%)

Error

9.9b

Counts

4 → 70

Calls

4 calls:

232.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
203.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
198.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
195.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 7445 to 3071 computations (58.8% saved)

simplify125.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

456×	`distribute-rgt-neg-in_binary64`
387×	`unswap-sqr_binary64`
330×	`associate-l_binary64`
329×	`associate-r_binary64`
292×	`times-frac_binary64`
257×	`distribute-neg-frac_binary64`
165×	`associate-/l*_binary64`
124×	`sub-neg_binary64`
115×	`associate-/r*_binary64`
87×	`neg-sub0_binary64`
84×	`neg-mul-1_binary64` `distribute-lft-neg-out_binary64` `*-commutative_binary64`
80×	`cancel-sign-sub-inv_binary64`
79×	`distribute-lft-neg-in_binary64`
78×	`cube-prod_binary64`
74×	`distribute-rgt-neg-out_binary64`
59×	`associate-*l/_binary64`
58×	`+-commutative_binary64`
54×	`sqr-pow_binary64`
50×	`unsub-neg_binary64`
46×	`associate-*r/_binary64`
45×	`distribute-lft-in_binary64`
43×	`distribute-rgt-in_binary64`
37×	`associate-+l+_binary64`
33×	`exp-prod_binary64` `difference-of-squares_binary64` `swap-sqr_binary64`
30×	`associate-+l-_binary64`
28×	`unpow3_binary64` `associate-/r/_binary64`
27×	`associate-+r-_binary64`
25×	`associate-+r+_binary64`
21×	`cube-unmult_binary64`
20×	`pow-plus_binary64` `+-rgt-identity_binary64`
19×	`exp-sum_binary64`
18×	`sub0-neg_binary64`
17×	`div-sub_binary64` `distribute-rgt-out_binary64`
14×	`cube-mult_binary64`
12×	`distribute-neg-in_binary64` `associate--l+_binary64`
11×	`mul0-rgt_binary64` `mul0-lft_binary64`
8×	`exp-diff_binary64`
6×	`associate--r+_binary64`
5×	`rem-sqrt-square_binary64` `pow-sqr_binary64` `distribute-lft-out_binary64` `associate-/l/_binary64`
4×	`cancel-sign-sub_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `mul-1-neg_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64`
2×	`rem-square-sqrt_binary64` `remove-double-neg_binary64` `associate--l-_binary64`
1×	`div-exp_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `sqr-neg_binary64` `*-lft-identity_binary64` `--rgt-identity_binary64` `+-inverses_binary64` `associate--r-_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` `rec-exp_binary64` `prod-exp_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-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `+-lft-identity_binary64` `div0_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` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64`

Counts

132 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	2175
1	252	2111
2	693	2108
3	3083	2098
4	4915	2098
5	4932	2098

prune110.0ms (1.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	60	14	74

Error

9.9b

Counts

74 → 14

Compiler

Compiled 2903 to 629 computations (78.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.4b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
32.8b	(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3))

rewrite169.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

9.9b

Rules

18×	`cbrt-prod_binary64`
15×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
12×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
8×	`sqrt-div_binary64`
7×	`pow1_binary64`
6×	`unpow-prod-down_binary64` `cube-prod_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `flip--_binary64`
3×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`
2×	`cube-div_binary64` `cbrt-div_binary64`
1×	`pow1/3_binary64` `unpow3_binary64` `cube-mult_binary64` `sqr-pow_binary64` `rem-cbrt-cube_binary64`

Counts

4 → 74

Calls

4 calls:

8.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3))
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
5.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 3781 to 807 computations (78.7% saved)

series886.0ms (8.7%)

Error

9.9b

Counts

4 → 69

Calls

4 calls:

215.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
209.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3))
188.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
166.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 7649 to 3581 computations (53.2% saved)

simplify118.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

493×	`cancel-sign-sub-inv_binary64`
370×	`associate-r_binary64`
351×	`associate-l_binary64`
348×	`distribute-rgt-neg-in_binary64`
344×	`distribute-lft-neg-in_binary64`
266×	`distribute-rgt-in_binary64`
232×	`distribute-neg-frac_binary64`
209×	`times-frac_binary64`
151×	`associate-/l*_binary64`
140×	`div-sub_binary64`
108×	`unswap-sqr_binary64`
93×	`sqr-pow_binary64`
82×	`associate-/r*_binary64`
77×	`*-commutative_binary64`
66×	`neg-sub0_binary64`
63×	`neg-mul-1_binary64`
58×	`sub-neg_binary64`
53×	`cube-prod_binary64`
46×	`unpow3_binary64`
44×	`distribute-lft-neg-out_binary64`
43×	`associate-*r/_binary64`
41×	`distribute-rgt-out_binary64`
39×	`associate-*l/_binary64`
37×	`distribute-rgt-neg-out_binary64`
35×	`rem-sqrt-square_binary64` `distribute-lft-in_binary64`
32×	`pow-plus_binary64`
28×	`cube-mult_binary64`
26×	`difference-of-squares_binary64` `associate-/r/_binary64`
25×	`distribute-lft-out_binary64`
21×	`+-commutative_binary64`
20×	`cube-unmult_binary64`
19×	`log-prod_binary64` `unsub-neg_binary64`
18×	`exp-prod_binary64`
12×	`pow-sqr_binary64`
11×	`swap-sqr_binary64`
10×	`rem-cbrt-cube_binary64` `distribute-rgt-out--_binary64` `associate-+l-_binary64` `associate-+r-_binary64`
9×	`+-rgt-identity_binary64`
8×	`sub0-neg_binary64` `associate-+l+_binary64`
7×	`rem-square-sqrt_binary64`
5×	`log-pow_binary64` `unpow2_binary64` `associate-/l/_binary64` `associate-+r+_binary64`
4×	`mul0-rgt_binary64` `mul0-lft_binary64` `distribute-neg-in_binary64` `distribute-lft-out--_binary64`
3×	`unpow1/2_binary64` `unpow1_binary64` `mul-1-neg_binary64` `associate--l+_binary64`
2×	`associate--r+_binary64`
1×	`1-exp_binary64` `rem-3cbrt-lft_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `distribute-frac-neg_binary64` `count-2_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-rec_binary64` `log-div_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `sqr-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `--rgt-identity_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` `cancel-sign-sub_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

143 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	2249
1	236	2213
2	648	2213
3	2804	2135
4	4744	2135
5	4947	2135

prune118.0ms (1.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	72	16	88

Error

9.9b

Counts

88 → 16

Compiler

Compiled 3362 to 698 computations (79.2% saved)

regimes1.4s (13.9%)

Accuracy

Total 4.7b remaining (45.6%)

Threshold costs 0b (0%)

Compiler

Compiled 7872 to 4222 computations (46.4% saved)

bsearch67.0ms (0.7%)

Steps

Iters	Range		Point
7	2.29156219709009e-102	6.610752270871689e-101	1.1062696068457863e-101
9	-1.2569559922859656e+119	-7.135611815091943e+113	-5.321256696999596e+117

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`unsub-neg_binary64` `distribute-lft-neg-out_binary64` `distribute-lft-neg-in_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` `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_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	46
1	37	44
2	48	44
3	55	44
4	59	44
5	60	44
6	60	44

end0.0ms (0%)

sample2.4s (23.6%)

Algorithm

1×

intervals

Results

250.0ms	1112×	body	2048	valid
234.0ms	5221×	body	128	valid
121.0ms	697×	body	1024	valid
100.0ms	374×	body	4096	valid
47.0ms	380×	body	512	valid
32.0ms	765×	body	128	nan
24.0ms	216×	body	256	valid
10.0ms	228×	body	128	invalid

Compiler

Compiled 2004 to 1081 computations (46.1% saved)

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18

Details

analyze1.1s (10.4%)

sample41.0ms (0.4%)

simplify73.0ms (0.7%)

prune7.0ms (0.1%)

localize10.0ms (0.1%)

rewrite154.0ms (1.5%)

series882.0ms (8.6%)

simplify127.0ms (1.2%)

prune81.0ms (0.8%)

localize11.0ms (0.1%)

rewrite114.0ms (1.1%)

series920.0ms (9%)

simplify125.0ms (1.2%)

prune93.0ms (0.9%)

localize14.0ms (0.1%)

rewrite130.0ms (1.3%)

series925.0ms (9%)

simplify125.0ms (1.2%)

prune110.0ms (1.1%)

localize23.0ms (0.2%)

rewrite169.0ms (1.7%)

series886.0ms (8.7%)

simplify118.0ms (1.2%)

prune118.0ms (1.2%)

regimes1.4s (13.9%)

bsearch67.0ms (0.7%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample2.4s (23.6%)

Profiling

Iter	Nodes	Cost
0	11	20
1	22	18
2	37	18
3	61	18
4	93	18
5	151	18
6	229	18
7	308	18
8	433	18
9	412	18
10	649	18
11	989	18
12	843	18
13	745	18
14	753	18
15	761	18
16	763	18
17	771	18
18	807	18
19	809	18
20	714	18