Details

analyze524.0ms (5.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

30×	`+-commutative_binary64_15694`
16×	`*-commutative_binary64_15695`
14×	`associate-+l+_binary64_15697` `associate-+r+_binary64_15696`
8×	`distribute-rgt-out_binary64_15717`
6×	`distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `log-prod_binary64_15850` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow3_binary64_15830` `unpow2_binary64_15829` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `exp-prod_binary64_15816` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `exp-sum_binary64_15810` `e-exp-1_binary64_15809` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-unmult_binary64_15801` `cube-mult_binary64_15794` `cube-div_binary64_15793` `cube-prod_binary64_15792` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `div-sub_binary64_15769` `neg-mul-1_binary64_15760` `neg-sub0_binary64_15759` `unsub-neg_binary64_15758` `sub-neg_binary64_15757` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `sqr-pow_binary64_15736` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `cancel-sign-sub-inv_binary64_15730` `cancel-sign-sub_binary64_15729` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-neg-in_binary64_15725` `distribute-rgt-neg-out_binary64_15724` `distribute-lft-neg-out_binary64_15723` `distribute-rgt-neg-in_binary64_15722` `distribute-lft-neg-in_binary64_15721` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-rgt-out--_binary64_15718` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `count-2_binary64_15712` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `associate-/l_binary64_15709` `associate-/r_binary64_15708` `associate-l/_binary64_15707` `associate-r/_binary64_15706` `associate-l_binary64_15705` `associate-r*_binary64_15704` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate--l+_binary64_15701` `associate--r+_binary64_15700` `associate-+l-_binary64_15699` `associate-+r-_binary64_15698`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	45	52
2	77	52
3	94	52
4	98	52
5	87	52
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
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
28.1%	67.9%	4%	9
40.6%	53%	6.4%	10
49.1%	42.9%	7.9%	11
51.5%	37.7%	10.8%	12
59.1%	26.9%	14%	13
63.7%	21.8%	14.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	250×	body	128	valid
1.0ms	29×	body	128	invalid
0.0ms	3×	body	256	valid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64_15694`
5×	`*-commutative_binary64_15695`
3×	`associate-+l+_binary64_15697` `associate-+r+_binary64_15696`
2×	`distribute-rgt-out_binary64_15717` `distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `log-prod_binary64_15850` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow3_binary64_15830` `unpow2_binary64_15829` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `exp-prod_binary64_15816` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `exp-sum_binary64_15810` `e-exp-1_binary64_15809` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-unmult_binary64_15801` `cube-mult_binary64_15794` `cube-div_binary64_15793` `cube-prod_binary64_15792` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `div-sub_binary64_15769` `neg-mul-1_binary64_15760` `neg-sub0_binary64_15759` `unsub-neg_binary64_15758` `sub-neg_binary64_15757` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `sqr-pow_binary64_15736` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `cancel-sign-sub-inv_binary64_15730` `cancel-sign-sub_binary64_15729` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-neg-in_binary64_15725` `distribute-rgt-neg-out_binary64_15724` `distribute-lft-neg-out_binary64_15723` `distribute-rgt-neg-in_binary64_15722` `distribute-lft-neg-in_binary64_15721` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-rgt-out--_binary64_15718` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `count-2_binary64_15712` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `associate-/l_binary64_15709` `associate-/r_binary64_15708` `associate-l/_binary64_15707` `associate-r/_binary64_15706` `associate-l_binary64_15705` `associate-r*_binary64_15704` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate--l+_binary64_15701` `associate--r+_binary64_15700` `associate-+l-_binary64_15699` `associate-+r-_binary64_15698`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	19	13
2	25	13
3	31	13
4	33	13
5	31	13

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

0.0b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
0.0b	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

rewrite51.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
4×	`add-log-exp_binary64_15803` `pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `add-cube-cbrt_binary64_15799` `associate-r_binary64_15704`
3×	`associate-l_binary64_15705`
2×	`flip3-+_binary64_15767` `flip-+_binary64_15738` `distribute-rgt-in_binary64_15714` `associate-+l+_binary64_15697` `distribute-lft-in_binary64_15713` `associate-*r/_binary64_15706`
1×	`sum-log_binary64_15855` `+-commutative_binary64_15694` `pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `unswap-sqr_binary64_15732` `distribute-lft-out_binary64_15715` `*-commutative_binary64_15695`

Counts

2 → 36

Calls

2 calls:

7.0ms	(*.f64 x (+.f64 y z))
7.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

Compiler

Compiled 583 to 248 computations (57.5% saved)

series400.0ms (4.4%)

Error

0.0b

Counts

2 → 33

Calls

2 calls:

225.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))
135.0ms	(*.f64 x (+.f64 y z))

Compiler

Compiled 738 to 501 computations (32.1% saved)

simplify110.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

494×	`associate-l_binary64_15705`
465×	`distribute-rgt-in_binary64_15714`
453×	`distribute-lft-in_binary64_15713`
379×	`associate-r_binary64_15704`
321×	`cancel-sign-sub-inv_binary64_15730`
304×	`sub-neg_binary64_15757`
271×	`distribute-rgt-neg-in_binary64_15722`
242×	`distribute-rgt-out_binary64_15717`
207×	`+-commutative_binary64_15694`
186×	`unswap-sqr_binary64_15732`
181×	`neg-mul-1_binary64_15760`
170×	`distribute-neg-in_binary64_15725`
138×	`*-commutative_binary64_15695`
124×	`distribute-lft-out_binary64_15715`
110×	`associate--r+_binary64_15700`
95×	`distribute-lft-neg-in_binary64_15721`
89×	`sqr-pow_binary64_15736`
85×	`unsub-neg_binary64_15758`
72×	`associate-+l+_binary64_15697`
70×	`neg-sub0_binary64_15759`
66×	`distribute-lft-neg-out_binary64_15723`
65×	`associate-+r+_binary64_15696`
55×	`associate--l+_binary64_15701`
50×	`associate-+l-_binary64_15699`
49×	`rem-sqrt-square_binary64_15777`
45×	`distribute-rgt-out--_binary64_15718`
37×	`*-lft-identity_binary64_15753`
36×	`exp-prod_binary64_15816`
35×	`associate-+r-_binary64_15698`
34×	`*-rgt-identity_binary64_15754`
25×	`exp-sum_binary64_15810` `sub0-neg_binary64_15751`
19×	`+-rgt-identity_binary64_15749` `distribute-rgt-neg-out_binary64_15724`
18×	`pow-sqr_binary64_15737`
14×	`unpow3_binary64_15830` `cube-prod_binary64_15792` `swap-sqr_binary64_15731`
13×	`cube-unmult_binary64_15801`
12×	`distribute-lft-out--_binary64_15716`
11×	`log-prod_binary64_15850`
8×	`cancel-sign-sub_binary64_15729` `distribute-neg-out_binary64_15726`
7×	`unpow1/2_binary64_15828`
6×	`difference-of-squares_binary64_15733` `associate--r-_binary64_15703`
5×	`div-sub_binary64_15769`
4×	`pow-plus_binary64_15827` `exp-diff_binary64_15812` `cube-mult_binary64_15794`
3×	`prod-exp_binary64_15813` `associate-/l*_binary64_15709`
1×	`1-exp_binary64_15808` `exp-1-e_binary64_15807` `cube-neg_binary64_15791` `remove-double-neg_binary64_15752` `count-2_binary64_15712` `associate-/l/_binary64_15711` `associate-*r/_binary64_15706`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow2_binary64_15829` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `div-exp_binary64_15815` `rec-exp_binary64_15814` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-div_binary64_15793` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `--rgt-identity_binary64_15750` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `associate-/r/_binary64_15710` `associate-/r_binary64_15708` `associate-*l/_binary64_15707` `associate--l-_binary64_15702`

Counts

69 → 49

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	746
1	224	719
2	732	713
3	2438	713
4	3888	713
5	4890	713
6	5032	713

prune46.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	45	4	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	5	50

Error

0.0b

Counts

50 → 5

Compiler

Compiled 665 to 293 computations (55.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 z (+.f64 5 x))
0.0b	(+.f64 (.f64 y x) (.f64 z (+.f64 5 x)))

rewrite47.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
4×	`add-log-exp_binary64_15803` `pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `add-cube-cbrt_binary64_15799` `associate-r_binary64_15704`
3×	`associate-l_binary64_15705`
2×	`flip3-+_binary64_15767` `flip-+_binary64_15738` `distribute-rgt-in_binary64_15714` `associate-+r+_binary64_15696` `distribute-lft-in_binary64_15713` `associate-*r/_binary64_15706`
1×	`sum-log_binary64_15855` `+-commutative_binary64_15694` `pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `unswap-sqr_binary64_15732` `distribute-lft-out_binary64_15715` `*-commutative_binary64_15695`

Counts

2 → 36

Calls

2 calls:

6.0ms	(*.f64 z (+.f64 5 x))
4.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 5 x)))

Compiler

Compiled 583 to 317 computations (45.6% saved)

series323.0ms (3.6%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

222.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 5 x)))
84.0ms	(*.f64 z (+.f64 5 x))

Compiler

Compiled 597 to 408 computations (31.7% saved)

simplify103.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

594×	`distribute-rgt-in_binary64_15714`
584×	`distribute-lft-in_binary64_15713`
545×	`associate-l_binary64_15705`
422×	`associate-r_binary64_15704`
323×	`sub-neg_binary64_15757`
282×	`cancel-sign-sub-inv_binary64_15730`
258×	`unswap-sqr_binary64_15732`
248×	`distribute-rgt-neg-in_binary64_15722`
245×	`+-commutative_binary64_15694`
193×	`distribute-lft-neg-in_binary64_15721`
192×	`distribute-neg-in_binary64_15725`
137×	`associate--r+_binary64_15700`
131×	`*-commutative_binary64_15695`
110×	`unsub-neg_binary64_15758`
92×	`sqr-pow_binary64_15736`
91×	`associate--l+_binary64_15701`
90×	`associate-+l+_binary64_15697`
80×	`neg-sub0_binary64_15759`
77×	`neg-mul-1_binary64_15760`
75×	`associate-+r+_binary64_15696`
61×	`distribute-lft-neg-out_binary64_15723`
52×	`distribute-rgt-out--_binary64_15718`
49×	`rem-sqrt-square_binary64_15777`
45×	`distribute-rgt-neg-out_binary64_15724`
44×	`associate-+l-_binary64_15699`
37×	`exp-prod_binary64_15816`
35×	`*-lft-identity_binary64_15753`
33×	`*-rgt-identity_binary64_15754`
32×	`associate-+r-_binary64_15698`
24×	`pow-sqr_binary64_15737`
22×	`exp-sum_binary64_15810` `swap-sqr_binary64_15731`
20×	`sub0-neg_binary64_15751` `distribute-rgt-out_binary64_15717`
17×	`cube-prod_binary64_15792`
16×	`+-rgt-identity_binary64_15749`
13×	`distribute-lft-out--_binary64_15716`
12×	`unpow3_binary64_15830`
11×	`log-prod_binary64_15850` `distribute-lft-out_binary64_15715`
10×	`cube-unmult_binary64_15801` `cancel-sign-sub_binary64_15729`
7×	`unpow1/2_binary64_15828`
5×	`div-sub_binary64_15769`
4×	`exp-diff_binary64_15812` `cube-mult_binary64_15794` `difference-of-squares_binary64_15733` `distribute-neg-out_binary64_15726`
3×	`pow-plus_binary64_15827` `associate-/l*_binary64_15709`
2×	`associate-/l/_binary64_15711` `associate-*r/_binary64_15706` `associate--r-_binary64_15703`
1×	`prod-exp_binary64_15813` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `cube-neg_binary64_15791` `remove-double-neg_binary64_15752` `count-2_binary64_15712`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow2_binary64_15829` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `div-exp_binary64_15815` `rec-exp_binary64_15814` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-div_binary64_15793` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `--rgt-identity_binary64_15750` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `associate-/r/_binary64_15710` `associate-/r_binary64_15708` `associate-*l/_binary64_15707` `associate--l-_binary64_15702`

Counts

63 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	80	713
1	218	686
2	781	686
3	2797	686
4	3721	686
5	4923	686
6	4950	686

prune38.0ms (0.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	41	1	42
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	41	6	47

Error

Counts

47 → 6

Compiler

Compiled 582 to 286 computations (50.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (+.f64 z y)) (cbrt.f64 (+.f64 z y)))
0.6b	(cbrt.f64 (+.f64 y z))
0.6b	(cbrt.f64 (+.f64 z y))
0.6b	(cbrt.f64 (+.f64 z y))

rewrite131.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`cbrt-prod_binary64_15795`
35×	`*-un-lft-identity_binary64_15764`
23×	`add-sqr-sqrt_binary64_15786`
18×	`cbrt-div_binary64_15796`
15×	`add-cube-cbrt_binary64_15799`
11×	`pow1_binary64_15825`
9×	`pow1/3_binary64_15846` `flip3-+_binary64_15767` `flip-+_binary64_15738` `distribute-lft-out_binary64_15715` `swap-sqr_binary64_15731`
7×	`associate-l_binary64_15705` `associate-r_binary64_15704`
6×	`add-exp-log_binary64_15802`
4×	`add-log-exp_binary64_15803` `add-cbrt-cube_binary64_15800` `frac-times_binary64_15774` `unswap-sqr_binary64_15732`
2×	`pow-prod-down_binary64_15835` `pow-prod-up_binary64_15834` `pow-sqr_binary64_15737` `associate-l/_binary64_15707` `associate-r/_binary64_15706`
1×	`pow2_binary64_15845` `pow-plus_binary64_15827` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `*-commutative_binary64_15695`

Counts

4 → 95

Calls

4 calls:

11.0ms	(*.f64 (cbrt.f64 (+.f64 z y)) (cbrt.f64 (+.f64 z y)))
3.0ms	(cbrt.f64 (+.f64 z y))
3.0ms	(cbrt.f64 (+.f64 z y))
3.0ms	(cbrt.f64 (+.f64 y z))

Compiler

Compiled 2643 to 775 computations (70.7% saved)

series978.0ms (10.7%)

Error

Counts

4 → 69

Calls

4 calls:

262.0ms	(*.f64 (cbrt.f64 (+.f64 z y)) (cbrt.f64 (+.f64 z y)))
204.0ms	(cbrt.f64 (+.f64 z y))
200.0ms	(cbrt.f64 (+.f64 y z))
195.0ms	(cbrt.f64 (+.f64 z y))

Compiler

Compiled 5382 to 3960 computations (26.4% saved)

simplify138.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

637×	`unswap-sqr_binary64_15732`
615×	`associate-l_binary64_15705`
545×	`associate-r_binary64_15704`
359×	`distribute-rgt-neg-in_binary64_15722`
238×	`*-commutative_binary64_15695`
138×	`cancel-sign-sub-inv_binary64_15730`
131×	`sqr-pow_binary64_15736`
124×	`sub-neg_binary64_15757`
73×	`distribute-lft-neg-in_binary64_15721`
63×	`neg-sub0_binary64_15759` `+-commutative_binary64_15694`
59×	`neg-mul-1_binary64_15760`
55×	`distribute-rgt-in_binary64_15714`
53×	`exp-prod_binary64_15816`
45×	`distribute-lft-in_binary64_15713`
40×	`associate-+l+_binary64_15697`
37×	`log-prod_binary64_15850`
34×	`exp-sum_binary64_15810`
33×	`associate-+r+_binary64_15696`
32×	`swap-sqr_binary64_15731`
29×	`distribute-rgt-neg-out_binary64_15724`
28×	`distribute-lft-neg-out_binary64_15723` `associate-/r*_binary64_15708` `associate-+r-_binary64_15698`
27×	`cube-unmult_binary64_15801`
25×	`associate--l+_binary64_15701`
24×	`cube-prod_binary64_15792` `unsub-neg_binary64_15758`
23×	`*-lft-identity_binary64_15753` `+-rgt-identity_binary64_15749`
22×	`*-rgt-identity_binary64_15754` `associate-+l-_binary64_15699`
19×	`pow-sqr_binary64_15737`
16×	`unpow1/3_binary64_15831`
15×	`pow-plus_binary64_15827`
14×	`exp-diff_binary64_15812` `sub0-neg_binary64_15751` `difference-of-squares_binary64_15733`
12×	`div-sub_binary64_15769`
10×	`distribute-rgt-out--_binary64_15718`
8×	`log-pow_binary64_15853` `distribute-neg-in_binary64_15725`
7×	`rem-sqrt-square_binary64_15777` `distribute-rgt-out_binary64_15717`
6×	`unpow3_binary64_15830` `associate--r-_binary64_15703`
5×	`rem-exp-log_binary64_15804`
4×	`log-div_binary64_15851` `exp-neg_binary64_15811` `+-lft-identity_binary64_15748` `associate-/l*_binary64_15709` `associate--r+_binary64_15700`
3×	`unpow1/2_binary64_15828` `exp-to-pow_binary64_15826` `rem-3cbrt-lft_binary64_15789` `associate-/l/_binary64_15711`
2×	`unpow2_binary64_15829` `unpow1_binary64_15822` `cube-mult_binary64_15794` `remove-double-neg_binary64_15752` `distribute-lft-out_binary64_15715` `count-2_binary64_15712`
1×	`1-exp_binary64_15808` `exp-1-e_binary64_15807` `rem-3cbrt-rft_binary64_15790` `rem-square-sqrt_binary64_15776` `+-inverses_binary64_15743`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-rec_binary64_15852` `pow-base-0_binary64_15848` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `cube-div_binary64_15793` `cube-neg_binary64_15791` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `times-frac_binary64_15770` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `--rgt-identity_binary64_15750` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `cancel-sign-sub_binary64_15729` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-lft-out--_binary64_15716` `associate-/r/_binary64_15710` `associate-l/_binary64_15707` `associate-*r/_binary64_15706` `associate--l-_binary64_15702`

Counts

164 → 140

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	182	3273
1	399	3197
2	996	3063
3	3243	3053
4	4956	3053

prune193.0ms (2.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	140	6	146

Error

Counts

146 → 6

Compiler

Compiled 3994 to 1668 computations (58.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y)))) (cbrt.f64 (+.f64 (.f64 5 z) (*.f64 x (+.f64 z y)))))
0.5b	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))
0.5b	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))
0.5b	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))

rewrite219.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_15795`
23×	`add-sqr-sqrt_binary64_15786`
18×	`cbrt-div_binary64_15796`
15×	`add-cube-cbrt_binary64_15799` `*-un-lft-identity_binary64_15764`
11×	`pow1_binary64_15825`
9×	`pow1/3_binary64_15846` `flip3-+_binary64_15767` `flip-+_binary64_15738`
6×	`add-exp-log_binary64_15802` `swap-sqr_binary64_15731` `associate-l_binary64_15705` `associate-r_binary64_15704`
4×	`add-log-exp_binary64_15803` `add-cbrt-cube_binary64_15800` `frac-times_binary64_15774` `unswap-sqr_binary64_15732`
2×	`pow-prod-down_binary64_15835` `pow-prod-up_binary64_15834` `pow-sqr_binary64_15737` `associate-l/_binary64_15707` `associate-r/_binary64_15706`
1×	`pow2_binary64_15845` `pow-plus_binary64_15827` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `*-commutative_binary64_15695`

Counts

4 → 87

Calls

4 calls:

12.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y)))) (cbrt.f64 (+.f64 (.f64 5 z) (*.f64 x (+.f64 z y)))))
3.0ms	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))
3.0ms	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))
3.0ms	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))

Compiler

Compiled 4124 to 1916 computations (53.5% saved)

series3.5s (38.2%)

Error

Counts

4 → 94

Calls

4 calls:

1.3s	(.f64 (cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y)))) (cbrt.f64 (+.f64 (.f64 5 z) (*.f64 x (+.f64 z y)))))
590.0ms	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))
584.0ms	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))
576.0ms	(cbrt.f64 (+.f64 (.f64 5 z) (.f64 x (+.f64 z y))))

Compiler

Compiled 16814 to 11952 computations (28.9% saved)

simplify192.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

536×	`associate-r_binary64_15704`
457×	`times-frac_binary64_15770`
353×	`associate-/l*_binary64_15709`
349×	`associate-l_binary64_15705`
304×	`associate-/r*_binary64_15708`
170×	`*-commutative_binary64_15695`
154×	`associate-l/_binary64_15707` `associate-r/_binary64_15706`
84×	`sqr-pow_binary64_15736`
69×	`+-commutative_binary64_15694`
58×	`cancel-sign-sub-inv_binary64_15730`
57×	`sub-neg_binary64_15757`
49×	`distribute-rgt-in_binary64_15714`
42×	`associate-/r/_binary64_15710`
40×	`distribute-lft-in_binary64_15713`
39×	`unswap-sqr_binary64_15732`
36×	`associate-+r+_binary64_15696`
31×	`neg-mul-1_binary64_15760` `neg-sub0_binary64_15759`
29×	`distribute-rgt-neg-in_binary64_15722`
28×	`exp-prod_binary64_15816`
26×	`distribute-lft-neg-in_binary64_15721`
22×	`distribute-neg-in_binary64_15725`
18×	`unpow1/3_binary64_15831`
13×	`log-prod_binary64_15850`
10×	`associate--l+_binary64_15701`
9×	`swap-sqr_binary64_15731`
7×	`unpow3_binary64_15830` `cube-mult_binary64_15794`
6×	`log-div_binary64_15851` `unpow2_binary64_15829` `unpow1_binary64_15822` `distribute-rgt-neg-out_binary64_15724` `distribute-lft-neg-out_binary64_15723` `distribute-rgt-out_binary64_15717` `distribute-lft-out--_binary64_15716` `associate--r+_binary64_15700`
4×	`cube-unmult_binary64_15801` `cube-prod_binary64_15792`
3×	`log-pow_binary64_15853` `log-rec_binary64_15852` `remove-double-neg_binary64_15752` `distribute-lft-out_binary64_15715` `associate-/l/_binary64_15711`
2×	`rem-3cbrt-lft_binary64_15789` `rem-sqrt-square_binary64_15777` `distribute-rgt-out--_binary64_15718`
1×	`1-exp_binary64_15808` `rem-3cbrt-rft_binary64_15790` `rem-square-sqrt_binary64_15776` `unsub-neg_binary64_15758` `*-rgt-identity_binary64_15754` `difference-of-squares_binary64_15733` `distribute-neg-frac_binary64_15728` `distribute-lft1-in_binary64_15719` `count-2_binary64_15712` `associate-+r-_binary64_15698`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `pow-base-0_binary64_15848` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `exp-sum_binary64_15810` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-div_binary64_15793` `cube-neg_binary64_15791` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `div-sub_binary64_15769` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `-lft-identity_binary64_15753` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-rgt1-in_binary64_15720` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate-+l-_binary64_15699` `associate-+l+_binary64_15697`

Counts

181 → 162

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	479	10251
1	1482	9709
2	5606	9709

prune540.0ms (5.9%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	162	6	168

Error

Counts

168 → 6

Compiler

Compiled 9343 to 5031 computations (46.2% saved)

regimes304.0ms (3.3%)

Accuracy

Total 0.0b remaining (79.3%)

Threshold costs 0.0b (79.3%)

Compiler

Compiled 2761 to 1970 computations (28.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_15695 +-commutative_binary64_15694

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_16024 if-if-and_binary64_16023 if-if-or-not_binary64_16022 if-if-or_binary64_16021 if-not_binary64_16020 if-same_binary64_16019 if-false_binary64_16018 if-true_binary64_16017 tan-0_binary64_15893 cos-0_binary64_15892 sin-0_binary64_15891 unpow1_binary64_15822 e-exp-1_binary64_15809 1-exp_binary64_15808 exp-1-e_binary64_15807 exp-0_binary64_15806 sqr-abs_binary64_15779 sqr-neg_binary64_15778 neg-mul-1_binary64_15760 neg-sub0_binary64_15759 unsub-neg_binary64_15758 sub-neg_binary64_15757 mul-1-neg_binary64_15756 /-rgt-identity_binary64_15755 *-rgt-identity_binary64_15754 *-lft-identity_binary64_15753 remove-double-neg_binary64_15752 sub0-neg_binary64_15751 --rgt-identity_binary64_15750 +-rgt-identity_binary64_15749 +-lft-identity_binary64_15748 cancel-sign-sub-inv_binary64_15730 cancel-sign-sub_binary64_15729 distribute-neg-frac_binary64_15728 distribute-frac-neg_binary64_15727 distribute-neg-out_binary64_15726 distribute-neg-in_binary64_15725 distribute-rgt-neg-out_binary64_15724 distribute-lft-neg-out_binary64_15723 distribute-rgt-neg-in_binary64_15722 distribute-lft-neg-in_binary64_15721

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	13	13

end0.0ms (0%)

sample1.2s (13.3%)

Algorithm

1×

intervals

Results

265.0ms	7690×	body	128	valid
21.0ms	657×	body	128	invalid
18.0ms	159×	body	1024	valid
9.0ms	101×	body	512	valid
3.0ms	49×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 690 to 497 computations (28% saved)

Details

analyze524.0ms (5.8%)

sample21.0ms (0.2%)

simplify13.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite51.0ms (0.6%)

series400.0ms (4.4%)

simplify110.0ms (1.2%)

prune46.0ms (0.5%)

localize7.0ms (0.1%)

rewrite47.0ms (0.5%)

series323.0ms (3.6%)

simplify103.0ms (1.1%)

prune38.0ms (0.4%)

localize14.0ms (0.2%)

rewrite131.0ms (1.4%)

series978.0ms (10.7%)

simplify138.0ms (1.5%)

prune193.0ms (2.1%)

localize12.0ms (0.1%)

rewrite219.0ms (2.4%)

series3.5s (38.2%)

simplify192.0ms (2.1%)

prune540.0ms (5.9%)

regimes304.0ms (3.3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (13.3%)

Profiling