Details

analyze712.0ms (27.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

660×	`sub-neg_binary64_15757`
517×	`neg-mul-1_binary64_15760`
408×	`neg-sub0_binary64_15759`
365×	`unsub-neg_binary64_15758`
362×	`distribute-lft-neg-out_binary64_15723`
312×	`distribute-rgt-neg-in_binary64_15722`
295×	`associate-+r+_binary64_15696`
279×	`associate-+l+_binary64_15697`
270×	`distribute-neg-in_binary64_15725`
266×	`associate--r+_binary64_15700`
243×	`associate--l+_binary64_15701`
223×	`associate-+l-_binary64_15699`
222×	`distribute-lft-neg-in_binary64_15721`
204×	`distribute-lft-out_binary64_15715`
169×	`associate-+r-_binary64_15698`
166×	`distribute-rgt-out--_binary64_15718`
159×	`distribute-rgt-neg-out_binary64_15724`
143×	`associate--r-_binary64_15703`
140×	`distribute-rgt-out_binary64_15717`
137×	`cancel-sign-sub-inv_binary64_15730`
133×	`distribute-lft-out--_binary64_15716`
129×	`associate-l_binary64_15705`
121×	`associate--l-_binary64_15702`
112×	`associate-r_binary64_15704`
110×	`+-commutative_binary64_15694`
99×	`remove-double-neg_binary64_15752`
97×	`distribute-neg-out_binary64_15726`
78×	`*-commutative_binary64_15695`
67×	`distribute-rgt-in_binary64_15714`
52×	`sub0-neg_binary64_15751`
50×	`distribute-lft-in_binary64_15713`
47×	`*-lft-identity_binary64_15753`
33×	`*-rgt-identity_binary64_15754`
27×	`difference-of-squares_binary64_15733`
19×	`+-lft-identity_binary64_15748`
18×	`+-rgt-identity_binary64_15749`
11×	`count-2_binary64_15712`
10×	`--rgt-identity_binary64_15750`
7×	`+-inverses_binary64_15743`
6×	`distribute-lft1-in_binary64_15719`
5×	`mul-1-neg_binary64_15756`
3×	`sqr-neg_binary64_15778` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `cancel-sign-sub_binary64_15729`
1×	`1-exp_binary64_15808`
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` `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` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `div-sub_binary64_15769` `/-rgt-identity_binary64_15755` `div0_binary64_15745` `-inverses_binary64_15744` `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` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-rgt1-in_binary64_15720` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `associate-/l_binary64_15709` `associate-/r_binary64_15708` `associate-l/_binary64_15707` `associate-*r/_binary64_15706`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	76
1	84	52
2	239	40
3	615	28
4	2602	28
5	3828	28
6	4475	28
7	4943	28
8	5025	28
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
18.7%	81.1%	0.1%	8
34.3%	65.5%	0.1%	9
39%	60.8%	0.1%	10
41.3%	58.5%	0.1%	11
52.7%	47.2%	0.1%	12
54%	45.7%	0.2%	13
55.3%	43.8%	0.9%	14

Compiler

Compiled 16 to 10 computations (37.5% saved)

sample29.0ms (1.1%)

Algorithm

1×

intervals

Results

6.0ms	183×	body	128	valid
3.0ms	25×	body	1024	valid
3.0ms	18×	body	2048	valid
2.0ms	24×	body	512	valid
1.0ms	41×	body	128	invalid
1.0ms	6×	body	512	invalid
0.0ms	4×	body	1024	invalid
0.0ms	6×	body	256	valid
0.0ms	2×	body	256	invalid

Compiler

Compiled 31 to 22 computations (29% saved)

simplify145.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1476×	`distribute-rgt-out--_binary64_15718`
597×	`unsub-neg_binary64_15758`
421×	`sub-neg_binary64_15757`
378×	`distribute-rgt-neg-in_binary64_15722`
312×	`distribute-neg-in_binary64_15725`
254×	`*-commutative_binary64_15695`
252×	`+-commutative_binary64_15694`
234×	`distribute-neg-out_binary64_15726`
223×	`distribute-lft-neg-in_binary64_15721`
210×	`distribute-lft-neg-out_binary64_15723`
209×	`distribute-lft-out--_binary64_15716`
179×	`neg-sub0_binary64_15759`
172×	`neg-mul-1_binary64_15760`
171×	`associate-+l+_binary64_15697`
161×	`associate--l+_binary64_15701`
159×	`associate--r+_binary64_15700`
143×	`cancel-sign-sub-inv_binary64_15730`
129×	`distribute-rgt-neg-out_binary64_15724` `associate-+r+_binary64_15696`
127×	`distribute-rgt-out_binary64_15717`
124×	`associate-+l-_binary64_15699`
118×	`associate-l_binary64_15705`
108×	`associate--r-_binary64_15703`
101×	`associate-+r-_binary64_15698`
95×	`associate-r_binary64_15704`
88×	`associate--l-_binary64_15702`
58×	`distribute-rgt-in_binary64_15714`
49×	`remove-double-neg_binary64_15752`
43×	`distribute-lft-out_binary64_15715`
36×	`distribute-lft-in_binary64_15713`
29×	`*-lft-identity_binary64_15753` `sub0-neg_binary64_15751`
14×	`*-rgt-identity_binary64_15754`
13×	`mul0-rgt_binary64_15747` `mul0-lft_binary64_15746`
9×	`distribute-lft1-in_binary64_15719`
8×	`+-lft-identity_binary64_15748`
7×	`+-rgt-identity_binary64_15749` `distribute-rgt1-in_binary64_15720`
6×	`--rgt-identity_binary64_15750`
4×	`+-inverses_binary64_15743`
3×	`mul-1-neg_binary64_15756` `count-2_binary64_15712`
2×	`cancel-sign-sub_binary64_15729`
1×	`1-exp_binary64_15808` `sqr-neg_binary64_15778` `difference-of-squares_binary64_15733`
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` `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` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `div-sub_binary64_15769` `/-rgt-identity_binary64_15755` `div0_binary64_15745` `-inverses_binary64_15744` `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` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `associate-/l_binary64_15709` `associate-/r_binary64_15708` `associate-l/_binary64_15707` `associate-*r/_binary64_15706`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	28	13
2	75	10
3	178	7
4	485	7
5	1475	7
6	2009	7
7	2421	7
8	2677	7
9	2975	7
10	3130	7
11	3148	7
12	3148	7
13	3148	7
14	5044	7

prune8.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 y (-.f64 x z))

rewrite30.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-sqr-sqrt_binary64_15786`
7×	`*-un-lft-identity_binary64_15764`
6×	`cancel-sign-sub-inv_binary64_15730`
5×	`add-cube-cbrt_binary64_15799` `associate-r_binary64_15704`
4×	`distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713`
3×	`pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `associate-l_binary64_15705`
2×	`sub-neg_binary64_15757` `associate-*r/_binary64_15706`
1×	`pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `add-log-exp_binary64_15803` `cbrt-unprod_binary64_15797` `unswap-sqr_binary64_15732` `flip3--_binary64_15768` `flip--_binary64_15739` `difference-of-squares_binary64_15733` `distribute-lft-out--_binary64_15716` `*-commutative_binary64_15695`

Counts

1 → 30

Calls

1 calls:

8.0ms

(*.f64 y (-.f64 x z))

Compiler

Compiled 338 to 111 computations (67.2% saved)

series151.0ms (5.8%)

Error

0.0b

Counts

1 → 15

Calls

1 calls:

144.0ms

(*.f64 y (-.f64 x z))

Compiler

Compiled 219 to 146 computations (33.3% saved)

simplify57.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

620×	`distribute-neg-out_binary64_15726`
402×	`neg-sub0_binary64_15759`
392×	`associate-l_binary64_15705`
385×	`neg-mul-1_binary64_15760`
336×	`associate-r_binary64_15704`
229×	`unswap-sqr_binary64_15732`
222×	`distribute-rgt-neg-out_binary64_15724`
208×	`distribute-lft-neg-out_binary64_15723`
177×	`sqr-pow_binary64_15736`
161×	`distribute-rgt-in_binary64_15714`
158×	`exp-prod_binary64_15816`
157×	`distribute-lft-in_binary64_15713`
86×	`associate-+r+_binary64_15696`
82×	`unsub-neg_binary64_15758`
76×	`cancel-sign-sub-inv_binary64_15730` `*-commutative_binary64_15695`
69×	`associate-+l+_binary64_15697`
62×	`+-commutative_binary64_15694`
54×	`sub-neg_binary64_15757`
53×	`swap-sqr_binary64_15731`
46×	`exp-sum_binary64_15810` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753`
34×	`pow-sqr_binary64_15737`
26×	`distribute-lft-neg-in_binary64_15721` `distribute-rgt-out_binary64_15717`
24×	`times-frac_binary64_15770`
23×	`div-sub_binary64_15769`
22×	`exp-diff_binary64_15812` `distribute-lft-out_binary64_15715`
20×	`distribute-rgt-neg-in_binary64_15722`
17×	`difference-of-squares_binary64_15733`
16×	`cube-prod_binary64_15792`
14×	`+-rgt-identity_binary64_15749` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746`
12×	`sub0-neg_binary64_15751`
11×	`sqr-neg_binary64_15778` `+-lft-identity_binary64_15748`
10×	`cube-unmult_binary64_15801` `mul-1-neg_binary64_15756`
9×	`log-prod_binary64_15850` `distribute-frac-neg_binary64_15727` `associate-+l-_binary64_15699`
7×	`associate-/l*_binary64_15709` `associate-+r-_binary64_15698`
6×	`unpow3_binary64_15830` `remove-double-neg_binary64_15752`
5×	`unpow1/2_binary64_15828`
4×	`pow-plus_binary64_15827` `rem-sqrt-square_binary64_15777` `distribute-neg-frac_binary64_15728` `distribute-rgt-out--_binary64_15718`
3×	`exp-neg_binary64_15811` `--rgt-identity_binary64_15750`
2×	`cube-mult_binary64_15794` `cube-neg_binary64_15791` `associate-*r/_binary64_15706` `associate--r+_binary64_15700`
1×	`1-exp_binary64_15808` `exp-1-e_binary64_15807` `rem-3cbrt-lft_binary64_15789` `rem-square-sqrt_binary64_15776` `cancel-sign-sub_binary64_15729` `count-2_binary64_15712` `associate-/l/_binary64_15711` `associate-*l/_binary64_15707`
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` `prod-exp_binary64_15813` `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-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `/-rgt-identity_binary64_15755` `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-in_binary64_15725` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-lft-out--_binary64_15716` `associate-/r/_binary64_15710` `associate-/r_binary64_15708` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate--l+_binary64_15701`

Counts

45 → 31

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	416
1	155	386
2	454	386
3	1597	386
4	2990	386
5	5688	386

prune20.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	2	32

Error

0.0b

Counts

32 → 2

Compiler

Compiled 242 to 49 computations (79.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (.f64 x y) (neg.f64 (.f64 z y)))

rewrite17.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

5×	`add-log-exp_binary64_15803`
2×	`sum-log_binary64_15855`
1×	`neg-log_binary64_15857` `pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `add-cube-cbrt_binary64_15799` `add-sqr-sqrt_binary64_15786` `flip3-+_binary64_15767` `*-un-lft-identity_binary64_15764` `unsub-neg_binary64_15758` `flip-+_binary64_15738` `distribute-lft-neg-in_binary64_15721` `distribute-rgt-out_binary64_15717` `neg-sub0_binary64_15759` `associate-+r-_binary64_15698` `+-commutative_binary64_15694`

Counts

1 → 15

Calls

1 calls:

5.0ms

(+.f64 (*.f64 x y) (neg.f64 (*.f64 z y)))

Compiler

Compiled 233 to 54 computations (76.8% saved)

series154.0ms (5.9%)

Error

0.0b

Counts

1 → 15

Calls

1 calls:

146.0ms

(+.f64 (*.f64 x y) (neg.f64 (*.f64 z y)))

Compiler

Compiled 225 to 154 computations (31.6% saved)

simplify68.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

571×	`associate-l_binary64_15705`
455×	`associate-r_binary64_15704`
430×	`neg-mul-1_binary64_15760`
364×	`distribute-rgt-neg-out_binary64_15724`
341×	`distribute-rgt-out_binary64_15717`
324×	`distribute-lft-neg-out_binary64_15723`
273×	`times-frac_binary64_15770`
223×	`distribute-lft-out_binary64_15715`
199×	`distribute-rgt-in_binary64_15714`
174×	`distribute-rgt-neg-in_binary64_15722`
161×	`distribute-lft-in_binary64_15713`
148×	`unsub-neg_binary64_15758`
128×	`distribute-lft-neg-in_binary64_15721`
110×	`cancel-sign-sub-inv_binary64_15730`
101×	`cancel-sign-sub_binary64_15729`
85×	`exp-prod_binary64_15816`
81×	`distribute-rgt-out--_binary64_15718`
75×	`*-commutative_binary64_15695`
71×	`cube-prod_binary64_15792` `neg-sub0_binary64_15759`
69×	`sub-neg_binary64_15757`
68×	`unswap-sqr_binary64_15732`
59×	`sqr-pow_binary64_15736`
52×	`distribute-neg-out_binary64_15726`
47×	`distribute-neg-in_binary64_15725`
41×	`distribute-lft-out--_binary64_15716`
37×	`exp-sum_binary64_15810` `div-sub_binary64_15769`
33×	`associate-/l*_binary64_15709`
32×	`exp-diff_binary64_15812`
29×	`log-prod_binary64_15850`
25×	`associate-+r+_binary64_15696`
20×	`associate-+l-_binary64_15699`
18×	`mul0-rgt_binary64_15747` `mul0-lft_binary64_15746`
17×	`swap-sqr_binary64_15731` `associate--r+_binary64_15700`
16×	`associate-+l+_binary64_15697` `+-commutative_binary64_15694`
15×	`remove-double-neg_binary64_15752`
14×	`difference-of-squares_binary64_15733`
13×	`unpow3_binary64_15830`
12×	`cube-neg_binary64_15791` `mul-1-neg_binary64_15756` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753`
11×	`sub0-neg_binary64_15751` `pow-sqr_binary64_15737`
10×	`associate--l+_binary64_15701`
8×	`cube-unmult_binary64_15801` `cube-mult_binary64_15794` `associate-+r-_binary64_15698`
7×	`associate--r-_binary64_15703` `associate--l-_binary64_15702`
6×	`sqr-neg_binary64_15778` `+-rgt-identity_binary64_15749`
5×	`distribute-frac-neg_binary64_15727` `associate-/l/_binary64_15711`
4×	`associate-/r/_binary64_15710`
2×	`--rgt-identity_binary64_15750` `associate-/r*_binary64_15708`
1×	`unpow1/2_binary64_15828` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `/-rgt-identity_binary64_15755` `+-lft-identity_binary64_15748` `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` `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-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` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `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-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `count-2_binary64_15712` `associate-l/_binary64_15707`

Counts

30 → 26

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	292
1	137	266
2	546	258
3	2010	255
4	4163	255
5	5032	255

prune14.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

28 → 2

Compiler

Compiled 191 to 40 computations (79.1% saved)

regimes107.0ms (4.1%)

Accuracy

Total 0.0b remaining (81.3%)

Threshold costs 0.0b (81.3%)

Compiler

Compiled 672 to 464 computations (31% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`sub-neg_binary64_15757` `*-commutative_binary64_15695` `+-commutative_binary64_15694`
1×	`neg-mul-1_binary64_15760` `neg-sub0_binary64_15759`
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` `unsub-neg_binary64_15758` `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	6	7
1	9	7
2	14	7
3	16	7
4	17	7
5	17	7

end0.0ms (0%)

sample1.1s (41%)

Algorithm

1×

intervals

Results

205.0ms	5782×	body	128	valid
94.0ms	814×	body	1024	valid
80.0ms	526×	body	2048	valid
57.0ms	573×	body	512	valid
49.0ms	1437×	body	128	invalid
18.0ms	305×	body	256	valid
17.0ms	193×	body	512	invalid
17.0ms	145×	body	1024	invalid
8.0ms	133×	body	256	invalid

Compiler

Compiled 185 to 130 computations (29.7% saved)

Details

analyze712.0ms (27.6%)

sample29.0ms (1.1%)

simplify145.0ms (5.6%)

prune8.0ms (0.3%)

localize4.0ms (0.2%)

rewrite30.0ms (1.2%)

series151.0ms (5.8%)

simplify57.0ms (2.2%)

prune20.0ms (0.8%)

localize5.0ms (0.2%)

rewrite17.0ms (0.7%)

series154.0ms (5.9%)

simplify68.0ms (2.6%)

prune14.0ms (0.5%)

regimes107.0ms (4.1%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.1s (41%)

Profiling