Details

analyze268.0ms (3.1%)

Algorithm

1×

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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
31.2%	68.6%	0.1%	8
39%	56.2%	4.8%	9
50.7%	43.7%	5.6%	10
60.3%	33.7%	6%	11
64.6%	26.5%	8.9%	12
70.5%	20.3%	9.2%	13
74.6%	16.1%	9.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify176.0ms (2%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_13307`
3×	`associate-+l+_binary64_13310` `associate-+r+_binary64_13309`
1×	`*-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` `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_13324` `associate-/r/_binary64_13323` `associate-/l_binary64_13322` `associate-/r_binary64_13321` `associate-l/_binary64_13320` `associate-r/_binary64_13319` `associate-l_binary64_13318` `associate-r*_binary64_13317` `associate--r-_binary64_13316` `associate--l-_binary64_13315` `associate--l+_binary64_13314` `associate--r+_binary64_13313` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	14	13
2	20	13
3	20	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
0.0b	(+.f64 (/.f64 x 2) (*.f64 y x))

rewrite46.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

9×	`add-log-exp_binary64_13416`
4×	`sum-log_binary64_13468` `*-un-lft-identity_binary64_13377`
2×	`pow1_binary64_13438` `add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413` `add-cube-cbrt_binary64_13412` `add-sqr-sqrt_binary64_13399` `flip3-+_binary64_13380` `flip-+_binary64_13351` `+-commutative_binary64_13307`
1×	`distribute-lft-out_binary64_13328` `associate-+l+_binary64_13310`

Counts

2 → 25

Calls

2 calls:

9.0ms	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
7.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

Compiler

Compiled 453 to 238 computations (47.5% saved)

series309.0ms (3.5%)

Error

0.0b

Counts

2 → 27

Calls

2 calls:

193.0ms	(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
99.0ms	(+.f64 (/.f64 x 2) (*.f64 y x))

Compiler

Compiled 479 to 368 computations (23.2% saved)

simplify135.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

355×	`associate-l_binary64_13318`
341×	`sub-neg_binary64_13370`
327×	`associate--l+_binary64_13314`
312×	`associate-/l*_binary64_13322`
268×	`distribute-rgt-out_binary64_13330`
253×	`associate-r_binary64_13317`
230×	`distribute-rgt-in_binary64_13327`
208×	`distribute-lft-in_binary64_13326`
193×	`associate-*l/_binary64_13320`
184×	`+-commutative_binary64_13307`
145×	`associate-*r/_binary64_13319`
132×	`unswap-sqr_binary64_13345`
128×	`distribute-lft-out_binary64_13328`
121×	`associate--r-_binary64_13316`
117×	`cancel-sign-sub-inv_binary64_13343`
116×	`*-commutative_binary64_13308`
101×	`times-frac_binary64_13383`
98×	`distribute-neg-in_binary64_13338` `associate-/r*_binary64_13321`
93×	`associate-/l/_binary64_13324`
84×	`associate-+l+_binary64_13310`
83×	`associate--r+_binary64_13313`
80×	`sqr-pow_binary64_13349`
76×	`distribute-rgt-neg-in_binary64_13335`
75×	`associate-/r/_binary64_13323`
74×	`associate-+l-_binary64_13312`
69×	`associate-+r-_binary64_13311`
66×	`unsub-neg_binary64_13371` `distribute-lft-neg-in_binary64_13334`
59×	`distribute-rgt-out--_binary64_13331` `associate-+r+_binary64_13309`
54×	`associate--l-_binary64_13315`
53×	`pow-sqr_binary64_13350`
48×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372`
43×	`distribute-lft-neg-out_binary64_13336`
35×	`sub0-neg_binary64_13364`
33×	`div-sub_binary64_13382`
28×	`distribute-rgt-neg-out_binary64_13337`
27×	`distribute-neg-frac_binary64_13341`
24×	`distribute-lft-out--_binary64_13329`
22×	`+-rgt-identity_binary64_13362`
17×	`exp-sum_binary64_13423`
13×	`cube-unmult_binary64_13414`
8×	`difference-of-squares_binary64_13346` `distribute-neg-out_binary64_13339`
7×	`unpow3_binary64_13443` `cube-mult_binary64_13407` `cancel-sign-sub_binary64_13342`
6×	`remove-double-neg_binary64_13365`
5×	`prod-exp_binary64_13426`
4×	`pow-plus_binary64_13440`
2×	`exp-prod_binary64_13429` `exp-diff_binary64_13425` `cube-prod_binary64_13405` `mul-1-neg_binary64_13369` `--rgt-identity_binary64_13363` `div0_binary64_13358` `swap-sqr_binary64_13344`
1×	`exp-sqrt_binary64_13430` `cube-div_binary64_13406` `*-inverses_binary64_13357` `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` `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` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `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` `div-exp_binary64_13428` `rec-exp_binary64_13427` `exp-neg_binary64_13424` `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-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` `/-rgt-identity_binary64_13368` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `+-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` `distribute-frac-neg_binary64_13340` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332`

Counts

52 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	670
1	181	643
2	514	634
3	1575	628
4	2893	628

prune125.0ms (1.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	2	109

Error

0.0b

Counts

109 → 2

Compiler

Compiled 2379 to 1225 computations (48.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (*.f64 x (+.f64 y 1/2)) z)

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_13416`
2×	`associate-+l+_binary64_13310`
1×	`sum-log_binary64_13468` `pow1_binary64_13438` `add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413` `add-cube-cbrt_binary64_13412` `add-sqr-sqrt_binary64_13399` `flip3-+_binary64_13380` `*-un-lft-identity_binary64_13377` `flip-+_binary64_13351` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `+-commutative_binary64_13307`

Counts

1 → 13

Calls

1 calls:

6.0ms

(+.f64 (*.f64 x (+.f64 y 1/2)) z)

Compiler

Compiled 196 to 127 computations (35.2% saved)

series209.0ms (2.4%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

199.0ms

(+.f64 (*.f64 x (+.f64 y 1/2)) z)

Compiler

Compiled 305 to 238 computations (22% saved)

simplify150.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

590×	`cancel-sign-sub-inv_binary64_13343`
411×	`distribute-rgt-in_binary64_13327`
400×	`distribute-lft-in_binary64_13326`
321×	`*-commutative_binary64_13308`
316×	`associate--r+_binary64_13313`
262×	`distribute-neg-in_binary64_13338`
242×	`distribute-rgt-out--_binary64_13331`
237×	`distribute-rgt-neg-in_binary64_13335`
203×	`+-commutative_binary64_13307`
201×	`sub-neg_binary64_13370`
193×	`associate-+l-_binary64_13312`
192×	`associate--l+_binary64_13314`
181×	`unsub-neg_binary64_13371`
164×	`distribute-lft-out_binary64_13328`
162×	`distribute-lft-neg-in_binary64_13334`
146×	`cancel-sign-sub_binary64_13342`
143×	`distribute-rgt-out_binary64_13330` `associate-l_binary64_13318`
118×	`associate-+r-_binary64_13311`
115×	`distribute-lft-neg-out_binary64_13336`
110×	`associate-r_binary64_13317`
108×	`neg-mul-1_binary64_13373` `unswap-sqr_binary64_13345`
96×	`distribute-rgt-neg-out_binary64_13337`
94×	`neg-sub0_binary64_13372`
85×	`sqr-pow_binary64_13349`
69×	`associate-+l+_binary64_13310`
61×	`associate--r-_binary64_13316`
59×	`associate-+r+_binary64_13309`
58×	`sub0-neg_binary64_13364`
54×	`pow-sqr_binary64_13350`
48×	`exp-sum_binary64_13423`
40×	`distribute-neg-out_binary64_13339`
37×	`associate--l-_binary64_13315`
35×	`+-rgt-identity_binary64_13362`
22×	`distribute-lft-out--_binary64_13329`
19×	`associate-/l/_binary64_13324`
18×	`remove-double-neg_binary64_13365`
16×	`--rgt-identity_binary64_13363`
15×	`swap-sqr_binary64_13344`
13×	`+-lft-identity_binary64_13361`
11×	`times-frac_binary64_13383` `associate-/l*_binary64_13322`
10×	`associate-*r/_binary64_13319`
9×	`exp-prod_binary64_13429` `exp-diff_binary64_13425`
8×	`cube-unmult_binary64_13414`
7×	`difference-of-squares_binary64_13346`
6×	`cube-prod_binary64_13405`
5×	`/-rgt-identity_binary64_13368`
4×	`unpow3_binary64_13443` `pow-plus_binary64_13440` `cube-mult_binary64_13407`
2×	`distribute-rgt1-in_binary64_13333` `associate-/r/_binary64_13323` `associate-*l/_binary64_13320`
1×	`unpow1/2_binary64_13441` `prod-exp_binary64_13426` `exp-neg_binary64_13424` `1-exp_binary64_13421` `cube-neg_binary64_13404` `sqr-neg_binary64_13391` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `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` `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` `unpow2_binary64_13442` `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` `div-exp_binary64_13428` `rec-exp_binary64_13427` `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-div_binary64_13406` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `div-sub_binary64_13382` `mul-1-neg_binary64_13369` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `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` `distribute-neg-frac_binary64_13341` `distribute-frac-neg_binary64_13340` `distribute-lft1-in_binary64_13332` `associate-/r*_binary64_13321`

Counts

31 → 31

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	39	354
1	103	333
2	379	327
3	1749	327
4	2258	327
5	4197	327

prune31.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

33 → 2

Compiler

Compiled 500 to 319 computations (36.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 y 1/2)) z)) (cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z)))
0.6b	(cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z))
0.6b	(cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z))
0.6b	(cbrt.f64 (+.f64 z (*.f64 x (+.f64 y 1/2))))

rewrite221.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_13408`
23×	`add-sqr-sqrt_binary64_13399`
18×	`cbrt-div_binary64_13409`
15×	`add-cube-cbrt_binary64_13412` `*-un-lft-identity_binary64_13377`
11×	`pow1_binary64_13438`
9×	`pow1/3_binary64_13459` `flip3-+_binary64_13380` `flip-+_binary64_13351`
6×	`add-exp-log_binary64_13415` `swap-sqr_binary64_13344` `associate-l_binary64_13318` `associate-r_binary64_13317`
4×	`add-log-exp_binary64_13416` `add-cbrt-cube_binary64_13413` `frac-times_binary64_13387` `unswap-sqr_binary64_13345`
2×	`pow-prod-down_binary64_13448` `pow-prod-up_binary64_13447` `pow-sqr_binary64_13350` `associate-l/_binary64_13320` `associate-r/_binary64_13319`
1×	`pow2_binary64_13458` `pow-plus_binary64_13440` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `*-commutative_binary64_13308`

Counts

4 → 87

Calls

4 calls:

17.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 y 1/2)) z)) (cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z)))
6.0ms	(cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z))
6.0ms	(cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x (+.f64 y 1/2))))

Compiler

Compiled 3392 to 2280 computations (32.8% saved)

series2.8s (31.9%)

Error

0.0b

Counts

4 → 85

Calls

4 calls:

977.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x (+.f64 y 1/2)) z)) (cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z)))
510.0ms	(cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z))
506.0ms	(cbrt.f64 (+.f64 z (*.f64 x (+.f64 y 1/2))))
504.0ms	(cbrt.f64 (+.f64 (*.f64 x (+.f64 y 1/2)) z))

Compiler

Compiled 13411 to 10442 computations (22.1% saved)

simplify1.7s (19.7%)

Algorithm

1×	egg-herbie

Rules

330×	`times-frac_binary64_13383`
313×	`associate-r_binary64_13317`
265×	`associate-/r*_binary64_13321`
245×	`associate-l_binary64_13318`
228×	`associate-/l*_binary64_13322`
213×	`sub-neg_binary64_13370`
194×	`*-commutative_binary64_13308`
145×	`sqr-pow_binary64_13349`
140×	`unswap-sqr_binary64_13345`
126×	`+-commutative_binary64_13307`
120×	`associate-*r/_binary64_13319`
117×	`associate-*l/_binary64_13320`
88×	`associate-+r+_binary64_13309`
82×	`associate-+l+_binary64_13310`
71×	`neg-mul-1_binary64_13373`
69×	`neg-sub0_binary64_13372`
59×	`cancel-sign-sub-inv_binary64_13343` `associate--r+_binary64_13313`
57×	`pow-sqr_binary64_13350` `associate--l+_binary64_13314`
51×	`distribute-rgt-in_binary64_13327`
45×	`unsub-neg_binary64_13371` `distribute-lft-in_binary64_13326`
41×	`exp-sum_binary64_13423`
39×	`exp-prod_binary64_13429`
29×	`distribute-rgt-neg-in_binary64_13335`
27×	`log-prod_binary64_13463` `associate-/r/_binary64_13323`
22×	`unpow1/3_binary64_13444`
19×	`distribute-neg-in_binary64_13338`
18×	`distribute-lft-neg-in_binary64_13334`
15×	`*-rgt-identity_binary64_13367`
14×	`/-rgt-identity_binary64_13368`
13×	`pow-plus_binary64_13440` `*-lft-identity_binary64_13366` `distribute-lft-neg-out_binary64_13336`
12×	`distribute-rgt-out_binary64_13330`
11×	`log-div_binary64_13464` `cube-prod_binary64_13405`
10×	`difference-of-squares_binary64_13346`
9×	`exp-diff_binary64_13425` `div-sub_binary64_13382`
7×	`cube-unmult_binary64_13414`
6×	`log-pow_binary64_13466` `unpow2_binary64_13442` `unpow1_binary64_13435`
5×	`log-rec_binary64_13465` `unpow3_binary64_13443` `cube-mult_binary64_13407` `rem-sqrt-square_binary64_13390` `distribute-lft-out--_binary64_13329` `associate--r-_binary64_13316`
4×	`remove-double-neg_binary64_13365` `distribute-rgt-neg-out_binary64_13337`
3×	`cube-div_binary64_13406` `rem-3cbrt-lft_binary64_13402` `swap-sqr_binary64_13344` `distribute-rgt-out--_binary64_13331` `distribute-lft-out_binary64_13328` `count-2_binary64_13325`
2×	`exp-sqrt_binary64_13430` `--rgt-identity_binary64_13363` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311`
1×	`prod-exp_binary64_13426` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-log-exp_binary64_13418` `rem-3cbrt-rft_binary64_13403` `rem-cbrt-cube_binary64_13401` `rem-square-sqrt_binary64_13389` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `distribute-neg-frac_binary64_13341`
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/2_binary64_13441` `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` `div-exp_binary64_13428` `rec-exp_binary64_13427` `exp-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `mul-1-neg_binary64_13369` `sub0-neg_binary64_13364` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `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` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `associate-/l/_binary64_13324` `associate--l-_binary64_13315`

Counts

172 → 302

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	389	7696
1	1117	6999
2	4680	6684

prune1.3s (15.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

304 → 2

Compiler

Compiled 15684 to 9670 computations (38.3% saved)

regimes206.0ms (2.3%)

Accuracy

Total 0.0b remaining (70.7%)

Threshold costs 0.0b (70.7%)

Compiler

Compiled 1372 to 1156 computations (15.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_13307`
1×	`*-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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	11	10

Proof

(+ f64 (* f64 h0 (+ f64 h1 1/2)) h2)

end0.0ms (0%)

sample970.0ms (11%)

Algorithm

1×

intervals

Results

228.0ms	7998×	body	128	valid
8.0ms	309×	body	128	invalid
0.0ms	2×	body	1024	valid

Compiler

Compiled 255 to 218 computations (14.5% saved)

Details

analyze268.0ms (3.1%)

sample17.0ms (0.2%)

simplify176.0ms (2%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite46.0ms (0.5%)

series309.0ms (3.5%)

simplify135.0ms (1.5%)

prune125.0ms (1.4%)

localize5.0ms (0.1%)

rewrite18.0ms (0.2%)

series209.0ms (2.4%)

simplify150.0ms (1.7%)

prune31.0ms (0.4%)

localize12.0ms (0.1%)

rewrite221.0ms (2.5%)

series2.8s (31.9%)

simplify1.7s (19.7%)

prune1.3s (15.3%)

regimes206.0ms (2.3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample970.0ms (11%)

Profiling