Details

analyze923.0ms (14%)

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)

sample39.0ms (0.6%)

Algorithm

1×

intervals

Results

8.0ms	178×	body	128	valid
6.0ms	29×	body	2048	valid
4.0ms	23×	body	1024	valid
3.0ms	10×	body	4096	valid
1.0ms	12×	body	512	valid
1.0ms	21×	body	128	nan
0.0ms	4×	body	256	valid
0.0ms	6×	body	128	invalid

Compiler

Compiled 27 to 24 computations (11.1% saved)

simplify73.0ms (1.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

prune8.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.5b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize10.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)
0.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite167.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

32.3b

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:

17.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)

series190.0ms (2.9%)

Error

4.8b

Counts

4 → 61

Calls

4 calls:

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

Compiler

Compiled 1768 to 1372 computations (22.4% saved)

simplify132.0ms (2%)

Algorithm

1×	egg-herbie

Rules

459×	`associate-l_binary64`
444×	`times-frac_binary64`
437×	`associate-r_binary64`
319×	`associate-/l*_binary64`
235×	`associate-/r*_binary64`
164×	`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`
87×	`cancel-sign-sub-inv_binary64`
76×	`sub-neg_binary64`
64×	`associate-/l/_binary64`
58×	`*-commutative_binary64`
53×	`div-sub_binary64` `distribute-neg-frac_binary64`
51×	`neg-mul-1_binary64` `neg-sub0_binary64`
43×	`unswap-sqr_binary64`
36×	`+-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`
10×	`unpow3_binary64`
9×	`cube-prod_binary64` `distribute-neg-in_binary64`
8×	`difference-of-squares_binary64` `associate-+r-_binary64`
7×	`log-div_binary64` `exp-diff_binary64` `exp-sum_binary64` `/-rgt-identity_binary64` `+-rgt-identity_binary64` `associate--l+_binary64` `associate-+l+_binary64`
5×	`log-prod_binary64` `cube-unmult_binary64` `cube-mult_binary64` `associate-+r+_binary64`
4×	`rem-sqrt-square_binary64` `unsub-neg_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

147 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	183	2894
1	444	2738
2	1153	2732
3	4903	2732
4	4979	2732

prune43.0ms (0.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	59	11	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	12	71

Error

5.9b

Counts

71 → 12

Compiler

Compiled 919 to 333 computations (63.8% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite57.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

5.9b

Rules

10×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_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`
1×	`diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 57

Calls

4 calls:

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

Compiler

Compiled 2500 to 324 computations (87% saved)

series192.0ms (2.9%)

Error

5.9b

Counts

4 → 66

Calls

4 calls:

45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
42.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 5062 to 2395 computations (52.7% saved)

simplify107.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

489×	`cancel-sign-sub-inv_binary64`
389×	`neg-mul-1_binary64`
383×	`unswap-sqr_binary64`
345×	`distribute-rgt-neg-in_binary64`
342×	`distribute-lft-neg-in_binary64`
264×	`associate-r_binary64`
258×	`associate-l_binary64`
232×	`distribute-neg-frac_binary64`
210×	`times-frac_binary64`
154×	`associate-/l*_binary64`
142×	`div-sub_binary64`
83×	`associate-/r*_binary64`
81×	`exp-prod_binary64`
71×	`*-commutative_binary64`
70×	`neg-sub0_binary64`
63×	`distribute-lft-neg-out_binary64`
61×	`sqr-pow_binary64`
56×	`distribute-rgt-neg-out_binary64`
53×	`sub-neg_binary64`
43×	`associate-*r/_binary64`
39×	`distribute-rgt-in_binary64` `associate-*l/_binary64`
38×	`distribute-lft-in_binary64`
36×	`cube-prod_binary64`
32×	`unsub-neg_binary64`
26×	`difference-of-squares_binary64` `associate-/r/_binary64`
20×	`unpow3_binary64` `pow-plus_binary64`
18×	`cube-unmult_binary64` `+-commutative_binary64`
17×	`exp-sum_binary64`
13×	`distribute-rgt-out_binary64`
12×	`swap-sqr_binary64`
11×	`pow-sqr_binary64`
10×	`distribute-rgt-out--_binary64`
9×	`exp-diff_binary64` `cube-mult_binary64`
8×	`sqr-neg_binary64`
7×	`mul0-rgt_binary64` `mul0-lft_binary64` `associate-+l-_binary64` `associate-+r-_binary64`
6×	`sub0-neg_binary64` `+-rgt-identity_binary64` `associate-+l+_binary64`
5×	`rem-sqrt-square_binary64` `mul-1-neg_binary64` `associate-/l/_binary64`
4×	`unpow2_binary64` `distribute-neg-in_binary64` `distribute-lft-out_binary64`
3×	`log-prod_binary64` `unpow1/2_binary64` `unpow1_binary64` `associate-+r+_binary64`
2×	`exp-neg_binary64` `associate--r+_binary64`
1×	`div-exp_binary64` `1-exp_binary64` `cube-neg_binary64` `rem-square-sqrt_binary64` `distribute-frac-neg_binary64` `count-2_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-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` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_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` `--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` `distribute-lft-out--_binary64` `associate--r-_binary64` `associate--l-_binary64`

Counts

123 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	1772
1	171	1688
2	521	1688
3	2254	1634
4	4461	1634
5	5002	1634

prune30.0ms (0.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	62	12	74

Error

5.9b

Counts

74 → 12

Compiler

Compiled 1686 to 387 computations (77% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
5.4b	(/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))
18.8b	(-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (*.f64 b_2 b_2)))
22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite88.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.9b

Rules

26×	`*-un-lft-identity_binary64`
23×	`add-sqr-sqrt_binary64`
16×	`add-cube-cbrt_binary64` `times-frac_binary64`
11×	`add-log-exp_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64`
5×	`pow1_binary64` `distribute-lft-out_binary64`
4×	`flip3--_binary64` `flip--_binary64` `cancel-sign-sub-inv_binary64` `associate-/l_binary64` `associate-/r_binary64`
3×	`sqrt-prod_binary64` `diff-log_binary64`
2×	`sqrt-div_binary64` `sub-neg_binary64` `associate-/l/_binary64` `associate-/r/_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `sum-log_binary64` `associate--r+_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `div-sub_binary64` `clear-num_binary64` `div-inv_binary64` `flip3-+_binary64` `flip-+_binary64`

Counts

4 → 85

Calls

4 calls:

13.0ms	(/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))
7.0ms	(-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (*.f64 b_2 b_2)))
4.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 3027 to 415 computations (86.3% saved)

series181.0ms (2.7%)

Error

5.9b

Counts

4 → 58

Calls

4 calls:

61.0ms	(/.f64 (-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (.f64 b_2 b_2))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))
46.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
39.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
20.0ms	(-.f64 (.f64 b_2 b_2) (+.f64 (.f64 a c) (*.f64 b_2 b_2)))

Compiler

Compiled 2723 to 1651 computations (39.4% saved)

simplify140.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

590×	`div-sub_binary64`
432×	`times-frac_binary64`
404×	`associate-/l*_binary64`
336×	`distribute-rgt-in_binary64`
323×	`distribute-lft-in_binary64`
219×	`associate-/r*_binary64`
122×	`cancel-sign-sub-inv_binary64`
117×	`distribute-rgt-neg-in_binary64`
111×	`associate-/r/_binary64`
103×	`distribute-lft-neg-in_binary64`
98×	`exp-prod_binary64`
81×	`sub-neg_binary64` `associate-/l/_binary64`
74×	`unswap-sqr_binary64`
63×	`cube-prod_binary64`
59×	`*-commutative_binary64`
53×	`exp-sum_binary64`
51×	`associate-r_binary64`
50×	`associate-l_binary64`
49×	`neg-sub0_binary64`
47×	`neg-mul-1_binary64`
45×	`distribute-neg-frac_binary64`
41×	`sqr-pow_binary64`
33×	`+-commutative_binary64`
30×	`distribute-neg-in_binary64`
29×	`distribute-rgt-out_binary64`
27×	`exp-diff_binary64`
23×	`distribute-lft-neg-out_binary64`
22×	`associate-*l/_binary64`
20×	`cube-div_binary64`
19×	`associate-*r/_binary64`
15×	`unpow3_binary64` `difference-of-squares_binary64`
14×	`log-prod_binary64`
12×	`distribute-rgt-neg-out_binary64` `associate-+r+_binary64`
11×	`cube-unmult_binary64` `rem-sqrt-square_binary64` `associate--r+_binary64` `associate-+l+_binary64`
9×	`cube-mult_binary64`
8×	`log-div_binary64` `pow-plus_binary64` `/-rgt-identity_binary64`
7×	`unsub-neg_binary64` `distribute-lft-out_binary64`
6×	`*-rgt-identity_binary64`
5×	`sqr-neg_binary64` `distribute-frac-neg_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `div-exp_binary64` `mul-1-neg_binary64` `pow-sqr_binary64` `swap-sqr_binary64` `associate-+r-_binary64`
3×	`cube-neg_binary64` `rem-square-sqrt_binary64` `div0_binary64` `count-2_binary64` `associate--r-_binary64`
2×	`remove-double-neg_binary64` `+-rgt-identity_binary64` `cancel-sign-sub_binary64` `associate--l+_binary64`
1×	`log-pow_binary64` `prod-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `rem-3cbrt-lft_binary64` `-lft-identity_binary64` `sub0-neg_binary64` `-inverses_binary64` `+-inverses_binary64` `distribute-neg-out_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_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` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_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` `associate--l-_binary64`

Counts

143 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	183	3625
1	469	3394
2	1308	2870
3	4583	2870
4	5795	2870

prune48.0ms (0.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	103	3	106
Fresh	2	7	9
Picked	1	0	1
Done	0	2	2
Total	106	12	118

Error

5.9b

Counts

118 → 12

Compiler

Compiled 1908 to 453 computations (76.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
2.6b	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
10.0b	(/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))
22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

rewrite188.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

5.6b

Rules

210×	`times-frac_binary64`
154×	`*-un-lft-identity_binary64`
93×	`add-sqr-sqrt_binary64`
92×	`add-cube-cbrt_binary64`
36×	`associate-/l*_binary64`
31×	`distribute-lft-out_binary64`
21×	`neg-mul-1_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`associate-/r/_binary64`
7×	`associate-/r*_binary64`
6×	`add-log-exp_binary64` `div-inv_binary64`
5×	`pow1_binary64` `flip3-+_binary64` `flip-+_binary64`
4×	`div-exp_binary64` `cbrt-undiv_binary64`
3×	`sqrt-prod_binary64` `div-sub_binary64` `distribute-frac-neg_binary64`
2×	`flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `frac-2neg_binary64` `neg-sub0_binary64` `clear-num_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `associate-/l/_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 217

Calls

4 calls:

13.0ms	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
8.0ms	(/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (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	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 6152 to 813 computations (86.8% saved)

series225.0ms (3.4%)

Error

5.9b

Counts

4 → 65

Calls

4 calls:

67.0ms	(/.f64 (/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))) a)
59.0ms	(/.f64 (neg.f64 (.f64 a c)) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))
45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
36.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

Compiler

Compiled 2602 to 1789 computations (31.2% saved)

simplify346.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

388×	`div-sub_binary64`
318×	`associate-/l*_binary64`
316×	`associate-/l/_binary64`
313×	`cancel-sign-sub-inv_binary64`
258×	`times-frac_binary64`
185×	`associate-/r*_binary64`
167×	`sub-neg_binary64`
147×	`neg-sub0_binary64`
141×	`neg-mul-1_binary64`
110×	`log-div_binary64`
105×	`*-commutative_binary64`
98×	`associate-/r/_binary64`
92×	`log-prod_binary64`
89×	`associate-r_binary64`
87×	`unswap-sqr_binary64`
84×	`distribute-frac-neg_binary64`
83×	`exp-prod_binary64`
78×	`associate-l/_binary64` `associate-l*_binary64`
67×	`*-rgt-identity_binary64`
58×	`distribute-rgt-in_binary64`
52×	`distribute-lft-in_binary64`
45×	`associate-*r/_binary64`
44×	`sqr-pow_binary64`
43×	`cube-prod_binary64`
42×	`unpow3_binary64`
35×	`+-commutative_binary64`
31×	`/-rgt-identity_binary64`
30×	`div0_binary64` `swap-sqr_binary64`
25×	`cube-div_binary64` `unsub-neg_binary64` `distribute-rgt-neg-in_binary64`
22×	`distribute-lft-neg-in_binary64`
19×	`distribute-rgt-neg-out_binary64`
16×	`*-lft-identity_binary64`
15×	`distribute-lft-neg-out_binary64`
14×	`distribute-neg-frac_binary64`
10×	`remove-double-neg_binary64` `difference-of-squares_binary64`
9×	`log-pow_binary64` `pow-plus_binary64` `distribute-neg-in_binary64` `associate--r+_binary64`
7×	`log-rec_binary64` `cube-unmult_binary64` `mul-1-neg_binary64`
6×	`exp-diff_binary64` `exp-sum_binary64` `cube-mult_binary64` `sqr-neg_binary64` `associate--l+_binary64` `associate-+l+_binary64`
5×	`pow-sqr_binary64` `associate-+r-_binary64`
4×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `rem-sqrt-square_binary64` `associate-+l-_binary64`
3×	`distribute-rgt-out_binary64` `associate-+r+_binary64`
2×	`cube-neg_binary64` `rem-square-sqrt_binary64` `associate--r-_binary64` `associate--l-_binary64`
1×	`div-exp_binary64` `exp-neg_binary64` `1-exp_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `*-inverses_binary64` `+-inverses_binary64` `distribute-rgt-out--_binary64`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `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` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_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` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64`

Counts

282 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	378	9324
1	913	9005
2	3370	8838
3	4779	8838
4	4986	8838
5	4920	8838

prune74.0ms (1.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	162	4	166
Fresh	5	4	9
Picked	1	0	1
Done	0	2	2
Total	168	10	178

Error

5.6b

Counts

178 → 10

Compiler

Compiled 2475 to 491 computations (80.2% saved)

regimes1.9s (28.7%)

Accuracy

Total -0.1b remaining (-2.2%)

Threshold costs -0.1b (-2.2%)

Compiler

Compiled 13066 to 7364 computations (43.6% saved)

bsearch71.0ms (1.1%)

Steps

Iters	Range	Point
3	4.938529462284887e+112	3.8323515615941454e+124	1.2365947388764104e+123
8	-4.887291706483089e-304	-1.487864943912236e-307	-1.7515637493284578e-307
8	-7.9233966007079e+157	-8.398947628874623e+153	-1.1334898061328654e+154

Iters

Range

Point

4.938529462284887e+112

3.8323515615941454e+124

1.2365947388764104e+123

-4.887291706483089e-304

-1.487864943912236e-307

-1.7515637493284578e-307

-7.9233966007079e+157

-8.398947628874623e+153

-1.1334898061328654e+154

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64` `+-commutative_binary64`
10×	`sub-neg_binary64`
7×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
3×	`distribute-lft-neg-in_binary64`
2×	`distribute-neg-frac_binary64`
1×	`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` `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	32	82
1	56	82
2	77	82
3	90	82
4	97	82
5	98	82
6	97	82

end2.0ms (0%)

Compiler: Compiled 55 to 30 computations (45.5% saved)

sample1.3s (20%)

Algorithm

1×

intervals

Results

234.0ms	5285×	body	128	valid
221.0ms	1094×	body	2048	valid
119.0ms	704×	body	1024	valid
99.0ms	360×	body	4096	valid
44.0ms	372×	body	512	valid
32.0ms	786×	body	128	nan
15.0ms	185×	body	256	valid
10.0ms	236×	body	128	invalid

Compiler

Compiled 241 to 164 computations (32% 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

analyze923.0ms (14%)

sample39.0ms (0.6%)

simplify73.0ms (1.1%)

prune8.0ms (0.1%)

localize10.0ms (0.2%)

rewrite167.0ms (2.5%)

series190.0ms (2.9%)

simplify132.0ms (2%)

prune43.0ms (0.6%)

localize14.0ms (0.2%)

rewrite57.0ms (0.9%)

series192.0ms (2.9%)

simplify107.0ms (1.6%)

prune30.0ms (0.5%)

localize15.0ms (0.2%)

rewrite88.0ms (1.3%)

series181.0ms (2.7%)

simplify140.0ms (2.1%)

prune48.0ms (0.7%)

localize10.0ms (0.2%)

rewrite188.0ms (2.8%)

series225.0ms (3.4%)

simplify346.0ms (5.3%)

prune74.0ms (1.1%)

regimes1.9s (28.7%)

bsearch71.0ms (1.1%)

simplify7.0ms (0.1%)

end2.0ms (0%)

sample1.3s (20%)

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