Details

analyze150.0ms (2.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

15×	`sub-neg_binary64_10983`
14×	`cancel-sign-sub-inv_binary64_10956`
10×	`distribute-rgt-in_binary64_10940`
9×	`neg-mul-1_binary64_10986`
8×	`associate--r+_binary64_10926`
7×	`unsub-neg_binary64_10984`
6×	`neg-sub0_binary64_10985`
5×	`distribute-neg-in_binary64_10951` `distribute-lft-neg-out_binary64_10949` `distribute-rgt-neg-in_binary64_10948` `distribute-lft-in_binary64_10939` `associate--r-_binary64_10929` `+-commutative_binary64_10920`
4×	`*-lft-identity_binary64_10979` `sub0-neg_binary64_10977` `associate-+l-_binary64_10925`
3×	`+-lft-identity_binary64_10974` `distribute-rgt-neg-out_binary64_10950` `associate-+l+_binary64_10923` `*-commutative_binary64_10921`
2×	`*-rgt-identity_binary64_10980`
1×	`1-exp_binary64_11034` `remove-double-neg_binary64_10978` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `distribute-lft-neg-in_binary64_10947` `associate--l+_binary64_10927` `associate-+r-_binary64_10924` `associate-+r+_binary64_10922`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `log-div_binary64_11077` `log-prod_binary64_11076` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow3_binary64_11056` `unpow2_binary64_11055` `unpow1/2_binary64_11054` `pow-plus_binary64_11053` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `exp-prod_binary64_11042` `div-exp_binary64_11041` `rec-exp_binary64_11040` `prod-exp_binary64_11039` `exp-diff_binary64_11038` `exp-neg_binary64_11037` `exp-sum_binary64_11036` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-unmult_binary64_11027` `cube-mult_binary64_11020` `cube-div_binary64_11019` `cube-prod_binary64_11018` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `rem-sqrt-square_binary64_11003` `rem-square-sqrt_binary64_11002` `times-frac_binary64_10996` `div-sub_binary64_10995` `mul-1-neg_binary64_10982` `/-rgt-identity_binary64_10981` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `-inverses_binary64_10970` `+-inverses_binary64_10969` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `remove-double-div_binary64_10966` `pow-sqr_binary64_10963` `sqr-pow_binary64_10962` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960` `difference-of-squares_binary64_10959` `unswap-sqr_binary64_10958` `swap-sqr_binary64_10957` `cancel-sign-sub_binary64_10955` `distribute-neg-frac_binary64_10954` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-rgt1-in_binary64_10946` `distribute-lft1-in_binary64_10945` `distribute-rgt-out--_binary64_10944` `distribute-rgt-out_binary64_10943` `distribute-lft-out--_binary64_10942` `distribute-lft-out_binary64_10941` `count-2_binary64_10938` `associate-/l/_binary64_10937` `associate-/r/_binary64_10936` `associate-/l_binary64_10935` `associate-/r_binary64_10934` `associate-l/_binary64_10933` `associate-r/_binary64_10932` `associate-l_binary64_10931` `associate-r*_binary64_10930` `associate--l-_binary64_10928`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
50%	12.5%	37.5%	4
50%	6.2%	43.8%	5
50%	3.1%	46.9%	6
50%	1.6%	48.5%	7
50%	0.8%	49.2%	8
50%	0.4%	49.6%	9
50%	0.2%	49.8%	10
50%	0.1%	49.9%	11
50%	0%	50%	12
50%	0%	50%	13
50%	0%	50%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample21.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms	62×	body	1024	valid
4.0ms	140×	body	128	valid
3.0ms	37×	body	512	valid
1.0ms	13×	body	256	valid
0.0ms	4×	body	2048	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

15×	`sub-neg_binary64_10983`
14×	`cancel-sign-sub-inv_binary64_10956`
10×	`distribute-rgt-in_binary64_10940`
9×	`neg-mul-1_binary64_10986`
8×	`associate--r+_binary64_10926`
7×	`unsub-neg_binary64_10984`
6×	`neg-sub0_binary64_10985`
5×	`distribute-neg-in_binary64_10951` `distribute-lft-neg-out_binary64_10949` `distribute-rgt-neg-in_binary64_10948` `distribute-lft-in_binary64_10939` `associate--r-_binary64_10929` `+-commutative_binary64_10920`
4×	`*-lft-identity_binary64_10979` `sub0-neg_binary64_10977` `associate-+l-_binary64_10925`
3×	`+-lft-identity_binary64_10974` `distribute-rgt-neg-out_binary64_10950` `associate-+l+_binary64_10923` `*-commutative_binary64_10921`
2×	`*-rgt-identity_binary64_10980`
1×	`1-exp_binary64_11034` `remove-double-neg_binary64_10978` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `distribute-lft-neg-in_binary64_10947` `associate--l+_binary64_10927` `associate-+r-_binary64_10924` `associate-+r+_binary64_10922`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `log-div_binary64_11077` `log-prod_binary64_11076` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow3_binary64_11056` `unpow2_binary64_11055` `unpow1/2_binary64_11054` `pow-plus_binary64_11053` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `exp-prod_binary64_11042` `div-exp_binary64_11041` `rec-exp_binary64_11040` `prod-exp_binary64_11039` `exp-diff_binary64_11038` `exp-neg_binary64_11037` `exp-sum_binary64_11036` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-unmult_binary64_11027` `cube-mult_binary64_11020` `cube-div_binary64_11019` `cube-prod_binary64_11018` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `rem-sqrt-square_binary64_11003` `rem-square-sqrt_binary64_11002` `times-frac_binary64_10996` `div-sub_binary64_10995` `mul-1-neg_binary64_10982` `/-rgt-identity_binary64_10981` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `-inverses_binary64_10970` `+-inverses_binary64_10969` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `remove-double-div_binary64_10966` `pow-sqr_binary64_10963` `sqr-pow_binary64_10962` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960` `difference-of-squares_binary64_10959` `unswap-sqr_binary64_10958` `swap-sqr_binary64_10957` `cancel-sign-sub_binary64_10955` `distribute-neg-frac_binary64_10954` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-rgt1-in_binary64_10946` `distribute-lft1-in_binary64_10945` `distribute-rgt-out--_binary64_10944` `distribute-rgt-out_binary64_10943` `distribute-lft-out--_binary64_10942` `distribute-lft-out_binary64_10941` `count-2_binary64_10938` `associate-/l/_binary64_10937` `associate-/r/_binary64_10936` `associate-/l_binary64_10935` `associate-/r_binary64_10934` `associate-l/_binary64_10933` `associate-r/_binary64_10932` `associate-l_binary64_10931` `associate-r*_binary64_10930` `associate--l-_binary64_10928`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

29.3b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x 1))
3.2b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

rewrite68.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

28.5b

Rules

15×	`sqrt-prod_binary64_11006`
14×	`add-sqr-sqrt_binary64_11012` `*-un-lft-identity_binary64_10990`
6×	`cancel-sign-sub-inv_binary64_10956`
5×	`add-cube-cbrt_binary64_11025`
4×	`add-log-exp_binary64_11029` `difference-of-squares_binary64_10959`
3×	`pow1_binary64_11051` `distribute-lft-out--_binary64_10942`
2×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026` `distribute-lft-out_binary64_10941` `sqrt-div_binary64_11007`
1×	`diff-log_binary64_11082` `flip3--_binary64_10994` `sub-neg_binary64_10983` `flip--_binary64_10965` `pow1/2_binary64_11070` `sqrt-pow1_binary64_11008` `flip3-+_binary64_10993` `flip-+_binary64_10964` `rem-sqrt-square_binary64_11003`

Counts

2 → 40

Calls

2 calls:

9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 571 to 370 computations (35.2% saved)

series72.0ms (1.1%)

Error

28.5b

Counts

2 → 9

Calls

2 calls:

42.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
23.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 245 to 193 computations (21.2% saved)

simplify50.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

706×	`associate-/l*_binary64_10935`
330×	`cancel-sign-sub-inv_binary64_10956`
278×	`distribute-rgt-in_binary64_10940`
267×	`associate-/l/_binary64_10937`
234×	`distribute-lft-in_binary64_10939`
192×	`distribute-rgt-neg-in_binary64_10948`
183×	`associate-r_binary64_10930`
172×	`associate-l_binary64_10931`
158×	`distribute-lft-neg-in_binary64_10947`
121×	`distribute-rgt-out_binary64_10943`
117×	`times-frac_binary64_10996`
90×	`unswap-sqr_binary64_10958`
86×	`distribute-neg-frac_binary64_10954` `associate-/r/_binary64_10936`
72×	`*-commutative_binary64_10921`
71×	`sub-neg_binary64_10983` `distribute-lft-out_binary64_10941`
63×	`distribute-rgt-out--_binary64_10944`
54×	`associate-/r*_binary64_10934`
48×	`distribute-lft-neg-out_binary64_10949`
47×	`+-commutative_binary64_10920`
45×	`distribute-rgt-neg-out_binary64_10950`
41×	`neg-sub0_binary64_10985`
39×	`div-sub_binary64_10995`
37×	`sqr-pow_binary64_10962`
36×	`unsub-neg_binary64_10984`
35×	`neg-mul-1_binary64_10986`
33×	`associate-+l+_binary64_10923`
32×	`exp-prod_binary64_11042`
31×	`distribute-lft-out--_binary64_10942`
28×	`associate-+r+_binary64_10922`
25×	`difference-of-squares_binary64_10959`
24×	`cube-prod_binary64_11018` `swap-sqr_binary64_10957`
18×	`associate--l+_binary64_10927`
16×	`exp-sum_binary64_11036`
14×	`distribute-rgt1-in_binary64_10946`
13×	`mul-1-neg_binary64_10982` `*-lft-identity_binary64_10979`
12×	`*-rgt-identity_binary64_10980` `associate-+l-_binary64_10925` `associate-+r-_binary64_10924`
11×	`+-rgt-identity_binary64_10975` `distribute-frac-neg_binary64_10953`
10×	`/-rgt-identity_binary64_10981`
8×	`cube-unmult_binary64_11027`
7×	`sub0-neg_binary64_10977` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `distribute-neg-in_binary64_10951`
6×	`unpow3_binary64_11056` `exp-diff_binary64_11038` `rem-sqrt-square_binary64_11003` `associate-*l/_binary64_10933`
5×	`pow-plus_binary64_11053`
4×	`cube-mult_binary64_11020` `difference-of-sqr--1_binary64_10961` `associate-*r/_binary64_10932`
3×	`rem-square-sqrt_binary64_11002` `pow-sqr_binary64_10963`
2×	`log-prod_binary64_11076` `+-inverses_binary64_10969` `difference-of-sqr-1_binary64_10960`
1×	`unpow2_binary64_11055` `unpow1/2_binary64_11054` `unpow1_binary64_11048` `div-exp_binary64_11041` `1-exp_binary64_11034` `rem-3cbrt-lft_binary64_11015` `sqr-neg_binary64_11004` `remove-double-neg_binary64_10978` `associate--r-_binary64_10929` `associate--r+_binary64_10926`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `log-div_binary64_11077` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `rec-exp_binary64_11040` `prod-exp_binary64_11039` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-div_binary64_11019` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `--rgt-identity_binary64_10976` `+-lft-identity_binary64_10974` `div0_binary64_10971` `*-inverses_binary64_10970` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `remove-double-div_binary64_10966` `cancel-sign-sub_binary64_10955` `distribute-neg-out_binary64_10952` `distribute-lft1-in_binary64_10945` `count-2_binary64_10938` `associate--l-_binary64_10928`

Counts

49 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	625
1	200	602
2	480	596
3	1661	589
4	4932	589

prune47.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	33	4	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	4	38

Error

0.1b

Counts

38 → 4

Compiler

Compiled 515 to 348 computations (32.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (+.f64 1 x))
0.0b	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

rewrite131.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`*-un-lft-identity_binary64_10990`
24×	`sqrt-prod_binary64_11006`
21×	`distribute-lft-out_binary64_10941`
18×	`times-frac_binary64_10996`
16×	`add-sqr-sqrt_binary64_11012`
15×	`add-cube-cbrt_binary64_11025`
7×	`add-exp-log_binary64_11028`
6×	`associate-/r*_binary64_10934`
5×	`pow1_binary64_11051` `add-log-exp_binary64_11029` `add-cbrt-cube_binary64_11026`
3×	`flip3-+_binary64_10993` `flip-+_binary64_10964` `associate-/l*_binary64_10935`
2×	`div-exp_binary64_11041` `associate-/r/_binary64_10936` `sqrt-div_binary64_11007`
1×	`inv-pow_binary64_11075` `pow-flip_binary64_11064` `1-exp_binary64_11034` `rec-exp_binary64_11040` `cbrt-undiv_binary64_11024` `frac-2neg_binary64_11001` `clear-num_binary64_10989` `div-inv_binary64_10987` `sum-log_binary64_11081` `+-commutative_binary64_10920` `pow1/2_binary64_11070` `sqrt-pow1_binary64_11008` `rem-sqrt-square_binary64_11003`

Counts

3 → 75

Calls

3 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
8.0ms	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
6.0ms	(sqrt.f64 (+.f64 1 x))

Compiler

Compiled 1268 to 926 computations (27% saved)

series77.0ms (1.2%)

Error

0.1b

Counts

3 → 12

Calls

3 calls:

24.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
22.0ms	(sqrt.f64 (+.f64 1 x))
20.0ms	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))

Compiler

Compiled 268 to 232 computations (13.4% saved)

simplify133.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

577×	`cancel-sign-sub-inv_binary64_10956`
393×	`associate-l_binary64_10931`
314×	`associate-r_binary64_10930`
298×	`distribute-rgt-out_binary64_10943`
248×	`div-sub_binary64_10995`
221×	`times-frac_binary64_10996`
176×	`unswap-sqr_binary64_10958`
175×	`neg-mul-1_binary64_10986`
162×	`sub-neg_binary64_10983`
159×	`neg-sub0_binary64_10985`
150×	`distribute-lft-out_binary64_10941`
149×	`distribute-rgt-neg-in_binary64_10948`
134×	`unsub-neg_binary64_10984`
125×	`distribute-rgt-out--_binary64_10944` `associate-+l+_binary64_10923`
120×	`associate-+r+_binary64_10922`
112×	`*-commutative_binary64_10921`
111×	`distribute-rgt-in_binary64_10940`
109×	`distribute-lft-neg-in_binary64_10947`
87×	`associate-/l*_binary64_10935`
82×	`distribute-lft-in_binary64_10939`
76×	`distribute-lft-out--_binary64_10942`
73×	`+-commutative_binary64_10920`
62×	`cube-prod_binary64_11018`
59×	`associate-+l-_binary64_10925`
54×	`distribute-neg-in_binary64_10951`
51×	`associate-+r-_binary64_10924`
43×	`sqr-pow_binary64_10962`
39×	`exp-prod_binary64_11042`
35×	`associate-/r*_binary64_10934`
34×	`*-rgt-identity_binary64_10980` `distribute-lft-neg-out_binary64_10949`
30×	`cube-div_binary64_11019`
29×	`unpow3_binary64_11056` `pow-plus_binary64_11053`
26×	`*-lft-identity_binary64_10979` `sub0-neg_binary64_10977` `distribute-rgt1-in_binary64_10946`
25×	`associate--l+_binary64_10927`
24×	`associate--r+_binary64_10926`
21×	`difference-of-squares_binary64_10959`
20×	`+-rgt-identity_binary64_10975`
18×	`cube-mult_binary64_11020` `distribute-rgt-neg-out_binary64_10950`
16×	`exp-diff_binary64_11038` `associate-/l/_binary64_10937` `associate-*l/_binary64_10933`
15×	`exp-sum_binary64_11036` `/-rgt-identity_binary64_10981` `associate-/r/_binary64_10936`
14×	`cube-unmult_binary64_11027` `distribute-neg-frac_binary64_10954`
13×	`associate-*r/_binary64_10932`
12×	`log-div_binary64_11077` `log-prod_binary64_11076`
6×	`rem-sqrt-square_binary64_11003`
5×	`distribute-lft1-in_binary64_10945` `associate--r-_binary64_10929`
4×	`log-rec_binary64_11078` `unpow1/2_binary64_11054` `remove-double-neg_binary64_10978` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `pow-sqr_binary64_10963` `swap-sqr_binary64_10957` `associate--l-_binary64_10928`
3×	`mul-1-neg_binary64_10982` `+-lft-identity_binary64_10974` `+-inverses_binary64_10969` `remove-double-div_binary64_10966` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960`
2×	`unpow2_binary64_11055` `unpow1_binary64_11048` `cube-neg_binary64_11017` `rem-square-sqrt_binary64_11002` `--rgt-identity_binary64_10976` `distribute-neg-out_binary64_10952`
1×	`prod-exp_binary64_11039` `1-exp_binary64_11034` `exp-1-e_binary64_11033` `sqr-neg_binary64_11004` `count-2_binary64_10938`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `div-exp_binary64_11041` `rec-exp_binary64_11040` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `div0_binary64_10971` `*-inverses_binary64_10970` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `cancel-sign-sub_binary64_10955` `distribute-frac-neg_binary64_10953`

Counts

87 → 46

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	102	1321
1	216	1240
2	459	1234
3	960	1227
4	2442	1227
5	4334	1227
6	4934	1227
7	4859	1227

prune53.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	41	5	46
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	43	7	50

Error

0.0b

Counts

50 → 7

Compiler

Compiled 686 to 509 computations (25.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.1b	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
0.1b	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
0.2b	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))

rewrite1.1s (17%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

334×	`*-un-lft-identity_binary64_10990`
284×	`sqrt-prod_binary64_11006`
238×	`times-frac_binary64_10996`
200×	`add-sqr-sqrt_binary64_11012`
117×	`add-cube-cbrt_binary64_11025`
108×	`distribute-lft-out_binary64_10941`
53×	`swap-sqr_binary64_10957`
52×	`add-exp-log_binary64_11028`
33×	`associate-l_binary64_10931` `associate-r_binary64_10930`
32×	`pow1_binary64_11051`
30×	`pow-flip_binary64_11064`
25×	`unswap-sqr_binary64_10958`
20×	`div-exp_binary64_11041` `add-cbrt-cube_binary64_11026`
18×	`associate-/r*_binary64_10934`
16×	`prod-exp_binary64_11039`
14×	`sqrt-div_binary64_11007`
12×	`associate-/r/_binary64_10936`
11×	`pow1/2_binary64_11070` `sqrt-pow1_binary64_11008`
10×	`inv-pow_binary64_11075` `1-exp_binary64_11034` `rec-exp_binary64_11040`
9×	`pow-prod-up_binary64_11060`
8×	`div-inv_binary64_10987`
7×	`flip3-+_binary64_10993` `flip-+_binary64_10964`
6×	`cbrt-undiv_binary64_11024` `associate-/l*_binary64_10935`
5×	`pow-prod-down_binary64_11061` `pow-sqr_binary64_10963`
4×	`add-log-exp_binary64_11029` `cbrt-unprod_binary64_11023`
2×	`frac-2neg_binary64_11001` `clear-num_binary64_10989`
1×	`pow2_binary64_11071` `pow-plus_binary64_11053` `frac-times_binary64_11000` `un-div-inv_binary64_10988` `associate-l/_binary64_10933` `associate-r/_binary64_10932` `*-commutative_binary64_10921` `rem-sqrt-square_binary64_11003`

Counts

4 → 333

Calls

4 calls:

52.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
14.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
13.0ms	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
13.0ms	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))

Compiler

Compiled 11410 to 8618 computations (24.5% saved)

series138.0ms (2.2%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

33.0ms	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
33.0ms	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
29.0ms	(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
29.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

Compiler

Compiled 597 to 526 computations (11.9% saved)

simplify351.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

502×	`distribute-rgt-in_binary64_10940`
430×	`unsub-neg_binary64_10984`
422×	`associate-/l*_binary64_10935`
345×	`associate-l_binary64_10931`
263×	`associate-r_binary64_10930`
218×	`associate-*l/_binary64_10933`
217×	`cancel-sign-sub-inv_binary64_10956`
213×	`swap-sqr_binary64_10957`
201×	`log-prod_binary64_11076`
195×	`associate-/l/_binary64_10937`
175×	`exp-prod_binary64_11042`
171×	`log-div_binary64_11077`
165×	`associate-*r/_binary64_10932`
153×	`times-frac_binary64_10996`
148×	`associate-+r+_binary64_10922`
141×	`sub-neg_binary64_10983` `distribute-neg-in_binary64_10951`
126×	`sqr-pow_binary64_10962`
124×	`associate-/r/_binary64_10936` `*-commutative_binary64_10921`
120×	`associate-/r*_binary64_10934`
117×	`cube-div_binary64_11019`
108×	`neg-mul-1_binary64_10986`
107×	`cube-prod_binary64_11018`
98×	`neg-sub0_binary64_10985`
97×	`unswap-sqr_binary64_10958`
96×	`associate-+l+_binary64_10923`
78×	`associate-+r-_binary64_10924`
73×	`distribute-lft-in_binary64_10939`
55×	`rem-sqrt-square_binary64_11003`
53×	`associate--r+_binary64_10926`
50×	`distribute-rgt-out_binary64_10943`
47×	`div-sub_binary64_10995`
44×	`associate-+l-_binary64_10925`
43×	`*-rgt-identity_binary64_10980`
39×	`distribute-rgt-neg-in_binary64_10948`
37×	`*-lft-identity_binary64_10979`
34×	`+-commutative_binary64_10920`
33×	`unpow3_binary64_11056`
32×	`distribute-lft-neg-in_binary64_10947`
31×	`pow-plus_binary64_11053` `pow-sqr_binary64_10963`
28×	`distribute-lft-neg-out_binary64_10949`
25×	`associate--r-_binary64_10929` `associate--l+_binary64_10927`
23×	`cube-unmult_binary64_11027`
22×	`cube-mult_binary64_11020` `remove-double-div_binary64_10966`
20×	`log-rec_binary64_11078` `/-rgt-identity_binary64_10981` `distribute-rgt-neg-out_binary64_10950`
17×	`log-pow_binary64_11079` `distribute-rgt-out--_binary64_10944`
16×	`sub0-neg_binary64_10977` `distribute-neg-frac_binary64_10954` `distribute-lft-out_binary64_10941`
15×	`+-rgt-identity_binary64_10975`
13×	`distribute-lft-out--_binary64_10942`
10×	`count-2_binary64_10938`
9×	`rem-square-sqrt_binary64_11002` `distribute-neg-out_binary64_10952`
8×	`+-lft-identity_binary64_10974` `associate--l-_binary64_10928`
7×	`unpow1/2_binary64_11054` `distribute-rgt1-in_binary64_10946`
6×	`remove-double-neg_binary64_10978`
5×	`unpow2_binary64_11055` `--rgt-identity_binary64_10976`
4×	`unpow1_binary64_11048` `rem-cbrt-cube_binary64_11014`
3×	`rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `sqr-neg_binary64_11004` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `difference-of-squares_binary64_10959`
2×	`sqr-abs_binary64_11005` `+-inverses_binary64_10969` `cancel-sign-sub_binary64_10955` `distribute-lft1-in_binary64_10945`
1×	`exp-diff_binary64_11038` `exp-sum_binary64_11036` `1-exp_binary64_11034` `exp-1-e_binary64_11033` `cube-neg_binary64_11017` `difference-of-sqr-1_binary64_10960` `distribute-frac-neg_binary64_10953`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `div-exp_binary64_11041` `rec-exp_binary64_11040` `prod-exp_binary64_11039` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `rem-cube-cbrt_binary64_11013` `mul-1-neg_binary64_10982` `div0_binary64_10971` `*-inverses_binary64_10970` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `difference-of-sqr--1_binary64_10961`

Counts

345 → 292

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	167	9772
1	382	7453
2	949	7237
3	2422	7134
4	3449	6770
5	4049	6764
6	4863	6764

prune458.0ms (7.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	287	5	292
Fresh	4	1	5
Picked	1	0	1
Done	0	1	1
Total	292	7	299

Error

0.0b

Counts

299 → 7

Compiler

Compiled 6406 to 4698 computations (26.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 1 x))
0.0b	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
0.1b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.5b	(pow.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) 4)

rewrite138.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`*-un-lft-identity_binary64_10990`
28×	`sqrt-prod_binary64_11006`
13×	`distribute-lft-out_binary64_10941`
11×	`add-sqr-sqrt_binary64_11012`
9×	`add-cube-cbrt_binary64_11025` `unpow-prod-down_binary64_11069`
8×	`pow1_binary64_11051`
6×	`add-log-exp_binary64_11029`
5×	`add-exp-log_binary64_11028`
4×	`add-cbrt-cube_binary64_11026` `sqrt-div_binary64_11007`
3×	`pow-unpow_binary64_11067` `pow1/2_binary64_11070` `pow-pow_binary64_11062` `sqrt-pow1_binary64_11008` `flip3-+_binary64_10993` `flip-+_binary64_10964`
2×	`rem-sqrt-square_binary64_11003`
1×	`pow-to-exp_binary64_11059` `pow-exp_binary64_11058` `sqrt-pow2_binary64_11009` `sqr-pow_binary64_10962` `sum-log_binary64_11081` `+-commutative_binary64_10920`

Counts

4 → 74

Calls

4 calls:

13.0ms	(pow.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) 4)
9.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
9.0ms	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))
4.0ms	(sqrt.f64 (+.f64 1 x))

Compiler

Compiled 1526 to 1184 computations (22.4% saved)

series131.0ms (2.1%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

48.0ms	(pow.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) 4)
28.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
24.0ms	(sqrt.f64 (+.f64 1 x))
18.0ms	(+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))

Compiler

Compiled 535 to 493 computations (7.9% saved)

simplify68.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

742×	`distribute-rgt-in_binary64_10940`
712×	`distribute-lft-in_binary64_10939`
253×	`unswap-sqr_binary64_10958`
237×	`associate-l_binary64_10931`
199×	`associate-r_binary64_10930`
161×	`distribute-rgt-out_binary64_10943`
119×	`cancel-sign-sub-inv_binary64_10956`
103×	`distribute-lft-out_binary64_10941`
93×	`sqr-pow_binary64_10962`
76×	`exp-prod_binary64_11042`
66×	`*-commutative_binary64_10921`
61×	`sub-neg_binary64_10983`
47×	`distribute-rgt-neg-in_binary64_10948`
44×	`distribute-rgt-out--_binary64_10944`
40×	`associate-+l+_binary64_10923`
38×	`log-prod_binary64_11076`
37×	`associate-+r+_binary64_10922` `+-commutative_binary64_10920`
33×	`cube-prod_binary64_11018`
29×	`distribute-lft-neg-in_binary64_10947`
28×	`swap-sqr_binary64_10957`
24×	`pow-plus_binary64_11053`
23×	`exp-sum_binary64_11036`
19×	`pow-sqr_binary64_10963` `distribute-lft-out--_binary64_10942`
16×	`cube-unmult_binary64_11027` `associate-+r-_binary64_10924`
15×	`associate--l+_binary64_10927` `associate-+l-_binary64_10925`
14×	`distribute-rgt1-in_binary64_10946`
13×	`neg-sub0_binary64_10985`
12×	`log-pow_binary64_11079`
11×	`neg-mul-1_binary64_10986` `+-rgt-identity_binary64_10975` `distribute-lft-neg-out_binary64_10949`
10×	`rem-sqrt-square_binary64_11003` `unsub-neg_binary64_10984` `*-lft-identity_binary64_10979`
9×	`unpow2_binary64_11055` `unpow1/2_binary64_11054` `unpow1_binary64_11048`
8×	`*-rgt-identity_binary64_10980` `difference-of-squares_binary64_10959`
6×	`sub0-neg_binary64_10977` `distribute-neg-in_binary64_10951` `distribute-rgt-neg-out_binary64_10950`
5×	`unpow3_binary64_11056` `rem-square-sqrt_binary64_11002`
3×	`cube-mult_binary64_11020` `associate--r+_binary64_10926`
2×	`+-inverses_binary64_10969` `difference-of-sqr-1_binary64_10960` `associate-/l/_binary64_10937` `associate-*r/_binary64_10932`
1×	`prod-exp_binary64_11039` `1-exp_binary64_11034` `rem-3cbrt-rft_binary64_11016` `sqr-abs_binary64_11005` `difference-of-sqr--1_binary64_10961` `distribute-lft1-in_binary64_10945` `associate-/r/_binary64_10936` `associate-/l*_binary64_10935`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-rec_binary64_11078` `log-div_binary64_11077` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `div-exp_binary64_11041` `rec-exp_binary64_11040` `exp-diff_binary64_11038` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-div_binary64_11019` `cube-neg_binary64_11017` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-neg_binary64_11004` `times-frac_binary64_10996` `div-sub_binary64_10995` `mul-1-neg_binary64_10982` `/-rgt-identity_binary64_10981` `remove-double-neg_binary64_10978` `--rgt-identity_binary64_10976` `+-lft-identity_binary64_10974` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `-inverses_binary64_10970` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `remove-double-div_binary64_10966` `cancel-sign-sub_binary64_10955` `distribute-neg-frac_binary64_10954` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `count-2_binary64_10938` `associate-/r_binary64_10934` `associate-*l/_binary64_10933` `associate--r-_binary64_10929` `associate--l-_binary64_10928`

Counts

89 → 55

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	112	1331
1	233	1183
2	523	1153
3	1512	1146
4	5081	1146

prune67.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	55	7	62

Error

0.0b

Counts

62 → 7

Compiler

Compiled 910 to 714 computations (21.5% saved)

regimes386.0ms (6.2%)

Accuracy

Total 0.2b remaining (98.2%)

Threshold costs 0.2b (98.2%)

Compiler

Compiled 4269 to 3433 computations (19.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_10920`
1×	`1-exp_binary64_11034`
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_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `unpow1_binary64_11048` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `neg-mul-1_binary64_10986` `neg-sub0_binary64_10985` `unsub-neg_binary64_10984` `sub-neg_binary64_10983` `mul-1-neg_binary64_10982` `/-rgt-identity_binary64_10981` `-rgt-identity_binary64_10980` `-lft-identity_binary64_10979` `remove-double-neg_binary64_10978` `sub0-neg_binary64_10977` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `+-lft-identity_binary64_10974` `cancel-sign-sub-inv_binary64_10956` `cancel-sign-sub_binary64_10955` `distribute-neg-frac_binary64_10954` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-neg-in_binary64_10951` `distribute-rgt-neg-out_binary64_10950` `distribute-lft-neg-out_binary64_10949` `distribute-rgt-neg-in_binary64_10948` `distribute-lft-neg-in_binary64_10947` `*-commutative_binary64_10921`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14
2	11	14

end0.0ms (0%)

sample2.6s (41.8%)

Algorithm

1×

intervals

Results

196.0ms	2044×	body	1024	valid
133.0ms	4338×	body	128	valid
68.0ms	942×	body	512	valid
27.0ms	187×	body	2048	valid
24.0ms	489×	body	256	valid

Compiler

Compiled 2109 to 1696 computations (19.6% saved)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11

Details

analyze150.0ms (2.4%)

sample21.0ms (0.3%)

simplify12.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite68.0ms (1.1%)

series72.0ms (1.1%)

simplify50.0ms (0.8%)

prune47.0ms (0.8%)

localize6.0ms (0.1%)

rewrite131.0ms (2.1%)

series77.0ms (1.2%)

simplify133.0ms (2.1%)

prune53.0ms (0.9%)

localize9.0ms (0.1%)

rewrite1.1s (17%)

series138.0ms (2.2%)

simplify351.0ms (5.6%)

prune458.0ms (7.3%)

localize11.0ms (0.2%)

rewrite138.0ms (2.2%)

series131.0ms (2.1%)

simplify68.0ms (1.1%)

prune67.0ms (1.1%)

regimes386.0ms (6.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.6s (41.8%)

Profiling

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11
0	1	1
1	1	1

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	28	11
5	43	11
6	65	11
7	77	11
8	89	11
9	91	11
10	85	11
11	71	11