Details

analyze1.5s (19.3%)

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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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)

sample72.0ms (0.9%)

Algorithm

1×

intervals

Results

16.0ms	36×	body	2048	valid
14.0ms	174×	body	128	valid
8.0ms	15×	body	4096	valid
3.0ms	11×	body	1024	valid
3.0ms	13×	body	512	valid
1.0ms	19×	body	128	nan
1.0ms	7×	body	256	valid
1.0ms	8×	body	128	invalid

Compiler

Compiled 27 to 24 computations (11.1% saved)

simplify144.0ms (1.8%)

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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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

prune11.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.0b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize19.0ms (0.2%)

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)
1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite182.0ms (2.3%)

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:

10.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
10.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
10.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
9.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 1746 to 313 computations (82.1% saved)

series215.0ms (2.7%)

Error

7.6b

Counts

4 → 69

Calls

4 calls:

55.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
54.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
45.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
33.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2171 to 1661 computations (23.5% saved)

simplify306.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

518×	`times-frac_binary64`
511×	`associate-l_binary64`
380×	`associate-/l*_binary64`
280×	`associate-/r*_binary64`
175×	`associate-*l/_binary64`
128×	`associate-*r/_binary64`
121×	`distribute-rgt-neg-in_binary64`
117×	`distribute-rgt-in_binary64`
113×	`distribute-lft-in_binary64`
111×	`cancel-sign-sub-inv_binary64`
109×	`associate-/r/_binary64`
104×	`distribute-lft-neg-in_binary64`
100×	`exp-prod_binary64`
90×	`sub-neg_binary64`
70×	`associate-/l/_binary64`
61×	`*-commutative_binary64`
58×	`unswap-sqr_binary64`
54×	`div-sub_binary64` `distribute-neg-frac_binary64`
52×	`associate-r_binary64`
51×	`neg-mul-1_binary64` `neg-sub0_binary64`
47×	`+-commutative_binary64`
39×	`sqr-pow_binary64`
23×	`exp-sum_binary64`
21×	`distribute-lft-neg-out_binary64`
17×	`distribute-rgt-out_binary64`
16×	`exp-diff_binary64` `associate--l+_binary64`
13×	`associate-+l+_binary64`
12×	`pow-plus_binary64`
11×	`distribute-rgt-neg-out_binary64` `associate-+r-_binary64`
10×	`unpow3_binary64` `+-rgt-identity_binary64`
9×	`log-div_binary64` `cube-prod_binary64` `distribute-neg-in_binary64`
8×	`difference-of-squares_binary64`
7×	`unsub-neg_binary64` `/-rgt-identity_binary64` `associate-+r+_binary64`
6×	`exp-neg_binary64` `associate--r+_binary64`
5×	`log-prod_binary64` `cube-unmult_binary64` `cube-mult_binary64`
4×	`rem-sqrt-square_binary64` `*-rgt-identity_binary64` `pow-sqr_binary64`
3×	`log-pow_binary64` `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×	`unpow-1_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` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `rec-exp_binary64` `prod-exp_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` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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

155 → 77

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	199	3151
1	492	2995
2	1303	2989
3	4881	2989
4	4989	2989
5	4998	2989
6	4960	2989

prune86.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	65	12	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	65	13	78

Error

9.4b

Counts

78 → 13

Compiler

Compiled 1064 to 407 computations (61.7% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite144.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

9.4b

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:

18.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
14.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
7.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
7.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 2042 to 287 computations (85.9% saved)

series417.0ms (5.2%)

Error

9.4b

Counts

4 → 68

Calls

4 calls:

97.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
95.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
93.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
92.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 4206 to 2678 computations (36.3% saved)

simplify233.0ms (2.9%)

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×	`cube-prod_binary64` `distribute-lft-neg-in_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`
34×	`exp-prod_binary64`
33×	`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` `fabs-mul_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` `fabs-div_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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	4917	2184
5	4938	2184

prune83.0ms (1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

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

Error

9.4b

Counts

79 → 13

Compiler

Compiled 1589 to 471 computations (70.4% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.3b	(+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (neg.f64 b_2))
1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite139.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

9.4b

Rules

13×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
10×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `difference-of-squares_binary64` `sum-log_binary64` `distribute-lft-out_binary64`
1×	`diff-log_binary64` `sub-neg_binary64` `distribute-lft-out--_binary64` `neg-log_binary64` `flip3-+_binary64` `unsub-neg_binary64` `flip-+_binary64` `distribute-rgt-neg-in_binary64` `neg-sub0_binary64` `associate-+r-_binary64` `+-commutative_binary64`

Counts

4 → 63

Calls

4 calls:

21.0ms	(+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (neg.f64 b_2))
14.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
7.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
7.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 2056 to 336 computations (83.7% saved)

series262.0ms (3.3%)

Error

9.4b

Counts

4 → 68

Calls

4 calls:

89.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
52.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
51.0ms	(+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (neg.f64 b_2))
49.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 4363 to 2774 computations (36.4% saved)

simplify111.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

663×	`associate-l_binary64`
661×	`times-frac_binary64`
253×	`associate-/r*_binary64`
228×	`associate-/l*_binary64`
227×	`div-sub_binary64`
151×	`distribute-rgt-in_binary64`
142×	`cancel-sign-sub-inv_binary64`
119×	`distribute-lft-in_binary64`
112×	`distribute-rgt-neg-in_binary64`
98×	`cube-prod_binary64`
97×	`distribute-lft-neg-in_binary64`
78×	`distribute-rgt-neg-out_binary64`
71×	`distribute-lft-neg-out_binary64`
70×	`sub-neg_binary64`
58×	`unsub-neg_binary64`
57×	`associate-+l-_binary64`
56×	`associate-*l/_binary64`
55×	`associate-r_binary64`
49×	`exp-prod_binary64` `neg-sub0_binary64`
48×	`unswap-sqr_binary64`
47×	`associate-*r/_binary64`
45×	`neg-mul-1_binary64`
42×	`*-commutative_binary64`
41×	`distribute-neg-out_binary64`
36×	`distribute-rgt-out_binary64`
35×	`+-commutative_binary64`
32×	`sqr-pow_binary64`
29×	`associate-/r/_binary64`
25×	`exp-sum_binary64`
23×	`distribute-neg-frac_binary64` `associate--l+_binary64`
21×	`associate--r-_binary64` `associate--r+_binary64`
17×	`distribute-frac-neg_binary64`
16×	`unpow3_binary64` `swap-sqr_binary64`
14×	`cube-unmult_binary64`
12×	`pow-plus_binary64` `exp-diff_binary64` `associate--l-_binary64`
11×	`difference-of-squares_binary64` `associate-+r-_binary64`
10×	`cube-mult_binary64` `+-rgt-identity_binary64` `distribute-lft-out_binary64` `associate-+l+_binary64`
9×	`associate-+r+_binary64`
8×	`distribute-rgt-out--_binary64`
6×	`sqr-neg_binary64` `rem-sqrt-square_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `distribute-neg-in_binary64`
5×	`cube-neg_binary64` `associate-/l/_binary64`
4×	`remove-double-neg_binary64`
3×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `mul-1-neg_binary64`
2×	`div-exp_binary64` `rem-square-sqrt_binary64` `sub0-neg_binary64` `pow-sqr_binary64`
1×	`rec-exp_binary64` `prod-exp_binary64` `1-exp_binary64` `exp-1-e_binary64` `rem-3cbrt-lft_binary64` `fabs-mul_binary64` `fabs-sub_binary64` `/-rgt-identity_binary64` `--rgt-identity_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` `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-neg_binary64` `e-exp-1_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `fabs-div_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `-rgt-identity_binary64` `-lft-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` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `count-2_binary64`

Counts

131 → 71

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	2258
1	304	2166
2	907	2160
3	4499	2160
4	4969	2160

prune46.0ms (0.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	70	14	84

Error

9.4b

Counts

84 → 14

Compiler

Compiled 1783 to 493 computations (72.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
23.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

9.4b

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:

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

Compiler

Compiled 2671 to 328 computations (87.7% saved)

series222.0ms (2.8%)

Error

9.4b

Counts

4 → 70

Calls

4 calls:

52.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
51.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
50.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
49.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Compiler

Compiled 5967 to 2848 computations (52.3% saved)

simplify126.0ms (1.6%)

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×	`cube-prod_binary64` `distribute-lft-neg-in_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`
34×	`exp-prod_binary64`
33×	`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` `fabs-mul_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` `fabs-div_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_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	4917	2098
5	4938	2098

prune34.0ms (0.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	0	12	12
Picked	1	0	1
Done	0	1	1
Total	61	14	75

Error

9.4b

Counts

75 → 14

Compiler

Compiled 1823 to 351 computations (80.7% saved)

regimes2.0s (25.3%)

Accuracy

Total 2.8b remaining (27.5%)

Threshold costs 0b (0%)

Compiler

Compiled 13578 to 6724 computations (50.5% saved)

bsearch58.0ms (0.7%)

Steps

Iters	Range		Point
9	1.1010024203077277e-68	1.2287980668526486e-59	4.8379573809921234e-64
9	-7.111933935271439e+95	-1.8752839984501068e+86	-4.207416532438737e+94

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-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×	`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` `1-exp_binary64` `exp-1-e_binary64` `exp-0_binary64` `fabs-div_binary64` `fabs-mul_binary64` `fabs-sqr_binary64` `fabs-neg_binary64` `fabs-sub_binary64` `fabs-fabs_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `unsub-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-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	26	56
1	43	56
2	63	56
3	75	56
4	83	56
5	85	56
6	84	56

end2.0ms (0%)

Compiler: Compiled 38 to 24 computations (36.8% saved)

sample1.4s (17.1%)

Algorithm

1×

intervals

Results

225.0ms	5200×	body	128	valid
217.0ms	1079×	body	2048	valid
119.0ms	733×	body	1024	valid
106.0ms	415×	body	4096	valid
45.0ms	386×	body	512	valid
29.0ms	750×	body	128	nan
17.0ms	187×	body	256	valid
10.0ms	238×	body	128	invalid

Compiler

Compiled 347 to 222 computations (36% 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.5s (19.3%)

sample72.0ms (0.9%)

simplify144.0ms (1.8%)

prune11.0ms (0.1%)

localize19.0ms (0.2%)

rewrite182.0ms (2.3%)

series215.0ms (2.7%)

simplify306.0ms (3.8%)

prune86.0ms (1.1%)

localize22.0ms (0.3%)

rewrite144.0ms (1.8%)

series417.0ms (5.2%)

simplify233.0ms (2.9%)

prune83.0ms (1%)

localize28.0ms (0.3%)

rewrite139.0ms (1.7%)

series262.0ms (3.3%)

simplify111.0ms (1.4%)

prune46.0ms (0.6%)

localize15.0ms (0.2%)

rewrite71.0ms (0.9%)

series222.0ms (2.8%)

simplify126.0ms (1.6%)

prune34.0ms (0.4%)

regimes2.0s (25.3%)

bsearch58.0ms (0.7%)

simplify6.0ms (0.1%)

end2.0ms (0%)

sample1.4s (17.1%)

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