Details

analyze671.0ms (8.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

374×	`distribute-rgt-out_binary64_8556`
341×	`associate-/l*_binary64_8548`
253×	`associate-l_binary64_8544`
223×	`*-commutative_binary64_8534`
213×	`associate-r_binary64_8543`
197×	`associate-/r/_binary64_8549`
178×	`distribute-lft-in_binary64_8552`
170×	`distribute-rgt-in_binary64_8553`
168×	`+-commutative_binary64_8533`
154×	`associate-+l+_binary64_8536`
130×	`associate-+r+_binary64_8535`
105×	`associate-/r*_binary64_8547`
96×	`distribute-lft-out_binary64_8554`
76×	`associate-*r/_binary64_8545`
48×	`associate-*l/_binary64_8546`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `log-prod_binary64_8689` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow3_binary64_8669` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `pow-plus_binary64_8666` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `exp-prod_binary64_8655` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `exp-neg_binary64_8650` `exp-sum_binary64_8649` `e-exp-1_binary64_8648` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-unmult_binary64_8640` `cube-mult_binary64_8633` `cube-div_binary64_8632` `cube-prod_binary64_8631` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `rem-square-sqrt_binary64_8615` `times-frac_binary64_8609` `div-sub_binary64_8608` `neg-mul-1_binary64_8599` `neg-sub0_binary64_8598` `unsub-neg_binary64_8597` `sub-neg_binary64_8596` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `remove-double-neg_binary64_8591` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `pow-sqr_binary64_8576` `sqr-pow_binary64_8575` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `unswap-sqr_binary64_8571` `swap-sqr_binary64_8570` `cancel-sign-sub-inv_binary64_8569` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `distribute-rgt-neg-out_binary64_8563` `distribute-lft-neg-out_binary64_8562` `distribute-rgt-neg-in_binary64_8561` `distribute-lft-neg-in_binary64_8560` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-rgt-out--_binary64_8557` `distribute-lft-out--_binary64_8555` `count-2_binary64_8551` `associate-/l/_binary64_8550` `associate--r-_binary64_8542` `associate--l-_binary64_8541` `associate--l+_binary64_8540` `associate--r+_binary64_8539` `associate-+l-_binary64_8538` `associate-+r-_binary64_8537`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	124
1	100	124
2	191	124
3	362	124
4	641	124
5	875	124
6	1093	124
7	1384	124
8	1666	124
9	1632	124
10	1639	124
11	1620	124
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.1%	0.1%	7
21.8%	78%	0.1%	8
21.8%	78%	0.1%	9
49.1%	50.7%	0.1%	10
52.7%	47.2%	0.1%	11
52.7%	47.2%	0.1%	12
71.7%	28.2%	0.1%	13
74.1%	25.8%	0.1%	14

Compiler

Compiled 22 to 19 computations (13.6% saved)

sample23.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 43 to 40 computations (7% saved)

simplify20.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

94×	`distribute-rgt-out_binary64_8556`
88×	`associate-/l*_binary64_8548`
66×	`associate-l_binary64_8544`
65×	`*-commutative_binary64_8534`
57×	`associate-r_binary64_8543`
52×	`associate-/r/_binary64_8549`
47×	`+-commutative_binary64_8533`
46×	`distribute-lft-in_binary64_8552`
44×	`distribute-rgt-in_binary64_8553`
42×	`associate-+l+_binary64_8536`
36×	`associate-+r+_binary64_8535`
29×	`associate-/r*_binary64_8547`
24×	`distribute-lft-out_binary64_8554`
20×	`associate-*r/_binary64_8545`
12×	`associate-*l/_binary64_8546`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `log-rec_binary64_8691` `log-div_binary64_8690` `log-prod_binary64_8689` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow3_binary64_8669` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `pow-plus_binary64_8666` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `exp-prod_binary64_8655` `div-exp_binary64_8654` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `exp-neg_binary64_8650` `exp-sum_binary64_8649` `e-exp-1_binary64_8648` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-unmult_binary64_8640` `cube-mult_binary64_8633` `cube-div_binary64_8632` `cube-prod_binary64_8631` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `rem-square-sqrt_binary64_8615` `times-frac_binary64_8609` `div-sub_binary64_8608` `neg-mul-1_binary64_8599` `neg-sub0_binary64_8598` `unsub-neg_binary64_8597` `sub-neg_binary64_8596` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `remove-double-neg_binary64_8591` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `pow-sqr_binary64_8576` `sqr-pow_binary64_8575` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `unswap-sqr_binary64_8571` `swap-sqr_binary64_8570` `cancel-sign-sub-inv_binary64_8569` `cancel-sign-sub_binary64_8568` `distribute-neg-frac_binary64_8567` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `distribute-rgt-neg-out_binary64_8563` `distribute-lft-neg-out_binary64_8562` `distribute-rgt-neg-in_binary64_8561` `distribute-lft-neg-in_binary64_8560` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-rgt-out--_binary64_8557` `distribute-lft-out--_binary64_8555` `count-2_binary64_8551` `associate-/l/_binary64_8550` `associate--r-_binary64_8542` `associate--l-_binary64_8541` `associate--l+_binary64_8540` `associate--r+_binary64_8539` `associate-+l-_binary64_8538` `associate-+r-_binary64_8537`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	36	31
2	63	31
3	112	31
4	187	31
5	244	31
6	302	31
7	381	31
8	461	31
9	454	31
10	456	31
11	453	31

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

22.9b

Counts

2 → 1

Compiler

Compiled 42 to 36 computations (14.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)
0.1b	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
5.5b	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
22.2b	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))

rewrite195.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

18.1b

Rules

14×	`add-sqr-sqrt_binary64_8625`
13×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
10×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
8×	`pow1_binary64_8664`
6×	`add-log-exp_binary64_8642` `associate-l_binary64_8544` `associate-r_binary64_8543`
5×	`flip3-+_binary64_8606` `flip-+_binary64_8577`
4×	`associate-*r/_binary64_8545`
3×	`prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `times-frac_binary64_8609` `associate-/r*_binary64_8547`
2×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `associate-/l/_binary64_8550` `associate-/r/_binary64_8549` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571` `-commutative_binary64_8534` `associate-l/_binary64_8546`
1×	`frac-2neg_binary64_8614` `clear-num_binary64_8602` `div-inv_binary64_8600` `associate-/l*_binary64_8548` `distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

4 → 78

Calls

4 calls:

17.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))
14.0ms	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
7.0ms	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
4.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

Compiler

Compiled 2476 to 1839 computations (25.7% saved)

series642.0ms (8.4%)

Error

0.0b

Counts

4 → 35

Calls

4 calls:

265.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))
208.0ms	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
76.0ms	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
47.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

Compiler

Compiled 1760 to 1411 computations (19.8% saved)

simplify141.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

560×	`associate-/l*_binary64_8548`
493×	`times-frac_binary64_8609`
269×	`associate-*l/_binary64_8546`
213×	`associate-*r/_binary64_8545`
211×	`associate-/l/_binary64_8550`
177×	`div-sub_binary64_8608`
169×	`associate-l_binary64_8544`
151×	`associate-/r*_binary64_8547`
150×	`associate-r_binary64_8543`
125×	`sub-neg_binary64_8596`
121×	`associate-/r/_binary64_8549`
114×	`distribute-rgt-in_binary64_8553`
111×	`exp-prod_binary64_8655`
108×	`*-commutative_binary64_8534`
102×	`distribute-lft-in_binary64_8552`
89×	`sqr-pow_binary64_8575`
81×	`cancel-sign-sub-inv_binary64_8569`
70×	`associate-+l+_binary64_8536`
68×	`associate-+r+_binary64_8535`
64×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
61×	`distribute-rgt-neg-in_binary64_8561`
58×	`unswap-sqr_binary64_8571`
57×	`*-rgt-identity_binary64_8593`
56×	`cube-prod_binary64_8631`
54×	`*-lft-identity_binary64_8592`
53×	`log-prod_binary64_8689` `distribute-lft-neg-in_binary64_8560`
49×	`log-div_binary64_8690`
42×	`cube-div_binary64_8632` `unsub-neg_binary64_8597`
37×	`+-commutative_binary64_8533`
35×	`exp-sum_binary64_8649` `/-rgt-identity_binary64_8594`
31×	`distribute-neg-in_binary64_8564`
28×	`associate--r+_binary64_8539`
19×	`unpow3_binary64_8669`
18×	`associate-+l-_binary64_8538`
17×	`distribute-neg-frac_binary64_8567`
16×	`distribute-rgt-out_binary64_8556`
15×	`associate--l+_binary64_8540`
14×	`swap-sqr_binary64_8570`
13×	`associate-+r-_binary64_8537`
12×	`log-rec_binary64_8691` `cube-mult_binary64_8633` `remove-double-div_binary64_8579`
11×	`distribute-lft-out_binary64_8554`
10×	`pow-sqr_binary64_8576`
9×	`+-rgt-identity_binary64_8588` `distribute-rgt-out--_binary64_8557`
8×	`associate--l-_binary64_8541`
7×	`unpow1/2_binary64_8667` `cube-unmult_binary64_8640`
5×	`rem-sqrt-square_binary64_8616` `distribute-lft-neg-out_binary64_8562`
4×	`sub0-neg_binary64_8590` `distribute-lft-out--_binary64_8555`
3×	`log-pow_binary64_8692` `distribute-rgt-neg-out_binary64_8563`
1×	`unpow2_binary64_8668` `pow-plus_binary64_8666` `unpow1_binary64_8661` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `remove-double-neg_binary64_8591` `+-lft-identity_binary64_8587` `div0_binary64_8584` `+-inverses_binary64_8582`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `div-exp_binary64_8654` `rec-exp_binary64_8653` `exp-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595` `--rgt-identity_binary64_8589` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `*-inverses_binary64_8583` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `cancel-sign-sub_binary64_8568` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551` `associate--r-_binary64_8542`

Counts

113 → 96

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	185	2390
1	500	2046
2	1712	2017
3	4389	2017
4	4678	2017
5	4960	2017

prune157.0ms (2.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	4	97

Error

0.0b

Counts

97 → 4

Compiler

Compiled 2545 to 1863 computations (26.8% saved)

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 y 5029535718965825/60354428627589976))
0.2b	(*.f64 y 5029535718965825/60354428627589976)

rewrite35.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_8625`
4×	`pow1_binary64_8664` `add-exp-log_binary64_8641` `add-log-exp_binary64_8642` `add-cbrt-cube_binary64_8639` `add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
3×	`associate-l_binary64_8544` `associate-r_binary64_8543`
1×	`pow-prod-down_binary64_8674` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `unswap-sqr_binary64_8571` `*-commutative_binary64_8534` `sum-log_binary64_8694` `flip3-+_binary64_8606` `flip-+_binary64_8577` `+-commutative_binary64_8533`

Counts

2 → 29

Calls

2 calls:

4.0ms	(*.f64 y 5029535718965825/60354428627589976)
3.0ms	(+.f64 x (*.f64 y 5029535718965825/60354428627589976))

Compiler

Compiled 308 to 216 computations (29.9% saved)

series106.0ms (1.4%)

Error

0.0b

Counts

2 → 15

Calls

2 calls:

74.0ms	(+.f64 x (*.f64 y 5029535718965825/60354428627589976))
24.0ms	(*.f64 y 5029535718965825/60354428627589976)

Compiler

Compiled 159 to 168 computations (-5.7% saved)

simplify113.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

531×	`distribute-rgt-in_binary64_8553`
503×	`unsub-neg_binary64_8597`
440×	`distribute-lft-in_binary64_8552`
334×	`distribute-rgt-neg-out_binary64_8563`
316×	`distribute-neg-out_binary64_8565`
312×	`*-commutative_binary64_8534`
285×	`sub-neg_binary64_8596`
264×	`distribute-rgt-out_binary64_8556`
152×	`associate-l_binary64_8544`
133×	`+-commutative_binary64_8533`
124×	`unswap-sqr_binary64_8571`
120×	`associate-+l-_binary64_8538`
113×	`associate-r_binary64_8543`
110×	`neg-mul-1_binary64_8599`
103×	`associate--r+_binary64_8539`
97×	`cancel-sign-sub-inv_binary64_8569`
96×	`neg-sub0_binary64_8598`
95×	`sqr-pow_binary64_8575` `associate-+l+_binary64_8536`
94×	`distribute-rgt-neg-in_binary64_8561`
89×	`associate-+r+_binary64_8535`
69×	`distribute-lft-neg-out_binary64_8562`
67×	`associate--l+_binary64_8540`
63×	`distribute-lft-out_binary64_8554`
62×	`*-rgt-identity_binary64_8593`
61×	`distribute-neg-in_binary64_8564`
58×	`exp-prod_binary64_8655`
57×	`distribute-rgt-out--_binary64_8557`
54×	`*-lft-identity_binary64_8592`
52×	`associate-+r-_binary64_8537`
51×	`associate--l-_binary64_8541`
46×	`sub0-neg_binary64_8590`
45×	`distribute-lft-neg-in_binary64_8560`
44×	`cube-prod_binary64_8631`
42×	`rem-sqrt-square_binary64_8616`
39×	`cancel-sign-sub_binary64_8568`
37×	`log-prod_binary64_8689`
30×	`exp-diff_binary64_8651`
29×	`associate--r-_binary64_8542`
28×	`exp-sum_binary64_8649` `pow-sqr_binary64_8576`
26×	`mul0-rgt_binary64_8586` `mul0-lft_binary64_8585`
22×	`unpow3_binary64_8669` `div-sub_binary64_8608`
21×	`remove-double-neg_binary64_8591` `distribute-rgt1-in_binary64_8559`
19×	`log-div_binary64_8690`
16×	`distribute-lft-out--_binary64_8555`
12×	`cube-unmult_binary64_8640` `cube-div_binary64_8632`
11×	`cube-neg_binary64_8630` `+-rgt-identity_binary64_8588` `associate-/l/_binary64_8550`
10×	`times-frac_binary64_8609` `swap-sqr_binary64_8570` `distribute-frac-neg_binary64_8566` `associate-/l_binary64_8548` `associate-r/_binary64_8545`
8×	`pow-plus_binary64_8666` `sqr-neg_binary64_8617`
7×	`cube-mult_binary64_8633`
6×	`associate-/r/_binary64_8549`
5×	`exp-sqrt_binary64_8656`
4×	`unpow2_binary64_8668` `unpow1/2_binary64_8667` `difference-of-squares_binary64_8572` `associate-/r*_binary64_8547`
3×	`exp-lft-sqr_binary64_8658` `exp-neg_binary64_8650` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551`
2×	`log-rec_binary64_8691` `unpow1_binary64_8661` `prod-exp_binary64_8652` `--rgt-identity_binary64_8589` `distribute-neg-frac_binary64_8567`
1×	`1-exp_binary64_8647` `exp-1-e_binary64_8646` `+-lft-identity_binary64_8587` `+-inverses_binary64_8582` `associate-*l/_binary64_8546`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `log-pow_binary64_8692` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-cbrt_binary64_8657` `div-exp_binary64_8654` `rec-exp_binary64_8653` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `div0_binary64_8584` `*-inverses_binary64_8583` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573`

Counts

44 → 26

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	56	338
1	131	323
2	331	323
3	732	323
4	1371	323
5	2458	323
6	2979	323
7	4768	323
8	4973	323
9	4813	323

prune23.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	26	4	30

Error

0.0b

Counts

30 → 4

Compiler

Compiled 270 to 192 computations (28.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z))
0.1b	(.f64 z (+.f64 4429125951667411/9007199254740992 (.f64 4992947066835229/72057594037927936 z)))
0.3b	(/.f64 y (/.f64 (+.f64 7544303578448747/2251799813685248 (.f64 z (+.f64 z 1692356830115869/281474976710656))) (+.f64 5029535718965825/18014398509481984 (.f64 z (+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z))))))
17.9b	(/.f64 (+.f64 7544303578448747/2251799813685248 (.f64 z (+.f64 z 1692356830115869/281474976710656))) (+.f64 5029535718965825/18014398509481984 (.f64 z (+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z)))))

rewrite378.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

90×	`times-frac_binary64_8609`
60×	`add-sqr-sqrt_binary64_8625`
58×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
18×	`associate-/r*_binary64_8547`
13×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
11×	`associate-/r/_binary64_8549`
8×	`flip3-+_binary64_8606` `flip-+_binary64_8577`
6×	`pow1_binary64_8664` `add-log-exp_binary64_8642` `div-inv_binary64_8600` `associate-/l*_binary64_8548`
4×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637`
3×	`associate-l_binary64_8544` `associate-r_binary64_8543`
2×	`frac-2neg_binary64_8614` `clear-num_binary64_8602` `associate-/l/_binary64_8550` `associate-*r/_binary64_8545`
1×	`pow-prod-down_binary64_8674` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `unswap-sqr_binary64_8571` `distribute-rgt-in_binary64_8553` `distribute-lft-in_binary64_8552` `*-commutative_binary64_8534` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

4 → 142

Calls

4 calls:

9.0ms	(/.f64 (+.f64 7544303578448747/2251799813685248 (.f64 z (+.f64 z 1692356830115869/281474976710656))) (+.f64 5029535718965825/18014398509481984 (.f64 z (+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z)))))
9.0ms	(/.f64 y (/.f64 (+.f64 7544303578448747/2251799813685248 (.f64 z (+.f64 z 1692356830115869/281474976710656))) (+.f64 5029535718965825/18014398509481984 (.f64 z (+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z))))))
6.0ms	(.f64 z (+.f64 4429125951667411/9007199254740992 (.f64 4992947066835229/72057594037927936 z)))
3.0ms	(+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z))

Compiler

Compiled 5448 to 4038 computations (25.9% saved)

series498.0ms (6.5%)

Error

0.0b

Counts

4 → 31

Calls

4 calls:

281.0ms	(/.f64 y (/.f64 (+.f64 7544303578448747/2251799813685248 (.f64 z (+.f64 z 1692356830115869/281474976710656))) (+.f64 5029535718965825/18014398509481984 (.f64 z (+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z))))))
79.0ms	(.f64 z (+.f64 4429125951667411/9007199254740992 (.f64 4992947066835229/72057594037927936 z)))
62.0ms	(/.f64 (+.f64 7544303578448747/2251799813685248 (.f64 z (+.f64 z 1692356830115869/281474976710656))) (+.f64 5029535718965825/18014398509481984 (.f64 z (+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z)))))
43.0ms	(+.f64 4429125951667411/9007199254740992 (*.f64 4992947066835229/72057594037927936 z))

Compiler

Compiled 1323 to 1093 computations (17.4% saved)

simplify263.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

405×	`associate-/r/_binary64_8549`
370×	`associate-/l/_binary64_8550`
330×	`associate-/l*_binary64_8548`
281×	`associate-/r*_binary64_8547`
271×	`times-frac_binary64_8609`
219×	`distribute-rgt-in_binary64_8553`
201×	`distribute-lft-in_binary64_8552`
156×	`*-commutative_binary64_8534`
153×	`cancel-sign-sub-inv_binary64_8569`
134×	`associate-r_binary64_8543`
128×	`associate-l_binary64_8544`
107×	`associate-*l/_binary64_8546`
106×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
103×	`sub-neg_binary64_8596`
102×	`distribute-rgt-neg-in_binary64_8561`
84×	`distribute-lft-neg-in_binary64_8560`
78×	`*-rgt-identity_binary64_8593`
73×	`unsub-neg_binary64_8597` `sqr-pow_binary64_8575`
69×	`unswap-sqr_binary64_8571`
65×	`div-sub_binary64_8608`
60×	`distribute-neg-in_binary64_8564`
59×	`exp-prod_binary64_8655`
57×	`associate-*r/_binary64_8545`
40×	`cube-prod_binary64_8631`
38×	`distribute-rgt-out_binary64_8556` `+-commutative_binary64_8533`
35×	`log-prod_binary64_8689`
31×	`log-div_binary64_8690`
30×	`exp-sum_binary64_8649` `*-lft-identity_binary64_8592`
27×	`/-rgt-identity_binary64_8594`
22×	`cube-div_binary64_8632`
21×	`distribute-lft-neg-out_binary64_8562`
19×	`distribute-rgt-out--_binary64_8557`
15×	`swap-sqr_binary64_8570` `distribute-neg-frac_binary64_8567`
14×	`unpow3_binary64_8669`
13×	`distribute-rgt-neg-out_binary64_8563`
10×	`associate--r+_binary64_8539`
9×	`cube-mult_binary64_8633`
8×	`unpow1/2_binary64_8667` `pow-sqr_binary64_8576` `associate-+l+_binary64_8536`
7×	`cube-unmult_binary64_8640` `associate--l+_binary64_8540`
6×	`log-rec_binary64_8691` `distribute-lft-out_binary64_8554` `associate-+r+_binary64_8535`
5×	`remove-double-div_binary64_8579`
4×	`rem-sqrt-square_binary64_8616`
3×	`log-pow_binary64_8692` `pow-plus_binary64_8666` `distribute-lft-out--_binary64_8555` `associate-+l-_binary64_8538` `associate-+r-_binary64_8537`
1×	`unpow2_binary64_8668` `unpow1_binary64_8661` `prod-exp_binary64_8652` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `remove-double-neg_binary64_8591` `div0_binary64_8584` `associate--r-_binary64_8542`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `div-exp_binary64_8654` `rec-exp_binary64_8653` `exp-diff_binary64_8651` `exp-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `cancel-sign-sub_binary64_8568` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551` `associate--l-_binary64_8541`

Counts

173 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	290	6032
1	724	5717
2	2679	5693
3	4454	5693
4	4917	5693
5	4932	5693

prune319.0ms (4.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	154	5	159

Error

Counts

159 → 5

Compiler

Compiled 5269 to 3857 computations (26.8% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 y (-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z))))
0.0b	(/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z)
0.0b	(-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z))
0.2b	(/.f64 y (-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z)))

rewrite352.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

55×	`add-sqr-sqrt_binary64_8625`
42×	`*-un-lft-identity_binary64_8603`
41×	`times-frac_binary64_8609`
30×	`add-cube-cbrt_binary64_8638`
13×	`cancel-sign-sub-inv_binary64_8569`
10×	`difference-of-squares_binary64_8572`
9×	`associate-/r*_binary64_8547`
8×	`add-exp-log_binary64_8641` `add-log-exp_binary64_8642` `add-cbrt-cube_binary64_8639`
6×	`associate-/l*_binary64_8548`
5×	`distribute-lft-out--_binary64_8555`
4×	`pow1_binary64_8664`
3×	`div-inv_binary64_8600`
2×	`div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `frac-2neg_binary64_8614` `clear-num_binary64_8602` `flip3--_binary64_8607` `associate-/r/_binary64_8549` `flip--_binary64_8578`
1×	`diff-log_binary64_8695` `sub-neg_binary64_8596` `sum-log_binary64_8694` `flip3-+_binary64_8606` `flip-+_binary64_8577` `distribute-lft-out_binary64_8554` `+-commutative_binary64_8533`

Counts

4 → 107

Calls

4 calls:

14.0ms	(+.f64 x (/.f64 y (-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z))))
11.0ms	(-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z))
9.0ms	(/.f64 y (-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z)))
3.0ms	(/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z)

Compiler

Compiled 1861 to 1321 computations (29% saved)

series520.0ms (6.8%)

Error

Counts

4 → 35

Calls

4 calls:

287.0ms	(+.f64 x (/.f64 y (-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z))))
144.0ms	(/.f64 y (-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z)))
39.0ms	(-.f64 72057594037927936/4992947066835229 (/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z))
25.0ms	(/.f64 390056171977620162987809767405312/24929520412218516726673835482441 z)

Compiler

Compiled 836 to 740 computations (11.5% saved)

simplify148.0ms (2%)

Algorithm

1×	egg-herbie

Rules

405×	`distribute-rgt-in_binary64_8553`
266×	`associate-/l*_binary64_8548`
224×	`associate-l_binary64_8544`
215×	`associate-*l/_binary64_8546`
202×	`cancel-sign-sub-inv_binary64_8569`
193×	`exp-prod_binary64_8655`
192×	`distribute-neg-frac_binary64_8567`
188×	`associate-r_binary64_8543`
179×	`log-prod_binary64_8689`
178×	`associate-*r/_binary64_8545`
162×	`div-sub_binary64_8608` `distribute-rgt-neg-in_binary64_8561`
152×	`log-div_binary64_8690`
144×	`*-commutative_binary64_8534`
134×	`associate-/l/_binary64_8550`
132×	`distribute-lft-neg-out_binary64_8562`
126×	`distribute-lft-neg-in_binary64_8560`
125×	`sub-neg_binary64_8596`
109×	`distribute-rgt-neg-out_binary64_8563`
99×	`associate-/r*_binary64_8547`
82×	`neg-sub0_binary64_8598`
78×	`times-frac_binary64_8609`
76×	`neg-mul-1_binary64_8599`
75×	`distribute-lft-in_binary64_8552`
69×	`associate-/r/_binary64_8549`
62×	`unsub-neg_binary64_8597`
53×	`exp-diff_binary64_8651`
52×	`distribute-frac-neg_binary64_8566`
50×	`+-commutative_binary64_8533`
48×	`sqr-pow_binary64_8575`
45×	`swap-sqr_binary64_8570`
41×	`cube-prod_binary64_8631`
34×	`distribute-rgt-out_binary64_8556`
33×	`unpow3_binary64_8669`
26×	`unswap-sqr_binary64_8571`
24×	`*-rgt-identity_binary64_8593`
19×	`exp-sum_binary64_8649` `*-lft-identity_binary64_8592` `associate-+l+_binary64_8536`
18×	`cube-div_binary64_8632`
17×	`mul0-rgt_binary64_8586` `mul0-lft_binary64_8585`
14×	`associate-+l-_binary64_8538`
13×	`log-rec_binary64_8691`
12×	`div0_binary64_8584` `distribute-lft-out_binary64_8554` `associate-+r-_binary64_8537` `associate-+r+_binary64_8535`
11×	`sub0-neg_binary64_8590` `distribute-neg-in_binary64_8564`
10×	`cube-unmult_binary64_8640`
8×	`/-rgt-identity_binary64_8594` `+-rgt-identity_binary64_8588`
7×	`distribute-rgt-out--_binary64_8557`
5×	`remove-double-neg_binary64_8591`
4×	`pow-plus_binary64_8666` `cube-mult_binary64_8633`
3×	`rem-square-sqrt_binary64_8615` `pow-sqr_binary64_8576`
2×	`log-pow_binary64_8692` `rem-3cbrt-lft_binary64_8628` `rem-sqrt-square_binary64_8616` `difference-of-squares_binary64_8572` `associate--l-_binary64_8541` `associate--r+_binary64_8539`
1×	`div-exp_binary64_8654` `prod-exp_binary64_8652` `1-exp_binary64_8647` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `sqr-neg_binary64_8617` `mul-1-neg_binary64_8595` `associate--r-_binary64_8542` `associate--l+_binary64_8540`
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_8866` `erf-erfc_binary64_8865` `erf-odd_binary64_8864` `if-if-and-not_binary64_8863` `if-if-and_binary64_8862` `if-if-or-not_binary64_8861` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `not-gte_binary64_8855` `not-lte_binary64_8854` `not-gt_binary64_8853` `not-lt_binary64_8852` `gte-same_binary64_8851` `lte-same_binary64_8850` `gt-same_binary64_8849` `lt-same_binary64_8848` `sinh---cosh_binary64_8795` `sinh-+-cosh_binary64_8794` `sinh-cosh_binary64_8793` `tanh-def-c_binary64_8792` `tanh-def-b_binary64_8791` `tanh-def-a_binary64_8790` `cosh-def_binary64_8789` `sinh-def_binary64_8788` `tan-neg_binary64_8735` `cos-neg_binary64_8734` `sin-neg_binary64_8733` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `hang-m-tan_binary64_8729` `hang-p-tan_binary64_8728` `hang-m0-tan_binary64_8727` `hang-p0-tan_binary64_8726` `hang-0m-tan_binary64_8725` `hang-0p-tan_binary64_8724` `tan-+PI/2_binary64_8723` `tan-+PI_binary64_8722` `tan-PI_binary64_8721` `tan-PI/3_binary64_8720` `tan-PI/4_binary64_8719` `tan-PI/6_binary64_8718` `cos-+PI/2_binary64_8717` `cos-+PI_binary64_8716` `cos-PI_binary64_8715` `cos-PI/2_binary64_8714` `cos-PI/3_binary64_8713` `cos-PI/4_binary64_8712` `cos-PI/6_binary64_8711` `sin-+PI/2_binary64_8710` `sin-+PI_binary64_8709` `sin-PI_binary64_8708` `sin-PI/2_binary64_8707` `sin-PI/3_binary64_8706` `sin-PI/4_binary64_8705` `sin-PI/6_binary64_8704` `sub-1-sin_binary64_8703` `sub-1-cos_binary64_8702` `-1-add-sin_binary64_8701` `-1-add-cos_binary64_8700` `1-sub-sin_binary64_8699` `1-sub-cos_binary64_8698` `cos-sin-sum_binary64_8697` `log-E_binary64_8693` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow2_binary64_8668` `unpow1/2_binary64_8667` `exp-to-pow_binary64_8665` `pow-base-1_binary64_8663` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-lft-sqr_binary64_8658` `exp-cbrt_binary64_8657` `exp-sqrt_binary64_8656` `rec-exp_binary64_8653` `exp-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `rem-log-exp_binary64_8644` `rem-exp-log_binary64_8643` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `cancel-sign-sub_binary64_8568` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out--_binary64_8555` `count-2_binary64_8551`

Counts

142 → 73

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	1841
1	455	1791
2	1117	1788
3	2822	1776
4	4336	1776
5	4850	1776

prune59.0ms (0.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	73	5	78

Error

Counts

78 → 5

Compiler

Compiled 813 to 562 computations (30.9% saved)

regimes895.0ms (11.8%)

Accuracy

Total 0.2b remaining (99.6%)

Threshold costs 0.2b (99.6%)

Compiler

Compiled 7346 to 6371 computations (13.3% saved)

bsearch64.0ms (0.8%)

Steps

Iters	Range		Point
9	5.848063252513897e-15	8.604898664284154e-08	8.466378523572911e-08
8	-620336.2704296403	-885.6323652367482	-533213.3045002559

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64_8533`
11×	`*-commutative_binary64_8534`
5×	`sub-neg_binary64_8596`
4×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
2×	`cancel-sign-sub-inv_binary64_8569` `distribute-rgt-neg-in_binary64_8561`
1×	`if-if-or-not_binary64_8861` `distribute-neg-frac_binary64_8567` `distribute-lft-neg-out_binary64_8562` `distribute-lft-neg-in_binary64_8560`
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_8863` `if-if-and_binary64_8862` `if-if-or_binary64_8860` `if-not_binary64_8859` `if-same_binary64_8858` `if-false_binary64_8857` `if-true_binary64_8856` `tan-0_binary64_8732` `cos-0_binary64_8731` `sin-0_binary64_8730` `unpow1_binary64_8661` `e-exp-1_binary64_8648` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `exp-0_binary64_8645` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `unsub-neg_binary64_8597` `mul-1-neg_binary64_8595` `/-rgt-identity_binary64_8594` `-rgt-identity_binary64_8593` `-lft-identity_binary64_8592` `remove-double-neg_binary64_8591` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `+-lft-identity_binary64_8587` `cancel-sign-sub_binary64_8568` `distribute-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-neg-in_binary64_8564` `distribute-rgt-neg-out_binary64_8563`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	73
1	60	73
2	70	73
3	78	73
4	84	73
5	87	73
6	88	73
7	88	73

end0.0ms (0%)

sample1.9s (25.5%)

Algorithm

1×

intervals

Results

409.0ms

8000×

body

128

valid

Compiler

Compiled 1542 to 1325 computations (14.1% saved)

Iter	Nodes	Cost
0	19	31
1	36	31
2	63	31
3	112	31
4	187	31
5	244	31
6	302	31
7	381	31
8	461	31
9	454	31
10	456	31
11	453	31

Iter	Nodes	Cost
0	19	31
1	36	31
2	63	31
3	112	31
4	187	31
5	244	31
6	302	31
7	381	31
8	461	31
9	454	31
10	456	31
11	453	31

Details

analyze671.0ms (8.8%)

sample23.0ms (0.3%)

simplify20.0ms (0.3%)

prune3.0ms (0%)

localize14.0ms (0.2%)

rewrite195.0ms (2.6%)

series642.0ms (8.4%)

simplify141.0ms (1.9%)

prune157.0ms (2.1%)

localize3.0ms (0%)

rewrite35.0ms (0.5%)

series106.0ms (1.4%)

simplify113.0ms (1.5%)

prune23.0ms (0.3%)

localize14.0ms (0.2%)

rewrite378.0ms (5%)

series498.0ms (6.5%)

simplify263.0ms (3.5%)

prune319.0ms (4.2%)

localize6.0ms (0.1%)

rewrite352.0ms (4.6%)

series520.0ms (6.8%)

simplify148.0ms (2%)

prune59.0ms (0.8%)

regimes895.0ms (11.8%)

bsearch64.0ms (0.8%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample1.9s (25.5%)

Profiling

Iter	Nodes	Cost
0	19	31
1	36	31
2	63	31
3	112	31
4	187	31
5	244	31
6	302	31
7	381	31
8	461	31
9	454	31
10	456	31
11	453	31