Details

analyze1.0s (4.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

573×	`associate-/l*_binary64_12299`
341×	`div-exp_binary64_12405`
301×	`exp-sum_binary64_12400`
279×	`associate-/r*_binary64_12298`
227×	`associate-*l/_binary64_12297`
221×	`associate-/r/_binary64_12300`
205×	`associate-/l/_binary64_12301`
202×	`associate-*r/_binary64_12296`
144×	`times-frac_binary64_12360` `sub-neg_binary64_12347`
120×	`associate-+l+_binary64_12287`
112×	`exp-diff_binary64_12402`
104×	`*-commutative_binary64_12285`
96×	`associate-r_binary64_12294`
95×	`+-commutative_binary64_12284`
90×	`exp-prod_binary64_12406`
80×	`associate-l_binary64_12295`
62×	`associate-+r+_binary64_12286`
58×	`associate--l+_binary64_12291`
48×	`unsub-neg_binary64_12348`
46×	`sqr-pow_binary64_12326`
42×	`associate-+r-_binary64_12288`
35×	`+-rgt-identity_binary64_12339`
34×	`exp-to-pow_binary64_12416`
32×	`associate-+l-_binary64_12289`
26×	`cancel-sign-sub-inv_binary64_12320`
20×	`distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303`
16×	`sub0-neg_binary64_12341`
13×	`prod-exp_binary64_12403`
12×	`neg-sub0_binary64_12349`
10×	`distribute-neg-out_binary64_12316` `distribute-rgt-out_binary64_12307`
6×	`exp-neg_binary64_12401` `rem-exp-log_binary64_12394` `neg-mul-1_binary64_12350` `mul-1-neg_binary64_12346`
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` `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` `rec-exp_binary64_12404` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `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` `div-sub_binary64_12359` `/-rgt-identity_binary64_12345` `-rgt-identity_binary64_12344` `-lft-identity_binary64_12343` `remove-double-neg_binary64_12342` `--rgt-identity_binary64_12340` `+-lft-identity_binary64_12338` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-inverses_binary64_12334` `+-inverses_binary64_12333` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `pow-sqr_binary64_12327` `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-frac_binary64_12318` `distribute-frac-neg_binary64_12317` `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` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `distribute-rgt-out--_binary64_12308` `distribute-lft-out--_binary64_12306` `distribute-lft-out_binary64_12305` `count-2_binary64_12302` `associate--r-_binary64_12293` `associate--l-_binary64_12292` `associate--r+_binary64_12290`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	119	448
1	300	448
2	715	384
3	2014	384
4	4792	384
5	5349	384
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

Compiler

Compiled 19 to 18 computations (5.3% saved)

sample123.0ms (0.5%)

Algorithm

1×

intervals

Results

34.0ms	507×	body	128	nan
21.0ms	256×	body	128	valid
19.0ms	201×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify59.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

615×	`associate-/l/_binary64_12301`
552×	`associate-/r/_binary64_12300`
488×	`associate-*l/_binary64_12297`
386×	`exp-sum_binary64_12400`
352×	`associate-*r/_binary64_12296`
322×	`*-commutative_binary64_12285`
274×	`unswap-sqr_binary64_12322`
210×	`exp-diff_binary64_12402`
184×	`associate-/l*_binary64_12299`
150×	`associate-l_binary64_12295`
133×	`cancel-sign-sub-inv_binary64_12320`
118×	`associate-/r*_binary64_12298`
113×	`times-frac_binary64_12360`
110×	`associate-r_binary64_12294`
109×	`exp-prod_binary64_12406`
107×	`sub-neg_binary64_12347`
105×	`distribute-rgt-in_binary64_12304` `associate--r+_binary64_12290`
88×	`associate--l+_binary64_12291`
65×	`distribute-neg-in_binary64_12315`
64×	`sqr-pow_binary64_12326`
63×	`associate-+l-_binary64_12289`
52×	`associate-+l+_binary64_12287`
46×	`associate-+r+_binary64_12286`
44×	`associate--r-_binary64_12293`
37×	`unsub-neg_binary64_12348`
33×	`distribute-lft-in_binary64_12303`
32×	`pow-sqr_binary64_12327`
29×	`neg-mul-1_binary64_12350`
28×	`+-commutative_binary64_12284`
27×	`distribute-rgt-neg-in_binary64_12312`
25×	`neg-sub0_binary64_12349`
21×	`*-rgt-identity_binary64_12344`
20×	`*-lft-identity_binary64_12343`
19×	`/-rgt-identity_binary64_12345` `distribute-lft-neg-out_binary64_12313`
17×	`div-exp_binary64_12405` `sub0-neg_binary64_12341` `associate--l-_binary64_12292`
15×	`distribute-lft-neg-in_binary64_12311`
13×	`exp-to-pow_binary64_12416` `div-sub_binary64_12359`
12×	`associate-+r-_binary64_12288`
10×	`prod-exp_binary64_12403` `remove-double-neg_binary64_12342`
7×	`+-rgt-identity_binary64_12339`
6×	`exp-neg_binary64_12401` `distribute-rgt-neg-out_binary64_12314`
5×	`distribute-neg-out_binary64_12316`
4×	`distribute-rgt-out--_binary64_12308` `distribute-lft-out_binary64_12305`
3×	`log-pow_binary64_12443` `--rgt-identity_binary64_12340` `distribute-lft-out--_binary64_12306`
2×	`log-div_binary64_12441` `log-prod_binary64_12440` `rem-exp-log_binary64_12394` `distribute-frac-neg_binary64_12317` `distribute-rgt-out_binary64_12307`
1×	`log-rec_binary64_12442` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `mul-1-neg_binary64_12346` `+-lft-identity_binary64_12338` `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` `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` `unpow3_binary64_12420` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `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` `rec-exp_binary64_12404` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `rem-log-exp_binary64_12395` `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` `mul0-rgt_binary64_12337` `mul0-lft_binary64_12336` `div0_binary64_12335` `*-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` `difference-of-squares_binary64_12323` `swap-sqr_binary64_12321` `cancel-sign-sub_binary64_12319` `distribute-rgt1-in_binary64_12310` `distribute-lft1-in_binary64_12309` `count-2_binary64_12302`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	36	28
2	70	24
3	171	24
4	475	24
5	1596	24
6	4045	24
7	4624	24
8	5001	24

prune7.0ms (0%)

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

0.2b

Counts

2 → 2

Compiler

Compiled 50 to 47 computations (6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 t 1) (log.f64 a))
0.2b	(*.f64 y (log.f64 z))
0.7b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
0.8b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

rewrite170.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

26×	`add-sqr-sqrt_binary64_12376`
21×	`*-un-lft-identity_binary64_12354`
16×	`add-cube-cbrt_binary64_12389`
13×	`add-cbrt-cube_binary64_12390`
12×	`add-exp-log_binary64_12392` `log-prod_binary64_12440`
10×	`pow1_binary64_12415` `add-log-exp_binary64_12393` `associate-l_binary64_12295`
8×	`associate-r_binary64_12294`
6×	`distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303`
5×	`exp-prod_binary64_12406` `exp-sum_binary64_12400`
3×	`difference-of-squares_binary64_12323` `cancel-sign-sub-inv_binary64_12320` `rem-exp-log_binary64_12394` `prod-exp_binary64_12403` `cbrt-unprod_binary64_12387` `times-frac_binary64_12360` `associate-/r*_binary64_12298`
2×	`distribute-lft-out--_binary64_12306` `exp-diff_binary64_12402` `diff-log_binary64_12446` `div-exp_binary64_12405` `cbrt-undiv_binary64_12388` `pow-prod-down_binary64_12425` `unswap-sqr_binary64_12322` `log-pow_binary64_12443` `-commutative_binary64_12285` `associate-l/_binary64_12297`
1×	`sub-neg_binary64_12347` `associate--l+_binary64_12291` `sum-log_binary64_12445` `frac-2neg_binary64_12365` `clear-num_binary64_12353` `div-inv_binary64_12351` `associate-r/_binary64_12296` `associate-/l/_binary64_12301` `associate-/l_binary64_12299` `flip3--_binary64_12358` `flip--_binary64_12329` `difference-of-sqr-1_binary64_12324`

Counts

4 → 99

Calls

4 calls:

12.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
8.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
8.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
5.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 2549 to 1233 computations (51.6% saved)

series2.6s (10.6%)

Error

0.2b

Counts

4 → 56

Calls

4 calls:

1.3s	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
721.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
233.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
196.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 3666 to 2158 computations (41.1% saved)

simplify98.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

790×	`associate-/l*_binary64_12299`
419×	`associate-/l/_binary64_12301`
270×	`associate-/r/_binary64_12300`
201×	`distribute-rgt-in_binary64_12304`
171×	`associate-l_binary64_12295`
170×	`distribute-lft-in_binary64_12303`
155×	`exp-sum_binary64_12400`
148×	`associate-r_binary64_12294`
134×	`sub-neg_binary64_12347`
120×	`times-frac_binary64_12360`
116×	`*-commutative_binary64_12285`
86×	`cancel-sign-sub-inv_binary64_12320`
79×	`exp-prod_binary64_12406`
71×	`exp-diff_binary64_12402`
65×	`+-commutative_binary64_12284`
62×	`associate-/r*_binary64_12298`
58×	`associate-*l/_binary64_12297`
53×	`distribute-neg-in_binary64_12315`
49×	`associate-*r/_binary64_12296`
43×	`*-rgt-identity_binary64_12344` `sqr-pow_binary64_12326`
42×	`distribute-rgt-neg-in_binary64_12312`
40×	`neg-sub0_binary64_12349`
38×	`unsub-neg_binary64_12348`
36×	`neg-mul-1_binary64_12350`
33×	`associate--l+_binary64_12291`
32×	`distribute-lft-neg-in_binary64_12311`
31×	`log-prod_binary64_12440` `associate--r+_binary64_12290`
29×	`*-lft-identity_binary64_12343`
28×	`log-div_binary64_12441`
24×	`associate-+l+_binary64_12287`
21×	`distribute-neg-frac_binary64_12318`
19×	`swap-sqr_binary64_12321`
18×	`/-rgt-identity_binary64_12345`
16×	`cube-prod_binary64_12382`
15×	`cube-div_binary64_12383` `distribute-lft-neg-out_binary64_12313` `distribute-rgt-out_binary64_12307`
14×	`mul-1-neg_binary64_12346` `associate-+r+_binary64_12286`
11×	`cube-unmult_binary64_12391` `associate-+r-_binary64_12288`
10×	`exp-to-pow_binary64_12416`
9×	`distribute-rgt-neg-out_binary64_12314`
8×	`distribute-rgt-out--_binary64_12308`
7×	`prod-exp_binary64_12403` `distribute-rgt1-in_binary64_12310`
6×	`pow-sqr_binary64_12327` `associate-+l-_binary64_12289`
5×	`rec-exp_binary64_12404` `exp-neg_binary64_12401` `remove-double-neg_binary64_12342` `unswap-sqr_binary64_12322`
4×	`log-rec_binary64_12442` `rem-exp-log_binary64_12394`
3×	`rem-log-exp_binary64_12395` `count-2_binary64_12302`
2×	`div-sub_binary64_12359` `+-rgt-identity_binary64_12339` `difference-of-sqr-1_binary64_12324` `distribute-neg-out_binary64_12316` `distribute-lft1-in_binary64_12309` `associate--r-_binary64_12293` `associate--l-_binary64_12292`
1×	`unpow3_binary64_12420` `unpow2_binary64_12419` `unpow1/2_binary64_12418` `unpow1_binary64_12412` `div-exp_binary64_12405` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `cube-mult_binary64_12384` `rem-3cbrt-lft_binary64_12379` `rem-sqrt-square_binary64_12367` `rem-square-sqrt_binary64_12366` `+-inverses_binary64_12333` `difference-of-sqr--1_binary64_12325` `cancel-sign-sub_binary64_12319` `distribute-lft-out--_binary64_12306` `distribute-lft-out_binary64_12305`
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` `pow-base-0_binary64_12438` `unpow1/3_binary64_12421` `pow-plus_binary64_12417` `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` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `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` `div0_binary64_12335` `*-inverses_binary64_12334` `lft-mult-inverse_binary64_12332` `rgt-mult-inverse_binary64_12331` `remove-double-div_binary64_12330` `difference-of-squares_binary64_12323` `distribute-frac-neg_binary64_12317`

Counts

155 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	3573
1	637	2769
2	2135	2656
3	5214	2656

prune147.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	124	4	128
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	125	5	130

Error

0.0b

Counts

130 → 5

Compiler

Compiled 2734 to 1303 computations (52.3% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))))
0.3b	(*.f64 t (log.f64 a))
0.3b	(.f64 x (.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (.f64 a (exp.f64 b)))))
0.8b	(/.f64 (.f64 x (.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (.f64 a (exp.f64 b))))) y)

rewrite234.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

88×	`add-exp-log_binary64_12392`
49×	`add-cbrt-cube_binary64_12390`
47×	`prod-exp_binary64_12403`
27×	`div-exp_binary64_12405`
21×	`cbrt-unprod_binary64_12387`
19×	`add-sqr-sqrt_binary64_12376`
16×	`associate-r_binary64_12294`
15×	`add-cube-cbrt_binary64_12389` `*-un-lft-identity_binary64_12354`
14×	`pow1_binary64_12415`
13×	`associate-*r/_binary64_12296`
11×	`cbrt-undiv_binary64_12388`
10×	`times-frac_binary64_12360`
9×	`associate-l_binary64_12295`
6×	`pow-to-exp_binary64_12423` `pow-exp_binary64_12422` `flip3-+_binary64_12357` `frac-times_binary64_12364` `flip-+_binary64_12328` `associate-*l/_binary64_12297` `log-prod_binary64_12440`
5×	`associate-/l/_binary64_12301` `pow-prod-down_binary64_12425`
4×	`add-log-exp_binary64_12393`
3×	`associate-/r_binary64_12298` `-commutative_binary64_12285` `distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303` `unpow-prod-down_binary64_12433`
2×	`div-inv_binary64_12351` `unswap-sqr_binary64_12322`
1×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `associate-/l*_binary64_12299` `log-pow_binary64_12443` `sqr-pow_binary64_12326`

Counts

4 → 131

Calls

4 calls:

17.0ms	(/.f64 (.f64 x (.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (.f64 a (exp.f64 b))))) y)
15.0ms	(.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))))
15.0ms	(.f64 x (.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (.f64 a (exp.f64 b)))))
5.0ms	(*.f64 t (log.f64 a))

Compiler

Compiled 3910 to 1241 computations (68.3% saved)

series5.3s (21.8%)

Error

0.0b

Counts

4 → 75

Calls

4 calls:

2.0s	(/.f64 (.f64 x (.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (.f64 a (exp.f64 b))))) y)
1.7s	(.f64 x (.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (.f64 a (exp.f64 b)))))
1.3s	(.f64 (+.f64 (.f64 t (log.f64 a)) 1) (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))))
172.0ms	(*.f64 t (log.f64 a))

Compiler

Compiled 6202 to 3415 computations (44.9% saved)

simplify121.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

707×	`times-frac_binary64_12360`
579×	`associate-/l*_binary64_12299`
456×	`associate-l_binary64_12295`
386×	`associate-/r*_binary64_12298`
172×	`associate-*r/_binary64_12296`
162×	`associate-*l/_binary64_12297`
138×	`*-commutative_binary64_12285`
94×	`associate-/r/_binary64_12300`
85×	`distribute-rgt-in_binary64_12304`
82×	`distribute-lft-in_binary64_12303`
77×	`associate-r_binary64_12294`
65×	`sub-neg_binary64_12347`
52×	`associate-/l/_binary64_12301`
47×	`+-commutative_binary64_12284`
31×	`cancel-sign-sub-inv_binary64_12320`
27×	`distribute-rgt-neg-in_binary64_12312`
23×	`neg-sub0_binary64_12349`
22×	`exp-prod_binary64_12406`
21×	`neg-mul-1_binary64_12350` `sqr-pow_binary64_12326`
20×	`distribute-lft-neg-in_binary64_12311`
17×	`associate-+r+_binary64_12286`
16×	`log-prod_binary64_12440`
14×	`log-div_binary64_12441` `swap-sqr_binary64_12321` `associate--l+_binary64_12291`
11×	`cube-unmult_binary64_12391`
10×	`div-sub_binary64_12359`
9×	`distribute-neg-in_binary64_12315`
8×	`*-rgt-identity_binary64_12344` `associate--r+_binary64_12290`
7×	`cube-prod_binary64_12382`
6×	`distribute-neg-frac_binary64_12318`
5×	`pow-sqr_binary64_12327` `unswap-sqr_binary64_12322` `distribute-lft-neg-out_binary64_12313` `associate-+r-_binary64_12288`
4×	`prod-exp_binary64_12403` `distribute-rgt-neg-out_binary64_12314`
3×	`unpow3_binary64_12420` `exp-sum_binary64_12400` `mul-1-neg_binary64_12346` `*-lft-identity_binary64_12343`
2×	`log-pow_binary64_12443` `log-rec_binary64_12442` `exp-to-pow_binary64_12416` `pow-base-1_binary64_12414` `div-exp_binary64_12405` `/-rgt-identity_binary64_12345` `distribute-rgt1-in_binary64_12310` `distribute-rgt-out--_binary64_12308` `distribute-lft-out--_binary64_12306` `distribute-lft-out_binary64_12305` `count-2_binary64_12302`
1×	`unpow2_binary64_12419` `unpow1_binary64_12412` `exp-diff_binary64_12402` `exp-neg_binary64_12401` `1-exp_binary64_12398` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `cube-mult_binary64_12384` `rem-sqrt-square_binary64_12367` `remove-double-neg_binary64_12342` `difference-of-sqr-1_binary64_12324`
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` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `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` `rec-exp_binary64_12404` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `cube-div_binary64_12383` `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-square-sqrt_binary64_12366` `unsub-neg_binary64_12348` `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` `+-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-squares_binary64_12323` `cancel-sign-sub_binary64_12319` `distribute-frac-neg_binary64_12317` `distribute-neg-out_binary64_12316` `distribute-lft1-in_binary64_12309` `distribute-rgt-out_binary64_12307` `associate--r-_binary64_12293` `associate--l-_binary64_12292` `associate-+l-_binary64_12289` `associate-+l+_binary64_12287`

Counts

206 → 161

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	427	6705
1	1271	5763
2	5055	5763

prune183.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	161	5	166

Error

0.0b

Counts

166 → 5

Compiler

Compiled 4083 to 1230 computations (69.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))
0.0b	(*.f64 a (exp.f64 b))
0.5b	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
1.7b	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))

rewrite193.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

192×	`add-exp-log_binary64_12392`
112×	`prod-exp_binary64_12403`
73×	`div-exp_binary64_12405`
61×	`add-cbrt-cube_binary64_12390`
30×	`pow-to-exp_binary64_12423` `pow-exp_binary64_12422`
24×	`cbrt-unprod_binary64_12387`
17×	`cbrt-undiv_binary64_12388`
14×	`add-sqr-sqrt_binary64_12376`
12×	`add-cube-cbrt_binary64_12389` `*-un-lft-identity_binary64_12354`
11×	`pow1_binary64_12415`
10×	`associate-l_binary64_12295`
9×	`times-frac_binary64_12360`
6×	`associate-/l*_binary64_12299`
4×	`add-log-exp_binary64_12393` `pow-prod-down_binary64_12425` `associate-r_binary64_12294`
3×	`div-inv_binary64_12351`
2×	`frac-2neg_binary64_12365` `clear-num_binary64_12353` `associate-l/_binary64_12297` `associate-/r_binary64_12298` `*-commutative_binary64_12285`
1×	`associate-/r/_binary64_12300` `unswap-sqr_binary64_12322`

Counts

4 → 142

Calls

4 calls:

14.0ms	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
13.0ms	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
6.0ms	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))
5.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 3458 to 434 computations (87.4% saved)

series4.1s (17%)

Error

0.0b

Counts

4 → 73

Calls

4 calls:

1.6s	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
1.4s	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
940.0ms	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))
74.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 4741 to 2715 computations (42.7% saved)

simplify154.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

658×	`times-frac_binary64_12360`
451×	`associate-r_binary64_12294`
439×	`associate-/l*_binary64_12299`
415×	`associate-/r*_binary64_12298`
337×	`associate-l_binary64_12295`
152×	`associate-*l/_binary64_12297`
118×	`log-prod_binary64_12440`
116×	`*-commutative_binary64_12285`
110×	`associate-*r/_binary64_12296`
101×	`associate-/r/_binary64_12300`
92×	`log-div_binary64_12441`
65×	`sub-neg_binary64_12347`
35×	`+-commutative_binary64_12284`
33×	`sqr-pow_binary64_12326`
26×	`neg-sub0_binary64_12349`
24×	`neg-mul-1_binary64_12350`
23×	`associate-/l/_binary64_12301`
21×	`exp-prod_binary64_12406`
20×	`associate--r+_binary64_12290`
19×	`cancel-sign-sub-inv_binary64_12320`
16×	`unswap-sqr_binary64_12322` `distribute-neg-frac_binary64_12318`
15×	`distribute-neg-in_binary64_12315` `distribute-rgt-neg-in_binary64_12312`
13×	`distribute-lft-neg-in_binary64_12311`
11×	`swap-sqr_binary64_12321`
10×	`cube-unmult_binary64_12391` `associate-+l-_binary64_12289` `associate-+r+_binary64_12286`
9×	`log-pow_binary64_12443` `associate--l+_binary64_12291`
8×	`prod-exp_binary64_12403`
6×	`log-rec_binary64_12442`
5×	`unpow3_binary64_12420` `unpow2_binary64_12419` `unpow1_binary64_12412` `cube-mult_binary64_12384`
4×	`mul-1-neg_binary64_12346` `pow-sqr_binary64_12327` `distribute-lft-out_binary64_12305`
2×	`exp-neg_binary64_12401` `distribute-rgt-neg-out_binary64_12314` `distribute-rgt-out_binary64_12307` `distribute-rgt-in_binary64_12304` `distribute-lft-in_binary64_12303`
1×	`exp-to-pow_binary64_12416` `rec-exp_binary64_12404` `exp-diff_binary64_12402` `exp-sum_binary64_12400` `1-exp_binary64_12398` `rem-log-exp_binary64_12395` `rem-exp-log_binary64_12394` `unsub-neg_binary64_12348` `-rgt-identity_binary64_12344` `-lft-identity_binary64_12343` `distribute-rgt1-in_binary64_12310` `distribute-lft-out--_binary64_12306` `count-2_binary64_12302`
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` `unpow1/2_binary64_12418` `pow-plus_binary64_12417` `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` `e-exp-1_binary64_12399` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `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` `div-sub_binary64_12359` `/-rgt-identity_binary64_12345` `remove-double-neg_binary64_12342` `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` `+-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` `difference-of-squares_binary64_12323` `cancel-sign-sub_binary64_12319` `distribute-frac-neg_binary64_12317` `distribute-neg-out_binary64_12316` `distribute-lft-neg-out_binary64_12313` `distribute-lft1-in_binary64_12309` `distribute-rgt-out--_binary64_12308` `associate--r-_binary64_12293` `associate--l-_binary64_12292` `associate-+r-_binary64_12288` `associate-+l+_binary64_12287`

Counts

215 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	364	5923
1	1029	5017
2	4845	4969
3	5134	4969

prune138.0ms (0.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	174	5	179

Error

0.0b

Counts

179 → 5

Compiler

Compiled 3699 to 596 computations (83.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 a (+.f64 t -1))
0.2b	(*.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))
0.5b	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
1.9b	(.f64 x (/.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y)) y))

rewrite485.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

72×	`add-sqr-sqrt_binary64_12376`
70×	`add-exp-log_binary64_12392`
60×	`times-frac_binary64_12360`
45×	`*-un-lft-identity_binary64_12354`
43×	`add-cube-cbrt_binary64_12389`
38×	`prod-exp_binary64_12403`
34×	`div-exp_binary64_12405` `unpow-prod-down_binary64_12433`
31×	`associate-l_binary64_12295`
25×	`add-cbrt-cube_binary64_12390`
16×	`pow-to-exp_binary64_12423` `pow-exp_binary64_12422` `sqr-pow_binary64_12326`
14×	`associate-r_binary64_12294`
13×	`unswap-sqr_binary64_12322`
8×	`cbrt-unprod_binary64_12387` `unpow-prod-up_binary64_12432` `associate-/l*_binary64_12299`
7×	`pow1_binary64_12415`
6×	`cbrt-undiv_binary64_12388`
5×	`pow-unpow_binary64_12431`
4×	`add-log-exp_binary64_12393`
3×	`div-inv_binary64_12351` `associate-/r*_binary64_12298`
2×	`*-commutative_binary64_12285`
1×	`pow-prod-down_binary64_12425` `associate-r/_binary64_12296` `frac-2neg_binary64_12365` `clear-num_binary64_12353` `associate-l/_binary64_12297` `difference-of-sqr--1_binary64_12325` `distribute-lft-out_binary64_12305` `pow-pow_binary64_12426`

Counts

4 → 178

Calls

4 calls:

17.0ms	(.f64 x (/.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y)) y))
14.0ms	(*.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))
6.0ms	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
5.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 4633 to 2191 computations (52.7% saved)

series3.1s (13%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

1.5s	(.f64 x (/.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y)) y))
1.0s	(*.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))
368.0ms	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
152.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 3761 to 2731 computations (27.4% saved)

simplify199.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

317×	`associate-/l*_binary64_12299`
297×	`associate-l_binary64_12295`
289×	`associate-r_binary64_12294`
219×	`times-frac_binary64_12360`
193×	`log-prod_binary64_12440` `unswap-sqr_binary64_12322` `*-commutative_binary64_12285`
191×	`exp-prod_binary64_12406`
169×	`associate-*l/_binary64_12297`
144×	`log-div_binary64_12441`
139×	`associate-*r/_binary64_12296`
134×	`associate-/r*_binary64_12298`
110×	`sqr-pow_binary64_12326`
89×	`distribute-rgt-in_binary64_12304`
82×	`distribute-lft-in_binary64_12303`
78×	`cancel-sign-sub-inv_binary64_12320`
68×	`distribute-rgt-neg-in_binary64_12312`
66×	`sub-neg_binary64_12347`
63×	`associate-/l/_binary64_12301`
55×	`distribute-lft-neg-in_binary64_12311`
44×	`unpow3_binary64_12420`
42×	`*-rgt-identity_binary64_12344` `+-commutative_binary64_12284`
40×	`pow-sqr_binary64_12327`
39×	`log-pow_binary64_12443` `associate-/r/_binary64_12300`
38×	`exp-sum_binary64_12400`
32×	`*-lft-identity_binary64_12343`
31×	`cube-prod_binary64_12382`
30×	`cube-div_binary64_12383`
29×	`neg-sub0_binary64_12349`
27×	`/-rgt-identity_binary64_12345`
25×	`swap-sqr_binary64_12321`
24×	`exp-to-pow_binary64_12416`
23×	`neg-mul-1_binary64_12350`
22×	`distribute-neg-in_binary64_12315`
20×	`distribute-lft-neg-out_binary64_12313`
19×	`associate--l+_binary64_12291`
18×	`div-exp_binary64_12405` `prod-exp_binary64_12403`
17×	`distribute-rgt-out_binary64_12307`
16×	`log-rec_binary64_12442` `distribute-lft-out_binary64_12305`
14×	`distribute-rgt-neg-out_binary64_12314`
13×	`cube-unmult_binary64_12391`
12×	`distribute-neg-frac_binary64_12318`
11×	`distribute-rgt-out--_binary64_12308`
10×	`associate-+l+_binary64_12287`
9×	`exp-diff_binary64_12402` `unsub-neg_binary64_12348` `distribute-lft-out--_binary64_12306` `associate-+r-_binary64_12288`
8×	`pow-base-1_binary64_12414` `associate-+l-_binary64_12289`
7×	`exp-neg_binary64_12401`
6×	`mul-1-neg_binary64_12346`
5×	`unpow1/2_binary64_12418` `remove-double-neg_binary64_12342` `associate-+r+_binary64_12286`
4×	`div-sub_binary64_12359` `distribute-rgt1-in_binary64_12310`
3×	`rec-exp_binary64_12404` `rem-exp-log_binary64_12394` `rem-sqrt-square_binary64_12367` `distribute-neg-out_binary64_12316`
2×	`unpow1_binary64_12412` `distribute-frac-neg_binary64_12317` `associate--r-_binary64_12293`
1×	`unpow2_binary64_12419` `unpow-1_binary64_12411` `1-exp_binary64_12398` `exp-1-e_binary64_12397` `rem-log-exp_binary64_12395` `+-inverses_binary64_12333` `distribute-lft1-in_binary64_12309` `count-2_binary64_12302` `associate--l-_binary64_12292`
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` `pow-plus_binary64_12417` `unpow0_binary64_12413` `exp-lft-cube_binary64_12410` `exp-lft-sqr_binary64_12409` `exp-cbrt_binary64_12408` `exp-sqrt_binary64_12407` `e-exp-1_binary64_12399` `exp-0_binary64_12396` `cube-mult_binary64_12384` `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-square-sqrt_binary64_12366` `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` `difference-of-squares_binary64_12323` `cancel-sign-sub_binary64_12319` `associate--r+_binary64_12290`

Counts

238 → 217

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	368	5792
1	919	5281
2	3306	5129
3	4571	5119
4	4991	5119

prune246.0ms (1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	217	5	222

Error

0.0b

Counts

222 → 5

Compiler

Compiled 4923 to 2297 computations (53.3% saved)

regimes846.0ms (3.5%)

Accuracy

Total 1.9b remaining (98.5%)

Threshold costs 0b (0%)

Compiler

Compiled 9039 to 7617 computations (15.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`neg-mul-1_binary64_12350` `neg-sub0_binary64_12349` `*-commutative_binary64_12285` `+-commutative_binary64_12284`
4×	`sub-neg_binary64_12347`
3×	`unsub-neg_binary64_12348` `*-rgt-identity_binary64_12344`
2×	`distribute-rgt-neg-out_binary64_12314`
1×	`1-exp_binary64_12398` `*-lft-identity_binary64_12343` `distribute-lft-neg-out_binary64_12313` `distribute-rgt-neg-in_binary64_12312` `distribute-lft-neg-in_binary64_12311`
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` `exp-1-e_binary64_12397` `exp-0_binary64_12396` `sqr-abs_binary64_12369` `sqr-neg_binary64_12368` `mul-1-neg_binary64_12346` `/-rgt-identity_binary64_12345` `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-neg-frac_binary64_12318` `distribute-frac-neg_binary64_12317` `distribute-neg-out_binary64_12316` `distribute-neg-in_binary64_12315`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	28	28
2	35	28
3	39	28
4	47	28
5	46	28
6	44	28

end0.0ms (0%)

sample4.6s (19%)

Algorithm

1×

intervals

Results

1.0s	14451×	body	128	nan
676.0ms	8000×	body	128	valid
638.0ms	7547×	body	128	invalid

Compiler

Compiled 913 to 759 computations (16.9% saved)

Details

analyze1.0s (4.3%)

sample123.0ms (0.5%)

simplify59.0ms (0.2%)

prune7.0ms (0%)

localize15.0ms (0.1%)

rewrite170.0ms (0.7%)

series2.6s (10.6%)

simplify98.0ms (0.4%)

prune147.0ms (0.6%)

localize20.0ms (0.1%)

rewrite234.0ms (1%)

series5.3s (21.8%)

simplify121.0ms (0.5%)

prune183.0ms (0.8%)

localize12.0ms (0.1%)

rewrite193.0ms (0.8%)

series4.1s (17%)

simplify154.0ms (0.6%)

prune138.0ms (0.6%)

localize13.0ms (0.1%)

rewrite485.0ms (2%)

series3.1s (13%)

simplify199.0ms (0.8%)

prune246.0ms (1%)

regimes846.0ms (3.5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample4.6s (19%)

Profiling