Details

analyze932.0ms (9%)

Algorithm

1×	search
2×	egg-herbie

Rules

10×	`*-commutative_binary64_13308`
9×	`associate-/r/_binary64_13323` `associate-/l*_binary64_13322`
4×	`associate-l_binary64_13318` `associate-r_binary64_13317`
2×	`associate-/l/_binary64_13324`
1×	`associate-/r*_binary64_13321`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `log-div_binary64_13464` `log-prod_binary64_13463` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow3_binary64_13443` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `pow-plus_binary64_13440` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow1_binary64_13435` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-prod_binary64_13429` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-unmult_binary64_13414` `cube-mult_binary64_13407` `cube-div_binary64_13406` `cube-prod_binary64_13405` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `times-frac_binary64_13383` `div-sub_binary64_13382` `neg-mul-1_binary64_13373` `neg-sub0_binary64_13372` `unsub-neg_binary64_13371` `sub-neg_binary64_13370` `mul-1-neg_binary64_13369` `/-rgt-identity_binary64_13368` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `pow-sqr_binary64_13350` `sqr-pow_binary64_13349` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `unswap-sqr_binary64_13345` `swap-sqr_binary64_13344` `cancel-sign-sub-inv_binary64_13343` `cancel-sign-sub_binary64_13342` `distribute-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-neg-in_binary64_13338` `distribute-rgt-neg-out_binary64_13337` `distribute-lft-neg-out_binary64_13336` `distribute-rgt-neg-in_binary64_13335` `distribute-lft-neg-in_binary64_13334` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-rgt-out--_binary64_13331` `distribute-rgt-out_binary64_13330` `distribute-lft-out--_binary64_13329` `distribute-lft-out_binary64_13328` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `count-2_binary64_13325` `associate-l/_binary64_13320` `associate-*r/_binary64_13319` `associate--r-_binary64_13316` `associate--l-_binary64_13315` `associate--l+_binary64_13314` `associate--r+_binary64_13313` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311` `associate-+l+_binary64_13310` `associate-+r+_binary64_13309` `+-commutative_binary64_13307`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	20	22
2	31	22
3	41	22
4	49	22
5	51	22
6	50	22
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample63.0ms (0.6%)

Algorithm

1×

intervals

Results

26.0ms	62×	body	1024	valid
15.0ms	149×	body	128	valid
9.0ms	28×	body	512	valid
3.0ms	17×	body	256	valid

Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64_13308`
9×	`associate-/r/_binary64_13323` `associate-/l*_binary64_13322`
4×	`associate-l_binary64_13318` `associate-r_binary64_13317`
2×	`associate-/l/_binary64_13324`
1×	`associate-/r*_binary64_13321`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `log-div_binary64_13464` `log-prod_binary64_13463` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow3_binary64_13443` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `pow-plus_binary64_13440` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow1_binary64_13435` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-prod_binary64_13429` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-unmult_binary64_13414` `cube-mult_binary64_13407` `cube-div_binary64_13406` `cube-prod_binary64_13405` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `times-frac_binary64_13383` `div-sub_binary64_13382` `neg-mul-1_binary64_13373` `neg-sub0_binary64_13372` `unsub-neg_binary64_13371` `sub-neg_binary64_13370` `mul-1-neg_binary64_13369` `/-rgt-identity_binary64_13368` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `pow-sqr_binary64_13350` `sqr-pow_binary64_13349` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `unswap-sqr_binary64_13345` `swap-sqr_binary64_13344` `cancel-sign-sub-inv_binary64_13343` `cancel-sign-sub_binary64_13342` `distribute-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-neg-in_binary64_13338` `distribute-rgt-neg-out_binary64_13337` `distribute-lft-neg-out_binary64_13336` `distribute-rgt-neg-in_binary64_13335` `distribute-lft-neg-in_binary64_13334` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-rgt-out--_binary64_13331` `distribute-rgt-out_binary64_13330` `distribute-lft-out--_binary64_13329` `distribute-lft-out_binary64_13328` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `count-2_binary64_13325` `associate-l/_binary64_13320` `associate-*r/_binary64_13319` `associate--r-_binary64_13316` `associate--l-_binary64_13315` `associate--l+_binary64_13314` `associate--r+_binary64_13313` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311` `associate-+l+_binary64_13310` `associate-+r+_binary64_13309` `+-commutative_binary64_13307`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	20	22
2	31	22
3	41	22
4	49	22
5	51	22
6	50	22

prune4.0ms (0%)

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

14.9b

Counts

2 → 1

Compiler

Compiled 28 to 24 computations (14.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sin.f64 (*.f64 x 1/2))
0.2b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 8/3 (sin.f64 (.f64 x 1/2))))
0.4b	(.f64 8/3 (sin.f64 (.f64 x 1/2)))
14.7b	(/.f64 (.f64 (sin.f64 (.f64 x 1/2)) (.f64 8/3 (sin.f64 (.f64 x 1/2)))) (sin.f64 x))

rewrite144.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

20×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
11×	`pow1_binary64_13438` `add-sqr-sqrt_binary64_13399`
9×	`add-cube-cbrt_binary64_13412` `*-un-lft-identity_binary64_13377`
7×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410`
6×	`associate-l_binary64_13318`
4×	`add-log-exp_binary64_13416` `pow-prod-down_binary64_13448` `associate-r_binary64_13317`
3×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `times-frac_binary64_13383` `associate-/r*_binary64_13321`
2×	`*-commutative_binary64_13308`
1×	`frac-2neg_binary64_13388` `clear-num_binary64_13376` `div-inv_binary64_13374` `associate-/l*_binary64_13322` `unswap-sqr_binary64_13345`

Counts

4 → 66

Calls

4 calls:

9.0ms	(.f64 8/3 (sin.f64 (.f64 x 1/2)))
9.0ms	(/.f64 (.f64 (sin.f64 (.f64 x 1/2)) (.f64 8/3 (sin.f64 (.f64 x 1/2)))) (sin.f64 x))
7.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 8/3 (sin.f64 (.f64 x 1/2))))
2.0ms	(sin.f64 (*.f64 x 1/2))

Compiler

Compiled 1467 to 1097 computations (25.2% saved)

series262.0ms (2.5%)

Error

0.4b

Counts

4 → 24

Calls

4 calls:

103.0ms	(/.f64 (.f64 (sin.f64 (.f64 x 1/2)) (.f64 8/3 (sin.f64 (.f64 x 1/2)))) (sin.f64 x))
66.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 8/3 (sin.f64 (.f64 x 1/2))))
36.0ms	(.f64 8/3 (sin.f64 (.f64 x 1/2)))
29.0ms	(sin.f64 (*.f64 x 1/2))

Compiler

Compiled 868 to 702 computations (19.1% saved)

simplify130.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

672×	`times-frac_binary64_13383`
637×	`associate-/l*_binary64_13322`
421×	`associate-l_binary64_13318`
406×	`cancel-sign-sub-inv_binary64_13343`
377×	`associate-r_binary64_13317`
255×	`associate-/r*_binary64_13321`
210×	`associate-*l/_binary64_13320`
186×	`associate-/l/_binary64_13324`
163×	`associate-*r/_binary64_13319`
146×	`associate-/r/_binary64_13323`
124×	`unswap-sqr_binary64_13345`
86×	`log-div_binary64_13464`
79×	`sub-neg_binary64_13370`
67×	`sqr-pow_binary64_13349`
65×	`log-prod_binary64_13463`
53×	`*-commutative_binary64_13308`
51×	`cube-div_binary64_13406`
49×	`distribute-rgt-neg-in_binary64_13335`
47×	`exp-prod_binary64_13429` `neg-sub0_binary64_13372`
46×	`neg-mul-1_binary64_13373`
45×	`distribute-lft-neg-in_binary64_13334`
44×	`swap-sqr_binary64_13344`
38×	`unpow3_binary64_13443`
35×	`cube-prod_binary64_13405` `+-commutative_binary64_13307`
26×	`pow-plus_binary64_13440`
23×	`associate--l+_binary64_13314`
14×	`*-lft-identity_binary64_13366`
13×	`*-rgt-identity_binary64_13367` `associate-+l+_binary64_13310`
12×	`associate--r+_binary64_13313`
11×	`log-pow_binary64_13466` `associate-+r+_binary64_13309`
10×	`cube-unmult_binary64_13414` `unsub-neg_binary64_13371` `distribute-rgt-out_binary64_13330`
8×	`pow-sqr_binary64_13350`
7×	`cube-mult_binary64_13407`
6×	`log-rec_binary64_13465` `distribute-neg-in_binary64_13338` `distribute-rgt-in_binary64_13327`
5×	`div-sub_binary64_13382` `distribute-neg-frac_binary64_13341`
4×	`/-rgt-identity_binary64_13368` `distribute-lft-neg-out_binary64_13336` `distribute-lft-out_binary64_13328`
3×	`distribute-rgt-out--_binary64_13331` `distribute-lft-out--_binary64_13329`
2×	`unpow2_binary64_13442` `unpow1/2_binary64_13441` `unpow1_binary64_13435` `rem-sqrt-square_binary64_13390`
1×	`1-exp_binary64_13421` `remove-double-neg_binary64_13365` `div0_binary64_13358` `count-2_binary64_13325`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-square-sqrt_binary64_13389` `mul-1-neg_binary64_13369` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-lft-in_binary64_13326` `associate--r-_binary64_13316` `associate--l-_binary64_13315` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311`

Counts

90 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	154	1812
1	366	1386
2	1077	1375
3	4074	1368
4	4890	1368
5	4981	1368
6	4907	1368

prune100.0ms (1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	48	13	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	13	62

Error

0.1b

Counts

62 → 13

Compiler

Compiled 1267 to 970 computations (23.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sin.f64 (*.f64 x 1/2))
0.3b	(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
0.4b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x)))
0.4b	(.f64 8/3 (sin.f64 (.f64 x 1/2)))

rewrite138.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
15×	`add-sqr-sqrt_binary64_13399`
11×	`add-cube-cbrt_binary64_13412` `*-un-lft-identity_binary64_13377`
10×	`associate-r_binary64_13317`
8×	`pow1_binary64_13438`
6×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `associate-l_binary64_13318` `times-frac_binary64_13383`
4×	`add-log-exp_binary64_13416` `div-exp_binary64_13428` `cbrt-undiv_binary64_13411`
3×	`associate-/r*_binary64_13321`
2×	`pow-prod-down_binary64_13448` `unswap-sqr_binary64_13345` `*-commutative_binary64_13308` `div-inv_binary64_13374`
1×	`associate-r/_binary64_13319` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `associate-/l_binary64_13322`

Counts

4 → 73

Calls

4 calls:

10.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x)))
6.0ms	(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
5.0ms	(.f64 8/3 (sin.f64 (.f64 x 1/2)))
2.0ms	(sin.f64 (*.f64 x 1/2))

Compiler

Compiled 1619 to 1184 computations (26.9% saved)

series297.0ms (2.9%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

113.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x)))
82.0ms	(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
45.0ms	(.f64 8/3 (sin.f64 (.f64 x 1/2)))
28.0ms	(sin.f64 (*.f64 x 1/2))

Compiler

Compiled 870 to 710 computations (18.4% saved)

simplify331.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

528×	`times-frac_binary64_13383`
445×	`associate-/l*_binary64_13322`
383×	`associate-*r/_binary64_13319`
380×	`associate-*l/_binary64_13320`
242×	`*-commutative_binary64_13308`
217×	`cancel-sign-sub-inv_binary64_13343`
185×	`associate-/r*_binary64_13321`
136×	`associate--l+_binary64_13314`
126×	`sub-neg_binary64_13370`
121×	`log-div_binary64_13464` `associate-/l/_binary64_13324`
118×	`associate-/r/_binary64_13323` `associate-+l-_binary64_13312`
115×	`associate-l_binary64_13318`
114×	`associate-r_binary64_13317`
110×	`cube-div_binary64_13406`
91×	`cube-prod_binary64_13405`
90×	`log-prod_binary64_13463`
81×	`neg-mul-1_binary64_13373`
76×	`sqr-pow_binary64_13349`
74×	`unswap-sqr_binary64_13345` `+-commutative_binary64_13307`
73×	`associate-+l+_binary64_13310`
71×	`neg-sub0_binary64_13372`
59×	`exp-prod_binary64_13429`
58×	`swap-sqr_binary64_13344`
57×	`distribute-rgt-neg-in_binary64_13335`
54×	`associate-+r+_binary64_13309`
50×	`associate--l-_binary64_13315` `associate--r+_binary64_13313`
48×	`unpow3_binary64_13443`
46×	`distribute-lft-neg-in_binary64_13334`
40×	`cube-mult_binary64_13407` `*-lft-identity_binary64_13366`
37×	`*-rgt-identity_binary64_13367`
25×	`/-rgt-identity_binary64_13368` `associate-+r-_binary64_13311`
20×	`log-rec_binary64_13465`
16×	`associate--r-_binary64_13316`
14×	`+-rgt-identity_binary64_13362` `distribute-rgt-in_binary64_13327`
12×	`cube-unmult_binary64_13414`
11×	`pow-sqr_binary64_13350`
10×	`pow-plus_binary64_13440` `unsub-neg_binary64_13371` `distribute-lft-in_binary64_13326`
9×	`remove-double-div_binary64_13353` `distribute-rgt-out_binary64_13330`
8×	`sub0-neg_binary64_13364` `distribute-neg-in_binary64_13338`
7×	`log-pow_binary64_13466`
5×	`unpow1/2_binary64_13441` `rem-sqrt-square_binary64_13390` `distribute-neg-frac_binary64_13341` `distribute-lft-out_binary64_13328`
4×	`distribute-rgt-out--_binary64_13331`
3×	`div-sub_binary64_13382` `count-2_binary64_13325`
2×	`unpow2_binary64_13442` `unpow1_binary64_13435` `distribute-lft-neg-out_binary64_13336` `distribute-lft-out--_binary64_13329`
1×	`1-exp_binary64_13421` `exp-1-e_binary64_13420` `remove-double-neg_binary64_13365`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-square-sqrt_binary64_13389` `mul-1-neg_binary64_13369` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332`

Counts

97 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	160	1898
1	375	1541
2	1169	1541
3	3703	1534
4	4700	1534
5	4913	1534
6	4916	1534

prune107.0ms (1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	59	5	64
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	63	14	77

Error

0.0b

Counts

77 → 14

Compiler

Compiled 1429 to 1094 computations (23.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3))
0.2b	(.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)))
0.3b	(/.f64 (.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x))
0.4b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x)))

rewrite226.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
20×	`add-sqr-sqrt_binary64_13399`
14×	`prod-exp_binary64_13426` `add-cube-cbrt_binary64_13412` `cbrt-unprod_binary64_13410` `-un-lft-identity_binary64_13377` `associate-r*_binary64_13317`
13×	`pow1_binary64_13438`
12×	`associate-l_binary64_13318`
7×	`sqrt-prod_binary64_13393`
6×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `times-frac_binary64_13383`
5×	`pow-prod-down_binary64_13448`
4×	`add-log-exp_binary64_13416`
3×	`unswap-sqr_binary64_13345` `-commutative_binary64_13308` `associate-/r_binary64_13321`
2×	`div-inv_binary64_13374`
1×	`associate-r/_binary64_13319` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `associate-/l_binary64_13322`

Counts

4 → 95

Calls

4 calls:

13.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x)))
10.0ms	(/.f64 (.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x))
9.0ms	(.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)))
6.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3))

Compiler

Compiled 2640 to 2092 computations (20.8% saved)

series501.0ms (4.9%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

180.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x)))
133.0ms	(/.f64 (.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x))
93.0ms	(.f64 (sqrt.f64 8/3) (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)))
57.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3))

Compiler

Compiled 1316 to 1156 computations (12.2% saved)

simplify102.0ms (1%)

Algorithm

1×	egg-herbie

Rules

599×	`associate-*l/_binary64_13320`
446×	`associate-/r*_binary64_13321`
401×	`*-commutative_binary64_13308`
283×	`associate-/r/_binary64_13323`
230×	`associate-/l/_binary64_13324`
225×	`unswap-sqr_binary64_13345`
199×	`associate-r_binary64_13317`
196×	`associate-l_binary64_13318`
176×	`sub-neg_binary64_13370`
166×	`cancel-sign-sub-inv_binary64_13343`
100×	`log-div_binary64_13464`
96×	`cube-div_binary64_13406` `sqr-pow_binary64_13349`
90×	`associate-/l*_binary64_13322`
88×	`associate-+l+_binary64_13310`
86×	`log-prod_binary64_13463`
81×	`cube-prod_binary64_13405`
76×	`distribute-rgt-neg-in_binary64_13335` `+-commutative_binary64_13307`
70×	`distribute-lft-neg-in_binary64_13334` `associate-*r/_binary64_13319`
66×	`times-frac_binary64_13383`
63×	`associate-+r+_binary64_13309`
56×	`exp-prod_binary64_13429`
51×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372`
40×	`associate--l+_binary64_13314` `associate-+l-_binary64_13312`
37×	`*-rgt-identity_binary64_13367`
36×	`swap-sqr_binary64_13344`
33×	`distribute-rgt-out_binary64_13330`
27×	`associate-+r-_binary64_13311`
25×	`*-lft-identity_binary64_13366`
23×	`distribute-lft-out_binary64_13328`
20×	`unpow3_binary64_13443`
16×	`cube-mult_binary64_13407`
15×	`/-rgt-identity_binary64_13368` `pow-sqr_binary64_13350`
14×	`associate--r+_binary64_13313`
13×	`unsub-neg_binary64_13371` `+-rgt-identity_binary64_13362`
11×	`cube-unmult_binary64_13414` `distribute-neg-frac_binary64_13341` `associate--l-_binary64_13315`
10×	`distribute-rgt-out--_binary64_13331`
9×	`sub0-neg_binary64_13364`
7×	`distribute-lft-out--_binary64_13329`
6×	`pow-plus_binary64_13440` `div-sub_binary64_13382`
5×	`log-pow_binary64_13466` `rem-sqrt-square_binary64_13390`
4×	`log-rec_binary64_13465` `unpow1/2_binary64_13441` `distribute-neg-in_binary64_13338` `distribute-lft-neg-out_binary64_13336` `distribute-rgt-in_binary64_13327`
3×	`unpow2_binary64_13442` `unpow1_binary64_13435`
2×	`count-2_binary64_13325`
1×	`1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-square-sqrt_binary64_13389` `remove-double-neg_binary64_13365` `div0_binary64_13358`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `mul-1-neg_binary64_13369` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-lft-in_binary64_13326` `associate--r-_binary64_13316`

Counts

119 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	2666
1	504	1996
2	1521	1974
3	4179	1959
4	5010	1959

prune154.0ms (1.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	5	8	13
Picked	0	1	1
Done	0	0	0
Total	99	14	113

Error

Counts

113 → 14

Compiler

Compiled 2188 to 1703 computations (22.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3))
0.1b	(.f64 (sqrt.f64 8/3) (sin.f64 (.f64 x 1/2)))
0.2b	(/.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3)) (sin.f64 x))
0.3b	(.f64 (.f64 (sqrt.f64 8/3) (sin.f64 (.f64 x 1/2))) (/.f64 (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sin.f64 x)))

rewrite219.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
22×	`add-sqr-sqrt_binary64_13399`
16×	`associate-r_binary64_13317`
14×	`prod-exp_binary64_13426` `add-cube-cbrt_binary64_13412` `cbrt-unprod_binary64_13410` `*-un-lft-identity_binary64_13377`
13×	`pow1_binary64_13438`
10×	`associate-l_binary64_13318`
8×	`sqrt-prod_binary64_13393`
6×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `times-frac_binary64_13383`
5×	`pow-prod-down_binary64_13448`
4×	`add-log-exp_binary64_13416` `unswap-sqr_binary64_13345`
3×	`-commutative_binary64_13308` `associate-/r_binary64_13321`
2×	`div-inv_binary64_13374`
1×	`associate-r/_binary64_13319` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `associate-/l_binary64_13322`

Counts

4 → 96

Calls

4 calls:

12.0ms	(.f64 (.f64 (sqrt.f64 8/3) (sin.f64 (.f64 x 1/2))) (/.f64 (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sin.f64 x)))
7.0ms	(/.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3)) (sin.f64 x))
6.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3))
6.0ms	(.f64 (sqrt.f64 8/3) (sin.f64 (.f64 x 1/2)))

Compiler

Compiled 2628 to 2070 computations (21.2% saved)

series442.0ms (4.3%)

Error

Counts

4 → 24

Calls

4 calls:

166.0ms	(.f64 (.f64 (sqrt.f64 8/3) (sin.f64 (.f64 x 1/2))) (/.f64 (.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sin.f64 x)))
108.0ms	(/.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3)) (sin.f64 x))
67.0ms	(.f64 (sqrt.f64 8/3) (sin.f64 (.f64 x 1/2)))
64.0ms	(.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 8/3))

Compiler

Compiled 1296 to 1136 computations (12.3% saved)

simplify156.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

432×	`*-commutative_binary64_13308`
366×	`associate-/l/_binary64_13324`
297×	`associate-/r*_binary64_13321`
287×	`associate-l_binary64_13318`
270×	`unswap-sqr_binary64_13345`
266×	`associate-/r/_binary64_13323`
221×	`cancel-sign-sub-inv_binary64_13343`
213×	`associate-r_binary64_13317`
149×	`log-prod_binary64_13463` `swap-sqr_binary64_13344`
139×	`log-div_binary64_13464`
129×	`sub-neg_binary64_13370`
117×	`cube-div_binary64_13406`
113×	`associate-/l*_binary64_13322`
102×	`sqr-pow_binary64_13349`
92×	`associate-+l+_binary64_13310`
91×	`cube-prod_binary64_13405`
79×	`associate-*r/_binary64_13319`
75×	`associate-+r+_binary64_13309`
73×	`associate-*l/_binary64_13320`
70×	`times-frac_binary64_13383`
66×	`exp-prod_binary64_13429`
59×	`unpow3_binary64_13443`
56×	`+-commutative_binary64_13307`
51×	`distribute-rgt-neg-in_binary64_13335`
46×	`-rgt-identity_binary64_13367` `-lft-identity_binary64_13366`
44×	`distribute-lft-neg-in_binary64_13334`
41×	`neg-mul-1_binary64_13373`
40×	`associate-+r-_binary64_13311`
39×	`neg-sub0_binary64_13372` `associate-+l-_binary64_13312`
31×	`distribute-rgt-out_binary64_13330`
30×	`associate--l+_binary64_13314`
25×	`unsub-neg_binary64_13371`
24×	`distribute-lft-out_binary64_13328`
20×	`log-rec_binary64_13465`
19×	`cube-mult_binary64_13407`
16×	`/-rgt-identity_binary64_13368` `pow-sqr_binary64_13350`
10×	`cube-unmult_binary64_13414` `+-rgt-identity_binary64_13362` `associate--l-_binary64_13315` `associate--r+_binary64_13313`
9×	`log-pow_binary64_13466` `pow-plus_binary64_13440`
7×	`unpow1/2_binary64_13441`
6×	`distribute-neg-frac_binary64_13341` `distribute-rgt-in_binary64_13327`
5×	`rem-sqrt-square_binary64_13390` `distribute-rgt-out--_binary64_13331`
4×	`unpow2_binary64_13442` `sub0-neg_binary64_13364` `distribute-lft-out--_binary64_13329` `distribute-lft-in_binary64_13326`
3×	`unpow1_binary64_13435` `div-sub_binary64_13382`
2×	`remove-double-div_binary64_13353` `distribute-neg-in_binary64_13338` `distribute-lft-neg-out_binary64_13336` `count-2_binary64_13325` `associate--r-_binary64_13316`
1×	`1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-square-sqrt_binary64_13389` `remove-double-neg_binary64_13365` `div0_binary64_13358` `+-inverses_binary64_13356`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `mul-1-neg_binary64_13369` `--rgt-identity_binary64_13363` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `*-inverses_binary64_13357` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332`

Counts

120 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	2523
1	446	2171
2	1622	2111
3	3559	2111
4	4884	2111
5	4983	2111
6	4920	2111

prune131.0ms (1.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	4	8	12
Picked	0	1	1
Done	1	0	1
Total	92	13	105

Error

Counts

105 → 13

Compiler

Compiled 1873 to 1477 computations (21.1% saved)

regimes653.0ms (6.3%)

Accuracy

Total 0.4b remaining (99.8%)

Threshold costs 0.4b (99.8%)

Compiler

Compiled 6324 to 5370 computations (15.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4× *-commutative_binary64_13308

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_13637 if-if-and_binary64_13636 if-if-or-not_binary64_13635 if-if-or_binary64_13634 if-not_binary64_13633 if-same_binary64_13632 if-false_binary64_13631 if-true_binary64_13630 tan-0_binary64_13506 cos-0_binary64_13505 sin-0_binary64_13504 unpow1_binary64_13435 e-exp-1_binary64_13422 1-exp_binary64_13421 exp-1-e_binary64_13420 exp-0_binary64_13419 sqr-abs_binary64_13392 sqr-neg_binary64_13391 neg-mul-1_binary64_13373 neg-sub0_binary64_13372 unsub-neg_binary64_13371 sub-neg_binary64_13370 mul-1-neg_binary64_13369 /-rgt-identity_binary64_13368 *-rgt-identity_binary64_13367 *-lft-identity_binary64_13366 remove-double-neg_binary64_13365 sub0-neg_binary64_13364 --rgt-identity_binary64_13363 +-rgt-identity_binary64_13362 +-lft-identity_binary64_13361 cancel-sign-sub-inv_binary64_13343 cancel-sign-sub_binary64_13342 distribute-neg-frac_binary64_13341 distribute-frac-neg_binary64_13340 distribute-neg-out_binary64_13339 distribute-neg-in_binary64_13338 distribute-rgt-neg-out_binary64_13337 distribute-lft-neg-out_binary64_13336 distribute-rgt-neg-in_binary64_13335 distribute-lft-neg-in_binary64_13334 +-commutative_binary64_13307

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	16	29
2	16	29

end0.0ms (0%)

sample5.2s (50.1%)

Algorithm

1×

intervals

Results

830.0ms	1975×	body	1024	valid
453.0ms	4575×	body	128	valid
289.0ms	971×	body	512	valid
91.0ms	472×	body	256	valid
5.0ms	7×	body	2048	valid

Compiler

Compiled 3196 to 2716 computations (15% saved)

Details

analyze932.0ms (9%)

sample63.0ms (0.6%)

simplify11.0ms (0.1%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite144.0ms (1.4%)

series262.0ms (2.5%)

simplify130.0ms (1.3%)

prune100.0ms (1%)

localize8.0ms (0.1%)

rewrite138.0ms (1.3%)

series297.0ms (2.9%)

simplify331.0ms (3.2%)

prune107.0ms (1%)

localize13.0ms (0.1%)

rewrite226.0ms (2.2%)

series501.0ms (4.9%)

simplify102.0ms (1%)

prune154.0ms (1.5%)

localize11.0ms (0.1%)

rewrite219.0ms (2.1%)

series442.0ms (4.3%)

simplify156.0ms (1.5%)

prune131.0ms (1.3%)

regimes653.0ms (6.3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample5.2s (50.1%)

Profiling