Details

analyze1.1s (12%)

Algorithm

1×	search
2×	egg-herbie

Rules

997×	`div-sub_binary64_12359`
387×	`cancel-sign-sub-inv_binary64_12320`
358×	`times-frac_binary64_12360`
329×	`distribute-rgt-in_binary64_12304` `associate-/l*_binary64_12299`
280×	`distribute-rgt-neg-in_binary64_12312`
263×	`neg-mul-1_binary64_12350`
253×	`distribute-neg-frac_binary64_12318`
246×	`distribute-lft-neg-in_binary64_12311`
218×	`sub-neg_binary64_12347`
201×	`neg-sub0_binary64_12349`
184×	`associate-/r/_binary64_12300`
105×	`associate-/l/_binary64_12301`
91×	`associate-r_binary64_12294`
89×	`distribute-frac-neg_binary64_12317`
78×	`*-commutative_binary64_12285`
70×	`associate-/r*_binary64_12298`
54×	`unsub-neg_binary64_12348`
45×	`distribute-neg-in_binary64_12315`
43×	`+-commutative_binary64_12284`
41×	`div0_binary64_12335` `associate-l_binary64_12295`
27×	`distribute-lft-in_binary64_12303`
22×	`associate-*l/_binary64_12297`
19×	`sub0-neg_binary64_12341`
18×	`*-rgt-identity_binary64_12344` `distribute-lft-neg-out_binary64_12313`
15×	`mul0-rgt_binary64_12337` `mul0-lft_binary64_12336`
13×	`associate-+l-_binary64_12289` `associate-+r-_binary64_12288` `associate-+l+_binary64_12287`
11×	`distribute-rgt-out--_binary64_12308`
8×	`/-rgt-identity_binary64_12345` `+-rgt-identity_binary64_12339`
4×	`*-inverses_binary64_12334`
1×	`1-exp_binary64_12398`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `log-pow_binary64_12443` `log-rec_binary64_12442` `log-div_binary64_12441` `log-prod_binary64_12440` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow3_binary64_12420` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `exp-prod_binary64_12406` `div-exp_binary64_12405` `rec-exp_binary64_12404` `prod-exp_binary64_12403` `exp-diff_binary64_12402` `exp-neg_binary64_12401` `exp-sum_binary64_12400` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-unmult_binary64_12391` `cube-mult_binary64_12384` `cube-div_binary64_12383` `cube-prod_binary64_12382` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-3cbrt-lft_binary64_12379` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366` `mul-1-neg_binary64_12346` `-lft-identity_binary64_12343` `remove-double-neg_binary64_12342` `--rgt-identity_binary64_12340` `+-lft-identity_binary64_12338` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `pow-sqr_binary64_12327` `sqr-pow_binary64_12326` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `difference-of-squares_binary64_12323` `unswap-sqr_binary64_12322` `swap-sqr_binary64_12321` `cancel-sign-sub_binary64_12319` `distribute-neg-out_binary64_12316` `distribute-rgt-neg-out_binary64_12314` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-rgt-out_binary64_12307` `distribute-lft-out--_binary64_12306` `distribute-lft-out_binary64_12305` `count-2_binary64_12302` `associate-r/_binary64_12296` `associate--r-_binary64_12293` `associate--l-_binary64_12292` `associate--l+_binary64_12291` `associate--r+_binary64_12290` `associate-+r+_binary64_12286`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	175
1	123	175
2	319	175
3	840	154
4	2432	133
5	4384	133
6	4873	133
7	5065	133
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample22.0ms (0.3%)

Algorithm

1×

intervals

Results

11.0ms

256×

body

128

valid

Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify64.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

504×	`associate-*l/_binary64_12297`
495×	`div-sub_binary64_12359`
454×	`cancel-sign-sub-inv_binary64_12320`
429×	`sub-neg_binary64_12347`
348×	`associate-l_binary64_12295`
337×	`neg-mul-1_binary64_12350`
323×	`distribute-neg-frac_binary64_12318`
293×	`distribute-lft-neg-in_binary64_12311`
282×	`distribute-rgt-neg-in_binary64_12312`
278×	`distribute-rgt-in_binary64_12304`
271×	`neg-sub0_binary64_12349`
226×	`distribute-lft-in_binary64_12303`
146×	`unsub-neg_binary64_12348`
145×	`associate-/l*_binary64_12299`
92×	`*-commutative_binary64_12285`
68×	`associate-/r/_binary64_12300`
65×	`distribute-rgt-neg-out_binary64_12314`
63×	`distribute-frac-neg_binary64_12317`
59×	`times-frac_binary64_12360`
58×	`swap-sqr_binary64_12321`
56×	`associate-/r*_binary64_12298`
53×	`distribute-lft-neg-out_binary64_12313`
51×	`associate-+r-_binary64_12288`
41×	`associate-r_binary64_12294`
35×	`associate-*r/_binary64_12296`
34×	`cube-prod_binary64_12382`
32×	`*-rgt-identity_binary64_12344`
30×	`distribute-neg-in_binary64_12315`
29×	`associate--r-_binary64_12293`
28×	`associate-/l/_binary64_12301` `+-commutative_binary64_12284`
25×	`distribute-lft-out--_binary64_12306`
24×	`div0_binary64_12335`
20×	`associate--r+_binary64_12290`
19×	`*-lft-identity_binary64_12343`
17×	`cube-div_binary64_12383`
16×	`sub0-neg_binary64_12341` `associate-+l-_binary64_12289`
12×	`mul0-lft_binary64_12336`
11×	`mul0-rgt_binary64_12337`
8×	`associate-+r+_binary64_12286`
7×	`+-lft-identity_binary64_12338` `associate--l-_binary64_12292`
6×	`/-rgt-identity_binary64_12345` `--rgt-identity_binary64_12340` `+-rgt-identity_binary64_12339` `associate-+l+_binary64_12287`
4×	`distribute-rgt-out--_binary64_12308`
3×	`sqr-neg_binary64_12368` `*-inverses_binary64_12334` `distribute-lft-out_binary64_12305`
2×	`cube-unmult_binary64_12391` `remove-double-neg_binary64_12342` `associate--l+_binary64_12291`
1×	`unpow3_binary64_12420` `1-exp_binary64_12398` `cube-neg_binary64_12381` `lft-mult-inverse_binary64_12332` `remove-double-div_binary64_12330`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `log-pow_binary64_12443` `log-rec_binary64_12442` `log-div_binary64_12441` `log-prod_binary64_12440` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow1_binary64_12412` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `exp-prod_binary64_12406` `div-exp_binary64_12405` `rec-exp_binary64_12404` `prod-exp_binary64_12403` `exp-diff_binary64_12402` `exp-neg_binary64_12401` `exp-sum_binary64_12400` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-mult_binary64_12384` `rem-3cbrt-rft_binary64_12380` `rem-3cbrt-lft_binary64_12379` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366` `mul-1-neg_binary64_12346` `+-inverses_binary64_12333` `rgt-mult-inverse_binary64_12331` `pow-sqr_binary64_12327` `sqr-pow_binary64_12326` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `difference-of-squares_binary64_12323` `unswap-sqr_binary64_12322` `cancel-sign-sub_binary64_12319` `distribute-neg-out_binary64_12316` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-rgt-out_binary64_12307` `count-2_binary64_12302`

Counts

1 → 1

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	25
1	29	25
2	68	25
3	167	22
4	460	19
5	999	19
6	2280	19
7	4268	19
8	5059	19

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

2.6b

Counts

2 → 2

Compiler

Compiled 43 to 36 computations (16.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))
0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
5.5b	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))
5.9b	(/.f64 (.f64 y t) (.f64 2 z))

rewrite189.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

45×	`add-sqr-sqrt_binary64_12376`
42×	`*-un-lft-identity_binary64_12354`
33×	`times-frac_binary64_12360`
26×	`cancel-sign-sub-inv_binary64_12320`
24×	`add-cube-cbrt_binary64_12389`
18×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390`
10×	`difference-of-squares_binary64_12323`
9×	`distribute-lft-out--_binary64_12306`
8×	`add-log-exp_binary64_12393`
6×	`associate-/r*_binary64_12298`
5×	`div-exp_binary64_12405` `cbrt-undiv_binary64_12388`
4×	`pow1_binary64_12415` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `div-inv_binary64_12351` `associate-/l*_binary64_12299` `flip3--_binary64_12358` `associate-/r/_binary64_12300` `flip--_binary64_12329`
2×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `diff-log_binary64_12446` `sub-neg_binary64_12347`

Counts

4 → 111

Calls

4 calls:

14.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
7.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))
6.0ms	(/.f64 (.f64 y t) (.f64 2 z))
6.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))

Compiler

Compiled 2761 to 1404 computations (49.1% saved)

series911.0ms (10.4%)

Error

0.2b

Counts

4 → 65

Calls

4 calls:

316.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
228.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))
185.0ms	(/.f64 (.f64 y t) (.f64 2 z))
141.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

Compiler

Compiled 1946 to 1461 computations (24.9% saved)

simplify130.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

476×	`associate-/l/_binary64_12301`
240×	`distribute-rgt-neg-in_binary64_12312`
228×	`cancel-sign-sub-inv_binary64_12320`
223×	`distribute-neg-frac_binary64_12318`
211×	`distribute-lft-neg-in_binary64_12311`
201×	`exp-prod_binary64_12406`
186×	`distribute-rgt-in_binary64_12304`
180×	`times-frac_binary64_12360`
170×	`distribute-lft-in_binary64_12303`
141×	`associate-/l*_binary64_12299`
124×	`associate-l/_binary64_12297` `-commutative_binary64_12285`
111×	`associate-*r/_binary64_12296`
109×	`neg-sub0_binary64_12349`
104×	`sub-neg_binary64_12347`
99×	`neg-mul-1_binary64_12350`
98×	`log-prod_binary64_12440`
92×	`associate-l_binary64_12295`
89×	`distribute-lft-neg-out_binary64_12313`
84×	`associate-/r*_binary64_12298`
78×	`associate-r_binary64_12294`
76×	`div-sub_binary64_12359`
72×	`distribute-rgt-neg-out_binary64_12314`
62×	`log-div_binary64_12441`
34×	`+-commutative_binary64_12284`
31×	`sqr-pow_binary64_12326`
28×	`distribute-frac-neg_binary64_12317`
27×	`unpow3_binary64_12420`
26×	`distribute-rgt-out_binary64_12307`
24×	`cube-div_binary64_12383`
23×	`unswap-sqr_binary64_12322`
22×	`associate-/r/_binary64_12300`
17×	`cube-prod_binary64_12382` `*-rgt-identity_binary64_12344` `distribute-neg-in_binary64_12315`
14×	`unsub-neg_binary64_12348`
13×	`swap-sqr_binary64_12321`
12×	`exp-sqrt_binary64_12407`
9×	`exp-diff_binary64_12402`
8×	`cube-mult_binary64_12384` `div0_binary64_12335` `difference-of-squares_binary64_12323` `distribute-neg-out_binary64_12316`
7×	`associate--r+_binary64_12290`
6×	`exp-sum_binary64_12400` `/-rgt-identity_binary64_12345`
5×	`cube-unmult_binary64_12391` `associate--l+_binary64_12291` `associate-+r-_binary64_12288` `associate-+l+_binary64_12287`
4×	`log-pow_binary64_12443` `*-lft-identity_binary64_12343` `+-rgt-identity_binary64_12339` `distribute-lft-out_binary64_12305` `associate-+r+_binary64_12286`
3×	`rem-3cbrt-lft_binary64_12379` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366`
2×	`div-exp_binary64_12405` `mul-1-neg_binary64_12346` `remove-double-neg_binary64_12342` `pow-sqr_binary64_12327` `distribute-rgt-out--_binary64_12308`
1×	`log-rec_binary64_12442` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `unpow1_binary64_12412` `1-exp_binary64_12398` `*-inverses_binary64_12334` `cancel-sign-sub_binary64_12319` `associate--r-_binary64_12293`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `rec-exp_binary64_12404` `prod-exp_binary64_12403` `exp-neg_binary64_12401` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-lft-out--_binary64_12306` `count-2_binary64_12302` `associate--l-_binary64_12292` `associate-+l-_binary64_12289`

Counts

176 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	3517
1	606	3442
2	2186	3246
3	4631	3246
4	4968	3246

prune127.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	115	3	118

Error

0.2b

Counts

118 → 3

Compiler

Compiled 2432 to 1086 computations (55.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 2 (/.f64 z t))
0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t))))))
5.2b	(/.f64 y (*.f64 2 (/.f64 z t)))
5.5b	(/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t)))))

rewrite194.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

57×	`add-sqr-sqrt_binary64_12376`
49×	`*-un-lft-identity_binary64_12354`
44×	`times-frac_binary64_12360`
33×	`add-cube-cbrt_binary64_12389`
21×	`cancel-sign-sub-inv_binary64_12320`
20×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390`
13×	`associate-r_binary64_12294`
9×	`difference-of-squares_binary64_12323`
8×	`distribute-lft-out--_binary64_12306`
6×	`pow1_binary64_12415` `div-exp_binary64_12405` `add-log-exp_binary64_12393` `cbrt-undiv_binary64_12388` `associate-/l_binary64_12299` `associate-/r_binary64_12298`
5×	`associate-/r/_binary64_12300`
4×	`div-inv_binary64_12351` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387`
3×	`flip3--_binary64_12358` `flip--_binary64_12329` `associate-l_binary64_12295`
2×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `associate-*r/_binary64_12296` `unswap-sqr_binary64_12322`
1×	`diff-log_binary64_12446` `sub-neg_binary64_12347` `pow-prod-down_binary64_12425` `*-commutative_binary64_12285`

Counts

4 → 128

Calls

4 calls:

15.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t))))))
9.0ms	(/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t)))))
8.0ms	(*.f64 2 (/.f64 z t))
7.0ms	(/.f64 y (*.f64 2 (/.f64 z t)))

Compiler

Compiled 3024 to 1514 computations (49.9% saved)

series770.0ms (8.8%)

Error

0.0b

Counts

4 → 53

Calls

4 calls:

316.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t))))))
184.0ms	(/.f64 y (*.f64 2 (/.f64 z t)))
150.0ms	(/.f64 y (-.f64 z (/.f64 y (*.f64 2 (/.f64 z t)))))
84.0ms	(*.f64 2 (/.f64 z t))

Compiler

Compiled 1679 to 1292 computations (23% saved)

simplify131.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

754×	`times-frac_binary64_12360`
421×	`associate-/l/_binary64_12301`
221×	`div-sub_binary64_12359`
171×	`distribute-neg-frac_binary64_12318`
168×	`distribute-rgt-in_binary64_12304`
150×	`distribute-lft-in_binary64_12303`
130×	`associate-*l/_binary64_12297`
128×	`associate-*r/_binary64_12296`
125×	`distribute-rgt-neg-in_binary64_12312`
121×	`associate-/l*_binary64_12299`
116×	`*-commutative_binary64_12285`
115×	`cancel-sign-sub-inv_binary64_12320`
111×	`distribute-lft-neg-in_binary64_12311`
101×	`neg-sub0_binary64_12349`
99×	`sub-neg_binary64_12347`
95×	`neg-mul-1_binary64_12350`
77×	`exp-prod_binary64_12406`
73×	`associate-/r*_binary64_12298`
71×	`distribute-lft-neg-out_binary64_12313`
59×	`distribute-rgt-neg-out_binary64_12314`
51×	`associate-l_binary64_12295`
49×	`associate-/r/_binary64_12300`
46×	`associate-r_binary64_12294`
35×	`log-prod_binary64_12440`
34×	`+-commutative_binary64_12284`
33×	`cube-prod_binary64_12382`
30×	`sqr-pow_binary64_12326`
29×	`log-div_binary64_12441`
28×	`cube-div_binary64_12383`
27×	`distribute-frac-neg_binary64_12317`
24×	`distribute-rgt-out_binary64_12307`
22×	`exp-sum_binary64_12400`
21×	`distribute-neg-in_binary64_12315`
19×	`*-rgt-identity_binary64_12344`
16×	`unpow3_binary64_12420`
14×	`unsub-neg_binary64_12348`
11×	`exp-diff_binary64_12402` `unswap-sqr_binary64_12322`
10×	`cube-unmult_binary64_12391`
8×	`cube-mult_binary64_12384` `/-rgt-identity_binary64_12345` `distribute-neg-out_binary64_12316`
7×	`div0_binary64_12335` `difference-of-squares_binary64_12323` `associate--r+_binary64_12290`
5×	`sqr-neg_binary64_12368` `mul-1-neg_binary64_12346` `*-lft-identity_binary64_12343` `swap-sqr_binary64_12321` `associate-+l+_binary64_12287`
4×	`exp-neg_binary64_12401` `associate-+r-_binary64_12288` `associate-+r+_binary64_12286`
3×	`log-pow_binary64_12443` `rem-square-sqrt_binary64_12366` `associate--r-_binary64_12293`
2×	`unpow1_binary64_12412` `exp-sqrt_binary64_12407` `rem-3cbrt-rft_binary64_12380` `rem-3cbrt-lft_binary64_12379` `rem-sqrt-square_binary64_12367` `+-rgt-identity_binary64_12339` `pow-sqr_binary64_12327` `distribute-rgt-out--_binary64_12308`
1×	`unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `exp-lft-sqr_binary64_12409` `div-exp_binary64_12405` `prod-exp_binary64_12403` `1-exp_binary64_12398` `cube-neg_binary64_12381` `remove-double-neg_binary64_12342` `associate--l+_binary64_12291` `associate-+l-_binary64_12289`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `log-rec_binary64_12442` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-cbrt_binary64_12408` `rec-exp_binary64_12404` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `*-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `cancel-sign-sub_binary64_12319` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-lft-out--_binary64_12306` `distribute-lft-out_binary64_12305` `count-2_binary64_12302` `associate--l-_binary64_12292`

Counts

181 → 115

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	243	3195
1	644	3114
2	1983	3077
3	4633	3077
4	5141	3077

prune118.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	115	3	118

Error

0.2b

Counts

118 → 3

Compiler

Compiled 2212 to 1016 computations (54.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.5b	(*.f64 (/.f64 y z) t)
8.8b	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
8.8b	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
8.8b	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))

rewrite174.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

20×	`add-sqr-sqrt_binary64_12376`
15×	`add-cube-cbrt_binary64_12389` `*-un-lft-identity_binary64_12354`
13×	`associate-l_binary64_12295`
10×	`times-frac_binary64_12360`
9×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `cbrt-prod_binary64_12385`
6×	`pow1_binary64_12415` `cbrt-div_binary64_12386`
4×	`add-log-exp_binary64_12393`
3×	`pow1/3_binary64_12436` `flip3--_binary64_12358` `flip--_binary64_12329` `associate-r_binary64_12294`
2×	`prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `unswap-sqr_binary64_12322`
1×	`pow-prod-down_binary64_12425` `div-exp_binary64_12405` `cbrt-undiv_binary64_12388` `associate-l/_binary64_12297` `div-inv_binary64_12351` `-commutative_binary64_12285`

Counts

4 → 71

Calls

4 calls:

7.0ms	(*.f64 (/.f64 y z) t)
4.0ms	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
3.0ms	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
3.0ms	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))

Compiler

Compiled 3409 to 1657 computations (51.4% saved)

series1.4s (16.2%)

Error

0.2b

Counts

4 → 60

Calls

4 calls:

380.0ms	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
376.0ms	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
373.0ms	(cbrt.f64 (-.f64 z (.f64 1/2 (.f64 (/.f64 y z) t))))
162.0ms	(*.f64 (/.f64 y z) t)

Compiler

Compiled 8103 to 5465 computations (32.6% saved)

simplify90.0ms (1%)

Algorithm

1×	egg-herbie

Rules

604×	`times-frac_binary64_12360`
440×	`associate-/l*_binary64_12299`
429×	`associate-*l/_binary64_12297`
337×	`associate-/r*_binary64_12298`
209×	`distribute-rgt-neg-in_binary64_12312`
203×	`distribute-lft-neg-in_binary64_12311`
151×	`cancel-sign-sub-inv_binary64_12320`
122×	`associate-/r/_binary64_12300`
106×	`associate-r_binary64_12294`
100×	`distribute-neg-frac_binary64_12318`
88×	`associate-l_binary64_12295`
83×	`*-commutative_binary64_12285`
77×	`associate-*r/_binary64_12296`
65×	`log-prod_binary64_12440`
57×	`sub-neg_binary64_12347`
51×	`sqr-pow_binary64_12326`
49×	`distribute-lft-in_binary64_12303`
48×	`distribute-rgt-in_binary64_12304`
47×	`neg-mul-1_binary64_12350` `neg-sub0_binary64_12349`
33×	`exp-sum_binary64_12400`
31×	`associate-/l/_binary64_12301`
26×	`log-div_binary64_12441`
25×	`distribute-rgt-out_binary64_12307`
23×	`unswap-sqr_binary64_12322` `+-commutative_binary64_12284`
21×	`exp-prod_binary64_12406` `cube-prod_binary64_12382`
19×	`swap-sqr_binary64_12321`
11×	`unsub-neg_binary64_12348` `distribute-lft-neg-out_binary64_12313`
9×	`cube-div_binary64_12383`
8×	`unpow1/3_binary64_12421`
7×	`div-sub_binary64_12359` `pow-sqr_binary64_12327` `distribute-rgt-neg-out_binary64_12314` `distribute-lft-out_binary64_12305`
6×	`unpow3_binary64_12420` `exp-diff_binary64_12402`
5×	`cube-mult_binary64_12384` `-rgt-identity_binary64_12344` `-lft-identity_binary64_12343` `distribute-neg-out_binary64_12316` `distribute-neg-in_binary64_12315` `associate--r-_binary64_12293` `associate-+l+_binary64_12287`
4×	`cube-unmult_binary64_12391` `associate-+r+_binary64_12286`
3×	`log-rec_binary64_12442` `difference-of-squares_binary64_12323`
2×	`remove-double-neg_binary64_12342` `associate--l+_binary64_12291` `associate-+r-_binary64_12288`
1×	`log-pow_binary64_12443` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `unpow1_binary64_12412` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `rem-3cbrt-lft_binary64_12379` `rem-sqrt-square_binary64_12367` `/-rgt-identity_binary64_12345` `+-inverses_binary64_12333` `associate-+l-_binary64_12289`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `pow-base-0_binary64_12438` `pow-plus_binary64_12417` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `div-exp_binary64_12405` `rec-exp_binary64_12404` `prod-exp_binary64_12403` `exp-neg_binary64_12401` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `rem-square-sqrt_binary64_12366` `mul-1-neg_binary64_12346` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-rgt-identity_binary64_12339` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-inverses_binary64_12334` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `cancel-sign-sub_binary64_12319` `distribute-frac-neg_binary64_12317` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-rgt-out--_binary64_12308` `distribute-lft-out--_binary64_12306` `count-2_binary64_12302` `associate--l-_binary64_12292` `associate--r+_binary64_12290`

Counts

131 → 116

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	2907
1	455	2823
2	1445	2760
3	4957	2760

prune260.0ms (3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	116	3	119

Error

0.2b

Counts

119 → 3

Compiler

Compiled 5317 to 2667 computations (49.8% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
1.3b	(-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))
20.8b	(/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t)))

rewrite124.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

12×	`add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390`
10×	`cancel-sign-sub-inv_binary64_12320`
9×	`add-sqr-sqrt_binary64_12376` `*-un-lft-identity_binary64_12354`
7×	`add-log-exp_binary64_12393` `add-cube-cbrt_binary64_12389`
6×	`times-frac_binary64_12360`
4×	`flip3--_binary64_12358` `associate-/r/_binary64_12300` `flip--_binary64_12329`
3×	`pow1_binary64_12415` `prod-exp_binary64_12403` `div-exp_binary64_12405` `cbrt-undiv_binary64_12388` `cbrt-unprod_binary64_12387` `associate-/r*_binary64_12298`
2×	`div-inv_binary64_12351` `diff-log_binary64_12446` `sub-neg_binary64_12347`
1×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `associate-/l*_binary64_12299` `difference-of-squares_binary64_12323` `distribute-lft-out--_binary64_12306`

Counts

3 → 59

Calls

3 calls:

12.0ms	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
11.0ms	(/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t)))
6.0ms	(-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))

Compiler

Compiled 1848 to 1041 computations (43.7% saved)

series840.0ms (9.6%)

Error

Counts

3 → 56

Calls

3 calls:

404.0ms	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
224.0ms	(-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))
173.0ms	(/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t)))

Compiler

Compiled 1827 to 1464 computations (19.9% saved)

simplify135.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-/l/_binary64_12301`
314×	`associate-/r/_binary64_12300`
207×	`distribute-rgt-neg-in_binary64_12312`
188×	`distribute-lft-neg-in_binary64_12311`
175×	`distribute-neg-frac_binary64_12318`
162×	`distribute-rgt-in_binary64_12304`
160×	`cancel-sign-sub-inv_binary64_12320`
155×	`exp-prod_binary64_12406`
153×	`associate-l_binary64_12295`
150×	`distribute-lft-in_binary64_12303`
130×	`associate-/l*_binary64_12299`
123×	`associate-r_binary64_12294`
92×	`*-commutative_binary64_12285`
91×	`times-frac_binary64_12360`
75×	`log-div_binary64_12441`
74×	`associate-*l/_binary64_12297`
71×	`div-sub_binary64_12359`
68×	`neg-sub0_binary64_12349`
66×	`sub-neg_binary64_12347`
65×	`distribute-lft-neg-out_binary64_12313`
63×	`neg-mul-1_binary64_12350`
61×	`log-prod_binary64_12440`
56×	`associate-*r/_binary64_12296`
49×	`distribute-rgt-neg-out_binary64_12314`
47×	`unswap-sqr_binary64_12322`
43×	`sqr-pow_binary64_12326`
40×	`associate-/r*_binary64_12298`
34×	`unpow3_binary64_12420`
33×	`+-commutative_binary64_12284`
30×	`exp-sum_binary64_12400`
29×	`cube-div_binary64_12383`
26×	`cube-prod_binary64_12382`
25×	`swap-sqr_binary64_12321`
20×	`distribute-rgt-out_binary64_12307`
18×	`exp-diff_binary64_12402`
16×	`*-rgt-identity_binary64_12344` `distribute-lft-out_binary64_12305`
15×	`unsub-neg_binary64_12348` `distribute-neg-in_binary64_12315`
10×	`associate-+l+_binary64_12287`
9×	`exp-lft-sqr_binary64_12409` `cube-mult_binary64_12384`
8×	`distribute-neg-out_binary64_12316`
7×	`log-pow_binary64_12443`
6×	`difference-of-squares_binary64_12323` `associate-+r+_binary64_12286`
5×	`log-rec_binary64_12442` `div0_binary64_12335` `associate--l+_binary64_12291`
4×	`prod-exp_binary64_12403` `distribute-frac-neg_binary64_12317` `associate-+r-_binary64_12288`
3×	`unpow1_binary64_12412` `exp-neg_binary64_12401` `cube-unmult_binary64_12391` `/-rgt-identity_binary64_12345` `+-rgt-identity_binary64_12339` `*-inverses_binary64_12334` `associate--r+_binary64_12290`
2×	`unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `div-exp_binary64_12405` `pow-sqr_binary64_12327` `distribute-rgt-out--_binary64_12308`
1×	`1-exp_binary64_12398` `rem-3cbrt-lft_binary64_12379` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366` `mul-1-neg_binary64_12346` `*-lft-identity_binary64_12343` `remove-double-neg_binary64_12342` `cancel-sign-sub_binary64_12319` `associate--r-_binary64_12293`
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_12617` `erf-erfc_binary64_12616` `erf-odd_binary64_12615` `if-if-and-not_binary64_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `not-gte_binary64_12606` `not-lte_binary64_12605` `not-gt_binary64_12604` `not-lt_binary64_12603` `gte-same_binary64_12602` `lte-same_binary64_12601` `gt-same_binary64_12600` `lt-same_binary64_12599` `sinh---cosh_binary64_12546` `sinh-+-cosh_binary64_12545` `sinh-cosh_binary64_12544` `tanh-def-c_binary64_12543` `tanh-def-b_binary64_12542` `tanh-def-a_binary64_12541` `cosh-def_binary64_12540` `sinh-def_binary64_12539` `tan-neg_binary64_12486` `cos-neg_binary64_12485` `sin-neg_binary64_12484` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `hang-m-tan_binary64_12480` `hang-p-tan_binary64_12479` `hang-m0-tan_binary64_12478` `hang-p0-tan_binary64_12477` `hang-0m-tan_binary64_12476` `hang-0p-tan_binary64_12475` `tan-+PI/2_binary64_12474` `tan-+PI_binary64_12473` `tan-PI_binary64_12472` `tan-PI/3_binary64_12471` `tan-PI/4_binary64_12470` `tan-PI/6_binary64_12469` `cos-+PI/2_binary64_12468` `cos-+PI_binary64_12467` `cos-PI_binary64_12466` `cos-PI/2_binary64_12465` `cos-PI/3_binary64_12464` `cos-PI/4_binary64_12463` `cos-PI/6_binary64_12462` `sin-+PI/2_binary64_12461` `sin-+PI_binary64_12460` `sin-PI_binary64_12459` `sin-PI/2_binary64_12458` `sin-PI/3_binary64_12457` `sin-PI/4_binary64_12456` `sin-PI/6_binary64_12455` `sub-1-sin_binary64_12454` `sub-1-cos_binary64_12453` `-1-add-sin_binary64_12452` `-1-add-cos_binary64_12451` `1-sub-sin_binary64_12450` `1-sub-cos_binary64_12449` `cos-sin-sum_binary64_12448` `log-E_binary64_12444` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `unpow0_binary64_12413` `unpow-1_binary64_12411` `exp-lft-cube_binary64_12410` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `rec-exp_binary64_12404` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-neg_binary64_12381` `rem-3cbrt-rft_binary64_12380` `rem-cbrt-cube_binary64_12378` `rem-cube-cbrt_binary64_12377` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-sqr--1_binary64_12325` `difference-of-sqr-1_binary64_12324` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-lft-out--_binary64_12306` `count-2_binary64_12302` `associate--l-_binary64_12292` `associate-+l-_binary64_12289`

Counts

115 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	2444
1	463	2338
2	1857	2264
3	4652	2264
4	5000	2264
5	4950	2264

prune95.0ms (1.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	81	4	85

Error

0.0b

Counts

85 → 4

Compiler

Compiled 1844 to 915 computations (50.4% saved)

regimes500.0ms (5.7%)

Accuracy

Total 1.0b remaining (99.8%)

Threshold costs 1.0b (99.8%)

Compiler

Compiled 5184 to 4037 computations (22.1% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`sub-neg_binary64_12347` `+-commutative_binary64_12284`
4×	`*-commutative_binary64_12285`
3×	`neg-mul-1_binary64_12350` `neg-sub0_binary64_12349`
2×	`distribute-neg-frac_binary64_12318`
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_12614` `if-if-and_binary64_12613` `if-if-or-not_binary64_12612` `if-if-or_binary64_12611` `if-not_binary64_12610` `if-same_binary64_12609` `if-false_binary64_12608` `if-true_binary64_12607` `tan-0_binary64_12483` `cos-0_binary64_12482` `sin-0_binary64_12481` `unpow1_binary64_12412` `e-exp-1_binary64_12399` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `unsub-neg_binary64_12348` `mul-1-neg_binary64_12346` `/-rgt-identity_binary64_12345` `-rgt-identity_binary64_12344` `-lft-identity_binary64_12343` `remove-double-neg_binary64_12342` `sub0-neg_binary64_12341` `--rgt-identity_binary64_12340` `+-rgt-identity_binary64_12339` `+-lft-identity_binary64_12338` `cancel-sign-sub-inv_binary64_12320` `cancel-sign-sub_binary64_12319` `distribute-frac-neg_binary64_12317` `distribute-neg-out_binary64_12316` `distribute-neg-in_binary64_12315` `distribute-rgt-neg-out_binary64_12314` `distribute-lft-neg-out_binary64_12313` `distribute-rgt-neg-in_binary64_12312` `distribute-lft-neg-in_binary64_12311`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	17	19
2	28	19
3	34	19
4	38	19
5	39	19
6	39	19

end0.0ms (0%)

sample1.4s (15.5%)

Algorithm

1×

intervals

Results

362.0ms

8000×

body

128

valid

Compiler

Compiled 879 to 686 computations (22% saved)

Details

analyze1.1s (12%)

sample22.0ms (0.3%)

simplify64.0ms (0.7%)

prune5.0ms (0.1%)

localize9.0ms (0.1%)

rewrite189.0ms (2.2%)

series911.0ms (10.4%)

simplify130.0ms (1.5%)

prune127.0ms (1.4%)

localize9.0ms (0.1%)

rewrite194.0ms (2.2%)

series770.0ms (8.8%)

simplify131.0ms (1.5%)

prune118.0ms (1.3%)

localize15.0ms (0.2%)

rewrite174.0ms (2%)

series1.4s (16.2%)

simplify90.0ms (1%)

prune260.0ms (3%)

localize11.0ms (0.1%)

rewrite124.0ms (1.4%)

series840.0ms (9.6%)

simplify135.0ms (1.5%)

prune95.0ms (1.1%)

regimes500.0ms (5.7%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample1.4s (15.5%)

Profiling