Details

analyze900.0ms (12.7%)

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.6%)

Algorithm

1×

intervals

Results

8.0ms	164×	body	128	valid
7.0ms	36×	body	2048	valid
4.0ms	24×	body	1024	valid
3.0ms	11×	body	4096	valid
2.0ms	15×	body	512	valid
1.0ms	30×	body	128	nan
1.0ms	13×	body	128	invalid
0.0ms	6×	body	256	valid

Compiler

Compiled 27 to 24 computations (11.1% saved)

simplify73.0ms (1%)

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

34.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.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
1.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
22.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite168.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

33.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:

16.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
7.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	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 1746 to 313 computations (82.1% saved)

series256.0ms (3.6%)

Error

5.7b

Counts

4 → 87

Calls

4 calls:

70.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
59.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
58.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
34.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2846 to 2125 computations (25.3% saved)

simplify149.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

818×	`associate-/l*_binary64`
204×	`cancel-sign-sub-inv_binary64`
183×	`associate-/r/_binary64`
175×	`distribute-rgt-neg-in_binary64`
172×	`distribute-rgt-in_binary64`
157×	`distribute-lft-neg-in_binary64`
141×	`distribute-lft-in_binary64`
128×	`sub-neg_binary64`
125×	`associate-/l/_binary64`
101×	`distribute-neg-frac_binary64`
95×	`unswap-sqr_binary64`
88×	`times-frac_binary64`
84×	`associate-r_binary64`
80×	`*-commutative_binary64`
74×	`neg-mul-1_binary64` `neg-sub0_binary64`
71×	`+-commutative_binary64`
69×	`exp-prod_binary64`
63×	`distribute-neg-in_binary64` `associate-l_binary64`
56×	`div-sub_binary64` `associate-/r*_binary64`
53×	`sqr-pow_binary64`
38×	`associate-l/_binary64` `associate-r/_binary64`
31×	`cube-prod_binary64` `unsub-neg_binary64`
30×	`associate-+l+_binary64`
28×	`associate--r+_binary64`
26×	`associate--l+_binary64`
24×	`exp-sum_binary64` `distribute-lft-neg-out_binary64` `associate-+r+_binary64`
17×	`distribute-rgt-out_binary64`
15×	`exp-diff_binary64`
13×	`difference-of-squares_binary64` `distribute-rgt-neg-out_binary64` `associate-+r-_binary64`
12×	`unpow3_binary64`
11×	`+-rgt-identity_binary64`
9×	`cube-unmult_binary64`
7×	`pow-plus_binary64` `cube-mult_binary64` `/-rgt-identity_binary64`
6×	`cube-div_binary64`
5×	`log-prod_binary64` `rem-sqrt-square_binary64` `swap-sqr_binary64`
4×	`log-div_binary64` `*-rgt-identity_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `pow-sqr_binary64` `distribute-lft-out_binary64` `associate-+l-_binary64`
2×	`log-pow_binary64` `div-exp_binary64` `distribute-neg-out_binary64`
1×	`1-exp_binary64` `rem-3cbrt-lft_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `-inverses_binary64` `cancel-sign-sub_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

173 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	245	4190
1	634	4028
2	1928	4022
3	4888	4022
4	4958	4022

prune56.0ms (0.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	84	11	95
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	84	12	96

Error

7.5b

Counts

96 → 12

Compiler

Compiled 1362 to 542 computations (60.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
1.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
22.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite66.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

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

Counts

4 → 54

Calls

4 calls:

4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
4.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 1772 to 280 computations (84.2% saved)

series214.0ms (3%)

Error

7.5b

Counts

4 → 82

Calls

4 calls:

54.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
53.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
41.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
41.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 4120 to 2553 computations (38% saved)

simplify148.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

664×	`times-frac_binary64`
443×	`associate-r_binary64`
420×	`associate-/l*_binary64`
391×	`associate-l_binary64`
296×	`associate-/r*_binary64`
133×	`cancel-sign-sub-inv_binary64`
119×	`neg-sub0_binary64`
113×	`neg-mul-1_binary64`
108×	`distribute-rgt-neg-in_binary64`
102×	`distribute-lft-neg-in_binary64`
95×	`associate-*l/_binary64`
87×	`associate-*r/_binary64`
62×	`unswap-sqr_binary64`
57×	`associate-/r/_binary64`
47×	`distribute-rgt-in_binary64`
45×	`exp-prod_binary64`
43×	`sqr-pow_binary64`
42×	`unsub-neg_binary64` `distribute-lft-in_binary64`
41×	`distribute-neg-frac_binary64`
35×	`sub-neg_binary64`
32×	`*-commutative_binary64`
28×	`div-sub_binary64`
26×	`unpow3_binary64`
24×	`pow-plus_binary64` `+-commutative_binary64`
20×	`associate-/l/_binary64`
14×	`cube-unmult_binary64` `cube-prod_binary64`
13×	`distribute-rgt-out_binary64`
12×	`distribute-lft-neg-out_binary64` `associate-+l+_binary64`
11×	`distribute-neg-in_binary64`
9×	`difference-of-squares_binary64` `associate--l+_binary64`
8×	`exp-sum_binary64`
6×	`cube-mult_binary64` `rem-sqrt-square_binary64` `associate--r+_binary64` `associate-+r+_binary64`
5×	`exp-diff_binary64` `distribute-rgt-neg-out_binary64`
4×	`distribute-lft-out_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `pow-sqr_binary64`
2×	`rem-square-sqrt_binary64`
1×	`log-prod_binary64` `div-exp_binary64` `1-exp_binary64` `sqr-neg_binary64` `mul-1-neg_binary64` `+-rgt-identity_binary64` `swap-sqr_binary64` `count-2_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` `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-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-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` `cancel-sign-sub_binary64` `distribute-frac-neg_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--l-_binary64` `associate-+l-_binary64`

Counts

136 → 84

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	100	2258
1	252	2198
2	833	2198
3	4688	2198
4	4989	2198
5	5000	2198
6	4974	2198

prune41.0ms (0.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	10	10
Picked	1	0	1
Done	0	1	1
Total	84	12	96

Error

7.5b

Counts

96 → 12

Compiler

Compiled 1632 to 505 computations (69.1% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

6.7b	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) b_2)
22.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.5b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.5b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite69.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

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

Counts

4 → 55

Calls

4 calls:

9.0ms	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) b_2)
4.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(cbrt.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 2615 to 398 computations (84.8% saved)

series517.0ms (7.3%)

Error

7.5b

Counts

4 → 94

Calls

4 calls:

158.0ms	(-.f64 (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) b_2)
116.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
115.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
60.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 10566 to 6464 computations (38.8% saved)

simplify129.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

577×	`cancel-sign-sub-inv_binary64`
265×	`associate-r_binary64`
243×	`distribute-neg-frac_binary64`
228×	`times-frac_binary64`
186×	`unswap-sqr_binary64`
185×	`associate-l_binary64`
166×	`sub-neg_binary64`
165×	`associate-/l*_binary64`
154×	`*-commutative_binary64`
127×	`associate-/r*_binary64`
108×	`sqr-pow_binary64`
99×	`neg-mul-1_binary64`
97×	`neg-sub0_binary64`
84×	`+-commutative_binary64`
76×	`associate-*r/_binary64`
59×	`associate-*l/_binary64`
44×	`associate--r+_binary64`
43×	`unsub-neg_binary64`
37×	`exp-prod_binary64` `distribute-neg-in_binary64`
34×	`distribute-rgt-neg-in_binary64`
31×	`exp-sum_binary64` `distribute-lft-neg-in_binary64`
24×	`associate-+l+_binary64`
23×	`log-prod_binary64`
16×	`associate-/r/_binary64` `associate--l+_binary64` `associate-+r+_binary64`
15×	`difference-of-squares_binary64`
14×	`unpow1/3_binary64`
13×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
12×	`cube-prod_binary64`
11×	`rem-sqrt-square_binary64` `+-rgt-identity_binary64` `pow-sqr_binary64` `associate-+r-_binary64`
9×	`unpow3_binary64` `cube-unmult_binary64` `cube-mult_binary64`
6×	`exp-diff_binary64` `swap-sqr_binary64`
5×	`log-pow_binary64`
4×	`log-div_binary64` `rem-square-sqrt_binary64` `div-sub_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-out_binary64` `associate--r-_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
2×	`log-rec_binary64` `pow-plus_binary64` `rem-3cbrt-lft_binary64` `remove-double-neg_binary64` `associate--l-_binary64`
1×	`div-exp_binary64` `1-exp_binary64` `sqr-abs_binary64` `distribute-rgt-neg-out_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `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-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `sub0-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` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-+l-_binary64`

Counts

149 → 105

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	305	4977
1	871	4717
2	3231	4681
3	5237	4681

prune69.0ms (1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	104	13	117

Error

7.5b

Counts

117 → 13

Compiler

Compiled 3801 to 1088 computations (71.4% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

23.5b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.5b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.5b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.5b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite77.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

7.5b

Rules

12×	`cbrt-prod_binary64`
8×	`add-cube-cbrt_binary64` `cbrt-div_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
4×	`pow1/3_binary64` `pow1_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `flip--_binary64`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 4304 to 724 computations (83.2% saved)

series552.0ms (7.8%)

Error

7.5b

Counts

4 → 89

Calls

4 calls:

124.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
121.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
121.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
115.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 16762 to 8022 computations (52.1% saved)

simplify142.0ms (2%)

Algorithm

1×	egg-herbie

Rules

540×	`associate-l_binary64`
509×	`associate-/l*_binary64`
403×	`associate-/r*_binary64`
265×	`associate-*r/_binary64`
221×	`distribute-rgt-neg-in_binary64`
215×	`distribute-lft-neg-in_binary64`
213×	`cancel-sign-sub-inv_binary64`
203×	`associate-*l/_binary64`
143×	`associate-/r/_binary64`
116×	`distribute-neg-frac_binary64`
96×	`associate-r_binary64`
85×	`unswap-sqr_binary64`
64×	`associate-/l/_binary64`
63×	`times-frac_binary64`
55×	`sub-neg_binary64`
53×	`sqr-pow_binary64` `*-commutative_binary64`
48×	`neg-sub0_binary64`
47×	`neg-mul-1_binary64`
35×	`distribute-rgt-in_binary64`
30×	`distribute-lft-in_binary64`
24×	`+-commutative_binary64`
20×	`exp-sum_binary64`
14×	`log-prod_binary64` `unsub-neg_binary64`
13×	`distribute-rgt-out_binary64`
12×	`distribute-lft-neg-out_binary64`
10×	`distribute-neg-in_binary64`
9×	`unpow1/3_binary64`
8×	`log-div_binary64` `exp-prod_binary64` `distribute-lft-out_binary64`
6×	`cube-prod_binary64` `associate--r+_binary64`
5×	`unpow3_binary64` `pow-sqr_binary64` `difference-of-squares_binary64` `distribute-rgt-neg-out_binary64`
4×	`log-pow_binary64` `exp-diff_binary64` `cube-mult_binary64` `div-sub_binary64` `distribute-neg-out_binary64` `associate--r-_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
2×	`log-rec_binary64` `cube-unmult_binary64` `remove-double-neg_binary64` `associate--l+_binary64` `associate-+l+_binary64` `associate-+r+_binary64`
1×	`pow-plus_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `mul-1-neg_binary64` `swap-sqr_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` `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-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` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_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` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

141 → 101

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	4058
1	350	3982
2	1262	3918
3	4978	3918
4	4969	3918

prune71.0ms (1%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	101	13	114

Error

7.5b

Counts

114 → 13

Compiler

Compiled 5314 to 1287 computations (75.8% saved)

regimes1.9s (26.1%)

Accuracy

Total 2.9b remaining (28.5%)

Threshold costs 0b (0%)

Compiler

Compiled 12290 to 6700 computations (45.5% saved)

bsearch43.0ms (0.6%)

Steps

Iters	Range		Point
7	4.215033106341083e-132	2.191016210726789e-130	1.828439544463213e-130
3	-2.98926255277813e+148	-4.649034864354167e+146	-7.648624456952728e+146

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
9×	`sub-neg_binary64` `+-commutative_binary64`
6×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
3×	`distribute-lft-neg-in_binary64`
1×	`1-exp_binary64` `*-lft-identity_binary64` `distribute-neg-frac_binary64` `distribute-lft-neg-out_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `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` `unsub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `*-rgt-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	53
1	49	53
2	67	53
3	80	53
4	88	53
5	90	53
6	87	53

end2.0ms (0%)

Compiler: Compiled 36 to 24 computations (33.3% saved)

sample1.4s (19.5%)

Algorithm

1×

intervals

Results

228.0ms	1096×	body	2048	valid
226.0ms	5212×	body	128	valid
124.0ms	744×	body	1024	valid
101.0ms	404×	body	4096	valid
44.0ms	354×	body	512	valid
33.0ms	753×	body	128	nan
15.0ms	190×	body	256	valid
11.0ms	252×	body	128	invalid

Compiler

Compiled 348 to 210 computations (39.7% 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

analyze900.0ms (12.7%)

sample41.0ms (0.6%)

simplify73.0ms (1%)

prune7.0ms (0.1%)

localize10.0ms (0.1%)

rewrite168.0ms (2.4%)

series256.0ms (3.6%)

simplify149.0ms (2.1%)

prune56.0ms (0.8%)

localize11.0ms (0.2%)

rewrite66.0ms (0.9%)

series214.0ms (3%)

simplify148.0ms (2.1%)

prune41.0ms (0.6%)

localize19.0ms (0.3%)

rewrite69.0ms (1%)

series517.0ms (7.3%)

simplify129.0ms (1.8%)

prune69.0ms (1%)

localize33.0ms (0.5%)

rewrite77.0ms (1.1%)

series552.0ms (7.8%)

simplify142.0ms (2%)

prune71.0ms (1%)

regimes1.9s (26.1%)

bsearch43.0ms (0.6%)

simplify6.0ms (0.1%)

end2.0ms (0%)

sample1.4s (19.5%)

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