Details

analyze1.1s (11%)

Algorithm

1×	search
2×	egg-herbie

Rules

936×	`div-sub_binary64_17815`
659×	`neg-mul-1_binary64_17806`
540×	`unsub-neg_binary64_17804`
418×	`sub-neg_binary64_17803`
304×	`distribute-rgt-in_binary64_17760`
296×	`distribute-frac-neg_binary64_17773`
267×	`distribute-lft-in_binary64_17759`
256×	`times-frac_binary64_17816`
245×	`distribute-neg-in_binary64_17771`
228×	`neg-sub0_binary64_17805`
193×	`cancel-sign-sub-inv_binary64_17776`
130×	`distribute-neg-frac_binary64_17774`
121×	`+-commutative_binary64_17740`
112×	`associate-/l*_binary64_17755`
107×	`*-lft-identity_binary64_17799`
86×	`distribute-neg-out_binary64_17772`
82×	`associate-+l+_binary64_17743` `associate-+r+_binary64_17742`
80×	`sub0-neg_binary64_17797`
71×	`div0_binary64_17791`
68×	`associate--r+_binary64_17746`
66×	`associate-+l-_binary64_17745`
65×	`*-commutative_binary64_17741`
63×	`mul0-rgt_binary64_17793` `mul0-lft_binary64_17792`
62×	`associate-l/_binary64_17753` `associate-r/_binary64_17752`
60×	`cancel-sign-sub_binary64_17775`
54×	`associate-r_binary64_17750`
53×	`associate-/r/_binary64_17756`
51×	`distribute-rgt-neg-out_binary64_17770`
47×	`distribute-lft-neg-out_binary64_17769` `associate-l_binary64_17751`
44×	`associate-+r-_binary64_17744`
34×	`+-rgt-identity_binary64_17795`
30×	`remove-double-neg_binary64_17798`
29×	`+-lft-identity_binary64_17794`
25×	`associate--r-_binary64_17749`
15×	`distribute-rgt-neg-in_binary64_17768`
6×	`associate--l+_binary64_17747`
5×	`mul-1-neg_binary64_17802` `*-inverses_binary64_17790`
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` `--rgt-identity_binary64_17796` `+-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` `distribute-lft-neg-in_binary64_17767` `distribute-rgt1-in_binary64_17766` `distribute-lft1-in_binary64_17765` `distribute-rgt-out--_binary64_17764` `distribute-rgt-out_binary64_17763` `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	138	176
2	261	176
3	493	176
4	1091	176
5	2597	176
6	4182	176
7	4727	176
8	4870	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
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.3%	66.5%	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)

simplify139.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

931×	`div-sub_binary64_17815`
670×	`sub-neg_binary64_17803`
637×	`distribute-rgt-in_binary64_17760`
586×	`distribute-lft-in_binary64_17759`
551×	`unsub-neg_binary64_17804`
525×	`times-frac_binary64_17816`
326×	`associate-/l*_binary64_17755`
322×	`distribute-neg-frac_binary64_17774`
292×	`distribute-rgt-neg-in_binary64_17768`
272×	`associate-/r*_binary64_17754`
225×	`distribute-lft-neg-in_binary64_17767`
190×	`*-commutative_binary64_17741`
185×	`neg-mul-1_binary64_17806` `distribute-rgt-neg-out_binary64_17770`
180×	`distribute-lft-neg-out_binary64_17769`
178×	`cancel-sign-sub-inv_binary64_17776` `associate-/l/_binary64_17757`
163×	`associate-/r/_binary64_17756`
155×	`neg-sub0_binary64_17805`
151×	`associate-*l/_binary64_17753`
144×	`associate-r_binary64_17750`
143×	`associate-*r/_binary64_17752`
130×	`cancel-sign-sub_binary64_17775`
127×	`distribute-frac-neg_binary64_17773`
102×	`associate--r+_binary64_17746`
77×	`associate-l_binary64_17751`
75×	`distribute-neg-in_binary64_17771`
64×	`+-commutative_binary64_17740`
44×	`associate--r-_binary64_17749`
42×	`remove-double-neg_binary64_17798`
38×	`associate-+l-_binary64_17745`
33×	`*-rgt-identity_binary64_17800`
31×	`*-lft-identity_binary64_17799`
30×	`distribute-rgt-out--_binary64_17764`
28×	`mul0-rgt_binary64_17793`
27×	`distribute-rgt-out_binary64_17763` `associate--l+_binary64_17747`
25×	`div0_binary64_17791`
24×	`associate--l-_binary64_17748`
23×	`mul0-lft_binary64_17792` `associate-+r-_binary64_17744`
22×	`associate-+l+_binary64_17743`
21×	`sub0-neg_binary64_17797`
19×	`/-rgt-identity_binary64_17801`
17×	`associate-+r+_binary64_17742`
15×	`distribute-neg-out_binary64_17772`
13×	`+-lft-identity_binary64_17794`
12×	`distribute-lft-out_binary64_17761`
11×	`+-rgt-identity_binary64_17795`
9×	`remove-double-div_binary64_17786`
8×	`--rgt-identity_binary64_17796`
7×	`distribute-lft-out--_binary64_17762`
3×	`mul-1-neg_binary64_17802`
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` `lft-mult-inverse_binary64_17788` `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	22	16
2	41	16
3	76	16
4	148	16
5	264	16
6	540	16
7	1361	16
8	2673	16
9	2393	16
10	2555	16
11	2631	16
12	2723	16
13	2775	16
14	4293	16
15	4989	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

2.3b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite171.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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:

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

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.3s (12.4%)

Error

0.1b

Counts

3 → 74

Calls

3 calls:

649.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))
344.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
196.0ms	(/.f64 (-.f64 z t) (-.f64 z a))

Compiler

Compiled 3300 to 2001 computations (39.4% saved)

simplify103.0ms (1%)

Algorithm

1×	egg-herbie

Rules

493×	`distribute-rgt-in_binary64_17760`
472×	`distribute-lft-in_binary64_17759`
451×	`times-frac_binary64_17816`
197×	`cancel-sign-sub-inv_binary64_17776`
170×	`sub-neg_binary64_17803`
115×	`associate-l_binary64_17751`
109×	`associate-r_binary64_17750`
107×	`associate-/l*_binary64_17755`
92×	`*-commutative_binary64_17741`
87×	`+-commutative_binary64_17740`
83×	`div-sub_binary64_17815`
79×	`associate--l+_binary64_17747`
78×	`distribute-neg-frac_binary64_17774`
75×	`associate-*r/_binary64_17752`
71×	`distribute-rgt-neg-in_binary64_17768`
62×	`neg-sub0_binary64_17805`
55×	`neg-mul-1_binary64_17806` `distribute-lft-neg-in_binary64_17767`
49×	`associate-*l/_binary64_17753`
47×	`associate-/r*_binary64_17754`
45×	`distribute-lft-neg-out_binary64_17769`
42×	`*-rgt-identity_binary64_17800` `associate-+l+_binary64_17743`
41×	`associate-/l/_binary64_17757`
36×	`associate--r+_binary64_17746`
34×	`sqr-pow_binary64_17782`
33×	`distribute-rgt-neg-out_binary64_17770`
31×	`distribute-neg-in_binary64_17771`
30×	`*-lft-identity_binary64_17799`
27×	`associate-/r/_binary64_17756`
26×	`unsub-neg_binary64_17804`
24×	`distribute-rgt-out_binary64_17763`
18×	`unswap-sqr_binary64_17778`
16×	`associate-+r+_binary64_17742`
15×	`cube-prod_binary64_17838` `distribute-rgt-out--_binary64_17764`
13×	`/-rgt-identity_binary64_17801`
12×	`log-prod_binary64_17896` `distribute-lft-out_binary64_17761`
11×	`log-div_binary64_17897` `cube-div_binary64_17839`
10×	`exp-prod_binary64_17862` `exp-sum_binary64_17856`
8×	`unpow3_binary64_17876`
7×	`mul-1-neg_binary64_17802`
6×	`cube-mult_binary64_17840` `distribute-rgt1-in_binary64_17766`
5×	`difference-of-squares_binary64_17779`
4×	`exp-diff_binary64_17858` `swap-sqr_binary64_17777`
3×	`cube-unmult_binary64_17847` `distribute-lft-out--_binary64_17762`
2×	`unpow2_binary64_17875` `unpow1/2_binary64_17874` `unpow1_binary64_17868` `rem-sqrt-square_binary64_17823` `remove-double-neg_binary64_17798` `associate--r-_binary64_17749` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744`
1×	`prod-exp_binary64_17859` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `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` `log-rec_binary64_17898` `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` `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` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

187 → 112

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	247	3467
1	673	3311
2	2166	3164
3	4980	3164

prune109.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	103	9	112
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	10	113

Error

0.0b

Counts

113 → 10

Compiler

Compiled 1906 to 446 computations (76.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 z a))
0.6b	(cbrt.f64 (-.f64 z a))
0.6b	(cbrt.f64 (-.f64 z a))
6.3b	(.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))))

rewrite229.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

76×	`add-sqr-sqrt_binary64_17832`
60×	`*-un-lft-identity_binary64_17810`
50×	`times-frac_binary64_17816`
46×	`associate-r_binary64_17750`
42×	`cbrt-prod_binary64_17841`
28×	`add-cube-cbrt_binary64_17845`
25×	`add-exp-log_binary64_17848`
20×	`cbrt-div_binary64_17842`
18×	`add-cbrt-cube_binary64_17846`
16×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
15×	`associate-l_binary64_17751`
10×	`flip3--_binary64_17814` `associate-/r/_binary64_17756` `flip--_binary64_17785`
8×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
7×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
6×	`pow1_binary64_17871` `unswap-sqr_binary64_17778`
5×	`frac-times_binary64_17820`
4×	`add-log-exp_binary64_17849`
3×	`associate-l/_binary64_17753` `associate-r/_binary64_17752` `pow1/3_binary64_17892`
2×	`div-inv_binary64_17807`
1×	`pow-prod-down_binary64_17881` `*-commutative_binary64_17741`

Counts

4 → 136

Calls

4 calls:

44.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))))
4.0ms	(cbrt.f64 (-.f64 z a))
4.0ms	(cbrt.f64 (-.f64 z a))
3.0ms	(cbrt.f64 (-.f64 z a))

Compiler

Compiled 4537 to 750 computations (83.5% saved)

series907.0ms (9%)

Error

0.0b

Counts

4 → 55

Calls

4 calls:

396.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))))
158.0ms	(cbrt.f64 (-.f64 z a))
151.0ms	(cbrt.f64 (-.f64 z a))
143.0ms	(cbrt.f64 (-.f64 z a))

Compiler

Compiled 3942 to 2595 computations (34.2% saved)

simplify163.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

322×	`associate-/r/_binary64_17756`
241×	`associate-*r/_binary64_17752`
236×	`distribute-rgt-in_binary64_17760`
229×	`distribute-lft-in_binary64_17759`
210×	`associate-/l*_binary64_17755`
182×	`associate-*l/_binary64_17753`
169×	`*-commutative_binary64_17741`
163×	`associate-l_binary64_17751`
150×	`associate-r_binary64_17750`
139×	`cancel-sign-sub-inv_binary64_17776`
135×	`times-frac_binary64_17816`
103×	`associate-/r*_binary64_17754`
96×	`sub-neg_binary64_17803`
85×	`distribute-rgt-neg-in_binary64_17768`
82×	`distribute-lft-neg-in_binary64_17767` `associate-/l/_binary64_17757`
64×	`exp-prod_binary64_17862`
54×	`log-prod_binary64_17896`
50×	`sqr-pow_binary64_17782`
46×	`log-div_binary64_17897`
45×	`neg-sub0_binary64_17805`
43×	`*-rgt-identity_binary64_17800`
42×	`div-sub_binary64_17815`
40×	`+-commutative_binary64_17740`
39×	`*-lft-identity_binary64_17799`
37×	`neg-mul-1_binary64_17806`
33×	`distribute-neg-frac_binary64_17774`
29×	`unswap-sqr_binary64_17778`
22×	`distribute-lft-neg-out_binary64_17769`
21×	`distribute-rgt-neg-out_binary64_17770` `associate--l+_binary64_17747`
18×	`unpow3_binary64_17876`
17×	`distribute-neg-in_binary64_17771`
16×	`associate--r+_binary64_17746`
14×	`cube-prod_binary64_17838` `unsub-neg_binary64_17804` `swap-sqr_binary64_17777` `distribute-rgt-out_binary64_17763` `associate-+l+_binary64_17743`
13×	`cube-div_binary64_17839`
11×	`/-rgt-identity_binary64_17801` `distribute-rgt-out--_binary64_17764`
8×	`exp-sum_binary64_17856` `mul-1-neg_binary64_17802` `associate-+l-_binary64_17745`
7×	`unpow1/3_binary64_17877` `cube-unmult_binary64_17847`
6×	`distribute-lft-out_binary64_17761`
5×	`distribute-frac-neg_binary64_17773` `associate-+r+_binary64_17742`
4×	`pow-plus_binary64_17873` `difference-of-squares_binary64_17779` `associate-+r-_binary64_17744`
3×	`log-pow_binary64_17899` `unpow1/2_binary64_17874` `exp-diff_binary64_17858` `cube-mult_binary64_17840` `pow-sqr_binary64_17783` `distribute-rgt1-in_binary64_17766`
2×	`log-rec_binary64_17898` `unpow2_binary64_17875` `exp-to-pow_binary64_17872` `unpow1_binary64_17868` `rem-sqrt-square_binary64_17823` `associate--r-_binary64_17749`
1×	`1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-3cbrt-lft_binary64_17835` `rem-cube-cbrt_binary64_17833` `remove-double-neg_binary64_17798` `distribute-lft-out--_binary64_17762` `count-2_binary64_17758`
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` `pow-base-0_binary64_17894` `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` `prod-exp_binary64_17859` `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-cbrt-cube_binary64_17834` `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` `div0_binary64_17791` `*-inverses_binary64_17790` `+-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-neg-out_binary64_17772` `distribute-lft1-in_binary64_17765` `associate--l-_binary64_17748`

Counts

191 → 113

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	267	4977
1	763	4159
2	2834	4092
3	4894	4086
4	5000	4086

prune129.0ms (1.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	113	10	123

Error

0.0b

Counts

123 → 10

Compiler

Compiled 2952 to 697 computations (76.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 z t))
0.6b	(cbrt.f64 (-.f64 z t))
0.6b	(cbrt.f64 (-.f64 z t))
3.2b	(.f64 y (.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a))))

rewrite160.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`cbrt-div_binary64_17842`
22×	`add-exp-log_binary64_17848` `associate-*r/_binary64_17752`
16×	`add-cbrt-cube_binary64_17846` `frac-times_binary64_17820`
15×	`flip3--_binary64_17814` `flip--_binary64_17785` `cbrt-prod_binary64_17841`
14×	`add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810`
13×	`pow1_binary64_17871`
12×	`associate-*l/_binary64_17753`
11×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
8×	`add-cube-cbrt_binary64_17845`
6×	`pow-prod-down_binary64_17881`
4×	`add-log-exp_binary64_17849`
3×	`associate-l_binary64_17751` `pow1/3_binary64_17892` `difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
2×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
1×	`associate-r_binary64_17750` `*-commutative_binary64_17741`

Counts

4 → 87

Calls

4 calls:

29.0ms	(.f64 y (.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a))))
3.0ms	(cbrt.f64 (-.f64 z t))
3.0ms	(cbrt.f64 (-.f64 z t))
3.0ms	(cbrt.f64 (-.f64 z t))

Compiler

Compiled 2836 to 551 computations (80.6% saved)

series748.0ms (7.4%)

Error

0.0b

Counts

4 → 46

Calls

4 calls:

388.0ms	(.f64 y (.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a))))
109.0ms	(cbrt.f64 (-.f64 z t))
105.0ms	(cbrt.f64 (-.f64 z t))
103.0ms	(cbrt.f64 (-.f64 z t))

Compiler

Compiled 3141 to 2049 computations (34.8% saved)

simplify112.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

471×	`associate-/l*_binary64_17755`
380×	`associate-*r/_binary64_17752`
314×	`associate-*l/_binary64_17753`
287×	`times-frac_binary64_17816`
203×	`associate-l_binary64_17751`
200×	`associate-r_binary64_17750`
185×	`associate-/r*_binary64_17754`
158×	`distribute-rgt-in_binary64_17760`
152×	`distribute-lft-in_binary64_17759`
136×	`*-commutative_binary64_17741`
97×	`cancel-sign-sub-inv_binary64_17776`
86×	`associate-/r/_binary64_17756`
79×	`sub-neg_binary64_17803`
58×	`distribute-lft-neg-out_binary64_17769`
57×	`distribute-rgt-neg-out_binary64_17770`
45×	`sqr-pow_binary64_17782`
44×	`distribute-rgt-neg-in_binary64_17768`
43×	`div-sub_binary64_17815`
42×	`distribute-lft-neg-in_binary64_17767`
41×	`+-commutative_binary64_17740`
38×	`log-div_binary64_17897`
31×	`neg-sub0_binary64_17805`
29×	`distribute-neg-frac_binary64_17774`
24×	`associate-/l/_binary64_17757`
23×	`exp-prod_binary64_17862` `neg-mul-1_binary64_17806`
20×	`associate--l+_binary64_17747`
19×	`unswap-sqr_binary64_17778`
18×	`log-prod_binary64_17896` `associate-+l+_binary64_17743`
16×	`unsub-neg_binary64_17804` `swap-sqr_binary64_17777`
15×	`cube-prod_binary64_17838`
14×	`associate--r+_binary64_17746` `associate-+r+_binary64_17742`
13×	`distribute-frac-neg_binary64_17773`
12×	`distribute-rgt-out_binary64_17763`
11×	`distribute-neg-in_binary64_17771`
10×	`mul-1-neg_binary64_17802` `distribute-lft-out_binary64_17761`
8×	`cube-unmult_binary64_17847` `cube-div_binary64_17839`
7×	`exp-sum_binary64_17856`
6×	`distribute-rgt-out--_binary64_17764`
5×	`unpow1/3_binary64_17877` `distribute-neg-out_binary64_17772` `associate-+r-_binary64_17744`
4×	`unpow3_binary64_17876` `exp-diff_binary64_17858` `cube-mult_binary64_17840` `difference-of-squares_binary64_17779`
3×	`pow-sqr_binary64_17783` `distribute-rgt1-in_binary64_17766`
2×	`log-rec_binary64_17898` `unpow2_binary64_17875` `unpow1/2_binary64_17874` `pow-plus_binary64_17873` `unpow1_binary64_17868` `distribute-lft-out--_binary64_17762` `associate-+l-_binary64_17745`
1×	`log-pow_binary64_17899` `1-exp_binary64_17854` `cube-neg_binary64_17837` `rem-3cbrt-lft_binary64_17835` `rem-cube-cbrt_binary64_17833` `sqr-neg_binary64_17824` `rem-sqrt-square_binary64_17823` `*-lft-identity_binary64_17799` `remove-double-neg_binary64_17798` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758` `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` `pow-base-0_binary64_17894` `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` `prod-exp_binary64_17859` `exp-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `rem-3cbrt-rft_binary64_17836` `rem-cbrt-cube_binary64_17834` `sqr-abs_binary64_17825` `rem-square-sqrt_binary64_17822` `/-rgt-identity_binary64_17801` `-rgt-identity_binary64_17800` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `div0_binary64_17791` `-inverses_binary64_17790` `+-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` `associate--l-_binary64_17748`

Counts

133 → 83

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	204	2350
1	501	2182
2	1468	2134
3	4970	2134
4	4970	2134

prune92.0ms (0.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	83	10	93

Error

0.0b

Counts

93 → 10

Compiler

Compiled 2096 to 552 computations (73.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
1.5b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y)))
2.0b	(*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y))

rewrite163.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

49×	`add-sqr-sqrt_binary64_17832`
39×	`*-un-lft-identity_binary64_17810`
32×	`associate-l_binary64_17751`
30×	`add-exp-log_binary64_17848`
27×	`times-frac_binary64_17816`
19×	`add-cube-cbrt_binary64_17845`
18×	`pow1_binary64_17871` `add-cbrt-cube_binary64_17846`
15×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
11×	`cbrt-prod_binary64_17841`
10×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
9×	`pow-prod-down_binary64_17881`
7×	`associate-r_binary64_17750`
4×	`add-log-exp_binary64_17849` `unswap-sqr_binary64_17778`
3×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
2×	`associate-l/_binary64_17753` `associate-/r/_binary64_17756` `-commutative_binary64_17741` `pow1/3_binary64_17892`
1×	`div-inv_binary64_17807` `flip3--_binary64_17814` `flip--_binary64_17785` `associate-*r/_binary64_17752`

Counts

4 → 104

Calls

4 calls:

19.0ms	(*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y))
18.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2791 to 515 computations (81.5% saved)

series1.2s (12.3%)

Error

0.0b

Counts

4 → 47

Calls

4 calls:

586.0ms	(*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y))
381.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y)))
122.0ms	(cbrt.f64 y)
109.0ms	(cbrt.f64 y)

Compiler

Compiled 2768 to 1771 computations (36% saved)

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

480×	`times-frac_binary64_17816`
379×	`distribute-rgt-in_binary64_17760`
369×	`distribute-lft-in_binary64_17759`
217×	`associate-l_binary64_17751`
202×	`associate-r_binary64_17750`
150×	`cancel-sign-sub-inv_binary64_17776`
130×	`*-commutative_binary64_17741`
105×	`associate-/l*_binary64_17755`
98×	`sub-neg_binary64_17803`
94×	`unswap-sqr_binary64_17778`
89×	`distribute-rgt-neg-in_binary64_17768`
75×	`associate-*l/_binary64_17753`
71×	`distribute-lft-neg-in_binary64_17767`
69×	`associate-*r/_binary64_17752`
66×	`div-sub_binary64_17815`
53×	`exp-prod_binary64_17862` `distribute-neg-frac_binary64_17774`
48×	`neg-sub0_binary64_17805`
45×	`+-commutative_binary64_17740`
43×	`log-prod_binary64_17896`
39×	`sqr-pow_binary64_17782`
38×	`neg-mul-1_binary64_17806`
36×	`distribute-rgt-out_binary64_17763`
32×	`associate-/r*_binary64_17754`
28×	`associate--l+_binary64_17747`
26×	`distribute-lft-neg-out_binary64_17769`
25×	`distribute-rgt-out--_binary64_17764`
21×	`distribute-rgt-neg-out_binary64_17770` `associate-+l+_binary64_17743`
19×	`distribute-neg-in_binary64_17771` `distribute-lft-out_binary64_17761`
18×	`cube-prod_binary64_17838` `swap-sqr_binary64_17777` `associate-/r/_binary64_17756`
16×	`unsub-neg_binary64_17804` `associate--r+_binary64_17746`
14×	`associate-+r+_binary64_17742`
12×	`distribute-lft-out--_binary64_17762`
11×	`log-div_binary64_17897` `mul-1-neg_binary64_17802`
10×	`exp-sum_binary64_17856`
9×	`cube-unmult_binary64_17847` `-rgt-identity_binary64_17800` `-lft-identity_binary64_17799`
7×	`cube-div_binary64_17839`
5×	`rem-sqrt-square_binary64_17823` `distribute-rgt1-in_binary64_17766`
4×	`log-pow_binary64_17899` `pow-plus_binary64_17873` `exp-diff_binary64_17858` `pow-sqr_binary64_17783` `associate-+r-_binary64_17744`
2×	`unpow1/3_binary64_17877` `unpow3_binary64_17876` `unpow2_binary64_17875` `unpow1/2_binary64_17874` `unpow1_binary64_17868` `cube-mult_binary64_17840` `associate-+l-_binary64_17745`
1×	`1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-3cbrt-lft_binary64_17835` `rem-cube-cbrt_binary64_17833` `/-rgt-identity_binary64_17801` `remove-double-neg_binary64_17798` `*-inverses_binary64_17790` `difference-of-squares_binary64_17779` `distribute-frac-neg_binary64_17773` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758`
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-rec_binary64_17898` `pow-base-0_binary64_17894` `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` `prod-exp_binary64_17859` `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-cbrt-cube_binary64_17834` `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` `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-neg-out_binary64_17772` `associate-/l/_binary64_17757` `associate--r-_binary64_17749` `associate--l-_binary64_17748`

Counts

151 → 119

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	224	2956
1	599	2294
2	1926	2238
3	5316	2238

prune112.0ms (1.1%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	119	10	129

Error

0.0b

Counts

129 → 10

Compiler

Compiled 2445 to 479 computations (80.4% saved)

regimes1.2s (11.5%)

Accuracy

Total 0.6b remaining (99.5%)

Threshold costs 0.6b (99.5%)

Compiler

Compiled 11494 to 8183 computations (28.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_17740`
4×	`sub-neg_binary64_17803` `*-commutative_binary64_17741`
2×	`neg-mul-1_binary64_17806` `neg-sub0_binary64_17805`
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-not_binary64_18068` `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` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `unsub-neg_binary64_17804` `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-inv_binary64_17776` `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` `distribute-rgt-neg-in_binary64_17768` `distribute-lft-neg-in_binary64_17767`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	52
1	24	52
2	32	52
3	36	52
4	38	52
5	38	52

end0.0ms (0%)

sample1.8s (17.8%)

Algorithm

1×

intervals

Results

311.0ms	7996×	body	128	valid
26.0ms	727×	body	128	invalid
0.0ms	3×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 1416 to 1011 computations (28.6% saved)

Details

analyze1.1s (11%)

sample25.0ms (0.2%)

simplify139.0ms (1.4%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite171.0ms (1.7%)

series1.3s (12.4%)

simplify103.0ms (1%)

prune109.0ms (1.1%)

localize13.0ms (0.1%)

rewrite229.0ms (2.3%)

series907.0ms (9%)

simplify163.0ms (1.6%)

prune129.0ms (1.3%)

localize12.0ms (0.1%)

rewrite160.0ms (1.6%)

series748.0ms (7.4%)

simplify112.0ms (1.1%)

prune92.0ms (0.9%)

localize12.0ms (0.1%)

rewrite163.0ms (1.6%)

series1.2s (12.3%)

simplify91.0ms (0.9%)

prune112.0ms (1.1%)

regimes1.2s (11.5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.8s (17.8%)

Profiling