Details

analyze655.0ms (4.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

824×	`sub-neg_binary64_14734`
462×	`cancel-sign-sub-inv_binary64_14707`
447×	`neg-mul-1_binary64_14737`
422×	`+-commutative_binary64_14671`
417×	`distribute-neg-in_binary64_14702`
377×	`neg-sub0_binary64_14736`
351×	`associate--l+_binary64_14678`
299×	`distribute-rgt-neg-in_binary64_14699`
277×	`associate--r-_binary64_14680`
247×	`associate-+l+_binary64_14674`
233×	`distribute-lft-neg-in_binary64_14698`
230×	`associate-+r+_binary64_14673`
228×	`associate--r+_binary64_14677`
203×	`associate-+l-_binary64_14676`
166×	`unsub-neg_binary64_14735`
164×	`distribute-rgt-in_binary64_14691`
151×	`associate-+r-_binary64_14675`
124×	`distribute-neg-out_binary64_14703`
95×	`sub0-neg_binary64_14728`
92×	`div-sub_binary64_14746`
87×	`associate--l-_binary64_14679`
74×	`remove-double-neg_binary64_14729` `distribute-lft-in_binary64_14690` `*-commutative_binary64_14672`
68×	`distribute-lft-neg-out_binary64_14700`
62×	`cancel-sign-sub_binary64_14706`
35×	`+-rgt-identity_binary64_14726`
25×	`distribute-rgt-neg-out_binary64_14701`
22×	`associate-l_binary64_14682`
20×	`distribute-rgt-out_binary64_14694`
19×	`--rgt-identity_binary64_14727`
17×	`associate-r_binary64_14681`
16×	`distribute-neg-frac_binary64_14705`
8×	`-lft-identity_binary64_14730` `associate-l/_binary64_14684`
4×	`+-lft-identity_binary64_14725` `distribute-lft-out_binary64_14692` `associate-/l*_binary64_14686`
3×	`div0_binary64_14722` `distribute-rgt1-in_binary64_14697`
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` `sqr-neg_binary64_14755` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `times-frac_binary64_14747` `mul-1-neg_binary64_14733` `/-rgt-identity_binary64_14732` `-rgt-identity_binary64_14731` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `-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` `distribute-frac-neg_binary64_14704` `distribute-lft1-in_binary64_14696` `distribute-rgt-out--_binary64_14695` `distribute-lft-out--_binary64_14693` `count-2_binary64_14689` `associate-/l/_binary64_14688` `associate-/r/_binary64_14687` `associate-/r_binary64_14685` `associate-r/_binary64_14683`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	144
1	107	144
2	275	144
3	661	144
4	1543	144
5	2603	144
6	3873	144
7	4716	144
8	4975	144
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%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

Compiler

Compiled 25 to 21 computations (16% saved)

sample38.0ms (0.3%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
5.0ms	37×	body	128	invalid
1.0ms	22×	body	128	nan

Compiler

Compiled 49 to 44 computations (10.2% saved)

simplify109.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

699×	`sub-neg_binary64_14734`
691×	`associate-/l*_binary64_14686`
439×	`div-sub_binary64_14746`
424×	`unsub-neg_binary64_14735`
403×	`neg-mul-1_binary64_14737`
398×	`distribute-neg-in_binary64_14702`
354×	`neg-sub0_binary64_14736`
326×	`associate-/r*_binary64_14685`
293×	`cancel-sign-sub-inv_binary64_14707`
235×	`distribute-rgt-in_binary64_14691`
222×	`+-commutative_binary64_14671`
218×	`distribute-rgt-neg-in_binary64_14699`
217×	`distribute-frac-neg_binary64_14704`
210×	`associate--l+_binary64_14678`
195×	`*-commutative_binary64_14672`
185×	`distribute-neg-frac_binary64_14705`
184×	`associate--r+_binary64_14677`
183×	`distribute-lft-neg-out_binary64_14700`
171×	`distribute-lft-neg-in_binary64_14698`
170×	`associate-/r/_binary64_14687` `associate-+l+_binary64_14674`
156×	`associate-l_binary64_14682`
142×	`associate-+r+_binary64_14673`
136×	`associate-+l-_binary64_14676`
122×	`associate--l-_binary64_14679`
97×	`distribute-rgt-neg-out_binary64_14701`
84×	`distribute-lft-in_binary64_14690`
78×	`*-rgt-identity_binary64_14731`
77×	`associate-*l/_binary64_14684`
69×	`div0_binary64_14722`
65×	`associate-r_binary64_14681`
64×	`associate--r-_binary64_14680`
57×	`remove-double-neg_binary64_14729`
54×	`/-rgt-identity_binary64_14732`
45×	`cancel-sign-sub_binary64_14706`
41×	`associate-+r-_binary64_14675`
37×	`sub0-neg_binary64_14728`
36×	`*-lft-identity_binary64_14730`
35×	`distribute-rgt-out_binary64_14694`
33×	`distribute-neg-out_binary64_14703`
27×	`distribute-lft-out_binary64_14692`
26×	`associate-*r/_binary64_14683`
22×	`distribute-rgt-out--_binary64_14695`
17×	`log-div_binary64_14828`
16×	`log-prod_binary64_14827`
15×	`distribute-lft-out--_binary64_14693`
14×	`+-rgt-identity_binary64_14726`
8×	`+-lft-identity_binary64_14725`
7×	`mul0-rgt_binary64_14724` `mul0-lft_binary64_14723`
4×	`log-rec_binary64_14829`
3×	`--rgt-identity_binary64_14727` `associate-/l/_binary64_14688`
2×	`distribute-rgt1-in_binary64_14697`
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` `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` `sqr-neg_binary64_14755` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `times-frac_binary64_14747` `mul-1-neg_binary64_14733` `*-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` `distribute-lft1-in_binary64_14696` `count-2_binary64_14689`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	36
1	40	36
2	91	36
3	200	36
4	445	36
5	810	36
6	1515	36
7	2110	36
8	2561	36
9	3874	36
10	4558	36
11	4855	36
12	4823	36

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.3b

Counts

2 → 1

Compiler

Compiled 48 to 40 computations (16.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z)
0.1b	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
0.2b	(*.f64 (-.f64 x 1/2) (log.f64 x))
5.7b	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)

rewrite257.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

6.0b

Rules

27×	`add-sqr-sqrt_binary64_14763`
23×	`*-un-lft-identity_binary64_14741`
21×	`add-cube-cbrt_binary64_14776`
12×	`log-prod_binary64_14827`
10×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
9×	`pow1_binary64_14802` `times-frac_binary64_14747`
8×	`associate-l_binary64_14682`
7×	`associate-r_binary64_14681`
6×	`add-log-exp_binary64_14780` `distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690` `associate--l+_binary64_14678`
4×	`associate-*l/_binary64_14684`
3×	`associate-/l_binary64_14686` `associate-/r_binary64_14685` `flip3--_binary64_14745` `flip--_binary64_14716` `cancel-sign-sub-inv_binary64_14707`
2×	`associate-/l/_binary64_14688` `pow-prod-down_binary64_14812` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `unswap-sqr_binary64_14709` `*-commutative_binary64_14672`
1×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `frac-2neg_binary64_14752` `clear-num_binary64_14740` `div-inv_binary64_14738` `flip3-+_binary64_14744` `flip-+_binary64_14715` `difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `log-pow_binary64_14830` `diff-log_binary64_14833` `sub-neg_binary64_14734`

Counts

4 → 98

Calls

4 calls:

13.0ms	(.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z)
13.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
8.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
8.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

Compiler

Compiled 3345 to 2251 computations (32.7% saved)

series1.1s (7.9%)

Error

3.0b

Counts

4 → 40

Calls

4 calls:

546.0ms	(/.f64 (+.f64 (.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z) 6004799503160637/72057594037927936) x)
201.0ms	(.f64 (-.f64 (.f64 (+.f64 y 7320129949063637/9223372036854775808) z) 3202559735019045/1152921504606846976) z)
167.0ms	(-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)
110.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))

Compiler

Compiled 2878 to 2224 computations (22.7% saved)

simplify126.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

637×	`distribute-rgt-in_binary64_14691`
615×	`distribute-lft-in_binary64_14690`
190×	`times-frac_binary64_14747`
138×	`associate-/l*_binary64_14686`
127×	`exp-prod_binary64_14793`
125×	`associate-l_binary64_14682`
102×	`sub-neg_binary64_14734`
97×	`*-commutative_binary64_14672`
94×	`cancel-sign-sub-inv_binary64_14707`
92×	`associate-r_binary64_14681`
59×	`+-commutative_binary64_14671`
45×	`log-prod_binary64_14827` `distribute-rgt-neg-in_binary64_14699`
42×	`distribute-neg-in_binary64_14702` `distribute-lft-neg-out_binary64_14700`
40×	`neg-sub0_binary64_14736` `associate-/l/_binary64_14688`
37×	`neg-mul-1_binary64_14737` `unswap-sqr_binary64_14709`
36×	`sqr-pow_binary64_14713` `distribute-rgt-neg-out_binary64_14701`
32×	`distribute-lft-neg-in_binary64_14698`
30×	`exp-sum_binary64_14787`
29×	`associate-/r/_binary64_14687`
25×	`distribute-rgt-out_binary64_14694`
23×	`cube-prod_binary64_14769`
22×	`*-lft-identity_binary64_14730`
21×	`unsub-neg_binary64_14735`
20×	`*-rgt-identity_binary64_14731` `distribute-lft-out_binary64_14692`
19×	`associate--l+_binary64_14678`
16×	`swap-sqr_binary64_14708`
15×	`associate-l/_binary64_14684` `associate-r/_binary64_14683` `associate-+l+_binary64_14674`
13×	`unpow3_binary64_14807` `exp-to-pow_binary64_14803` `exp-diff_binary64_14789`
12×	`div-sub_binary64_14746` `distribute-neg-out_binary64_14703`
11×	`distribute-rgt-out--_binary64_14695` `associate--r+_binary64_14677`
9×	`associate-/r*_binary64_14685`
8×	`associate-+r-_binary64_14675`
7×	`associate-+r+_binary64_14673`
6×	`unpow1/2_binary64_14805` `cube-unmult_binary64_14778` `mul-1-neg_binary64_14733` `distribute-neg-frac_binary64_14705` `associate-+l-_binary64_14676`
4×	`log-div_binary64_14828` `cube-mult_binary64_14771` `/-rgt-identity_binary64_14732` `distribute-lft-out--_binary64_14693`
3×	`log-pow_binary64_14830` `+-rgt-identity_binary64_14726` `difference-of-squares_binary64_14710` `distribute-rgt1-in_binary64_14697`
2×	`rem-sqrt-square_binary64_14754` `remove-double-neg_binary64_14729` `pow-sqr_binary64_14714` `cancel-sign-sub_binary64_14706` `associate--l-_binary64_14679`
1×	`log-rec_binary64_14829` `unpow2_binary64_14806` `pow-plus_binary64_14804` `unpow1_binary64_14799` `div-exp_binary64_14792` `exp-neg_binary64_14788` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-exp-log_binary64_14781` `cube-neg_binary64_14768` `rem-3cbrt-lft_binary64_14766` `sqr-neg_binary64_14755` `rem-square-sqrt_binary64_14753` `+-inverses_binary64_14720` `count-2_binary64_14689` `associate--r-_binary64_14680`
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` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `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` `cube-div_binary64_14770` `rem-3cbrt-rft_binary64_14767` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `div0_binary64_14722` `*-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` `distribute-frac-neg_binary64_14704` `distribute-lft1-in_binary64_14696`

Counts

138 → 122

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	250	2773
1	568	2553
2	1535	2444
3	4923	2442
4	4987	2442

prune265.0ms (1.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	110	12	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	12	123

Error

2.1b

Counts

123 → 12

Compiler

Compiled 4127 to 2764 computations (33% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (/.f64 z x) -3202559735019045/1152921504606846976)
0.2b	(*.f64 (-.f64 x 1/2) (log.f64 x))
3.2b	(.f64 (/.f64 (.f64 z z) x) (+.f64 7320129949063637/9223372036854775808 y))
11.6b	(/.f64 (*.f64 z z) x)

rewrite269.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-sqr-sqrt_binary64_14763`
25×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `-un-lft-identity_binary64_14741` `associate-l*_binary64_14682`
21×	`add-cube-cbrt_binary64_14776`
17×	`times-frac_binary64_14747`
11×	`pow1_binary64_14802` `associate-r_binary64_14681`
8×	`prod-exp_binary64_14790` `cbrt-unprod_binary64_14774`
6×	`log-prod_binary64_14827`
5×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `unswap-sqr_binary64_14709`
4×	`add-log-exp_binary64_14780` `distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690` `associate-*l/_binary64_14684`
3×	`div-inv_binary64_14738` `associate-/r_binary64_14685` `pow-prod-down_binary64_14812` `-commutative_binary64_14672`
2×	`flip3-+_binary64_14744` `frac-times_binary64_14751` `flip-+_binary64_14715` `associate-*r/_binary64_14683`
1×	`frac-2neg_binary64_14752` `clear-num_binary64_14740` `associate-/l*_binary64_14686` `distribute-lft-out_binary64_14692` `flip3--_binary64_14745` `flip--_binary64_14716` `difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `log-pow_binary64_14830`

Counts

4 → 117

Calls

4 calls:

11.0ms	(.f64 (/.f64 (.f64 z z) x) (+.f64 7320129949063637/9223372036854775808 y))
8.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
7.0ms	(*.f64 (/.f64 z x) -3202559735019045/1152921504606846976)
5.0ms	(/.f64 (*.f64 z z) x)

Compiler

Compiled 4325 to 2336 computations (46% saved)

series621.0ms (4.5%)

Error

2.1b

Counts

4 → 29

Calls

4 calls:

260.0ms	(.f64 (/.f64 (.f64 z z) x) (+.f64 7320129949063637/9223372036854775808 y))
118.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
100.0ms	(/.f64 (*.f64 z z) x)
97.0ms	(*.f64 (/.f64 z x) -3202559735019045/1152921504606846976)

Compiler

Compiled 2579 to 1868 computations (27.6% saved)

simplify108.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

486×	`times-frac_binary64_14747`
484×	`distribute-rgt-in_binary64_14691`
478×	`distribute-lft-in_binary64_14690`
208×	`associate-/l/_binary64_14688`
176×	`associate-l_binary64_14682`
151×	`*-commutative_binary64_14672`
150×	`associate-/r/_binary64_14687`
142×	`associate-*l/_binary64_14684`
125×	`associate-r_binary64_14681`
98×	`associate-*r/_binary64_14683`
97×	`exp-prod_binary64_14793`
88×	`associate-/l*_binary64_14686`
84×	`log-prod_binary64_14827`
47×	`log-div_binary64_14828`
43×	`sub-neg_binary64_14734`
37×	`unswap-sqr_binary64_14709`
35×	`sqr-pow_binary64_14713`
30×	`*-rgt-identity_binary64_14731`
28×	`distribute-lft-neg-out_binary64_14700`
26×	`distribute-rgt-neg-out_binary64_14701`
25×	`*-lft-identity_binary64_14730`
24×	`+-commutative_binary64_14671`
23×	`associate-/r*_binary64_14685`
20×	`cube-div_binary64_14770` `swap-sqr_binary64_14708`
19×	`cube-prod_binary64_14769` `neg-sub0_binary64_14736`
18×	`neg-mul-1_binary64_14737`
17×	`unpow3_binary64_14807` `exp-sum_binary64_14787`
13×	`exp-to-pow_binary64_14803` `cancel-sign-sub-inv_binary64_14707` `distribute-rgt-neg-in_binary64_14699`
9×	`cube-unmult_binary64_14778`
8×	`distribute-lft-neg-in_binary64_14698`
7×	`unpow1/2_binary64_14805`
5×	`associate-+r-_binary64_14675`
4×	`exp-diff_binary64_14789` `pow-sqr_binary64_14714` `distribute-neg-out_binary64_14703` `distribute-neg-in_binary64_14702` `distribute-rgt-out_binary64_14694` `associate-+l-_binary64_14676` `associate-+l+_binary64_14674`
3×	`pow-plus_binary64_14804` `/-rgt-identity_binary64_14732` `distribute-neg-frac_binary64_14705` `distribute-rgt-out--_binary64_14695` `associate-+r+_binary64_14673`
2×	`log-pow_binary64_14830` `log-rec_binary64_14829` `cube-mult_binary64_14771` `div-sub_binary64_14746` `unsub-neg_binary64_14735` `remove-double-neg_binary64_14729` `distribute-lft-out_binary64_14692` `count-2_binary64_14689` `associate--l+_binary64_14678`
1×	`unpow2_binary64_14806` `unpow1_binary64_14799` `exp-neg_binary64_14788` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-exp-log_binary64_14781` `cube-neg_binary64_14768` `sqr-neg_binary64_14755` `rem-sqrt-square_binary64_14754` `mul-1-neg_binary64_14733` `+-inverses_binary64_14720` `cancel-sign-sub_binary64_14706` `distribute-rgt1-in_binary64_14697` `associate--r-_binary64_14680`
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` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `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` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `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-square-sqrt_binary64_14753` `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` `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` `difference-of-squares_binary64_14710` `distribute-frac-neg_binary64_14704` `distribute-lft1-in_binary64_14696` `distribute-lft-out--_binary64_14693` `associate--l-_binary64_14679` `associate--r+_binary64_14677`

Counts

146 → 113

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	238	1974
1	582	1736
2	1796	1727
3	4869	1727
4	4996	1727

prune227.0ms (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	113	12	125

Error

0.0b

Counts

125 → 12

Compiler

Compiled 4330 to 2460 computations (43.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 z (/.f64 z x))
0.2b	(*.f64 (/.f64 z x) -3202559735019045/1152921504606846976)
0.2b	(*.f64 (-.f64 x 1/2) (log.f64 x))
3.2b	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))

rewrite264.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`add-sqr-sqrt_binary64_14763`
29×	`*-un-lft-identity_binary64_14741`
25×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `add-cube-cbrt_binary64_14776`
24×	`associate-r_binary64_14681`
22×	`associate-l_binary64_14682`
20×	`times-frac_binary64_14747`
16×	`pow1_binary64_14802`
10×	`prod-exp_binary64_14790` `cbrt-unprod_binary64_14774`
6×	`pow-prod-down_binary64_14812` `associate-*r/_binary64_14683` `log-prod_binary64_14827`
5×	`unswap-sqr_binary64_14709`
4×	`add-log-exp_binary64_14780` `distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690` `associate-l/_binary64_14684` `-commutative_binary64_14672`
3×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775`
2×	`flip3-+_binary64_14744` `frac-times_binary64_14751` `flip-+_binary64_14715` `div-inv_binary64_14738`
1×	`distribute-lft-out_binary64_14692` `flip3--_binary64_14745` `flip--_binary64_14716` `difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `log-pow_binary64_14830`

Counts

4 → 121

Calls

4 calls:

11.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
8.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
8.0ms	(*.f64 z (/.f64 z x))
7.0ms	(*.f64 (/.f64 z x) -3202559735019045/1152921504606846976)

Compiler

Compiled 4487 to 2403 computations (46.4% saved)

series612.0ms (4.4%)

Error

0.0b

Counts

4 → 29

Calls

4 calls:

256.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
122.0ms	(*.f64 (-.f64 x 1/2) (log.f64 x))
96.0ms	(*.f64 (/.f64 z x) -3202559735019045/1152921504606846976)
95.0ms	(*.f64 z (/.f64 z x))

Compiler

Compiled 2579 to 1847 computations (28.4% saved)

simplify110.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

494×	`distribute-rgt-in_binary64_14691`
489×	`distribute-lft-in_binary64_14690`
421×	`associate-/l*_binary64_14686`
310×	`associate-l_binary64_14682`
293×	`times-frac_binary64_14747`
215×	`associate-r_binary64_14681`
174×	`*-commutative_binary64_14672`
107×	`associate-/l/_binary64_14688`
78×	`associate-/r/_binary64_14687`
74×	`associate-*l/_binary64_14684`
69×	`associate-*r/_binary64_14683`
60×	`exp-prod_binary64_14793`
54×	`log-div_binary64_14828`
42×	`log-prod_binary64_14827`
39×	`sqr-pow_binary64_14713`
38×	`sub-neg_binary64_14734` `-rgt-identity_binary64_14731` `-lft-identity_binary64_14730`
34×	`unswap-sqr_binary64_14709`
31×	`swap-sqr_binary64_14708`
29×	`distribute-lft-neg-out_binary64_14700`
28×	`distribute-rgt-neg-out_binary64_14701`
27×	`+-commutative_binary64_14671`
18×	`cube-prod_binary64_14769` `associate-/r*_binary64_14685`
15×	`neg-sub0_binary64_14736`
14×	`neg-mul-1_binary64_14737`
13×	`exp-sum_binary64_14787`
12×	`cube-div_binary64_14770`
11×	`log-rec_binary64_14829`
10×	`cube-unmult_binary64_14778` `/-rgt-identity_binary64_14732` `cancel-sign-sub-inv_binary64_14707`
8×	`distribute-rgt-neg-in_binary64_14699`
7×	`associate-+l+_binary64_14674`
6×	`exp-to-pow_binary64_14803`
5×	`pow-sqr_binary64_14714` `distribute-rgt-out_binary64_14694` `associate-+l-_binary64_14676`
4×	`exp-diff_binary64_14789` `distribute-neg-out_binary64_14703` `distribute-lft-neg-in_binary64_14698` `associate-+r-_binary64_14675`
3×	`log-pow_binary64_14830` `distribute-neg-in_binary64_14702` `distribute-rgt-out--_binary64_14695` `associate-+r+_binary64_14673`
2×	`unpow3_binary64_14807` `pow-plus_binary64_14804` `cube-mult_binary64_14771` `unsub-neg_binary64_14735` `remove-double-neg_binary64_14729` `distribute-lft-out_binary64_14692` `count-2_binary64_14689`
1×	`unpow2_binary64_14806` `unpow1/2_binary64_14805` `unpow1_binary64_14799` `exp-neg_binary64_14788` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-exp-log_binary64_14781` `cube-neg_binary64_14768` `sqr-neg_binary64_14755` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `mul-1-neg_binary64_14733` `+-inverses_binary64_14720` `cancel-sign-sub_binary64_14706` `distribute-rgt1-in_binary64_14697` `associate--r-_binary64_14680`
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` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `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` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `div-sub_binary64_14746` `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` `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` `difference-of-squares_binary64_14710` `distribute-neg-frac_binary64_14705` `distribute-frac-neg_binary64_14704` `distribute-lft1-in_binary64_14696` `distribute-lft-out--_binary64_14693` `associate--l-_binary64_14679` `associate--l+_binary64_14678` `associate--r+_binary64_14677`

Counts

150 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	242	1984
1	576	1728
2	1902	1719
3	4981	1719
4	4982	1719

prune242.0ms (1.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	122	11	133

Error

0.0b

Counts

133 → 11

Compiler

Compiled 4584 to 2583 computations (43.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 2 (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) (*.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
3.2b	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))

rewrite312.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`log-prod_binary64_14827`
31×	`distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690`
24×	`cbrt-prod_binary64_14772` `associate-+l+_binary64_14674`
21×	`*-un-lft-identity_binary64_14741`
19×	`add-cube-cbrt_binary64_14776` `add-sqr-sqrt_binary64_14763`
13×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
12×	`associate-+r+_binary64_14673`
9×	`pow1_binary64_14802` `associate-r/_binary64_14683` `associate-l/_binary64_14684`
7×	`flip3-+_binary64_14744` `flip-+_binary64_14715`
6×	`add-log-exp_binary64_14780`
5×	`prod-exp_binary64_14790` `cbrt-unprod_binary64_14774`
4×	`associate-r_binary64_14681` `frac-add_binary64_14749`
3×	`pow-prod-down_binary64_14812`
2×	`frac-times_binary64_14751` `pow1/3_binary64_14823`
1×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `associate-l_binary64_14682` `distribute-lft-out_binary64_14692` `*-commutative_binary64_14672` `sum-log_binary64_14832` `distribute-lft1-in_binary64_14696` `+-commutative_binary64_14671`

Counts

4 → 102

Calls

4 calls:

19.0ms	(+.f64 (.f64 2 (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) (*.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x))))
10.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 5273 to 2900 computations (45% saved)

series877.0ms (6.3%)

Error

0.0b

Counts

4 → 23

Calls

4 calls:

345.0ms	(+.f64 (.f64 2 (.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x)))) (*.f64 (+.f64 x -1/2) (log.f64 (cbrt.f64 x))))
263.0ms	(.f64 (.f64 z (/.f64 z x)) (+.f64 7320129949063637/9223372036854775808 y))
111.0ms	(cbrt.f64 x)
111.0ms	(cbrt.f64 x)

Compiler

Compiled 2702 to 1929 computations (28.6% saved)

simplify118.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

349×	`associate-/l*_binary64_14686`
336×	`associate-l_binary64_14682`
315×	`associate-r_binary64_14681`
277×	`distribute-rgt-out_binary64_14694`
209×	`*-commutative_binary64_14672`
193×	`distribute-rgt-in_binary64_14691`
182×	`distribute-lft-in_binary64_14690`
170×	`cancel-sign-sub-inv_binary64_14707`
116×	`distribute-lft-out_binary64_14692`
105×	`distribute-rgt-neg-in_binary64_14699`
103×	`log-div_binary64_14828`
96×	`exp-prod_binary64_14793`
91×	`distribute-lft-neg-in_binary64_14698`
72×	`log-prod_binary64_14827`
67×	`associate-/l/_binary64_14688`
66×	`+-commutative_binary64_14671`
63×	`distribute-rgt-out--_binary64_14695`
61×	`unswap-sqr_binary64_14709` `swap-sqr_binary64_14708`
59×	`sqr-pow_binary64_14713`
56×	`cube-prod_binary64_14769`
53×	`sub-neg_binary64_14734`
44×	`associate-/r/_binary64_14687`
42×	`times-frac_binary64_14747`
37×	`distribute-neg-in_binary64_14702`
36×	`associate-*l/_binary64_14684`
32×	`associate-*r/_binary64_14683` `associate-+l+_binary64_14674`
28×	`distribute-lft-neg-out_binary64_14700` `distribute-lft-out--_binary64_14693`
27×	`associate-/r*_binary64_14685`
26×	`neg-sub0_binary64_14736` `associate-+r+_binary64_14673`
25×	`neg-mul-1_binary64_14737`
24×	`exp-sum_binary64_14787`
20×	`log-pow_binary64_14830`
19×	`distribute-rgt-neg-out_binary64_14701`
15×	`cube-div_binary64_14770`
12×	`-rgt-identity_binary64_14731` `-lft-identity_binary64_14730`
10×	`unpow3_binary64_14807`
9×	`cube-mult_binary64_14771`
8×	`exp-to-pow_binary64_14803` `cube-unmult_binary64_14778` `pow-sqr_binary64_14714` `distribute-rgt1-in_binary64_14697`
7×	`count-2_binary64_14689`
6×	`pow-plus_binary64_14804` `associate-+l-_binary64_14676`
5×	`distribute-lft1-in_binary64_14696` `associate-+r-_binary64_14675`
4×	`log-rec_binary64_14829` `unsub-neg_binary64_14735`
3×	`exp-lft-sqr_binary64_14796` `rem-sqrt-square_binary64_14754`
2×	`unpow1/3_binary64_14808` `prod-exp_binary64_14790` `mul-1-neg_binary64_14733` `associate--l+_binary64_14678` `associate--r+_binary64_14677`
1×	`unpow2_binary64_14806` `unpow1/2_binary64_14805` `unpow1_binary64_14799` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-3cbrt-lft_binary64_14766` `/-rgt-identity_binary64_14732` `difference-of-squares_binary64_14710`
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` `pow-base-0_binary64_14825` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `div-exp_binary64_14792` `rec-exp_binary64_14791` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-neg_binary64_14768` `rem-3cbrt-rft_binary64_14767` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `rem-square-sqrt_binary64_14753` `div-sub_binary64_14746` `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` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `cancel-sign-sub_binary64_14706` `distribute-neg-frac_binary64_14705` `distribute-frac-neg_binary64_14704` `distribute-neg-out_binary64_14703` `associate--r-_binary64_14680` `associate--l-_binary64_14679`

Counts

125 → 101

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	247	2543
1	664	2057
2	2637	1854
3	4967	1854
4	4984	1854

prune237.0ms (1.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	102	10	112

Error

Counts

112 → 10

Compiler

Compiled 4472 to 2487 computations (44.4% saved)

regimes2.8s (20.3%)

Accuracy

Total 0.4b remaining (98.9%)

Threshold costs 0.4b (98.9%)

Compiler

Compiled 38918 to 29943 computations (23.1% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64_14671`
9×	`*-commutative_binary64_14672`
2×	`sub-neg_binary64_14734`
1×	`neg-mul-1_binary64_14737` `neg-sub0_binary64_14736`
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_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` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `unpow1_binary64_14799` `e-exp-1_binary64_14786` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `exp-0_binary64_14783` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `unsub-neg_binary64_14735` `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` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	88
1	54	88
2	59	88
3	61	88
4	62	88
5	62	88

end0.0ms (0%)

sample4.4s (31.8%)

Algorithm

1×

intervals

Results

573.0ms	8000×	body	128	valid
90.0ms	1220×	body	128	invalid
46.0ms	747×	body	128	nan

Compiler

Compiled 4824 to 3695 computations (23.4% saved)

Details

analyze655.0ms (4.7%)

sample38.0ms (0.3%)

simplify109.0ms (0.8%)

prune4.0ms (0%)

localize17.0ms (0.1%)

rewrite257.0ms (1.9%)

series1.1s (7.9%)

simplify126.0ms (0.9%)

prune265.0ms (1.9%)

localize23.0ms (0.2%)

rewrite269.0ms (1.9%)

series621.0ms (4.5%)

simplify108.0ms (0.8%)

prune227.0ms (1.6%)

localize20.0ms (0.1%)

rewrite264.0ms (1.9%)

series612.0ms (4.4%)

simplify110.0ms (0.8%)

prune242.0ms (1.7%)

localize24.0ms (0.2%)

rewrite312.0ms (2.2%)

series877.0ms (6.3%)

simplify118.0ms (0.8%)

prune237.0ms (1.7%)

regimes2.8s (20.3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample4.4s (31.8%)

Profiling