Details

analyze2.4s (16.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

1076×	`unsub-neg_binary64_16781`
729×	`distribute-rgt-in_binary64_16737`
702×	`distribute-rgt-neg-in_binary64_16745`
645×	`sub-neg_binary64_16780`
602×	`distribute-lft-neg-in_binary64_16744`
557×	`neg-mul-1_binary64_16783`
505×	`*-commutative_binary64_16718`
475×	`neg-sub0_binary64_16782`
398×	`cancel-sign-sub-inv_binary64_16753`
392×	`associate--r+_binary64_16723`
320×	`remove-double-neg_binary64_16775`
315×	`distribute-rgt-neg-out_binary64_16747`
277×	`associate-r_binary64_16727`
261×	`distribute-neg-in_binary64_16748`
247×	`+-commutative_binary64_16717`
244×	`associate-l_binary64_16728`
216×	`distribute-lft-in_binary64_16736`
206×	`associate--r-_binary64_16726`
164×	`associate-+l-_binary64_16722`
115×	`sub0-neg_binary64_16774`
108×	`associate--l+_binary64_16724`
98×	`associate-+l+_binary64_16720`
96×	`associate-+r-_binary64_16721`
95×	`distribute-lft-neg-out_binary64_16746`
84×	`distribute-neg-out_binary64_16749`
60×	`mul0-lft_binary64_16769` `associate--l-_binary64_16725`
54×	`mul0-rgt_binary64_16770`
46×	`+-rgt-identity_binary64_16772`
38×	`associate-+r+_binary64_16719`
33×	`--rgt-identity_binary64_16773`
21×	`*-lft-identity_binary64_16776`
12×	`distribute-lft-out--_binary64_16739`
1×	`1-exp_binary64_16831` `+-lft-identity_binary64_16771` `swap-y-z` `swap-y-t` `swap-a-b`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `log-prod_binary64_16873` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow3_binary64_16853` `unpow2_binary64_16852` `unpow1/2_binary64_16851` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow1_binary64_16845` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `exp-prod_binary64_16839` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-unmult_binary64_16824` `cube-mult_binary64_16817` `cube-div_binary64_16816` `cube-prod_binary64_16815` `cube-neg_binary64_16814` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `times-frac_binary64_16793` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `-rgt-identity_binary64_16777` `div0_binary64_16768` `-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `pow-sqr_binary64_16760` `sqr-pow_binary64_16759` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `unswap-sqr_binary64_16755` `swap-sqr_binary64_16754` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out--_binary64_16741` `distribute-rgt-out_binary64_16740` `distribute-lft-out_binary64_16738` `count-2_binary64_16735` `associate-/l/_binary64_16734` `associate-/r/_binary64_16733` `associate-/l_binary64_16732` `associate-/r_binary64_16731` `associate-l/_binary64_16730` `associate-r/_binary64_16729` `swap-z-t`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	92	400
1	280	400
2	790	400
3	1720	400
4	2500	400
5	3823	400
6	3673	400
7	3572	400
8	3566	400
9	3935	400
10	3935	400
11	4235	400
12	4205	400
13	4205	400
14	4205	400
15	4205	400
16	4968	400
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
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.6%	98.1%	0.3%	13
2.3%	97.4%	0.3%	14

Symmetry

(sort y z t)

(sort a b)

Compiler

Compiled 18 to 18 computations (0% saved)

sample67.0ms (0.5%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
4.0ms	94×	body	128	invalid

Compiler

Compiled 35 to 41 computations (-17.1% saved)

simplify54.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

213×	`cancel-sign-sub-inv_binary64_16753`
172×	`distribute-rgt-neg-in_binary64_16745`
162×	`unsub-neg_binary64_16781`
99×	`distribute-rgt-in_binary64_16737`
94×	`distribute-lft-neg-in_binary64_16744`
89×	`sub-neg_binary64_16780` `associate-r_binary64_16727`
81×	`associate-l_binary64_16728`
63×	`distribute-lft-in_binary64_16736`
53×	`neg-mul-1_binary64_16783`
50×	`distribute-lft-neg-out_binary64_16746` `associate--r+_binary64_16723`
49×	`neg-sub0_binary64_16782` `*-commutative_binary64_16718`
44×	`distribute-neg-in_binary64_16748`
31×	`mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `distribute-rgt-neg-out_binary64_16747`
29×	`+-lft-identity_binary64_16771`
28×	`associate-+l-_binary64_16722`
24×	`+-commutative_binary64_16717`
21×	`remove-double-neg_binary64_16775`
16×	`sub0-neg_binary64_16774` `associate--r-_binary64_16726`
13×	`associate--l+_binary64_16724`
11×	`*-lft-identity_binary64_16776`
9×	`--rgt-identity_binary64_16773`
7×	`associate-+r-_binary64_16721` `associate-+r+_binary64_16719`
6×	`associate--l-_binary64_16725` `associate-+l+_binary64_16720`
4×	`+-rgt-identity_binary64_16772`
3×	`*-rgt-identity_binary64_16777`
2×	`distribute-neg-out_binary64_16749` `distribute-lft-out--_binary64_16739`
1×	`1-exp_binary64_16831`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `log-prod_binary64_16873` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow3_binary64_16853` `unpow2_binary64_16852` `unpow1/2_binary64_16851` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow1_binary64_16845` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `exp-prod_binary64_16839` `div-exp_binary64_16838` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `exp-diff_binary64_16835` `exp-neg_binary64_16834` `exp-sum_binary64_16833` `e-exp-1_binary64_16832` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-unmult_binary64_16824` `cube-mult_binary64_16817` `cube-div_binary64_16816` `cube-prod_binary64_16815` `cube-neg_binary64_16814` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `times-frac_binary64_16793` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `div0_binary64_16768` `-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `pow-sqr_binary64_16760` `sqr-pow_binary64_16759` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `difference-of-squares_binary64_16756` `unswap-sqr_binary64_16755` `swap-sqr_binary64_16754` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `distribute-rgt-out--_binary64_16741` `distribute-rgt-out_binary64_16740` `distribute-lft-out_binary64_16738` `count-2_binary64_16735` `associate-/l/_binary64_16734` `associate-/r/_binary64_16733` `associate-/l_binary64_16732` `associate-/r_binary64_16731` `associate-l/_binary64_16730` `associate-*r/_binary64_16729`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	38	25
2	105	25
3	269	25
4	409	25
5	629	25
6	741	25
7	924	25
8	904	25
9	905	25
10	905	25
11	905	25
12	788	25

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.8b

Counts

1 → 1

Compiler

Compiled 17 to 17 computations (0% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 (.f64 y 9) z) t)) (.f64 (.f64 a 27) b))
0.2b	(.f64 (.f64 y 9) z)
0.5b	(.f64 (.f64 a 27) b)
7.3b	(.f64 (.f64 (*.f64 y 9) z) t)

rewrite143.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
12×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820`
9×	`add-log-exp_binary64_16826` `associate-r_binary64_16727`
7×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
3×	`associate-l_binary64_16728` `*-commutative_binary64_16718`
2×	`sum-log_binary64_16878` `associate-+l+_binary64_16720`
1×	`diff-log_binary64_16879` `flip3-+_binary64_16790` `flip-+_binary64_16761` `associate-+l-_binary64_16722` `sub-neg_binary64_16780` `cancel-sign-sub-inv_binary64_16753` `+-commutative_binary64_16717`

Counts

4 → 72

Calls

4 calls:

8.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 (.f64 y 9) z) t)) (.f64 (.f64 a 27) b))
7.0ms	(.f64 (.f64 (*.f64 y 9) z) t)
6.0ms	(.f64 (.f64 y 9) z)
5.0ms	(.f64 (.f64 a 27) b)

Compiler

Compiled 1755 to 1161 computations (33.8% saved)

series1.1s (7.9%)

Error

1.8b

Counts

4 → 57

Calls

4 calls:

736.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 (.f64 y 9) z) t)) (.f64 (.f64 a 27) b))
170.0ms	(.f64 (.f64 (*.f64 y 9) z) t)
79.0ms	(.f64 (.f64 y 9) z)
76.0ms	(.f64 (.f64 a 27) b)

Compiler

Compiled 2249 to 1922 computations (14.5% saved)

simplify146.0ms (1%)

Algorithm

1×	egg-herbie

Rules

411×	`exp-prod_binary64_16839`
385×	`log-prod_binary64_16873`
349×	`associate-l_binary64_16728`
282×	`distribute-rgt-neg-in_binary64_16745`
247×	`associate-r_binary64_16727`
221×	`distribute-lft-neg-in_binary64_16744`
214×	`cancel-sign-sub-inv_binary64_16753`
190×	`distribute-rgt-in_binary64_16737`
179×	`distribute-lft-in_binary64_16736`
150×	`sqr-pow_binary64_16759`
132×	`swap-sqr_binary64_16754`
128×	`*-commutative_binary64_16718`
115×	`cube-prod_binary64_16815`
105×	`neg-mul-1_binary64_16783` `neg-sub0_binary64_16782`
100×	`sub-neg_binary64_16780` `distribute-lft-neg-out_binary64_16746`
90×	`distribute-rgt-neg-out_binary64_16747`
83×	`unswap-sqr_binary64_16755`
80×	`unsub-neg_binary64_16781`
78×	`times-frac_binary64_16793`
73×	`associate-+l+_binary64_16720`
71×	`distribute-neg-in_binary64_16748`
70×	`associate-+r+_binary64_16719`
48×	`+-commutative_binary64_16717`
44×	`exp-sum_binary64_16833`
35×	`unpow3_binary64_16853`
26×	`distribute-rgt-out_binary64_16740`
23×	`*-lft-identity_binary64_16776`
22×	`exp-diff_binary64_16835`
19×	`remove-double-neg_binary64_16775` `pow-sqr_binary64_16760`
18×	`*-rgt-identity_binary64_16777` `associate--r+_binary64_16723`
16×	`cube-mult_binary64_16817` `distribute-lft-out_binary64_16738`
14×	`distribute-rgt-out--_binary64_16741` `associate-+l-_binary64_16722`
12×	`associate--l+_binary64_16724` `associate-+r-_binary64_16721`
11×	`div-exp_binary64_16838`
10×	`distribute-neg-out_binary64_16749`
9×	`prod-exp_binary64_16836` `distribute-lft-out--_binary64_16739`
8×	`cube-unmult_binary64_16824` `associate-/l*_binary64_16732`
7×	`unpow1/2_binary64_16851` `sub0-neg_binary64_16774`
6×	`+-rgt-identity_binary64_16772` `mul0-rgt_binary64_16770` `mul0-lft_binary64_16769`
5×	`associate--r-_binary64_16726`
3×	`--rgt-identity_binary64_16773` `associate-/r*_binary64_16731`
2×	`difference-of-squares_binary64_16756` `cancel-sign-sub_binary64_16752` `associate-l/_binary64_16730` `associate-r/_binary64_16729` `associate--l-_binary64_16725`
1×	`unpow1_binary64_16845` `exp-lft-sqr_binary64_16842` `exp-neg_binary64_16834` `1-exp_binary64_16831` `exp-1-e_binary64_16830` `cube-neg_binary64_16814` `sqr-neg_binary64_16801` `count-2_binary64_16735` `associate-/r/_binary64_16733`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow2_binary64_16852` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `rec-exp_binary64_16837` `e-exp-1_binary64_16832` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-div_binary64_16816` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `+-lft-identity_binary64_16771` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `associate-/l/_binary64_16734`

Counts

129 → 89

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	150	2034
1	386	1875
2	1492	1863
3	3047	1863
4	4609	1863
5	4996	1863
6	4982	1863

prune115.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	82	7	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	7	90

Error

0.0b

Counts

90 → 7

Compiler

Compiled 1856 to 1005 computations (45.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z)))
0.0b	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z))) (.f64 (.f64 a 27) b))
0.5b	(.f64 (.f64 a 27) b)
6.7b	(.f64 (.f64 y 9) (*.f64 t z))

rewrite123.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
11×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `add-log-exp_binary64_16826` `cbrt-unprod_binary64_16820`
5×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
4×	`associate-r_binary64_16727`
2×	`associate-l_binary64_16728` `*-commutative_binary64_16718` `diff-log_binary64_16879` `sum-log_binary64_16878` `sub-neg_binary64_16780` `associate-+l+_binary64_16720` `cancel-sign-sub-inv_binary64_16753`
1×	`flip3-+_binary64_16790` `flip-+_binary64_16761` `associate-+l-_binary64_16722` `+-commutative_binary64_16717` `flip3--_binary64_16791` `flip--_binary64_16762`

Counts

4 → 67

Calls

4 calls:

8.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z))) (.f64 (.f64 a 27) b))
7.0ms	(.f64 (.f64 y 9) (*.f64 t z))
5.0ms	(.f64 (.f64 a 27) b)
5.0ms	(-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z)))

Compiler

Compiled 1729 to 1063 computations (38.5% saved)

series1.4s (10.1%)

Error

0.0b

Counts

4 → 75

Calls

4 calls:

733.0ms	(+.f64 (-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z))) (.f64 (.f64 a 27) b))
362.0ms	(-.f64 (.f64 x 2) (.f64 (.f64 y 9) (.f64 t z)))
183.0ms	(.f64 (.f64 y 9) (*.f64 t z))
85.0ms	(.f64 (.f64 a 27) b)

Compiler

Compiled 2827 to 2399 computations (15.1% saved)

simplify134.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

331×	`cancel-sign-sub-inv_binary64_16753`
304×	`distribute-rgt-neg-in_binary64_16745`
290×	`associate-l_binary64_16728`
288×	`exp-prod_binary64_16839`
272×	`distribute-lft-neg-in_binary64_16744`
239×	`associate-r_binary64_16727`
223×	`log-prod_binary64_16873`
216×	`neg-mul-1_binary64_16783` `neg-sub0_binary64_16782`
207×	`distribute-rgt-in_binary64_16737`
197×	`distribute-lft-in_binary64_16736`
147×	`sqr-pow_binary64_16759`
120×	`sub-neg_binary64_16780`
116×	`*-commutative_binary64_16718`
109×	`cube-prod_binary64_16815`
96×	`times-frac_binary64_16793`
95×	`unsub-neg_binary64_16781`
70×	`exp-sum_binary64_16833`
65×	`associate-+l+_binary64_16720`
61×	`exp-diff_binary64_16835`
60×	`distribute-rgt-out_binary64_16740`
58×	`associate-+r+_binary64_16719` `+-commutative_binary64_16717`
46×	`swap-sqr_binary64_16754`
42×	`unpow3_binary64_16853`
32×	`distribute-lft-out_binary64_16738`
30×	`distribute-lft-neg-out_binary64_16746`
20×	`cube-mult_binary64_16817`
19×	`prod-exp_binary64_16836` `remove-double-neg_binary64_16775`
18×	`unswap-sqr_binary64_16755` `associate--r+_binary64_16723`
17×	`div-exp_binary64_16838`
16×	`associate-+l-_binary64_16722`
14×	`pow-sqr_binary64_16760` `associate-+r-_binary64_16721`
12×	`difference-of-squares_binary64_16756` `distribute-rgt-out--_binary64_16741` `associate--l+_binary64_16724`
11×	`mul0-rgt_binary64_16770` `mul0-lft_binary64_16769` `distribute-rgt-neg-out_binary64_16747`
9×	`sub0-neg_binary64_16774` `distribute-neg-in_binary64_16748` `associate-/l*_binary64_16732`
8×	`+-rgt-identity_binary64_16772` `distribute-lft-out--_binary64_16739`
7×	`-rgt-identity_binary64_16777` `-lft-identity_binary64_16776`
5×	`cube-unmult_binary64_16824` `associate--r-_binary64_16726`
3×	`unpow1/2_binary64_16851` `--rgt-identity_binary64_16773` `associate-/r*_binary64_16731`
2×	`associate-l/_binary64_16730` `associate-r/_binary64_16729` `associate--l-_binary64_16725`
1×	`unpow1_binary64_16845` `unpow-1_binary64_16844` `exp-lft-sqr_binary64_16842` `exp-neg_binary64_16834` `1-exp_binary64_16831` `exp-1-e_binary64_16830` `cube-neg_binary64_16814` `sqr-neg_binary64_16801` `distribute-neg-out_binary64_16749` `count-2_binary64_16735` `associate-/r/_binary64_16733`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow2_binary64_16852` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `exp-lft-cube_binary64_16843` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `rec-exp_binary64_16837` `e-exp-1_binary64_16832` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-div_binary64_16816` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `+-lft-identity_binary64_16771` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `associate-/l/_binary64_16734`

Counts

142 → 109

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	147	2305
1	401	2254
2	1451	2242
3	3566	2242
4	4688	2242
5	4928	2242

prune117.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	108	8	116

Error

0.0b

Counts

116 → 8

Compiler

Compiled 2169 to 1080 computations (50.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 27 (.f64 a b)) (.f64 9 (.f64 t (*.f64 z y))))
0.3b	(.f64 27 (.f64 a b))
0.3b	(.f64 9 (.f64 t (*.f64 z y)))
7.4b	(.f64 t (.f64 z y))

rewrite119.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
12×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820`
9×	`associate-l_binary64_16728`
7×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809` `*-un-lft-identity_binary64_16787`
6×	`add-log-exp_binary64_16826`
3×	`associate-r_binary64_16727` `*-commutative_binary64_16718`
1×	`diff-log_binary64_16879` `flip3--_binary64_16791` `sub-neg_binary64_16780` `flip--_binary64_16762` `cancel-sign-sub-inv_binary64_16753`

Counts

4 → 69

Calls

4 calls:

7.0ms	(.f64 9 (.f64 t (*.f64 z y)))
6.0ms	(-.f64 (.f64 27 (.f64 a b)) (.f64 9 (.f64 t (*.f64 z y))))
5.0ms	(.f64 t (.f64 z y))
5.0ms	(.f64 27 (.f64 a b))

Compiler

Compiled 1660 to 703 computations (57.7% saved)

series947.0ms (6.7%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

532.0ms	(-.f64 (.f64 27 (.f64 a b)) (.f64 9 (.f64 t (*.f64 z y))))
164.0ms	(.f64 9 (.f64 t (*.f64 z y)))
132.0ms	(.f64 t (.f64 z y))
80.0ms	(.f64 27 (.f64 a b))

Compiler

Compiled 2291 to 1710 computations (25.4% saved)

simplify101.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

516×	`distribute-rgt-neg-in_binary64_16745`
510×	`distribute-lft-neg-in_binary64_16744`
496×	`*-commutative_binary64_16718`
339×	`cancel-sign-sub-inv_binary64_16753`
227×	`times-frac_binary64_16793`
224×	`neg-mul-1_binary64_16783`
221×	`neg-sub0_binary64_16782`
206×	`associate-r_binary64_16727`
188×	`associate-l_binary64_16728`
162×	`unsub-neg_binary64_16781`
154×	`exp-prod_binary64_16839`
146×	`distribute-rgt-in_binary64_16737`
129×	`sub-neg_binary64_16780`
117×	`distribute-lft-in_binary64_16736`
103×	`sqr-pow_binary64_16759`
82×	`swap-sqr_binary64_16754`
61×	`distribute-rgt-out_binary64_16740`
52×	`associate-+l+_binary64_16720` `associate-+r+_binary64_16719`
48×	`+-commutative_binary64_16717`
45×	`unswap-sqr_binary64_16755`
39×	`cube-prod_binary64_16815`
38×	`log-prod_binary64_16873`
28×	`associate-/l*_binary64_16732`
22×	`exp-sum_binary64_16833`
20×	`exp-diff_binary64_16835`
17×	`distribute-lft-neg-out_binary64_16746`
16×	`associate-/r*_binary64_16731`
15×	`distribute-rgt-neg-out_binary64_16747`
14×	`unpow3_binary64_16853` `sqr-neg_binary64_16801` `associate-*r/_binary64_16729`
13×	`associate-/l/_binary64_16734`
12×	`cube-mult_binary64_16817`
11×	`associate-/r/_binary64_16733`
10×	`pow-sqr_binary64_16760` `distribute-lft-out_binary64_16738`
8×	`cube-unmult_binary64_16824`
6×	`difference-of-squares_binary64_16756` `associate-+l-_binary64_16722` `associate-+r-_binary64_16721`
5×	`div-sub_binary64_16792` `mul0-rgt_binary64_16770` `mul0-lft_binary64_16769`
3×	`exp-neg_binary64_16834` `sub0-neg_binary64_16774` `+-rgt-identity_binary64_16772`
2×	`distribute-neg-in_binary64_16748` `associate--r+_binary64_16723`
1×	`div-exp_binary64_16838` `1-exp_binary64_16831` `cube-neg_binary64_16814` `distribute-rgt-out--_binary64_16741` `distribute-lft-out--_binary64_16739` `associate-*l/_binary64_16730`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow2_binary64_16852` `unpow1/2_binary64_16851` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow1_binary64_16845` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-lft-sqr_binary64_16842` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `rec-exp_binary64_16837` `prod-exp_binary64_16836` `e-exp-1_binary64_16832` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-div_binary64_16816` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `-rgt-identity_binary64_16777` `-lft-identity_binary64_16776` `remove-double-neg_binary64_16775` `--rgt-identity_binary64_16773` `+-lft-identity_binary64_16771` `div0_binary64_16768` `*-inverses_binary64_16767` `+-inverses_binary64_16766` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742` `count-2_binary64_16735` `associate--r-_binary64_16726` `associate--l-_binary64_16725` `associate--l+_binary64_16724`

Counts

123 → 74

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	119	1581
1	282	1494
2	983	1494
3	1987	1494
4	4092	1494
5	4957	1494

prune83.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	75	7	82

Error

0.0b

Counts

82 → 7

Compiler

Compiled 1554 to 695 computations (55.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 27 (.f64 a b)) (.f64 (.f64 t 9) (*.f64 z y))) (+.f64 x x))
0.0b	(-.f64 (.f64 27 (.f64 a b)) (.f64 (.f64 t 9) (*.f64 z y)))
0.3b	(.f64 27 (.f64 a b))
7.4b	(.f64 (.f64 t 9) (*.f64 z y))

rewrite142.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`pow1_binary64_16848` `add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
18×	`add-log-exp_binary64_16826`
11×	`pow-prod-down_binary64_16858` `prod-exp_binary64_16836` `cbrt-unprod_binary64_16820`
10×	`*-un-lft-identity_binary64_16787`
6×	`sum-log_binary64_16878`
5×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809`
4×	`associate-l_binary64_16728` `frac-add_binary64_16795`
3×	`diff-log_binary64_16879` `flip3--_binary64_16791` `flip--_binary64_16762` `flip3-+_binary64_16790` `flip-+_binary64_16761` `distribute-lft-out_binary64_16738`
2×	`associate-r_binary64_16727` `*-commutative_binary64_16718` `sub-neg_binary64_16780` `cancel-sign-sub-inv_binary64_16753` `associate-+l+_binary64_16720`
1×	`associate-+l-_binary64_16722` `associate-+r+_binary64_16719` `+-commutative_binary64_16717`

Counts

4 → 76

Calls

4 calls:

13.0ms	(+.f64 (-.f64 (.f64 27 (.f64 a b)) (.f64 (.f64 t 9) (*.f64 z y))) (+.f64 x x))
9.0ms	(.f64 (.f64 t 9) (*.f64 z y))
6.0ms	(-.f64 (.f64 27 (.f64 a b)) (.f64 (.f64 t 9) (*.f64 z y)))
5.0ms	(.f64 27 (.f64 a b))

Compiler

Compiled 2255 to 1068 computations (52.6% saved)

series1.6s (11.2%)

Error

0.0b

Counts

4 → 81

Calls

4 calls:

740.0ms	(+.f64 (-.f64 (.f64 27 (.f64 a b)) (.f64 (.f64 t 9) (*.f64 z y))) (+.f64 x x))
532.0ms	(-.f64 (.f64 27 (.f64 a b)) (.f64 (.f64 t 9) (*.f64 z y)))
166.0ms	(.f64 (.f64 t 9) (*.f64 z y))
79.0ms	(.f64 27 (.f64 a b))

Compiler

Compiled 3010 to 2372 computations (21.2% saved)

simplify121.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

517×	`distribute-rgt-in_binary64_16737`
482×	`distribute-lft-in_binary64_16736`
315×	`cancel-sign-sub-inv_binary64_16753`
251×	`distribute-rgt-neg-in_binary64_16745`
249×	`associate-l_binary64_16728`
236×	`associate-r_binary64_16727`
231×	`distribute-lft-neg-in_binary64_16744`
202×	`associate-+l+_binary64_16720`
183×	`exp-prod_binary64_16839`
116×	`*-commutative_binary64_16718`
106×	`distribute-rgt-out_binary64_16740`
81×	`log-prod_binary64_16873`
56×	`sub-neg_binary64_16780`
51×	`associate--r+_binary64_16723`
49×	`distribute-lft-out_binary64_16738`
46×	`sqr-pow_binary64_16759` `swap-sqr_binary64_16754`
43×	`+-commutative_binary64_16717`
41×	`cube-prod_binary64_16815`
32×	`neg-sub0_binary64_16782`
31×	`neg-mul-1_binary64_16783` `distribute-lft-neg-out_binary64_16746` `associate--l+_binary64_16724`
26×	`associate-+l-_binary64_16722` `associate-+r-_binary64_16721`
25×	`associate-+r+_binary64_16719`
23×	`distribute-neg-in_binary64_16748`
22×	`unpow3_binary64_16853`
19×	`count-2_binary64_16735`
18×	`distribute-rgt-neg-out_binary64_16747`
17×	`exp-sum_binary64_16833` `unswap-sqr_binary64_16755`
14×	`mul0-rgt_binary64_16770`
11×	`associate-/l*_binary64_16732`
10×	`distribute-rgt-out--_binary64_16741`
9×	`cube-mult_binary64_16817` `mul0-lft_binary64_16769`
8×	`exp-diff_binary64_16835`
7×	`unsub-neg_binary64_16781` `associate--r-_binary64_16726`
6×	`cube-unmult_binary64_16824` `times-frac_binary64_16793` `distribute-lft-out--_binary64_16739`
5×	`prod-exp_binary64_16836` `difference-of-squares_binary64_16756`
4×	`+-rgt-identity_binary64_16772` `associate-/r*_binary64_16731`
3×	`associate-l/_binary64_16730` `associate-r/_binary64_16729` `associate--l-_binary64_16725`
2×	`div-exp_binary64_16838` `+-lft-identity_binary64_16771` `+-inverses_binary64_16766` `pow-sqr_binary64_16760`
1×	`unpow1_binary64_16845` `exp-lft-sqr_binary64_16842` `exp-neg_binary64_16834` `remove-double-neg_binary64_16775` `distribute-neg-out_binary64_16749` `distribute-rgt1-in_binary64_16743` `distribute-lft1-in_binary64_16742`
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_17050` `erf-erfc_binary64_17049` `erf-odd_binary64_17048` `if-if-and-not_binary64_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `not-gte_binary64_17039` `not-lte_binary64_17038` `not-gt_binary64_17037` `not-lt_binary64_17036` `gte-same_binary64_17035` `lte-same_binary64_17034` `gt-same_binary64_17033` `lt-same_binary64_17032` `sinh---cosh_binary64_16979` `sinh-+-cosh_binary64_16978` `sinh-cosh_binary64_16977` `tanh-def-c_binary64_16976` `tanh-def-b_binary64_16975` `tanh-def-a_binary64_16974` `cosh-def_binary64_16973` `sinh-def_binary64_16972` `tan-neg_binary64_16919` `cos-neg_binary64_16918` `sin-neg_binary64_16917` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `hang-m-tan_binary64_16913` `hang-p-tan_binary64_16912` `hang-m0-tan_binary64_16911` `hang-p0-tan_binary64_16910` `hang-0m-tan_binary64_16909` `hang-0p-tan_binary64_16908` `tan-+PI/2_binary64_16907` `tan-+PI_binary64_16906` `tan-PI_binary64_16905` `tan-PI/3_binary64_16904` `tan-PI/4_binary64_16903` `tan-PI/6_binary64_16902` `cos-+PI/2_binary64_16901` `cos-+PI_binary64_16900` `cos-PI_binary64_16899` `cos-PI/2_binary64_16898` `cos-PI/3_binary64_16897` `cos-PI/4_binary64_16896` `cos-PI/6_binary64_16895` `sin-+PI/2_binary64_16894` `sin-+PI_binary64_16893` `sin-PI_binary64_16892` `sin-PI/2_binary64_16891` `sin-PI/3_binary64_16890` `sin-PI/4_binary64_16889` `sin-PI/6_binary64_16888` `sub-1-sin_binary64_16887` `sub-1-cos_binary64_16886` `-1-add-sin_binary64_16885` `-1-add-cos_binary64_16884` `1-sub-sin_binary64_16883` `1-sub-cos_binary64_16882` `cos-sin-sum_binary64_16881` `log-E_binary64_16877` `log-pow_binary64_16876` `log-rec_binary64_16875` `log-div_binary64_16874` `pow-base-0_binary64_16871` `unpow1/3_binary64_16854` `unpow2_binary64_16852` `unpow1/2_binary64_16851` `pow-plus_binary64_16850` `exp-to-pow_binary64_16849` `pow-base-1_binary64_16847` `unpow0_binary64_16846` `unpow-1_binary64_16844` `exp-lft-cube_binary64_16843` `exp-cbrt_binary64_16841` `exp-sqrt_binary64_16840` `rec-exp_binary64_16837` `e-exp-1_binary64_16832` `1-exp_binary64_16831` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `rem-log-exp_binary64_16828` `rem-exp-log_binary64_16827` `cube-div_binary64_16816` `cube-neg_binary64_16814` `rem-3cbrt-rft_binary64_16813` `rem-3cbrt-lft_binary64_16812` `rem-cbrt-cube_binary64_16811` `rem-cube-cbrt_binary64_16810` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `rem-sqrt-square_binary64_16800` `rem-square-sqrt_binary64_16799` `div-sub_binary64_16792` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `-rgt-identity_binary64_16777` `-lft-identity_binary64_16776` `sub0-neg_binary64_16774` `--rgt-identity_binary64_16773` `div0_binary64_16768` `*-inverses_binary64_16767` `lft-mult-inverse_binary64_16765` `rgt-mult-inverse_binary64_16764` `remove-double-div_binary64_16763` `difference-of-sqr--1_binary64_16758` `difference-of-sqr-1_binary64_16757` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `associate-/l/_binary64_16734` `associate-/r/_binary64_16733`

Counts

157 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	3169
1	458	2791
2	1652	2758
3	4858	2758
4	4961	2758

prune107.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	111	7	118

Error

0.0b

Counts

118 → 7

Compiler

Compiled 2157 to 873 computations (59.5% saved)

regimes1.9s (13.6%)

Accuracy

Total 3.0b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 19646 to 19026 computations (3.2% saved)

bsearch0.0ms (0%)

simplify79.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64_16718`
9×	`+-commutative_binary64_16717`
8×	`sub-neg_binary64_16780`
7×	`neg-mul-1_binary64_16783` `neg-sub0_binary64_16782`
6×	`distribute-rgt-neg-in_binary64_16745`
5×	`distribute-lft-neg-in_binary64_16744`
2×	`cancel-sign-sub-inv_binary64_16753`
1×	`distribute-lft-neg-out_binary64_16746`
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_17047` `if-if-and_binary64_17046` `if-if-or-not_binary64_17045` `if-if-or_binary64_17044` `if-not_binary64_17043` `if-same_binary64_17042` `if-false_binary64_17041` `if-true_binary64_17040` `tan-0_binary64_16916` `cos-0_binary64_16915` `sin-0_binary64_16914` `unpow1_binary64_16845` `e-exp-1_binary64_16832` `1-exp_binary64_16831` `exp-1-e_binary64_16830` `exp-0_binary64_16829` `sqr-abs_binary64_16802` `sqr-neg_binary64_16801` `unsub-neg_binary64_16781` `mul-1-neg_binary64_16779` `/-rgt-identity_binary64_16778` `-rgt-identity_binary64_16777` `-lft-identity_binary64_16776` `remove-double-neg_binary64_16775` `sub0-neg_binary64_16774` `--rgt-identity_binary64_16773` `+-rgt-identity_binary64_16772` `+-lft-identity_binary64_16771` `cancel-sign-sub_binary64_16752` `distribute-neg-frac_binary64_16751` `distribute-frac-neg_binary64_16750` `distribute-neg-out_binary64_16749` `distribute-neg-in_binary64_16748` `distribute-rgt-neg-out_binary64_16747`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	30	25
2	46	25
3	62	25
4	74	25
5	81	25
6	83	25
7	83	25

Remove

(sort a b)

Compiler

Compiled 102 to 102 computations (0% saved)

end0.0ms (0%)

sample3.0s (21.6%)

Algorithm

1×

intervals

Results

409.0ms	8000×	body	128	valid
176.0ms	2990×	body	128	invalid

Compiler

Compiled 1265 to 1218 computations (3.7% saved)

Iter	Nodes	Cost
0	18	25
1	38	25
2	105	25
3	269	25
4	409	25
5	629	25
6	741	25
7	924	25
8	904	25
9	905	25
10	905	25
11	905	25
12	788	25

Iter	Nodes	Cost
0	18	25
1	38	25
2	105	25
3	269	25
4	409	25
5	629	25
6	741	25
7	924	25
8	904	25
9	905	25
10	905	25
11	905	25
12	788	25

Details

analyze2.4s (16.9%)

sample67.0ms (0.5%)

simplify54.0ms (0.4%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite143.0ms (1%)

series1.1s (7.9%)

simplify146.0ms (1%)

prune115.0ms (0.8%)

localize14.0ms (0.1%)

rewrite123.0ms (0.9%)

series1.4s (10.1%)

simplify134.0ms (0.9%)

prune117.0ms (0.8%)

localize12.0ms (0.1%)

rewrite119.0ms (0.8%)

series947.0ms (6.7%)

simplify101.0ms (0.7%)

prune83.0ms (0.6%)

localize12.0ms (0.1%)

rewrite142.0ms (1%)

series1.6s (11.2%)

simplify121.0ms (0.9%)

prune107.0ms (0.8%)

regimes1.9s (13.6%)

bsearch0.0ms (0%)

simplify79.0ms (0.6%)

end0.0ms (0%)

sample3.0s (21.6%)

Profiling

Iter	Nodes	Cost
0	18	25
1	38	25
2	105	25
3	269	25
4	409	25
5	629	25
6	741	25
7	924	25
8	904	25
9	905	25
10	905	25
11	905	25
12	788	25