Details

analyze706.0ms (22.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

1298×	`distribute-rgt-in_binary64_14691`
1000×	`unsub-neg_binary64_14735`
961×	`distribute-lft-in_binary64_14690`
783×	`associate--l-_binary64_14679`
710×	`*-commutative_binary64_14672`
623×	`distribute-neg-out_binary64_14703`
459×	`sub-neg_binary64_14734`
384×	`distribute-lft-out_binary64_14692`
328×	`+-commutative_binary64_14671`
294×	`distribute-rgt-out_binary64_14694`
268×	`neg-sub0_binary64_14736`
236×	`distribute-rgt-neg-in_binary64_14699`
231×	`cancel-sign-sub_binary64_14706`
220×	`neg-mul-1_binary64_14737`
208×	`distribute-rgt-out--_binary64_14695`
173×	`distribute-lft-neg-out_binary64_14700`
171×	`distribute-neg-in_binary64_14702`
169×	`distribute-lft-neg-in_binary64_14698`
160×	`associate--r+_binary64_14677`
153×	`cancel-sign-sub-inv_binary64_14707`
148×	`distribute-lft-out--_binary64_14693`
133×	`associate--r-_binary64_14680`
116×	`associate-l_binary64_14682`
112×	`distribute-rgt-neg-out_binary64_14701`
102×	`associate--l+_binary64_14678`
101×	`associate-+l-_binary64_14676`
76×	`associate-r_binary64_14681`
62×	`associate-+r-_binary64_14675`
61×	`sub0-neg_binary64_14728` `associate-+r+_binary64_14673`
49×	`associate-+l+_binary64_14674`
45×	`remove-double-neg_binary64_14729`
30×	`*-lft-identity_binary64_14730`
25×	`distribute-rgt1-in_binary64_14697`
24×	`mul0-lft_binary64_14723`
22×	`mul0-rgt_binary64_14724`
18×	`*-rgt-identity_binary64_14731`
15×	`+-lft-identity_binary64_14725`
13×	`mul-1-neg_binary64_14733` `difference-of-squares_binary64_14710`
8×	`--rgt-identity_binary64_14727`
7×	`distribute-lft1-in_binary64_14696`
6×	`+-rgt-identity_binary64_14726` `+-inverses_binary64_14720`
2×	`sqr-neg_binary64_14755` `swap-sqr_binary64_14708`
1×	`1-exp_binary64_14785`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `log-div_binary64_14828` `log-prod_binary64_14827` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `unpow3_binary64_14807` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `pow-plus_binary64_14804` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `exp-prod_binary64_14793` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-1-e_binary64_14784` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-unmult_binary64_14778` `cube-mult_binary64_14771` `cube-div_binary64_14770` `cube-prod_binary64_14769` `cube-neg_binary64_14768` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `times-frac_binary64_14747` `div-sub_binary64_14746` `/-rgt-identity_binary64_14732` `div0_binary64_14722` `-inverses_binary64_14721` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `pow-sqr_binary64_14714` `sqr-pow_binary64_14713` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `unswap-sqr_binary64_14709` `distribute-neg-frac_binary64_14705` `distribute-frac-neg_binary64_14704` `count-2_binary64_14689` `associate-/l/_binary64_14688` `associate-/r/_binary64_14687` `associate-/l_binary64_14686` `associate-/r_binary64_14685` `associate-l/_binary64_14684` `associate-*r/_binary64_14683`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	60
1	52	60
2	79	60
3	171	60
4	362	60
5	873	60
6	1384	60
7	1735	60
8	2384	60
9	2541	60
10	2713	60
11	2807	60
12	2853	60
13	3388	60
14	3532	60
15	3660	60
16	4164	60
17	4216	60
18	4216	60
19	4216	60
20	2948	60
21	5803	60
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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	81.1%	18.9%	7
6.2%	74.9%	18.9%	8
9.4%	65.5%	25.1%	9
15.6%	48.4%	36%	10
20.3%	43.1%	36.6%	11
22.6%	36%	41.4%	12
27.1%	25.1%	47.8%	13
29.5%	22.5%	48%	14

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample23.0ms (0.7%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	43×	body	128	nan
1.0ms	18×	body	128	invalid

Compiler

Compiled 21 to 20 computations (4.8% saved)

simplify359.0ms (11.4%)

Algorithm

1×	egg-herbie

Rules

3990×	`distribute-rgt-in_binary64_14691`
2232×	`associate--r-_binary64_14680`
1285×	`sub-neg_binary64_14734`
783×	`unsub-neg_binary64_14735`
741×	`*-commutative_binary64_14672`
465×	`distribute-neg-out_binary64_14703`
451×	`distribute-rgt-out--_binary64_14695`
401×	`distribute-rgt-out_binary64_14694`
399×	`+-commutative_binary64_14671`
315×	`neg-sub0_binary64_14736`
289×	`distribute-rgt-neg-in_binary64_14699`
272×	`neg-mul-1_binary64_14737`
271×	`distribute-lft-neg-in_binary64_14698`
221×	`cancel-sign-sub-inv_binary64_14707`
203×	`distribute-lft-out_binary64_14692`
172×	`distribute-neg-in_binary64_14702`
162×	`distribute-lft-neg-out_binary64_14700`
144×	`distribute-lft-out--_binary64_14693`
135×	`associate--r+_binary64_14677`
119×	`associate-+r-_binary64_14675`
116×	`associate--l+_binary64_14678`
108×	`associate-+l+_binary64_14674`
86×	`associate--l-_binary64_14679`
83×	`associate-+l-_binary64_14676`
79×	`distribute-lft-in_binary64_14690`
76×	`distribute-rgt-neg-out_binary64_14701`
75×	`associate-+r+_binary64_14673`
65×	`distribute-rgt1-in_binary64_14697`
44×	`associate-r_binary64_14681`
40×	`sub0-neg_binary64_14728`
33×	`associate-l_binary64_14682`
32×	`+-inverses_binary64_14720`
30×	`remove-double-neg_binary64_14729`
20×	`*-rgt-identity_binary64_14731`
15×	`difference-of-squares_binary64_14710`
11×	`*-lft-identity_binary64_14730`
9×	`mul0-lft_binary64_14723` `distribute-lft1-in_binary64_14696`
8×	`+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724`
7×	`swap-sqr_binary64_14708` `cancel-sign-sub_binary64_14706`
4×	`sqr-neg_binary64_14755`
3×	`mul-1-neg_binary64_14733` `--rgt-identity_binary64_14727` `+-rgt-identity_binary64_14726`
1×	`1-exp_binary64_14785` `count-2_binary64_14689`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `log-div_binary64_14828` `log-prod_binary64_14827` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `unpow3_binary64_14807` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `pow-plus_binary64_14804` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `exp-prod_binary64_14793` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-1-e_binary64_14784` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-unmult_binary64_14778` `cube-mult_binary64_14771` `cube-div_binary64_14770` `cube-prod_binary64_14769` `cube-neg_binary64_14768` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `times-frac_binary64_14747` `div-sub_binary64_14746` `/-rgt-identity_binary64_14732` `div0_binary64_14722` `-inverses_binary64_14721` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `pow-sqr_binary64_14714` `sqr-pow_binary64_14713` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `unswap-sqr_binary64_14709` `distribute-neg-frac_binary64_14705` `distribute-frac-neg_binary64_14704` `associate-/l/_binary64_14688` `associate-/r/_binary64_14687` `associate-/l_binary64_14686` `associate-/r_binary64_14685` `associate-l/_binary64_14684` `associate-*r/_binary64_14683`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	18	15
2	28	15
3	53	15
4	103	15
5	229	15
6	354	15
7	732	15
8	1115	15
9	1919	15
10	2168	15
11	2475	15
12	2705	15
13	2819	15
14	2819	15
15	3778	15
16	3618	15
17	3938	15
18	3938	15
19	3858	15
20	4018	15
21	4098	15
22	4098	15
23	4098	15
24	4863	15
25	4880	15
26	10529	15

prune2.0ms (0.1%)

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

21.4b

Counts

1 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
1.6b	(-.f64 (.f64 y y) (.f64 z z))
21.3b	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

rewrite69.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

11.2b

Rules

12×	`add-sqr-sqrt_binary64_14763`
9×	`sqrt-prod_binary64_14757`
7×	`add-cube-cbrt_binary64_14776` `-un-lft-identity_binary64_14741` `associate-r*_binary64_14681`
6×	`pow1_binary64_14802`
5×	`add-log-exp_binary64_14780` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
4×	`sqrt-div_binary64_14758`
3×	`flip3--_binary64_14745` `flip--_binary64_14716` `difference-of-squares_binary64_14710` `associate-l_binary64_14682`
2×	`unswap-sqr_binary64_14709` `associate-*r/_binary64_14683`
1×	`pow1/2_binary64_14821` `sqrt-pow1_binary64_14759` `rem-sqrt-square_binary64_14754` `diff-log_binary64_14833` `sub-neg_binary64_14734` `cancel-sign-sub-inv_binary64_14707` `pow-prod-down_binary64_14812` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `*-commutative_binary64_14672`

Counts

3 → 54

Calls

3 calls:

8.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
7.0ms	(-.f64 (.f64 y y) (.f64 z z))
5.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

Compiler

Compiled 1043 to 194 computations (81.4% saved)

series423.0ms (13.4%)

Error

0.3b

Counts

3 → 31

Calls

3 calls:

184.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 y y) (*.f64 z z))))
143.0ms	(-.f64 (.f64 y y) (.f64 z z))
74.0ms	(sqrt.f64 (-.f64 (.f64 y y) (.f64 z z)))

Compiler

Compiled 808 to 707 computations (12.5% saved)

simplify105.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

719×	`times-frac_binary64_14747`
350×	`associate-l_binary64_14682`
293×	`associate-r_binary64_14681`
281×	`neg-sub0_binary64_14736`
270×	`neg-mul-1_binary64_14737`
238×	`associate-/l*_binary64_14686`
209×	`unswap-sqr_binary64_14709`
158×	`cancel-sign-sub-inv_binary64_14707`
137×	`distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690`
134×	`distribute-rgt-neg-in_binary64_14699`
126×	`exp-prod_binary64_14793`
123×	`distribute-lft-neg-in_binary64_14698`
111×	`distribute-lft-neg-out_binary64_14700`
105×	`distribute-rgt-neg-out_binary64_14701`
100×	`*-commutative_binary64_14672`
82×	`associate-/r/_binary64_14687`
81×	`div-sub_binary64_14746`
66×	`sqr-pow_binary64_14713`
55×	`unsub-neg_binary64_14735`
53×	`sub-neg_binary64_14734`
45×	`cube-prod_binary64_14769`
39×	`exp-sum_binary64_14787` `difference-of-squares_binary64_14710`
37×	`unpow3_binary64_14807` `distribute-rgt-out_binary64_14694`
27×	`-rgt-identity_binary64_14731` `-lft-identity_binary64_14730` `distribute-neg-frac_binary64_14705`
26×	`associate-/l/_binary64_14688`
24×	`distribute-lft-out_binary64_14692`
21×	`log-prod_binary64_14827` `swap-sqr_binary64_14708` `+-commutative_binary64_14671`
19×	`pow-plus_binary64_14804` `cube-unmult_binary64_14778`
17×	`pow-sqr_binary64_14714` `associate-/r*_binary64_14685`
14×	`exp-diff_binary64_14789`
13×	`mul-1-neg_binary64_14733` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723`
9×	`associate-*r/_binary64_14683`
7×	`associate-*l/_binary64_14684` `associate-+l+_binary64_14674`
6×	`cube-mult_binary64_14771` `rem-sqrt-square_binary64_14754` `sub0-neg_binary64_14728` `associate-+l-_binary64_14676`
5×	`cube-div_binary64_14770` `sqr-neg_binary64_14755` `+-rgt-identity_binary64_14726` `associate-+r-_binary64_14675` `associate-+r+_binary64_14673`
4×	`unpow1/2_binary64_14805`
3×	`unpow2_binary64_14806` `exp-neg_binary64_14788` `/-rgt-identity_binary64_14732` `distribute-neg-in_binary64_14702`
2×	`unpow1_binary64_14799` `cube-neg_binary64_14768` `distribute-frac-neg_binary64_14704` `distribute-rgt-out--_binary64_14695` `count-2_binary64_14689`
1×	`div-exp_binary64_14792` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-square-sqrt_binary64_14753`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `log-div_binary64_14828` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `remove-double-neg_binary64_14729` `--rgt-identity_binary64_14727` `+-lft-identity_binary64_14725` `div0_binary64_14722` `*-inverses_binary64_14721` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `cancel-sign-sub_binary64_14706` `distribute-neg-out_binary64_14703` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `distribute-lft-out--_binary64_14693` `associate--r-_binary64_14680` `associate--l-_binary64_14679` `associate--l+_binary64_14678` `associate--r+_binary64_14677`

Counts

85 → 56

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	104	1276
1	236	1150
2	662	1150
3	2041	1150
4	4242	1150
5	4980	1150
6	4920	1150

prune47.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	4	57

Error

0.0b

Counts

57 → 4

Compiler

Compiled 701 to 212 computations (69.8% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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_15004 erf-erfc_binary64_15003 erf-odd_binary64_15002 if-if-and-not_binary64_15001 if-if-and_binary64_15000 if-if-or-not_binary64_14999 if-if-or_binary64_14998 if-not_binary64_14997 if-same_binary64_14996 if-false_binary64_14995 if-true_binary64_14994 not-gte_binary64_14993 not-lte_binary64_14992 not-gt_binary64_14991 not-lt_binary64_14990 gte-same_binary64_14989 lte-same_binary64_14988 gt-same_binary64_14987 lt-same_binary64_14986 sinh---cosh_binary64_14933 sinh-+-cosh_binary64_14932 sinh-cosh_binary64_14931 tanh-def-c_binary64_14930 tanh-def-b_binary64_14929 tanh-def-a_binary64_14928 cosh-def_binary64_14927 sinh-def_binary64_14926 tan-neg_binary64_14873 cos-neg_binary64_14872 sin-neg_binary64_14871 tan-0_binary64_14870 cos-0_binary64_14869 sin-0_binary64_14868 hang-m-tan_binary64_14867 hang-p-tan_binary64_14866 hang-m0-tan_binary64_14865 hang-p0-tan_binary64_14864 hang-0m-tan_binary64_14863 hang-0p-tan_binary64_14862 tan-+PI/2_binary64_14861 tan-+PI_binary64_14860 tan-PI_binary64_14859 tan-PI/3_binary64_14858 tan-PI/4_binary64_14857 tan-PI/6_binary64_14856 cos-+PI/2_binary64_14855 cos-+PI_binary64_14854 cos-PI_binary64_14853 cos-PI/2_binary64_14852 cos-PI/3_binary64_14851 cos-PI/4_binary64_14850 cos-PI/6_binary64_14849 sin-+PI/2_binary64_14848 sin-+PI_binary64_14847 sin-PI_binary64_14846 sin-PI/2_binary64_14845 sin-PI/3_binary64_14844 sin-PI/4_binary64_14843 sin-PI/6_binary64_14842 sub-1-sin_binary64_14841 sub-1-cos_binary64_14840 -1-add-sin_binary64_14839 -1-add-cos_binary64_14838 1-sub-sin_binary64_14837 1-sub-cos_binary64_14836 cos-sin-sum_binary64_14835 log-E_binary64_14831 log-pow_binary64_14830 log-rec_binary64_14829 log-div_binary64_14828 log-prod_binary64_14827 pow-base-0_binary64_14825 unpow1/3_binary64_14808 unpow3_binary64_14807 unpow2_binary64_14806 unpow1/2_binary64_14805 pow-plus_binary64_14804 exp-to-pow_binary64_14803 pow-base-1_binary64_14801 unpow0_binary64_14800 unpow1_binary64_14799 unpow-1_binary64_14798 exp-lft-cube_binary64_14797 exp-lft-sqr_binary64_14796 exp-cbrt_binary64_14795 exp-sqrt_binary64_14794 exp-prod_binary64_14793 div-exp_binary64_14792 rec-exp_binary64_14791 prod-exp_binary64_14790 exp-diff_binary64_14789 exp-neg_binary64_14788 exp-sum_binary64_14787 e-exp-1_binary64_14786 1-exp_binary64_14785 exp-1-e_binary64_14784 exp-0_binary64_14783 rem-log-exp_binary64_14782 rem-exp-log_binary64_14781 cube-unmult_binary64_14778 cube-mult_binary64_14771 cube-div_binary64_14770 cube-prod_binary64_14769 cube-neg_binary64_14768 rem-3cbrt-rft_binary64_14767 rem-3cbrt-lft_binary64_14766 rem-cbrt-cube_binary64_14765 rem-cube-cbrt_binary64_14764 sqr-abs_binary64_14756 sqr-neg_binary64_14755 rem-sqrt-square_binary64_14754 rem-square-sqrt_binary64_14753 times-frac_binary64_14747 div-sub_binary64_14746 neg-mul-1_binary64_14737 neg-sub0_binary64_14736 unsub-neg_binary64_14735 sub-neg_binary64_14734 mul-1-neg_binary64_14733 /-rgt-identity_binary64_14732 *-rgt-identity_binary64_14731 *-lft-identity_binary64_14730 remove-double-neg_binary64_14729 sub0-neg_binary64_14728 --rgt-identity_binary64_14727 +-rgt-identity_binary64_14726 +-lft-identity_binary64_14725 mul0-rgt_binary64_14724 mul0-lft_binary64_14723 div0_binary64_14722 *-inverses_binary64_14721 +-inverses_binary64_14720 lft-mult-inverse_binary64_14719 rgt-mult-inverse_binary64_14718 remove-double-div_binary64_14717 pow-sqr_binary64_14714 sqr-pow_binary64_14713 difference-of-sqr--1_binary64_14712 difference-of-sqr-1_binary64_14711 difference-of-squares_binary64_14710 unswap-sqr_binary64_14709 swap-sqr_binary64_14708 cancel-sign-sub-inv_binary64_14707 cancel-sign-sub_binary64_14706 distribute-neg-frac_binary64_14705 distribute-frac-neg_binary64_14704 distribute-neg-out_binary64_14703 distribute-neg-in_binary64_14702 distribute-rgt-neg-out_binary64_14701 distribute-lft-neg-out_binary64_14700 distribute-rgt-neg-in_binary64_14699 distribute-lft-neg-in_binary64_14698 distribute-rgt1-in_binary64_14697 distribute-lft1-in_binary64_14696 distribute-rgt-out--_binary64_14695 distribute-rgt-out_binary64_14694 distribute-lft-out--_binary64_14693 distribute-lft-out_binary64_14692 distribute-rgt-in_binary64_14691 distribute-lft-in_binary64_14690 count-2_binary64_14689 associate-/l/_binary64_14688 associate-/r/_binary64_14687 associate-/l*_binary64_14686 associate-/r*_binary64_14685 associate-*l/_binary64_14684 associate-*r/_binary64_14683 associate-*l*_binary64_14682 associate-*r*_binary64_14681 associate--r-_binary64_14680 associate--l-_binary64_14679 associate--l+_binary64_14678 associate--r+_binary64_14677 associate-+l-_binary64_14676 associate-+r-_binary64_14675 associate-+l+_binary64_14674 associate-+r+_binary64_14673 *-commutative_binary64_14672 +-commutative_binary64_14671

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune3.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

0.0b

Counts

4 → 4

Compiler

Compiled 25 to 22 computations (12% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

4 → 4

Compiler

Compiled 22 to 18 computations (18.2% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (-.f64 y z))
0.0b	(sqrt.f64 (+.f64 z y))
0.0b	(.f64 x (.f64 (sqrt.f64 (+.f64 z y)) (sqrt.f64 (-.f64 y z))))
0.2b	(*.f64 (sqrt.f64 (+.f64 z y)) (sqrt.f64 (-.f64 y z)))

rewrite131.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`sqrt-div_binary64_14758`
25×	`add-sqr-sqrt_binary64_14763`
22×	`sqrt-prod_binary64_14757`
19×	`*-un-lft-identity_binary64_14741`
15×	`pow1_binary64_14802`
12×	`associate-*r/_binary64_14683`
11×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `add-cube-cbrt_binary64_14776`
10×	`associate-l_binary64_14682`
9×	`associate-r_binary64_14681`
8×	`frac-times_binary64_14751`
7×	`flip3--_binary64_14745` `flip3-+_binary64_14744` `flip--_binary64_14716` `flip-+_binary64_14715`
6×	`pow-prod-down_binary64_14812`
4×	`pow1/2_binary64_14821` `sqrt-pow1_binary64_14759` `prod-exp_binary64_14790` `add-log-exp_binary64_14780` `cbrt-unprod_binary64_14774` `unswap-sqr_binary64_14709` `associate-*l/_binary64_14684`
2×	`distribute-lft-out_binary64_14692` `difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `*-commutative_binary64_14672` `rem-sqrt-square_binary64_14754`
1×	`sqrt-unprod_binary64_14761`

Counts

4 → 100

Calls

4 calls:

13.0ms	(.f64 x (.f64 (sqrt.f64 (+.f64 z y)) (sqrt.f64 (-.f64 y z))))
13.0ms	(*.f64 (sqrt.f64 (+.f64 z y)) (sqrt.f64 (-.f64 y z)))
4.0ms	(sqrt.f64 (-.f64 y z))
3.0ms	(sqrt.f64 (+.f64 z y))

Compiler

Compiled 2009 to 438 computations (78.2% saved)

series416.0ms (13.2%)

Error

0.0b

Counts

4 → 35

Calls

4 calls:

198.0ms	(.f64 x (.f64 (sqrt.f64 (+.f64 z y)) (sqrt.f64 (-.f64 y z))))
89.0ms	(*.f64 (sqrt.f64 (+.f64 z y)) (sqrt.f64 (-.f64 y z)))
57.0ms	(sqrt.f64 (-.f64 y z))
52.0ms	(sqrt.f64 (+.f64 z y))

Compiler

Compiled 1242 to 936 computations (24.6% saved)

simplify186.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

355×	`cancel-sign-sub-inv_binary64_14707`
300×	`*-commutative_binary64_14672`
262×	`times-frac_binary64_14747`
248×	`unsub-neg_binary64_14735`
235×	`distribute-rgt-in_binary64_14691`
228×	`distribute-lft-in_binary64_14690`
223×	`neg-mul-1_binary64_14737`
215×	`neg-sub0_binary64_14736`
209×	`sub-neg_binary64_14734`
156×	`div-sub_binary64_14746`
150×	`unswap-sqr_binary64_14709`
141×	`associate-r_binary64_14681`
133×	`associate-l_binary64_14682`
131×	`+-commutative_binary64_14671`
100×	`sqr-pow_binary64_14713` `distribute-rgt-neg-in_binary64_14699`
91×	`distribute-lft-neg-in_binary64_14698`
85×	`associate-/l*_binary64_14686`
84×	`associate-+l+_binary64_14674`
75×	`distribute-lft-neg-out_binary64_14700` `associate-+r+_binary64_14673`
71×	`distribute-rgt-neg-out_binary64_14701`
54×	`associate-/r/_binary64_14687`
50×	`associate-+l-_binary64_14676`
41×	`associate--r+_binary64_14677`
39×	`sub0-neg_binary64_14728`
36×	`associate-/r*_binary64_14685`
35×	`associate-+r-_binary64_14675`
31×	`cube-prod_binary64_14769` `-rgt-identity_binary64_14731` `-lft-identity_binary64_14730`
27×	`exp-prod_binary64_14793` `pow-sqr_binary64_14714`
25×	`rem-sqrt-square_binary64_14754`
23×	`log-prod_binary64_14827`
22×	`+-rgt-identity_binary64_14726`
21×	`difference-of-squares_binary64_14710`
19×	`distribute-neg-frac_binary64_14705` `associate-*l/_binary64_14684`
17×	`associate-/l/_binary64_14688` `associate-*r/_binary64_14683`
16×	`swap-sqr_binary64_14708`
14×	`unpow3_binary64_14807`
12×	`cube-unmult_binary64_14778` `remove-double-neg_binary64_14729`
10×	`+-lft-identity_binary64_14725` `distribute-rgt-out_binary64_14694`
8×	`mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `associate--l+_binary64_14678`
7×	`unpow1/2_binary64_14805` `sqr-neg_binary64_14755`
6×	`associate--r-_binary64_14680`
5×	`cube-mult_binary64_14771` `distribute-neg-in_binary64_14702`
4×	`cube-neg_binary64_14768` `mul-1-neg_binary64_14733` `/-rgt-identity_binary64_14732` `distribute-rgt-out--_binary64_14695`
3×	`--rgt-identity_binary64_14727` `div0_binary64_14722`
2×	`unpow2_binary64_14806` `unpow1_binary64_14799` `rem-square-sqrt_binary64_14753`
1×	`pow-plus_binary64_14804` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `cube-div_binary64_14770` `+-inverses_binary64_14720` `count-2_binary64_14689` `associate--l-_binary64_14679`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `log-div_binary64_14828` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `*-inverses_binary64_14721` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `cancel-sign-sub_binary64_14706` `distribute-frac-neg_binary64_14704` `distribute-neg-out_binary64_14703` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `distribute-lft-out--_binary64_14693` `distribute-lft-out_binary64_14692`

Counts

135 → 97

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	166	2113
1	369	2044
2	944	2044
3	2008	2044
4	3327	2044
5	4745	2044
6	4987	2044
7	5000	2044
8	4930	2044

prune78.0ms (2.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	96	5	101

Error

0.0b

Counts

101 → 5

Compiler

Compiled 1735 to 437 computations (74.8% saved)

regimes558.0ms (17.7%)

Compiler: Compiled 2901 to 2056 computations (29.1% saved)

bsearch9.0ms (0.3%)

Compiler: Compiled 1 to 3 computations (-200% saved)

Details

analyze706.0ms (22.4%)

sample23.0ms (0.7%)

simplify359.0ms (11.4%)

prune2.0ms (0.1%)

localize7.0ms (0.2%)

rewrite69.0ms (2.2%)

series423.0ms (13.4%)

simplify105.0ms (3.3%)

prune47.0ms (1.5%)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.2%)

prune3.0ms (0.1%)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify10.0ms (0.3%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

rewrite131.0ms (4.2%)

series416.0ms (13.2%)

simplify186.0ms (5.9%)

prune78.0ms (2.5%)

regimes558.0ms (17.7%)

bsearch9.0ms (0.3%)

end0.0ms (0%)

Profiling