Details

analyze1.2s (11%)

Algorithm

1×	search
2×	egg-herbie

Rules

932×	`times-frac_binary64_17816`
758×	`div-sub_binary64_17815`
562×	`unsub-neg_binary64_17804`
414×	`sub-neg_binary64_17803`
286×	`distribute-rgt-in_binary64_17760`
276×	`cancel-sign-sub-inv_binary64_17776`
275×	`neg-mul-1_binary64_17806`
255×	`distribute-lft-in_binary64_17759`
195×	`neg-sub0_binary64_17805`
128×	`mul-1-neg_binary64_17802`
124×	`+-commutative_binary64_17740`
116×	`associate-+r+_binary64_17742`
103×	`associate--r+_binary64_17746`
84×	`*-commutative_binary64_17741`
81×	`associate-+l+_binary64_17743`
79×	`associate-+l-_binary64_17745`
78×	`associate-+r-_binary64_17744`
77×	`associate-/l*_binary64_17755`
61×	`mul0-rgt_binary64_17793` `mul0-lft_binary64_17792`
60×	`distribute-frac-neg_binary64_17773`
55×	`associate-r_binary64_17750`
54×	`associate-/r/_binary64_17756`
44×	`+-rgt-identity_binary64_17795`
40×	`distribute-neg-frac_binary64_17774` `associate-*l/_binary64_17753`
39×	`distribute-rgt-neg-out_binary64_17770`
37×	`distribute-lft-neg-out_binary64_17769`
36×	`sub0-neg_binary64_17797`
28×	`associate-l_binary64_17751`
27×	`div0_binary64_17791`
26×	`distribute-rgt-neg-in_binary64_17768`
24×	`associate--r-_binary64_17749`
23×	`distribute-neg-in_binary64_17771`
20×	`distribute-lft-neg-in_binary64_17767`
19×	`associate-*r/_binary64_17752`
18×	`associate--l+_binary64_17747`
16×	`remove-double-neg_binary64_17798`
13×	`+-lft-identity_binary64_17794`
11×	`distribute-rgt-out_binary64_17763`
3×	`*-lft-identity_binary64_17799`
2×	`--rgt-identity_binary64_17796`
1×	`1-exp_binary64_17854`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `log-rec_binary64_17898` `log-div_binary64_17897` `log-prod_binary64_17896` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow3_binary64_17876` `unpow2_binary64_17875` `unpow1/2_binary64_17874` `pow-plus_binary64_17873` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow1_binary64_17868` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `exp-prod_binary64_17862` `div-exp_binary64_17861` `rec-exp_binary64_17860` `prod-exp_binary64_17859` `exp-diff_binary64_17858` `exp-neg_binary64_17857` `exp-sum_binary64_17856` `e-exp-1_binary64_17855` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `cube-unmult_binary64_17847` `cube-mult_binary64_17840` `cube-div_binary64_17839` `cube-prod_binary64_17838` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `rem-sqrt-square_binary64_17823` `rem-square-sqrt_binary64_17822` `/-rgt-identity_binary64_17801` `-rgt-identity_binary64_17800` `-inverses_binary64_17790` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `pow-sqr_binary64_17783` `sqr-pow_binary64_17782` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `difference-of-squares_binary64_17779` `unswap-sqr_binary64_17778` `swap-sqr_binary64_17777` `cancel-sign-sub_binary64_17775` `distribute-neg-out_binary64_17772` `distribute-rgt1-in_binary64_17766` `distribute-lft1-in_binary64_17765` `distribute-rgt-out--_binary64_17764` `distribute-lft-out--_binary64_17762` `distribute-lft-out_binary64_17761` `count-2_binary64_17758` `associate-/l/_binary64_17757` `associate-/r*_binary64_17754` `associate--l-_binary64_17748`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	176
1	109	176
2	277	176
3	527	176
4	1063	176
5	2710	176
6	3916	176
7	4975	176
8	4947	176
9	4927	176
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	30×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify183.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1736×	`div-sub_binary64_17815`
1086×	`sub-neg_binary64_17803`
696×	`distribute-rgt-in_binary64_17760`
686×	`unsub-neg_binary64_17804`
555×	`distribute-lft-in_binary64_17759`
423×	`neg-mul-1_binary64_17806`
346×	`times-frac_binary64_17816`
316×	`distribute-rgt-neg-out_binary64_17770`
311×	`neg-sub0_binary64_17805`
285×	`associate-/l*_binary64_17755`
275×	`cancel-sign-sub-inv_binary64_17776`
241×	`distribute-neg-frac_binary64_17774` `distribute-lft-neg-out_binary64_17769`
236×	`distribute-rgt-neg-in_binary64_17768`
224×	`distribute-frac-neg_binary64_17773`
200×	`*-commutative_binary64_17741`
193×	`associate-/r*_binary64_17754`
182×	`distribute-lft-neg-in_binary64_17767`
147×	`associate-*l/_binary64_17753`
114×	`associate-/r/_binary64_17756`
105×	`associate-*r/_binary64_17752`
104×	`associate-r_binary64_17750`
99×	`associate-/l/_binary64_17757`
94×	`cancel-sign-sub_binary64_17775`
91×	`associate-l_binary64_17751`
89×	`/-rgt-identity_binary64_17801`
83×	`associate--r+_binary64_17746`
76×	`associate--l-_binary64_17748`
71×	`associate--r-_binary64_17749`
68×	`distribute-neg-in_binary64_17771`
64×	`mul0-rgt_binary64_17793`
62×	`*-rgt-identity_binary64_17800`
61×	`+-commutative_binary64_17740`
60×	`mul0-lft_binary64_17792`
56×	`associate-+l-_binary64_17745`
50×	`div0_binary64_17791`
41×	`associate-+r-_binary64_17744`
35×	`remove-double-neg_binary64_17798` `sub0-neg_binary64_17797`
32×	`associate-+l+_binary64_17743`
30×	`*-lft-identity_binary64_17799`
29×	`associate--l+_binary64_17747`
26×	`--rgt-identity_binary64_17796`
23×	`+-rgt-identity_binary64_17795` `distribute-neg-out_binary64_17772`
17×	`associate-+r+_binary64_17742`
14×	`+-lft-identity_binary64_17794`
11×	`distribute-rgt-out--_binary64_17764`
7×	`distribute-lft-out--_binary64_17762` `distribute-lft-out_binary64_17761`
6×	`mul-1-neg_binary64_17802` `distribute-rgt-out_binary64_17763`
5×	`remove-double-div_binary64_17786`
2×	`lft-mult-inverse_binary64_17788`
1×	`1-exp_binary64_17854` `*-inverses_binary64_17790`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `log-rec_binary64_17898` `log-div_binary64_17897` `log-prod_binary64_17896` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow3_binary64_17876` `unpow2_binary64_17875` `unpow1/2_binary64_17874` `pow-plus_binary64_17873` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow1_binary64_17868` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `exp-prod_binary64_17862` `div-exp_binary64_17861` `rec-exp_binary64_17860` `prod-exp_binary64_17859` `exp-diff_binary64_17858` `exp-neg_binary64_17857` `exp-sum_binary64_17856` `e-exp-1_binary64_17855` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `cube-unmult_binary64_17847` `cube-mult_binary64_17840` `cube-div_binary64_17839` `cube-prod_binary64_17838` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `rem-sqrt-square_binary64_17823` `rem-square-sqrt_binary64_17822` `+-inverses_binary64_17789` `rgt-mult-inverse_binary64_17787` `pow-sqr_binary64_17783` `sqr-pow_binary64_17782` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `difference-of-squares_binary64_17779` `unswap-sqr_binary64_17778` `swap-sqr_binary64_17777` `distribute-rgt1-in_binary64_17766` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	18	16
2	40	16
3	76	16
4	144	16
5	263	16
6	511	16
7	1288	16
8	2089	16
9	2369	16
10	2720	16
11	2905	16
12	3011	16
13	3046	16
14	4295	16
15	3826	16
16	4070	16
17	4630	16
18	4787	16

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

9.1b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 y z) t)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
9.7b	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

rewrite96.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810`
10×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
7×	`add-cube-cbrt_binary64_17845`
5×	`pow1_binary64_17871` `add-log-exp_binary64_17849` `times-frac_binary64_17816` `associate-/r_binary64_17754` `associate-l*_binary64_17751`
4×	`associate-*l/_binary64_17753`
3×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762` `flip3--_binary64_17814` `flip--_binary64_17785` `associate-r_binary64_17750`
2×	`prod-exp_binary64_17859` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `cbrt-unprod_binary64_17843` `associate-/l/_binary64_17757` `associate-/r/_binary64_17756`
1×	`frac-2neg_binary64_17821` `clear-num_binary64_17809` `div-inv_binary64_17807` `associate-/l_binary64_17755` `sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `distribute-lft-out_binary64_17761` `+-commutative_binary64_17740` `pow-prod-down_binary64_17881` `unswap-sqr_binary64_17778` `-commutative_binary64_17741`

Counts

3 → 63

Calls

3 calls:

10.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
8.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
7.0ms	(*.f64 (-.f64 y z) t)

Compiler

Compiled 1199 to 289 computations (75.9% saved)

series1.2s (11.5%)

Error

0.2b

Counts

3 → 69

Calls

3 calls:

655.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
362.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
143.0ms	(*.f64 (-.f64 y z) t)

Compiler

Compiled 2816 to 1662 computations (41% saved)

simplify99.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

801×	`times-frac_binary64_17816`
420×	`distribute-rgt-in_binary64_17760`
397×	`distribute-lft-in_binary64_17759`
188×	`div-sub_binary64_17815`
157×	`cancel-sign-sub-inv_binary64_17776`
144×	`sub-neg_binary64_17803`
115×	`associate-/l*_binary64_17755`
79×	`+-commutative_binary64_17740`
73×	`*-commutative_binary64_17741`
69×	`distribute-neg-frac_binary64_17774`
64×	`exp-prod_binary64_17862`
63×	`associate-l_binary64_17751`
56×	`associate--l+_binary64_17747`
53×	`distribute-rgt-neg-in_binary64_17768`
51×	`associate-r_binary64_17750`
48×	`distribute-lft-neg-in_binary64_17767`
45×	`associate-*l/_binary64_17753`
43×	`associate-*r/_binary64_17752`
41×	`distribute-lft-neg-out_binary64_17769`
40×	`associate-/r*_binary64_17754`
39×	`neg-sub0_binary64_17805` `sqr-pow_binary64_17782`
35×	`neg-mul-1_binary64_17806`
34×	`exp-sum_binary64_17856`
33×	`log-prod_binary64_17896` `associate-/r/_binary64_17756`
32×	`log-div_binary64_17897` `associate-+l+_binary64_17743`
31×	`associate-/l/_binary64_17757`
30×	`distribute-rgt-neg-out_binary64_17770`
24×	`cube-div_binary64_17839` `*-rgt-identity_binary64_17800`
23×	`distribute-neg-in_binary64_17771`
22×	`associate--r+_binary64_17746`
20×	`exp-diff_binary64_17858`
19×	`/-rgt-identity_binary64_17801`
18×	`unpow3_binary64_17876` `unsub-neg_binary64_17804`
15×	`associate-+r+_binary64_17742`
11×	`distribute-rgt-out_binary64_17763` `distribute-lft-out_binary64_17761`
10×	`cube-prod_binary64_17838` `*-lft-identity_binary64_17799` `unswap-sqr_binary64_17778`
9×	`difference-of-squares_binary64_17779`
8×	`cube-mult_binary64_17840`
7×	`distribute-rgt-out--_binary64_17764`
6×	`swap-sqr_binary64_17777` `distribute-lft-out--_binary64_17762`
5×	`log-rec_binary64_17898`
4×	`mul-1-neg_binary64_17802`
3×	`unpow1/2_binary64_17874` `cube-unmult_binary64_17847`
2×	`unpow2_binary64_17875` `pow-plus_binary64_17873` `unpow1_binary64_17868` `rem-sqrt-square_binary64_17823` `remove-double-neg_binary64_17798` `pow-sqr_binary64_17783` `distribute-rgt1-in_binary64_17766` `associate--r-_binary64_17749`
1×	`prod-exp_binary64_17859` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `div0_binary64_17791` `*-inverses_binary64_17790` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `div-exp_binary64_17861` `rec-exp_binary64_17860` `exp-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `rem-square-sqrt_binary64_17822` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

132 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2238
1	521	1953
2	1780	1875
3	4866	1875
4	4974	1875

prune80.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	86	5	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	6	92

Error

Counts

92 → 6

Compiler

Compiled 1530 to 333 computations (78.2% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 t (/.f64 (-.f64 y z) (-.f64 a z))))
0.0b	(/.f64 (-.f64 y z) (-.f64 a z))
2.2b	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))

rewrite148.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_17832`
71×	`*-un-lft-identity_binary64_17810`
51×	`times-frac_binary64_17816`
31×	`associate-r_binary64_17750`
27×	`add-cube-cbrt_binary64_17845`
22×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
10×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
5×	`pow1_binary64_17871` `add-log-exp_binary64_17849` `associate-/l_binary64_17755` `associate-/r_binary64_17754`
4×	`associate-/r/_binary64_17756`
3×	`associate-l_binary64_17751` `flip3--_binary64_17814` `flip--_binary64_17785`
2×	`div-exp_binary64_17861` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `cbrt-undiv_binary64_17844` `unswap-sqr_binary64_17778` `div-inv_binary64_17807` `associate-/l/_binary64_17757`
1×	`pow-prod-down_binary64_17881` `associate-r/_binary64_17752` `-commutative_binary64_17741` `frac-2neg_binary64_17821` `div-sub_binary64_17815` `clear-num_binary64_17809` `sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740`

Counts

3 → 113

Calls

3 calls:

18.0ms	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))
9.0ms	(/.f64 (-.f64 y z) (-.f64 a z))
4.0ms	(+.f64 x (*.f64 t (/.f64 (-.f64 y z) (-.f64 a z))))

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.2s (11.7%)

Error

Counts

3 → 72

Calls

3 calls:

633.0ms	(+.f64 x (*.f64 t (/.f64 (-.f64 y z) (-.f64 a z))))
348.0ms	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))
200.0ms	(/.f64 (-.f64 y z) (-.f64 a z))

Compiler

Compiled 3144 to 1914 computations (39.1% saved)

simplify131.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

519×	`times-frac_binary64_17816`
426×	`distribute-rgt-in_binary64_17760`
397×	`distribute-lft-in_binary64_17759`
209×	`div-sub_binary64_17815`
171×	`cancel-sign-sub-inv_binary64_17776`
158×	`sub-neg_binary64_17803`
128×	`associate-/l*_binary64_17755`
120×	`associate-l_binary64_17751`
111×	`associate-r_binary64_17750`
88×	`*-commutative_binary64_17741`
85×	`+-commutative_binary64_17740`
76×	`distribute-neg-frac_binary64_17774`
75×	`associate-*r/_binary64_17752`
70×	`associate--l+_binary64_17747`
69×	`distribute-rgt-neg-in_binary64_17768`
57×	`neg-sub0_binary64_17805`
53×	`distribute-lft-neg-in_binary64_17767`
50×	`neg-mul-1_binary64_17806`
47×	`associate-*l/_binary64_17753`
40×	`distribute-lft-neg-out_binary64_17769` `associate-/r*_binary64_17754`
39×	`*-rgt-identity_binary64_17800`
38×	`associate-/l/_binary64_17757` `associate-+l+_binary64_17743`
35×	`cube-prod_binary64_17838`
34×	`sqr-pow_binary64_17782`
32×	`*-lft-identity_binary64_17799` `distribute-rgt-neg-out_binary64_17770`
30×	`associate--r+_binary64_17746`
28×	`associate-/r/_binary64_17756`
27×	`distribute-neg-in_binary64_17771`
24×	`log-prod_binary64_17896` `distribute-rgt-out_binary64_17763`
23×	`exp-sum_binary64_17856`
22×	`/-rgt-identity_binary64_17801`
21×	`exp-prod_binary64_17862` `unsub-neg_binary64_17804`
18×	`unswap-sqr_binary64_17778`
16×	`associate-+r+_binary64_17742`
14×	`log-div_binary64_17897` `cube-div_binary64_17839`
13×	`unpow3_binary64_17876`
12×	`distribute-lft-out_binary64_17761`
11×	`distribute-rgt-out--_binary64_17764`
9×	`cube-mult_binary64_17840`
7×	`mul-1-neg_binary64_17802` `distribute-lft-out--_binary64_17762`
5×	`exp-diff_binary64_17858` `cube-unmult_binary64_17847` `difference-of-squares_binary64_17779` `swap-sqr_binary64_17777` `distribute-rgt1-in_binary64_17766`
3×	`unpow1/2_binary64_17874`
2×	`unpow2_binary64_17875` `pow-plus_binary64_17873` `unpow1_binary64_17868` `exp-neg_binary64_17857` `sqr-neg_binary64_17824` `rem-sqrt-square_binary64_17823` `associate--r-_binary64_17749` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744`
1×	`log-rec_binary64_17898` `prod-exp_binary64_17859` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `cube-neg_binary64_17837` `remove-double-neg_binary64_17798` `div0_binary64_17791` `*-inverses_binary64_17790` `pow-sqr_binary64_17783` `distribute-lft1-in_binary64_17765`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `div-exp_binary64_17861` `rec-exp_binary64_17860` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `rem-square-sqrt_binary64_17822` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

185 → 103

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	248	3393
1	662	3309
2	2139	3075
3	4820	3075
4	5153	3075

prune86.0ms (0.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	103	6	109

Error

Counts

109 → 6

Compiler

Compiled 1831 to 345 computations (81.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 t (-.f64 a z))
0.0b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))
12.8b	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))

rewrite122.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

44×	`add-sqr-sqrt_binary64_17832`
39×	`*-un-lft-identity_binary64_17810`
31×	`times-frac_binary64_17816`
23×	`add-cube-cbrt_binary64_17845`
21×	`associate-r_binary64_17750`
10×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
8×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
5×	`pow1_binary64_17871` `add-log-exp_binary64_17849` `associate-l_binary64_17751` `associate-/r*_binary64_17754`
4×	`flip3--_binary64_17814` `flip--_binary64_17785` `associate-/r/_binary64_17756`
3×	`associate-/l*_binary64_17755`
2×	`div-exp_binary64_17861` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `cbrt-undiv_binary64_17844` `frac-times_binary64_17820` `unswap-sqr_binary64_17778` `associate-*l/_binary64_17753` `div-inv_binary64_17807`
1×	`pow-prod-down_binary64_17881` `associate-r/_binary64_17752` `-commutative_binary64_17741` `sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740` `frac-2neg_binary64_17821` `clear-num_binary64_17809`

Counts

3 → 94

Calls

3 calls:

17.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))
6.0ms	(/.f64 t (-.f64 a z))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))

Compiler

Compiled 1884 to 440 computations (76.6% saved)

series1.2s (11%)

Error

Counts

3 → 66

Calls

3 calls:

637.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 t (-.f64 a z))))
363.0ms	(*.f64 (-.f64 y z) (/.f64 t (-.f64 a z)))
110.0ms	(/.f64 t (-.f64 a z))

Compiler

Compiled 2819 to 1702 computations (39.6% saved)

simplify118.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

407×	`distribute-rgt-in_binary64_17760`
395×	`distribute-lft-in_binary64_17759`
312×	`times-frac_binary64_17816`
169×	`div-sub_binary64_17815`
168×	`cancel-sign-sub-inv_binary64_17776`
162×	`neg-mul-1_binary64_17806`
141×	`associate-/l/_binary64_17757` `associate-/r/_binary64_17756`
123×	`sub-neg_binary64_17803`
98×	`associate-l_binary64_17751`
93×	`associate-/l*_binary64_17755`
89×	`associate-r_binary64_17750`
81×	`*-commutative_binary64_17741`
74×	`associate-*r/_binary64_17752` `+-commutative_binary64_17740`
65×	`distribute-rgt-neg-in_binary64_17768`
58×	`associate-*l/_binary64_17753`
54×	`distribute-neg-frac_binary64_17774` `associate--l+_binary64_17747`
53×	`distribute-lft-neg-in_binary64_17767`
50×	`distribute-lft-neg-out_binary64_17769`
46×	`*-rgt-identity_binary64_17800`
42×	`neg-sub0_binary64_17805`
41×	`distribute-rgt-neg-out_binary64_17770`
38×	`sqr-pow_binary64_17782`
37×	`exp-prod_binary64_17862`
35×	`associate-/r*_binary64_17754`
34×	`cube-prod_binary64_17838`
31×	`associate-+l+_binary64_17743`
25×	`distribute-rgt-out_binary64_17763`
24×	`log-prod_binary64_17896` `distribute-neg-in_binary64_17771`
23×	`*-lft-identity_binary64_17799`
22×	`exp-sum_binary64_17856`
21×	`associate--r+_binary64_17746`
16×	`unsub-neg_binary64_17804`
15×	`unswap-sqr_binary64_17778`
14×	`log-div_binary64_17897` `cube-div_binary64_17839` `associate-+r+_binary64_17742`
12×	`unpow3_binary64_17876` `distribute-lft-out_binary64_17761`
11×	`distribute-rgt-out--_binary64_17764`
10×	`/-rgt-identity_binary64_17801`
9×	`difference-of-squares_binary64_17779`
7×	`exp-diff_binary64_17858` `cube-mult_binary64_17840` `mul-1-neg_binary64_17802` `distribute-lft-out--_binary64_17762`
5×	`cube-unmult_binary64_17847`
4×	`swap-sqr_binary64_17777`
3×	`unpow1/2_binary64_17874` `pow-sqr_binary64_17783` `distribute-rgt1-in_binary64_17766`
2×	`unpow2_binary64_17875` `pow-plus_binary64_17873` `unpow1_binary64_17868` `rem-sqrt-square_binary64_17823` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744`
1×	`prod-exp_binary64_17859` `exp-neg_binary64_17857` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `cube-neg_binary64_17837` `sqr-neg_binary64_17824` `remove-double-neg_binary64_17798` `div0_binary64_17791` `*-inverses_binary64_17790` `associate--r-_binary64_17749`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `log-rec_binary64_17898` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `div-exp_binary64_17861` `rec-exp_binary64_17860` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `rem-square-sqrt_binary64_17822` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

160 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	228	2855
1	569	2792
2	1924	2471
3	4547	2471
4	5035	2471

prune81.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	2	3
Picked	0	1	1
Done	1	1	2
Total	98	5	103

Error

Counts

103 → 5

Compiler

Compiled 1645 to 332 computations (79.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 t (-.f64 y z))
0.0b	(/.f64 1 (-.f64 a z))
0.0b	(+.f64 x (.f64 (.f64 t (-.f64 y z)) (/.f64 1 (-.f64 a z))))
9.8b	(.f64 (.f64 t (-.f64 y z)) (/.f64 1 (-.f64 a z)))

rewrite184.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`add-sqr-sqrt_binary64_17832`
43×	`*-un-lft-identity_binary64_17810`
32×	`add-exp-log_binary64_17848`
30×	`times-frac_binary64_17816`
27×	`add-cube-cbrt_binary64_17845`
26×	`associate-r_binary64_17750`
20×	`add-cbrt-cube_binary64_17846`
13×	`prod-exp_binary64_17859`
12×	`pow1_binary64_17871`
8×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
7×	`cbrt-unprod_binary64_17843` `associate-*r/_binary64_17752`
6×	`div-exp_binary64_17861` `add-log-exp_binary64_17849` `cancel-sign-sub-inv_binary64_17776`
5×	`flip3--_binary64_17814` `flip--_binary64_17785` `associate-/r*_binary64_17754`
4×	`pow-prod-down_binary64_17881` `associate-l_binary64_17751` `associate-/r/_binary64_17756` `distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759`
3×	`1-exp_binary64_17854` `rec-exp_binary64_17860` `cbrt-undiv_binary64_17844` `associate-/l*_binary64_17755`
2×	`frac-times_binary64_17820` `associate-l/_binary64_17753` `div-inv_binary64_17807` `-commutative_binary64_17741` `sub-neg_binary64_17803`
1×	`un-div-inv_binary64_17808` `sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740` `inv-pow_binary64_17895` `pow-flip_binary64_17884` `frac-2neg_binary64_17821` `clear-num_binary64_17809` `unswap-sqr_binary64_17778`

Counts

4 → 132

Calls

4 calls:

16.0ms	(.f64 (.f64 t (-.f64 y z)) (/.f64 1 (-.f64 a z)))
7.0ms	(*.f64 t (-.f64 y z))
6.0ms	(+.f64 x (.f64 (.f64 t (-.f64 y z)) (/.f64 1 (-.f64 a z))))
6.0ms	(/.f64 1 (-.f64 a z))

Compiler

Compiled 2808 to 1080 computations (61.5% saved)

series1.2s (11.5%)

Error

Counts

4 → 78

Calls

4 calls:

619.0ms	(+.f64 x (.f64 (.f64 t (-.f64 y z)) (/.f64 1 (-.f64 a z))))
355.0ms	(.f64 (.f64 t (-.f64 y z)) (/.f64 1 (-.f64 a z)))
131.0ms	(*.f64 t (-.f64 y z))
51.0ms	(/.f64 1 (-.f64 a z))

Compiler

Compiled 3257 to 2032 computations (37.6% saved)

simplify100.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

702×	`distribute-rgt-in_binary64_17760`
687×	`times-frac_binary64_17816`
241×	`associate-l_binary64_17751`
206×	`cancel-sign-sub-inv_binary64_17776`
190×	`associate-r_binary64_17750`
145×	`*-commutative_binary64_17741`
131×	`distribute-rgt-neg-in_binary64_17768`
129×	`sub-neg_binary64_17803`
123×	`div-sub_binary64_17815`
116×	`associate-/l*_binary64_17755`
102×	`distribute-lft-neg-in_binary64_17767`
78×	`+-commutative_binary64_17740`
75×	`associate-*r/_binary64_17752`
60×	`distribute-lft-neg-out_binary64_17769`
58×	`distribute-lft-in_binary64_17759`
56×	`exp-prod_binary64_17862` `associate--l+_binary64_17747`
52×	`distribute-rgt-neg-out_binary64_17770`
51×	`distribute-neg-frac_binary64_17774`
47×	`*-lft-identity_binary64_17799`
46×	`neg-sub0_binary64_17805`
45×	`*-rgt-identity_binary64_17800`
43×	`sqr-pow_binary64_17782`
42×	`neg-mul-1_binary64_17806`
40×	`associate-+l+_binary64_17743`
32×	`associate-*l/_binary64_17753`
31×	`distribute-neg-in_binary64_17771` `associate-/r/_binary64_17756`
26×	`associate-/r*_binary64_17754`
25×	`distribute-rgt-out_binary64_17763`
24×	`cube-prod_binary64_17838`
21×	`swap-sqr_binary64_17777` `associate--r+_binary64_17746` `associate-+r+_binary64_17742`
20×	`/-rgt-identity_binary64_17801`
19×	`unsub-neg_binary64_17804` `distribute-lft-out_binary64_17761`
17×	`log-prod_binary64_17896`
16×	`unswap-sqr_binary64_17778`
15×	`associate-/l/_binary64_17757`
13×	`exp-sum_binary64_17856` `associate-+r-_binary64_17744`
11×	`cube-div_binary64_17839` `distribute-rgt-out--_binary64_17764` `distribute-lft-out--_binary64_17762`
9×	`log-div_binary64_17897` `unpow3_binary64_17876`
8×	`difference-of-squares_binary64_17779`
7×	`cube-mult_binary64_17840` `+-rgt-identity_binary64_17795`
6×	`exp-diff_binary64_17858`
5×	`cube-unmult_binary64_17847`
4×	`mul-1-neg_binary64_17802` `remove-double-neg_binary64_17798`
3×	`log-rec_binary64_17898` `associate-+l-_binary64_17745`
2×	`unpow2_binary64_17875` `unpow1/2_binary64_17874` `unpow1_binary64_17868` `exp-neg_binary64_17857` `rem-sqrt-square_binary64_17823` `pow-sqr_binary64_17783` `distribute-rgt1-in_binary64_17766`
1×	`prod-exp_binary64_17859` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-3cbrt-lft_binary64_17835` `rem-square-sqrt_binary64_17822` `sub0-neg_binary64_17797` `+-lft-identity_binary64_17794` `*-inverses_binary64_17790` `associate--r-_binary64_17749`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `pow-plus_binary64_17873` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `div-exp_binary64_17861` `rec-exp_binary64_17860` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `--rgt-identity_binary64_17796` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `div0_binary64_17791` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

210 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	257	3150
1	665	2913
2	2353	2835
3	5420	2835

prune107.0ms (1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	130	5	135

Error

Counts

135 → 5

Compiler

Compiled 2116 to 528 computations (75% saved)

regimes1.2s (11.1%)

Accuracy

Total 1.9b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 7962 to 6507 computations (18.3% saved)

bsearch53.0ms (0.5%)

Steps

Iters	Range		Point
7	2.619308292156142e-103	4.883136885876599e-102	2.8021645666856244e-103
10	-3.316145142846128e+90	-1.700225157328593e+80	-2.0367736854431388e+80

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64_17740`
7×	`*-commutative_binary64_17741`
5×	`sub-neg_binary64_17803`
3×	`neg-mul-1_binary64_17806` `neg-sub0_binary64_17805`
2×	`cancel-sign-sub-inv_binary64_17776` `distribute-rgt-neg-in_binary64_17768` `distribute-lft-neg-in_binary64_17767`
1×	`if-if-or-not_binary64_18068` `1-exp_binary64_17854` `unsub-neg_binary64_17804`
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_18070` `if-if-and_binary64_18069` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `unpow1_binary64_17868` `e-exp-1_binary64_17855` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `mul-1-neg_binary64_17802` `/-rgt-identity_binary64_17801` `-rgt-identity_binary64_17800` `-lft-identity_binary64_17799` `remove-double-neg_binary64_17798` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `cancel-sign-sub_binary64_17775` `distribute-neg-frac_binary64_17774` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-neg-in_binary64_17771` `distribute-rgt-neg-out_binary64_17770` `distribute-lft-neg-out_binary64_17769`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	52
1	48	52
2	58	52
3	63	52
4	65	52
5	64	52

end0.0ms (0%)

sample1.7s (16.3%)

Algorithm

1×

intervals

Results

317.0ms	7999×	body	128	valid
25.0ms	710×	body	128	invalid
0.0ms	1×	body	256	valid

Compiler

Compiled 1189 to 956 computations (19.6% saved)

Details

analyze1.2s (11%)

sample25.0ms (0.2%)

simplify183.0ms (1.7%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite96.0ms (0.9%)

series1.2s (11.5%)

simplify99.0ms (0.9%)

prune80.0ms (0.8%)

localize8.0ms (0.1%)

rewrite148.0ms (1.4%)

series1.2s (11.7%)

simplify131.0ms (1.2%)

prune86.0ms (0.8%)

localize9.0ms (0.1%)

rewrite122.0ms (1.2%)

series1.2s (11%)

simplify118.0ms (1.1%)

prune81.0ms (0.8%)

localize10.0ms (0.1%)

rewrite184.0ms (1.7%)

series1.2s (11.5%)

simplify100.0ms (0.9%)

prune107.0ms (1%)

regimes1.2s (11.1%)

bsearch53.0ms (0.5%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample1.7s (16.3%)

Profiling