Details

analyze720.0ms (5.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify355.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

646×	`associate-/l*_binary64_8548`
619×	`associate-/l/_binary64_8550`
396×	`associate-/r/_binary64_8549`
309×	`associate-/r*_binary64_8547`
301×	`associate-*l/_binary64_8546`
246×	`associate-*r/_binary64_8545`
238×	`associate-r_binary64_8543`
221×	`associate-l_binary64_8544`
209×	`div-sub_binary64_8608`
207×	`distribute-frac-neg_binary64_8566`
175×	`cancel-sign-sub-inv_binary64_8569`
174×	`sub-neg_binary64_8596`
159×	`exp-prod_binary64_8655`
140×	`distribute-rgt-neg-out_binary64_8563`
135×	`swap-sqr_binary64_8570`
101×	`distribute-rgt-neg-in_binary64_8561`
90×	`distribute-lft-neg-in_binary64_8560`
83×	`distribute-neg-frac_binary64_8567`
78×	`neg-mul-1_binary64_8599`
68×	`neg-sub0_binary64_8598`
60×	`*-commutative_binary64_8534`
54×	`times-frac_binary64_8609`
42×	`unsub-neg_binary64_8597`
39×	`distribute-neg-in_binary64_8564`
38×	`distribute-rgt-in_binary64_8553`
37×	`*-rgt-identity_binary64_8593`
36×	`cancel-sign-sub_binary64_8568`
34×	`distribute-rgt-out_binary64_8556`
29×	`/-rgt-identity_binary64_8594`
27×	`distribute-lft-in_binary64_8552`
25×	`+-commutative_binary64_8533`
23×	`*-lft-identity_binary64_8592` `div0_binary64_8584`
19×	`associate-+r-_binary64_8537`
15×	`cube-div_binary64_8632` `sub0-neg_binary64_8590`
14×	`cube-prod_binary64_8631`
13×	`associate-+l-_binary64_8538`
12×	`--rgt-identity_binary64_8589` `+-rgt-identity_binary64_8588` `mul0-lft_binary64_8585`
11×	`mul0-rgt_binary64_8586` `associate-+r+_binary64_8535`
10×	`exp-sqrt_binary64_8656` `distribute-rgt-out--_binary64_8557` `associate--r+_binary64_8539`
7×	`mul-1-neg_binary64_8595` `remove-double-neg_binary64_8591` `distribute-lft-neg-out_binary64_8562`
6×	`+-lft-identity_binary64_8587` `remove-double-div_binary64_8579`
5×	`pow-plus_binary64_8666` `*-inverses_binary64_8583` `distribute-rgt1-in_binary64_8559`
4×	`exp-lft-sqr_binary64_8658` `associate--r-_binary64_8542` `associate-+l+_binary64_8536`
3×	`sqr-neg_binary64_8617`
2×	`exp-sum_binary64_8649` `cube-unmult_binary64_8640` `sqr-pow_binary64_8575`
1×	`div-exp_binary64_8654` `1-exp_binary64_8647` `rem-sqrt-square_binary64_8616` `lft-mult-inverse_binary64_8581` `rgt-mult-inverse_binary64_8580` `pow-sqr_binary64_8576`
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` `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-cbrt_binary64_8657` `rec-exp_binary64_8653` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `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` `cube-mult_binary64_8633` `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` `rem-square-sqrt_binary64_8615` `+-inverses_binary64_8582` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `difference-of-squares_binary64_8572` `unswap-sqr_binary64_8571` `distribute-neg-out_binary64_8565` `distribute-lft1-in_binary64_8558` `distribute-lft-out--_binary64_8555` `distribute-lft-out_binary64_8554` `count-2_binary64_8551` `associate--l-_binary64_8541` `associate--l+_binary64_8540`

Counts

1 → 6

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	14	25
1	29	25
2	68	25
3	167	25
4	469	22
5	961	19
6	4517	19

prune16.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	4	2	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	4	3	7

Error

0.3b

Counts

7 → 3

Compiler

Compiled 143 to 96 computations (32.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2)))))
4.2b	(*.f64 (/.f64 t z) (/.f64 y 2))
8.3b	(/.f64 y (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2))))

rewrite183.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

49×	`add-sqr-sqrt_binary64_8625`
41×	`times-frac_binary64_8609`
34×	`*-un-lft-identity_binary64_8603`
32×	`add-cube-cbrt_binary64_8638`
17×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
15×	`cancel-sign-sub-inv_binary64_8569`
13×	`associate-l_binary64_8544` `associate-r_binary64_8543`
5×	`pow1_binary64_8664` `div-exp_binary64_8654` `add-log-exp_binary64_8642` `cbrt-undiv_binary64_8637`
4×	`div-inv_binary64_8600` `associate-/r/_binary64_8549` `prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `unswap-sqr_binary64_8571`
3×	`flip3--_binary64_8607` `flip--_binary64_8578` `associate-/l_binary64_8548` `associate-/r_binary64_8547`
2×	`difference-of-squares_binary64_8572`
1×	`frac-2neg_binary64_8614` `clear-num_binary64_8602` `pow-prod-down_binary64_8674` `frac-times_binary64_8613` `associate-l/_binary64_8546` `associate-r/_binary64_8545` `*-commutative_binary64_8534` `diff-log_binary64_8695` `sub-neg_binary64_8596` `distribute-lft-out--_binary64_8555`

Counts

3 → 108

Calls

3 calls:

11.0ms	(*.f64 (/.f64 t z) (/.f64 y 2))
10.0ms	(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2)))))
5.0ms	(/.f64 y (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2))))

Compiler

Compiled 2626 to 1331 computations (49.3% saved)

series876.0ms (7.1%)

Error

0.0b

Counts

3 → 57

Calls

3 calls:

432.0ms	(-.f64 x (/.f64 y (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2)))))
221.0ms	(/.f64 y (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2))))
179.0ms	(*.f64 (/.f64 t z) (/.f64 y 2))

Compiler

Compiled 1975 to 1534 computations (22.3% saved)

simplify447.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

393×	`associate-/r/_binary64_8549`
362×	`associate-/r*_binary64_8547`
218×	`distribute-neg-frac_binary64_8567`
199×	`associate-*l/_binary64_8546`
196×	`associate-*r/_binary64_8545`
195×	`distribute-rgt-in_binary64_8553`
181×	`distribute-rgt-neg-in_binary64_8561` `distribute-lft-in_binary64_8552`
158×	`associate-/l*_binary64_8548`
148×	`distribute-lft-neg-in_binary64_8560`
147×	`*-commutative_binary64_8534`
128×	`cancel-sign-sub-inv_binary64_8569`
118×	`distribute-lft-neg-out_binary64_8562`
107×	`neg-sub0_binary64_8598`
104×	`associate-l_binary64_8544`
100×	`div-sub_binary64_8608`
98×	`associate-r_binary64_8543`
96×	`neg-mul-1_binary64_8599`
86×	`sub-neg_binary64_8596`
79×	`associate-/l/_binary64_8550`
78×	`distribute-rgt-neg-out_binary64_8563`
71×	`times-frac_binary64_8609`
43×	`sqr-pow_binary64_8575`
36×	`exp-prod_binary64_8655`
34×	`log-div_binary64_8690`
33×	`cube-div_binary64_8632`
32×	`+-commutative_binary64_8533`
27×	`unswap-sqr_binary64_8571`
26×	`*-rgt-identity_binary64_8593`
25×	`distribute-frac-neg_binary64_8566`
24×	`log-prod_binary64_8689`
22×	`cube-prod_binary64_8631`
21×	`distribute-neg-in_binary64_8564`
19×	`*-lft-identity_binary64_8592`
17×	`pow-sqr_binary64_8576` `distribute-rgt-out_binary64_8556`
15×	`swap-sqr_binary64_8570`
12×	`/-rgt-identity_binary64_8594`
11×	`unpow3_binary64_8669` `unsub-neg_binary64_8597`
10×	`div-exp_binary64_8654` `associate-+l+_binary64_8536`
9×	`prod-exp_binary64_8652`
8×	`distribute-neg-out_binary64_8565`
7×	`associate-+r+_binary64_8535`
6×	`pow-plus_binary64_8666` `cube-mult_binary64_8633` `div0_binary64_8584` `difference-of-squares_binary64_8572`
5×	`cube-unmult_binary64_8640` `associate--r+_binary64_8539` `associate-+r-_binary64_8537`
4×	`exp-sqrt_binary64_8656` `distribute-lft-out_binary64_8554`
3×	`rec-exp_binary64_8653` `exp-diff_binary64_8651` `exp-sum_binary64_8649` `associate-+l-_binary64_8538`
2×	`log-rec_binary64_8691` `unpow2_binary64_8668` `unpow1_binary64_8661` `rem-3cbrt-lft_binary64_8628` `rem-square-sqrt_binary64_8615` `+-rgt-identity_binary64_8588` `distribute-rgt-out--_binary64_8557` `associate--r-_binary64_8542`
1×	`1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-log-exp_binary64_8644` `rem-sqrt-square_binary64_8616` `mul-1-neg_binary64_8595` `remove-double-neg_binary64_8591` `*-inverses_binary64_8583` `cancel-sign-sub_binary64_8568` `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` `log-pow_binary64_8692` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow1/2_binary64_8667` `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-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-exp-log_binary64_8643` `cube-neg_binary64_8630` `rem-3cbrt-rft_binary64_8629` `rem-cbrt-cube_binary64_8627` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `sqr-neg_binary64_8617` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `+-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` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out--_binary64_8555` `count-2_binary64_8551` `associate--l-_binary64_8541`

Counts

165 → 422

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	243	3268
1	698	3225
2	2367	3066

prune593.0ms (4.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	419	3	422
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	421	4	425

Error

Counts

425 → 4

Compiler

Compiled 10240 to 4985 computations (51.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (*.f64 y t) 2)
0.4b	(/.f64 1 (-.f64 z (/.f64 (/.f64 (*.f64 y t) 2) z)))
4.0b	(/.f64 (/.f64 (*.f64 y t) 2) z)
8.0b	(.f64 y (/.f64 1 (-.f64 z (/.f64 (/.f64 (.f64 y t) 2) z))))

rewrite518.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

86×	`add-sqr-sqrt_binary64_8625`
81×	`times-frac_binary64_8609`
59×	`*-un-lft-identity_binary64_8603`
44×	`add-cube-cbrt_binary64_8638`
31×	`add-exp-log_binary64_8641`
25×	`add-cbrt-cube_binary64_8639`
24×	`associate-r_binary64_8543`
14×	`difference-of-squares_binary64_8572`
12×	`associate-/r*_binary64_8547`
11×	`div-exp_binary64_8654` `associate-/l*_binary64_8548`
9×	`cbrt-undiv_binary64_8637`
8×	`div-inv_binary64_8600`
7×	`pow1_binary64_8664` `distribute-lft-out--_binary64_8555`
6×	`prod-exp_binary64_8652`
4×	`add-log-exp_binary64_8642` `cbrt-unprod_binary64_8636` `associate-/r/_binary64_8549`
3×	`unswap-sqr_binary64_8571` `associate-l_binary64_8544` `frac-2neg_binary64_8614` `clear-num_binary64_8602`
2×	`1-exp_binary64_8647` `rec-exp_binary64_8653` `flip3--_binary64_8607` `flip--_binary64_8578`
1×	`pow-prod-down_binary64_8674` `un-div-inv_binary64_8601` `associate-r/_binary64_8545` `-commutative_binary64_8534` `associate-/l/_binary64_8550` `inv-pow_binary64_8688` `pow-flip_binary64_8677`

Counts

4 → 161

Calls

4 calls:

260.0ms	(.f64 y (/.f64 1 (-.f64 z (/.f64 (/.f64 (.f64 y t) 2) z))))
13.0ms	(/.f64 1 (-.f64 z (/.f64 (/.f64 (*.f64 y t) 2) z)))
7.0ms	(/.f64 (/.f64 (*.f64 y t) 2) z)
5.0ms	(/.f64 (*.f64 y t) 2)

Compiler

Compiled 4051 to 2347 computations (42.1% saved)

series828.0ms (6.7%)

Error

Counts

4 → 55

Calls

4 calls:

274.0ms	(/.f64 1 (-.f64 z (/.f64 (/.f64 (*.f64 y t) 2) z)))
234.0ms	(.f64 y (/.f64 1 (-.f64 z (/.f64 (/.f64 (.f64 y t) 2) z))))
185.0ms	(/.f64 (/.f64 (*.f64 y t) 2) z)
86.0ms	(/.f64 (*.f64 y t) 2)

Compiler

Compiled 2605 to 2003 computations (23.1% saved)

simplify804.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

330×	`distribute-neg-frac_binary64_8567`
314×	`distribute-rgt-neg-in_binary64_8561`
258×	`div-sub_binary64_8608`
243×	`cancel-sign-sub-inv_binary64_8569`
234×	`associate-/l*_binary64_8548`
208×	`times-frac_binary64_8609`
203×	`neg-mul-1_binary64_8599`
192×	`unswap-sqr_binary64_8571`
188×	`neg-sub0_binary64_8598`
180×	`sub-neg_binary64_8596`
169×	`associate-/l/_binary64_8550`
164×	`unsub-neg_binary64_8597`
134×	`associate-l_binary64_8544`
121×	`associate-/r*_binary64_8547`
110×	`distribute-lft-neg-in_binary64_8560`
105×	`sqr-pow_binary64_8575`
104×	`associate-l/_binary64_8546` `associate-r*_binary64_8543`
101×	`associate-*r/_binary64_8545`
91×	`*-commutative_binary64_8534`
72×	`log-div_binary64_8690`
66×	`cube-div_binary64_8632` `associate-/r/_binary64_8549`
61×	`*-rgt-identity_binary64_8593`
57×	`distribute-lft-neg-out_binary64_8562`
53×	`log-prod_binary64_8689`
48×	`*-lft-identity_binary64_8592`
47×	`cube-prod_binary64_8631`
46×	`/-rgt-identity_binary64_8594` `pow-sqr_binary64_8576`
45×	`distribute-rgt-in_binary64_8553`
41×	`exp-prod_binary64_8655` `distribute-neg-out_binary64_8565` `distribute-lft-in_binary64_8552`
38×	`sub0-neg_binary64_8590` `+-commutative_binary64_8533`
36×	`distribute-rgt-neg-out_binary64_8563`
35×	`associate--l-_binary64_8541` `associate-+l-_binary64_8538`
33×	`swap-sqr_binary64_8570`
22×	`unpow3_binary64_8669`
21×	`cube-mult_binary64_8633`
18×	`associate--l+_binary64_8540`
17×	`+-lft-identity_binary64_8587` `associate-+r-_binary64_8537`
16×	`mul0-lft_binary64_8585`
15×	`mul0-rgt_binary64_8586` `associate-+l+_binary64_8536` `associate-+r+_binary64_8535`
12×	`log-rec_binary64_8691` `pow-plus_binary64_8666` `difference-of-squares_binary64_8572` `distribute-neg-in_binary64_8564`
9×	`associate--r+_binary64_8539`
8×	`cube-unmult_binary64_8640` `+-rgt-identity_binary64_8588` `div0_binary64_8584`
7×	`log-pow_binary64_8692`
6×	`exp-sqrt_binary64_8656` `remove-double-neg_binary64_8591`
4×	`distribute-frac-neg_binary64_8566` `associate--r-_binary64_8542`
3×	`sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `--rgt-identity_binary64_8589`
2×	`unpow2_binary64_8668` `unpow1_binary64_8661` `prod-exp_binary64_8652` `exp-diff_binary64_8651` `exp-sum_binary64_8649` `cube-neg_binary64_8630` `cancel-sign-sub_binary64_8568` `distribute-rgt-out--_binary64_8557` `distribute-rgt-out_binary64_8556`
1×	`pow-base-1_binary64_8663` `exp-lft-sqr_binary64_8658` `div-exp_binary64_8654` `rec-exp_binary64_8653` `exp-neg_binary64_8650` `1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-log-exp_binary64_8644` `rem-cbrt-cube_binary64_8627` `*-inverses_binary64_8583` `rgt-mult-inverse_binary64_8580` `distribute-lft1-in_binary64_8558` `count-2_binary64_8551`
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` `unpow1/2_binary64_8667` `exp-to-pow_binary64_8665` `unpow0_binary64_8662` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-cbrt_binary64_8657` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `rem-exp-log_binary64_8643` `rem-3cbrt-rft_binary64_8629` `rem-3cbrt-lft_binary64_8628` `rem-cube-cbrt_binary64_8626` `sqr-abs_binary64_8618` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `remove-double-div_binary64_8579` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `distribute-rgt1-in_binary64_8559` `distribute-lft-out--_binary64_8555` `distribute-lft-out_binary64_8554`

Counts

216 → 705

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	270	4317
1	643	4097
2	2371	3809
3	3220	3789

prune1.9s (15.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	705	0	705
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	705	4	709

Error

Counts

709 → 4

Compiler

Compiled 19572 to 11371 computations (41.9% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 2 (/.f64 z t)) x)
0.0b	(*.f64 2 (/.f64 z t))

rewrite52.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`add-sqr-sqrt_binary64_8625`
13×	`associate-r_binary64_8543`
10×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603` `times-frac_binary64_8609`
7×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
4×	`pow1_binary64_8664` `add-log-exp_binary64_8642`
3×	`associate-l_binary64_8544`
2×	`prod-exp_binary64_8652` `cbrt-unprod_binary64_8636` `unswap-sqr_binary64_8571`
1×	`pow-prod-down_binary64_8674` `div-exp_binary64_8654` `cbrt-undiv_binary64_8637` `associate-r/_binary64_8545` `div-inv_binary64_8600` `-commutative_binary64_8534` `sum-log_binary64_8694` `flip3-+_binary64_8606` `flip-+_binary64_8577` `+-commutative_binary64_8533`

Counts

2 → 43

Calls

2 calls:

7.0ms	(*.f64 2 (/.f64 z t))
6.0ms	(+.f64 (*.f64 2 (/.f64 z t)) x)

Compiler

Compiled 615 to 321 computations (47.8% saved)

series278.0ms (2.2%)

Error

Counts

2 → 24

Calls

2 calls:

182.0ms	(+.f64 (*.f64 2 (/.f64 z t)) x)
84.0ms	(*.f64 2 (/.f64 z t))

Compiler

Compiled 365 to 346 computations (5.2% saved)

simplify219.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

624×	`div-sub_binary64_8608`
286×	`associate-l_binary64_8544`
273×	`associate-*l/_binary64_8546`
263×	`associate-/l*_binary64_8548`
249×	`associate-*r/_binary64_8545`
225×	`associate-r_binary64_8543`
222×	`cancel-sign-sub-inv_binary64_8569`
220×	`distribute-rgt-in_binary64_8553`
204×	`distribute-rgt-out_binary64_8556`
202×	`distribute-lft-in_binary64_8552`
193×	`times-frac_binary64_8609`
162×	`unswap-sqr_binary64_8571` `+-commutative_binary64_8533`
159×	`distribute-lft-out_binary64_8554`
135×	`distribute-rgt-neg-in_binary64_8561`
132×	`associate-/l/_binary64_8550`
112×	`distribute-neg-frac_binary64_8567`
108×	`sub-neg_binary64_8596`
102×	`distribute-lft-neg-in_binary64_8560`
101×	`associate-+l-_binary64_8538`
99×	`*-lft-identity_binary64_8592`
97×	`sqr-pow_binary64_8575`
84×	`associate-+l+_binary64_8536`
79×	`associate-+r+_binary64_8535`
78×	`*-commutative_binary64_8534`
77×	`unsub-neg_binary64_8597`
69×	`*-rgt-identity_binary64_8593`
56×	`associate-/r/_binary64_8549` `associate-/r*_binary64_8547`
53×	`pow-sqr_binary64_8576`
49×	`exp-to-pow_binary64_8665` `neg-mul-1_binary64_8599`
48×	`associate-+r-_binary64_8537`
47×	`exp-prod_binary64_8655`
44×	`distribute-rgt-out--_binary64_8557` `associate--l-_binary64_8541`
41×	`log-div_binary64_8690` `cube-div_binary64_8632`
40×	`associate--r+_binary64_8539`
39×	`log-prod_binary64_8689` `neg-sub0_binary64_8598`
36×	`cube-prod_binary64_8631`
34×	`sub0-neg_binary64_8590`
27×	`associate--r-_binary64_8542`
26×	`remove-double-div_binary64_8579`
23×	`distribute-lft-neg-out_binary64_8562`
22×	`exp-sum_binary64_8649`
20×	`log-pow_binary64_8692`
19×	`pow-plus_binary64_8666` `distribute-neg-out_binary64_8565`
18×	`unpow3_binary64_8669` `prod-exp_binary64_8652`
17×	`exp-diff_binary64_8651` `/-rgt-identity_binary64_8594`
16×	`swap-sqr_binary64_8570` `associate--l+_binary64_8540`
15×	`distribute-lft-out--_binary64_8555`
13×	`log-rec_binary64_8691`
12×	`distribute-neg-in_binary64_8564`
11×	`cube-unmult_binary64_8640`
10×	`cube-mult_binary64_8633`
9×	`div-exp_binary64_8654` `distribute-rgt-neg-out_binary64_8563`
8×	`+-lft-identity_binary64_8587` `mul0-lft_binary64_8585` `distribute-rgt1-in_binary64_8559`
7×	`+-rgt-identity_binary64_8588`
6×	`mul0-rgt_binary64_8586`
5×	`pow-base-1_binary64_8663`
3×	`exp-lft-sqr_binary64_8658` `rec-exp_binary64_8653`
2×	`exp-sqrt_binary64_8656` `rem-log-exp_binary64_8644` `cube-neg_binary64_8630` `remove-double-neg_binary64_8591` `--rgt-identity_binary64_8589` `div0_binary64_8584` `difference-of-squares_binary64_8572` `count-2_binary64_8551`
1×	`1-exp_binary64_8647` `exp-1-e_binary64_8646` `sqr-neg_binary64_8617` `rem-sqrt-square_binary64_8616` `*-inverses_binary64_8583` `+-inverses_binary64_8582` `lft-mult-inverse_binary64_8581` `distribute-lft1-in_binary64_8558`
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` `unpow0_binary64_8662` `unpow1_binary64_8661` `unpow-1_binary64_8660` `exp-lft-cube_binary64_8659` `exp-cbrt_binary64_8657` `exp-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `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-mult-inverse_binary64_8580` `difference-of-sqr--1_binary64_8574` `difference-of-sqr-1_binary64_8573` `cancel-sign-sub_binary64_8568` `distribute-frac-neg_binary64_8566`

Counts

67 → 101

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	91	703
1	226	682
2	728	676
3	2279	676
4	3415	676
5	4654	676

prune96.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	101	4	105

Error

Counts

105 → 4

Compiler

Compiled 1519 to 813 computations (46.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (-.f64 z (.f64 (/.f64 t z) (/.f64 y 2))))))
1.8b	(/.f64 (sqrt.f64 y) (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2))))
2.8b	(.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (-.f64 z (.f64 (/.f64 t z) (/.f64 y 2)))))
4.2b	(*.f64 (/.f64 t z) (/.f64 y 2))

rewrite256.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_8625`
62×	`times-frac_binary64_8609`
48×	`add-cube-cbrt_binary64_8638` `*-un-lft-identity_binary64_8603`
37×	`associate-r_binary64_8543`
29×	`sqrt-prod_binary64_8619`
23×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
19×	`associate-l_binary64_8544`
10×	`unswap-sqr_binary64_8571`
8×	`pow1_binary64_8664`
6×	`div-exp_binary64_8654` `prod-exp_binary64_8652` `add-log-exp_binary64_8642` `cbrt-unprod_binary64_8636` `cbrt-undiv_binary64_8637` `associate-/l*_binary64_8548`
4×	`div-inv_binary64_8600` `associate-/r/_binary64_8549`
3×	`flip3--_binary64_8607` `flip--_binary64_8578` `associate-/r*_binary64_8547`
2×	`pow-prod-down_binary64_8674` `associate-r/_binary64_8545` `-commutative_binary64_8534`
1×	`frac-times_binary64_8613` `associate-*l/_binary64_8546` `frac-2neg_binary64_8614` `clear-num_binary64_8602` `diff-log_binary64_8695` `sub-neg_binary64_8596` `cancel-sign-sub-inv_binary64_8569`

Counts

4 → 153

Calls

4 calls:

14.0ms	(.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (-.f64 z (.f64 (/.f64 t z) (/.f64 y 2)))))
11.0ms	(*.f64 (/.f64 t z) (/.f64 y 2))
6.0ms	(/.f64 (sqrt.f64 y) (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2))))
3.0ms	(-.f64 x (.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (-.f64 z (.f64 (/.f64 t z) (/.f64 y 2))))))

Compiler

Compiled 4503 to 2044 computations (54.6% saved)

series1.1s (8.6%)

Error

Counts

4 → 67

Calls

4 calls:

402.0ms	(-.f64 x (.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (-.f64 z (.f64 (/.f64 t z) (/.f64 y 2))))))
214.0ms	(.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 y) (-.f64 z (.f64 (/.f64 t z) (/.f64 y 2)))))
206.0ms	(/.f64 (sqrt.f64 y) (-.f64 z (*.f64 (/.f64 t z) (/.f64 y 2))))
196.0ms	(*.f64 (/.f64 t z) (/.f64 y 2))

Compiler

Compiled 2711 to 2063 computations (23.9% saved)

simplify622.0ms (5%)

Algorithm

1×	egg-herbie

Rules

626×	`associate-/r*_binary64_8547`
541×	`associate-/r/_binary64_8549`
216×	`associate-/l*_binary64_8548`
213×	`distribute-rgt-neg-in_binary64_8561`
202×	`distribute-neg-frac_binary64_8567`
195×	`associate-*r/_binary64_8545`
188×	`associate-*l/_binary64_8546`
185×	`distribute-lft-neg-in_binary64_8560`
175×	`associate-r_binary64_8543`
174×	`associate-l_binary64_8544`
173×	`cancel-sign-sub-inv_binary64_8569`
147×	`*-commutative_binary64_8534`
115×	`times-frac_binary64_8609`
95×	`associate-/l/_binary64_8550`
83×	`unswap-sqr_binary64_8571`
64×	`distribute-rgt-in_binary64_8553`
59×	`neg-sub0_binary64_8598` `distribute-lft-in_binary64_8552`
58×	`neg-mul-1_binary64_8599`
56×	`sub-neg_binary64_8596` `sqr-pow_binary64_8575`
48×	`*-rgt-identity_binary64_8593`
39×	`*-lft-identity_binary64_8592`
38×	`log-div_binary64_8690`
37×	`cube-div_binary64_8632`
33×	`exp-prod_binary64_8655`
30×	`distribute-lft-neg-out_binary64_8562`
28×	`log-prod_binary64_8689`
27×	`+-commutative_binary64_8533`
26×	`cube-prod_binary64_8631`
23×	`pow-sqr_binary64_8576`
20×	`/-rgt-identity_binary64_8594`
18×	`div-sub_binary64_8608`
15×	`swap-sqr_binary64_8570`
12×	`unpow3_binary64_8669` `distribute-rgt-out_binary64_8556`
11×	`distribute-neg-in_binary64_8564`
10×	`div-exp_binary64_8654`
9×	`prod-exp_binary64_8652` `associate-+l+_binary64_8536`
7×	`pow-plus_binary64_8666` `cube-mult_binary64_8633`
6×	`rem-sqrt-square_binary64_8616` `difference-of-squares_binary64_8572` `distribute-rgt-neg-out_binary64_8563`
5×	`cube-unmult_binary64_8640` `associate--r+_binary64_8539` `associate-+r+_binary64_8535`
4×	`log-rec_binary64_8691` `associate-+l-_binary64_8538` `associate-+r-_binary64_8537`
3×	`unpow2_binary64_8668` `unpow1_binary64_8661` `exp-sqrt_binary64_8656` `rec-exp_binary64_8653` `exp-sum_binary64_8649` `unsub-neg_binary64_8597`
2×	`exp-diff_binary64_8651` `rem-square-sqrt_binary64_8615` `mul-1-neg_binary64_8595` `distribute-rgt-out--_binary64_8557` `distribute-lft-out_binary64_8554` `associate--r-_binary64_8542`
1×	`1-exp_binary64_8647` `exp-1-e_binary64_8646` `rem-log-exp_binary64_8644` `remove-double-neg_binary64_8591` `+-rgt-identity_binary64_8588` `*-inverses_binary64_8583` `count-2_binary64_8551` `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` `log-pow_binary64_8692` `pow-base-0_binary64_8687` `unpow1/3_binary64_8670` `unpow1/2_binary64_8667` `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-neg_binary64_8650` `e-exp-1_binary64_8648` `exp-0_binary64_8645` `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` `sub0-neg_binary64_8590` `--rgt-identity_binary64_8589` `+-lft-identity_binary64_8587` `mul0-rgt_binary64_8586` `mul0-lft_binary64_8585` `div0_binary64_8584` `+-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-frac-neg_binary64_8566` `distribute-neg-out_binary64_8565` `distribute-rgt1-in_binary64_8559` `distribute-lft1-in_binary64_8558` `distribute-lft-out--_binary64_8555` `associate--l-_binary64_8541`

Counts

220 → 463

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	4645
1	738	4434
2	2654	4418

prune751.0ms (6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	463	0	463
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	463	4	467

Error

Counts

467 → 4

Compiler

Compiled 12480 to 5779 computations (53.7% saved)

regimes420.0ms (3.4%)

Accuracy

Total 1.1b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 3182 to 2820 computations (11.4% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`sub-neg_binary64_8596` `+-commutative_binary64_8533`
6×	`*-commutative_binary64_8534`
5×	`neg-mul-1_binary64_8599` `neg-sub0_binary64_8598`
2×	`cancel-sign-sub-inv_binary64_8569` `distribute-neg-frac_binary64_8567` `distribute-rgt-neg-in_binary64_8561`
1×	`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-not_binary64_8861` `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	12	19
1	20	19
2	35	19
3	46	19
4	53	19
5	55	19

Proof

(- f64 h0 (/ f64 h1 (- f64 h2 (* f64 1/2 (/ f64 h1 (/ f64 h2 h3))))))

end0.0ms (0%)

sample1.3s (10.6%)

Algorithm

1×

intervals

Results

381.0ms

8000×

body

128

valid

Compiler

Compiled 554 to 489 computations (11.7% saved)

Details

analyze720.0ms (5.8%)

sample25.0ms (0.2%)

simplify355.0ms (2.9%)

prune16.0ms (0.1%)

localize9.0ms (0.1%)

rewrite183.0ms (1.5%)

series876.0ms (7.1%)

simplify447.0ms (3.6%)

prune593.0ms (4.8%)

localize11.0ms (0.1%)

rewrite518.0ms (4.2%)

series828.0ms (6.7%)

simplify804.0ms (6.5%)

prune1.9s (15.6%)

localize5.0ms (0%)

rewrite52.0ms (0.4%)

series278.0ms (2.2%)

simplify219.0ms (1.8%)

prune96.0ms (0.8%)

localize12.0ms (0.1%)

rewrite256.0ms (2.1%)

series1.1s (8.6%)

simplify622.0ms (5%)

prune751.0ms (6%)

regimes420.0ms (3.4%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample1.3s (10.6%)

Profiling