Details

analyze285.0ms (2.7%)

Algorithm

1×

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
25%	74.9%	0.1%	6
49.9%	49.9%	0.1%	7
56.2%	43.7%	0.1%	8
56.2%	43.7%	0.1%	9
71.8%	28.1%	0.1%	10
76.5%	23.4%	0.1%	11
76.5%	23.4%	0.1%	12
85%	14.8%	0.1%	13
87.8%	12.1%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample47.0ms (0.4%)

Algorithm

1×

intervals

Results

18.0ms	67×	body	1024	valid
9.0ms	139×	body	128	valid
6.0ms	34×	body	512	valid
2.0ms	16×	body	256	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify151.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64_8875`
1×	`+-commutative_binary64_8874`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `log-pow_binary64_9033` `log-rec_binary64_9032` `log-div_binary64_9031` `log-prod_binary64_9030` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow3_binary64_9010` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `pow-plus_binary64_9007` `exp-to-pow_binary64_9006` `pow-base-1_binary64_9004` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `exp-prod_binary64_8996` `div-exp_binary64_8995` `rec-exp_binary64_8994` `prod-exp_binary64_8993` `exp-diff_binary64_8992` `exp-neg_binary64_8991` `exp-sum_binary64_8990` `e-exp-1_binary64_8989` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `cube-unmult_binary64_8981` `cube-mult_binary64_8974` `cube-div_binary64_8973` `cube-prod_binary64_8972` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `times-frac_binary64_8950` `div-sub_binary64_8949` `neg-mul-1_binary64_8940` `neg-sub0_binary64_8939` `unsub-neg_binary64_8938` `sub-neg_binary64_8937` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `remove-double-neg_binary64_8932` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `-inverses_binary64_8924` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `pow-sqr_binary64_8917` `sqr-pow_binary64_8916` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913` `unswap-sqr_binary64_8912` `swap-sqr_binary64_8911` `cancel-sign-sub-inv_binary64_8910` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-neg-in_binary64_8905` `distribute-rgt-neg-out_binary64_8904` `distribute-lft-neg-out_binary64_8903` `distribute-rgt-neg-in_binary64_8902` `distribute-lft-neg-in_binary64_8901` `distribute-rgt1-in_binary64_8900` `distribute-lft1-in_binary64_8899` `distribute-rgt-out--_binary64_8898` `distribute-rgt-out_binary64_8897` `distribute-lft-out--_binary64_8896` `distribute-lft-out_binary64_8895` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893` `count-2_binary64_8892` `associate-/l/_binary64_8891` `associate-/r/_binary64_8890` `associate-/l_binary64_8889` `associate-/r_binary64_8888` `associate-l/_binary64_8887` `associate-r/_binary64_8886` `associate-l_binary64_8885` `associate-r*_binary64_8884` `associate--r-_binary64_8883` `associate--l-_binary64_8882` `associate--l+_binary64_8881` `associate--r+_binary64_8880` `associate-+l-_binary64_8879` `associate-+r-_binary64_8878` `associate-+l+_binary64_8877` `associate-+r+_binary64_8876`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	12	14

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

0.1b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sin.f64 y)
0.0b	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
0.1b	(*.f64 z (cos.f64 y))
0.1b	(*.f64 x (sin.f64 y))

rewrite76.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_8966`
8×	`pow1_binary64_9005` `add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
6×	`add-log-exp_binary64_8983` `associate-l_binary64_8885` `associate-r_binary64_8884`
2×	`pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875`
1×	`sum-log_binary64_9035` `flip3-+_binary64_8947` `flip-+_binary64_8918` `+-commutative_binary64_8874`

Counts

4 → 54

Calls

4 calls:

4.0ms	(*.f64 x (sin.f64 y))
4.0ms	(*.f64 z (cos.f64 y))
4.0ms	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
1.0ms	(sin.f64 y)

Compiler

Compiled 822 to 199 computations (75.8% saved)

series593.0ms (5.6%)

Error

0.1b

Counts

4 → 38

Calls

4 calls:

340.0ms	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
115.0ms	(*.f64 z (cos.f64 y))
96.0ms	(*.f64 x (sin.f64 y))
15.0ms	(sin.f64 y)

Compiler

Compiled 948 to 607 computations (36% saved)

simplify172.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

415×	`cancel-sign-sub-inv_binary64_8910`
242×	`distribute-rgt-neg-in_binary64_8902`
218×	`times-frac_binary64_8950`
202×	`distribute-rgt-in_binary64_8894`
200×	`*-commutative_binary64_8875`
194×	`distribute-lft-neg-in_binary64_8901`
181×	`distribute-lft-in_binary64_8893`
147×	`associate-+l+_binary64_8877`
139×	`associate-+r+_binary64_8876`
134×	`associate-/r*_binary64_8888`
132×	`sub-neg_binary64_8937`
131×	`associate-r_binary64_8884`
129×	`associate-l_binary64_8885`
109×	`associate-/r/_binary64_8890`
108×	`associate-+l-_binary64_8879`
105×	`associate-/l*_binary64_8889`
87×	`sqr-pow_binary64_8916`
81×	`distribute-rgt-out_binary64_8897`
77×	`+-commutative_binary64_8874`
76×	`unswap-sqr_binary64_8912`
66×	`log-prod_binary64_9030` `associate-+r-_binary64_8878`
64×	`neg-mul-1_binary64_8940` `neg-sub0_binary64_8939`
63×	`exp-prod_binary64_8996`
55×	`associate--l-_binary64_8882`
52×	`distribute-neg-frac_binary64_8908`
51×	`distribute-rgt-out--_binary64_8898`
49×	`associate-*r/_binary64_8886`
48×	`pow-sqr_binary64_8917`
46×	`log-div_binary64_9031`
45×	`cube-div_binary64_8973` `distribute-lft-out_binary64_8895` `associate--l+_binary64_8881`
43×	`associate-*l/_binary64_8887`
37×	`distribute-lft-out--_binary64_8896`
28×	`distribute-lft-neg-out_binary64_8903` `associate-/l/_binary64_8891`
27×	`exp-sqrt_binary64_8997`
26×	`unpow3_binary64_9010` `associate--r+_binary64_8880`
22×	`cube-prod_binary64_8972` `*-rgt-identity_binary64_8934`
21×	`cube-mult_binary64_8974`
19×	`exp-lft-sqr_binary64_8999`
18×	`unsub-neg_binary64_8938` `*-lft-identity_binary64_8933`
15×	`+-rgt-identity_binary64_8929` `swap-sqr_binary64_8911`
13×	`sub0-neg_binary64_8931`
12×	`pow-plus_binary64_9007` `distribute-neg-in_binary64_8905`
9×	`exp-sum_binary64_8990`
6×	`log-pow_binary64_9033` `exp-diff_binary64_8992` `distribute-rgt1-in_binary64_8900`
3×	`pow-base-1_binary64_9004` `cancel-sign-sub_binary64_8909` `associate--r-_binary64_8883`
2×	`prod-exp_binary64_8993` `cube-unmult_binary64_8981` `difference-of-squares_binary64_8913` `distribute-rgt-neg-out_binary64_8904` `count-2_binary64_8892`
1×	`log-rec_binary64_9032` `unpow2_binary64_9009` `unpow1_binary64_9002` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `*-inverses_binary64_8924` `rgt-mult-inverse_binary64_8921`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow1/2_binary64_9008` `exp-to-pow_binary64_9006` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `div-exp_binary64_8995` `rec-exp_binary64_8994` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `div-sub_binary64_8949` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `remove-double-neg_binary64_8932` `--rgt-identity_binary64_8930` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-lft1-in_binary64_8899`

Counts

92 → 81

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1019
1	290	983
2	888	968
3	1839	965
4	4716	965

prune92.0ms (0.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	71	10	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	10	82

Error

0.0b

Counts

82 → 10

Compiler

Compiled 1800 to 521 computations (71.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 z (cos.f64 y))) (cbrt.f64 (*.f64 z (cos.f64 y))))
0.5b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.5b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.5b	(cbrt.f64 (*.f64 (cos.f64 y) z))

rewrite93.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_9005`
10×	`add-sqr-sqrt_binary64_8966`
9×	`pow1/3_binary64_9026`
8×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
7×	`cbrt-prod_binary64_8975`
6×	`add-exp-log_binary64_8982`
4×	`add-log-exp_binary64_8983` `add-cbrt-cube_binary64_8980` `swap-sqr_binary64_8911` `associate-l_binary64_8885` `associate-r_binary64_8884`
2×	`pow-prod-down_binary64_9015` `pow-prod-up_binary64_9014` `pow-sqr_binary64_8917`
1×	`pow2_binary64_9025` `pow-plus_binary64_9007` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875`

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 z (cos.f64 y))) (cbrt.f64 (*.f64 z (cos.f64 y))))
4.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
3.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
2.0ms	(cbrt.f64 (*.f64 (cos.f64 y) z))

Compiler

Compiled 1596 to 261 computations (83.6% saved)

series1.6s (15.2%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

525.0ms	(.f64 (cbrt.f64 (.f64 z (cos.f64 y))) (cbrt.f64 (*.f64 z (cos.f64 y))))
352.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
340.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
336.0ms	(cbrt.f64 (*.f64 (cos.f64 y) z))

Compiler

Compiled 2660 to 1658 computations (37.7% saved)

simplify1.0s (9.6%)

Algorithm

1×	egg-herbie

Rules

399×	`cancel-sign-sub-inv_binary64_8910`
383×	`associate-/r/_binary64_8890`
287×	`distribute-rgt-in_binary64_8894`
266×	`distribute-rgt-neg-in_binary64_8902`
243×	`distribute-lft-neg-in_binary64_8901`
204×	`unswap-sqr_binary64_8912`
201×	`distribute-lft-in_binary64_8893`
191×	`*-commutative_binary64_8875`
185×	`exp-prod_binary64_8996`
170×	`associate-/l/_binary64_8891`
138×	`sqr-pow_binary64_8916`
132×	`sub-neg_binary64_8937`
113×	`log-prod_binary64_9030`
111×	`associate-r_binary64_8884`
102×	`exp-sum_binary64_8990`
96×	`neg-mul-1_binary64_8940`
95×	`associate-l_binary64_8885`
94×	`neg-sub0_binary64_8939`
79×	`distribute-rgt-out_binary64_8897`
73×	`unsub-neg_binary64_8938`
63×	`pow-sqr_binary64_8917`
56×	`times-frac_binary64_8950` `associate-*l/_binary64_8887`
54×	`cube-prod_binary64_8972`
52×	`distribute-lft-out_binary64_8895`
48×	`div-sub_binary64_8949`
47×	`log-div_binary64_9031`
42×	`associate-/r*_binary64_8888`
40×	`exp-sqrt_binary64_8997`
37×	`distribute-rgt-out--_binary64_8898`
36×	`distribute-lft-neg-out_binary64_8903`
34×	`associate--r+_binary64_8880`
32×	`swap-sqr_binary64_8911` `distribute-neg-in_binary64_8905`
31×	`associate-*r/_binary64_8886`
29×	`cube-div_binary64_8973` `*-rgt-identity_binary64_8934` `distribute-neg-frac_binary64_8908`
28×	`exp-diff_binary64_8992`
26×	`exp-to-pow_binary64_9006` `distribute-lft-out--_binary64_8896`
24×	`*-lft-identity_binary64_8933` `+-commutative_binary64_8874`
23×	`associate-+l+_binary64_8877`
20×	`log-pow_binary64_9033`
19×	`pow-plus_binary64_9007` `distribute-neg-out_binary64_8906` `distribute-rgt-neg-out_binary64_8904`
18×	`associate-+l-_binary64_8879`
16×	`associate-/l*_binary64_8889`
15×	`associate--l+_binary64_8881`
14×	`unpow1/3_binary64_9011` `sub0-neg_binary64_8931` `distribute-rgt1-in_binary64_8900` `associate-+r-_binary64_8878`
13×	`rem-sqrt-square_binary64_8957` `associate-+r+_binary64_8876`
11×	`cube-unmult_binary64_8981`
10×	`exp-neg_binary64_8991`
9×	`exp-lft-sqr_binary64_8999`
8×	`+-rgt-identity_binary64_8929` `count-2_binary64_8892`
6×	`unpow3_binary64_9010` `/-rgt-identity_binary64_8935`
5×	`log-rec_binary64_9032` `unpow2_binary64_9009`
4×	`unpow1_binary64_9002` `prod-exp_binary64_8993` `cube-mult_binary64_8974` `cancel-sign-sub_binary64_8909` `distribute-lft1-in_binary64_8899` `associate--r-_binary64_8883` `associate--l-_binary64_8882`
3×	`rem-3cbrt-lft_binary64_8969` `remove-double-neg_binary64_8932` `mul0-lft_binary64_8926`
2×	`--rgt-identity_binary64_8930`
1×	`pow-base-1_binary64_9004` `div-exp_binary64_8995` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-square-sqrt_binary64_8956` `mul0-rgt_binary64_8927` `*-inverses_binary64_8924` `distribute-frac-neg_binary64_8907`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/2_binary64_9008` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `rec-exp_binary64_8994` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `cube-neg_binary64_8971` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `mul-1-neg_binary64_8936` `+-lft-identity_binary64_8928` `div0_binary64_8925` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913`

Counts

94 → 176

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1460
1	302	1346
2	951	1257
3	2259	1144

prune225.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	176	10	186

Error

0.0b

Counts

186 → 10

Compiler

Compiled 5154 to 1521 computations (70.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (cos.f64 y)) 2)) (cbrt.f64 (*.f64 (cos.f64 y) z)))
0.5b	(pow.f64 (cbrt.f64 z) 2)
0.5b	(cbrt.f64 (*.f64 (cos.f64 y) z))
0.6b	(cbrt.f64 z)

rewrite117.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-exp-log_binary64_8982`
19×	`prod-exp_binary64_8993`
9×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966` `*-un-lft-identity_binary64_8944`
8×	`cbrt-prod_binary64_8975`
7×	`pow1_binary64_9005` `add-cbrt-cube_binary64_8980` `pow-to-exp_binary64_9013` `pow-exp_binary64_9012`
6×	`unpow-prod-down_binary64_9023`
4×	`add-log-exp_binary64_8983` `associate-r_binary64_8884`
3×	`pow1/3_binary64_9026` `pow-unpow_binary64_9021` `cbrt-unprod_binary64_8977`
2×	`pow-pow_binary64_9016`
1×	`unpow2_binary64_9009` `sqr-pow_binary64_8916` `pow-prod-down_binary64_9015` `associate-l_binary64_8885` `*-commutative_binary64_8875`

Counts

4 → 68

Calls

4 calls:

10.0ms	(.f64 (.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (cos.f64 y)) 2)) (cbrt.f64 (*.f64 (cos.f64 y) z)))
3.0ms	(pow.f64 (cbrt.f64 z) 2)
2.0ms	(cbrt.f64 (*.f64 (cos.f64 y) z))
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1843 to 705 computations (61.7% saved)

series798.0ms (7.5%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

358.0ms	(cbrt.f64 (*.f64 (cos.f64 y) z))
154.0ms	(pow.f64 (cbrt.f64 z) 2)
137.0ms	(.f64 (.f64 (pow.f64 (cbrt.f64 z) 2) (pow.f64 (cbrt.f64 (cos.f64 y)) 2)) (cbrt.f64 (*.f64 (cos.f64 y) z)))
118.0ms	(cbrt.f64 z)

Compiler

Compiled 1376 to 988 computations (28.2% saved)

simplify358.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

710×	`unswap-sqr_binary64_8912`
281×	`times-frac_binary64_8950`
202×	`associate-l_binary64_8885`
188×	`associate-r_binary64_8884`
168×	`associate-*l/_binary64_8887`
158×	`cancel-sign-sub-inv_binary64_8910`
155×	`associate-/r*_binary64_8888`
143×	`distribute-rgt-neg-in_binary64_8902`
126×	`distribute-lft-neg-in_binary64_8901`
125×	`associate-*r/_binary64_8886`
105×	`sqr-pow_binary64_8916`
98×	`log-prod_binary64_9030`
92×	`associate-/l*_binary64_8889`
61×	`exp-prod_binary64_8996`
60×	`*-commutative_binary64_8875`
44×	`associate-/r/_binary64_8890`
43×	`sub-neg_binary64_8937`
42×	`pow-sqr_binary64_8917`
35×	`cube-prod_binary64_8972`
32×	`neg-sub0_binary64_8939`
31×	`log-pow_binary64_9033` `pow-plus_binary64_9007`
29×	`neg-mul-1_binary64_8940`
28×	`distribute-rgt-in_binary64_8894`
25×	`swap-sqr_binary64_8911`
22×	`+-commutative_binary64_8874`
21×	`distribute-rgt-out_binary64_8897`
20×	`associate-/l/_binary64_8891`
19×	`log-div_binary64_9031` `distribute-lft-neg-out_binary64_8903`
17×	`distribute-neg-in_binary64_8905` `distribute-lft-in_binary64_8893`
13×	`exp-sum_binary64_8990`
12×	`unpow2_binary64_9009` `cube-unmult_binary64_8981` `rem-sqrt-square_binary64_8957`
11×	`unpow1_binary64_9002` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `associate--r+_binary64_8880`
10×	`unsub-neg_binary64_8938` `distribute-lft-out_binary64_8895`
8×	`associate--l+_binary64_8881` `associate-+l+_binary64_8877`
7×	`/-rgt-identity_binary64_8935` `distribute-rgt-neg-out_binary64_8904`
6×	`unpow1/3_binary64_9011` `cube-div_binary64_8973`
5×	`exp-sqrt_binary64_8997` `count-2_binary64_8892`
4×	`rem-3cbrt-lft_binary64_8969` `distribute-rgt1-in_binary64_8900` `distribute-rgt-out--_binary64_8898` `associate-+r+_binary64_8876`
3×	`log-rec_binary64_9032` `pow-base-1_binary64_9004` `exp-diff_binary64_8992` `mul-1-neg_binary64_8936` `remove-double-neg_binary64_8932`
2×	`exp-to-pow_binary64_9006` `rem-cbrt-cube_binary64_8968` `div-sub_binary64_8949` `distribute-lft-out--_binary64_8896` `associate--r-_binary64_8883`
1×	`unpow3_binary64_9010` `prod-exp_binary64_8993` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-log-exp_binary64_8985` `cube-mult_binary64_8974` `rem-3cbrt-rft_binary64_8970` `rem-cube-cbrt_binary64_8967` `rem-square-sqrt_binary64_8956` `--rgt-identity_binary64_8930` `*-inverses_binary64_8924` `distribute-lft1-in_binary64_8899`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/2_binary64_9008` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `div-exp_binary64_8995` `rec-exp_binary64_8994` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-exp-log_binary64_8984` `cube-neg_binary64_8971` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `sub0-neg_binary64_8931` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `associate--l-_binary64_8882` `associate-+l-_binary64_8879` `associate-+r-_binary64_8878`

Counts

92 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	1498
1	369	1344
2	1356	1291

prune179.0ms (1.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	117	4	121
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	119	12	131

Error

0.0b

Counts

131 → 12

Compiler

Compiled 3471 to 1384 computations (60.1% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 (*.f64 z (cos.f64 y))) (pow.f64 (cbrt.f64 (cos.f64 y)) 2)))
0.5b	(pow.f64 (cbrt.f64 z) 2)
0.5b	(cbrt.f64 (*.f64 z (cos.f64 y)))
0.6b	(cbrt.f64 z)

rewrite118.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-exp-log_binary64_8982`
21×	`prod-exp_binary64_8993`
12×	`unpow-prod-down_binary64_9023`
11×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966` `-un-lft-identity_binary64_8944` `associate-l*_binary64_8885`
10×	`cbrt-prod_binary64_8975`
8×	`add-cbrt-cube_binary64_8980` `pow-to-exp_binary64_9013` `pow-exp_binary64_9012`
5×	`pow1_binary64_9005`
4×	`add-log-exp_binary64_8983`
3×	`pow1/3_binary64_9026` `pow-unpow_binary64_9021` `cbrt-unprod_binary64_8977`
2×	`pow-pow_binary64_9016` `unpow2_binary64_9009` `sqr-pow_binary64_8916`
1×	`associate-r_binary64_8884` `*-commutative_binary64_8875`

Counts

4 → 76

Calls

4 calls:

10.0ms	(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 (*.f64 z (cos.f64 y))) (pow.f64 (cbrt.f64 (cos.f64 y)) 2)))
3.0ms	(pow.f64 (cbrt.f64 z) 2)
2.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2078 to 804 computations (61.3% saved)

series804.0ms (7.6%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

356.0ms	(cbrt.f64 (*.f64 z (cos.f64 y)))
154.0ms	(pow.f64 (cbrt.f64 z) 2)
137.0ms	(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 (*.f64 z (cos.f64 y))) (pow.f64 (cbrt.f64 (cos.f64 y)) 2)))
123.0ms	(cbrt.f64 z)

Compiler

Compiled 1376 to 989 computations (28.1% saved)

simplify597.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

766×	`unswap-sqr_binary64_8912`
525×	`log-prod_binary64_9030`
394×	`*-commutative_binary64_8875`
289×	`times-frac_binary64_8950`
209×	`log-div_binary64_9031`
192×	`associate-r_binary64_8884`
173×	`associate-l_binary64_8885`
158×	`cancel-sign-sub-inv_binary64_8910`
151×	`associate-/r*_binary64_8888`
141×	`distribute-rgt-neg-in_binary64_8902`
124×	`distribute-lft-neg-in_binary64_8901`
100×	`sqr-pow_binary64_8916`
95×	`associate-/l*_binary64_8889`
63×	`log-pow_binary64_9033`
52×	`exp-prod_binary64_8996`
43×	`sub-neg_binary64_8937`
41×	`pow-sqr_binary64_8917` `associate-/r/_binary64_8890`
36×	`associate-+l+_binary64_8877`
34×	`associate-+r+_binary64_8876`
33×	`associate-*l/_binary64_8887`
32×	`neg-sub0_binary64_8939`
31×	`pow-plus_binary64_9007`
29×	`neg-mul-1_binary64_8940` `associate--r+_binary64_8880`
28×	`+-commutative_binary64_8874`
27×	`associate-*r/_binary64_8886`
26×	`distribute-rgt-in_binary64_8894`
24×	`cube-prod_binary64_8972`
23×	`distribute-rgt-out_binary64_8897` `associate--l+_binary64_8881`
21×	`swap-sqr_binary64_8911` `associate-/l/_binary64_8891`
20×	`associate-+l-_binary64_8879`
19×	`distribute-lft-neg-out_binary64_8903`
17×	`distribute-neg-in_binary64_8905` `distribute-lft-in_binary64_8893`
14×	`associate--l-_binary64_8882` `associate-+r-_binary64_8878`
13×	`exp-sum_binary64_8990`
12×	`log-rec_binary64_9032` `unpow2_binary64_9009` `cube-unmult_binary64_8981` `rem-sqrt-square_binary64_8957`
11×	`unpow1_binary64_9002`
10×	`unsub-neg_binary64_8938`
8×	`/-rgt-identity_binary64_8935` `distribute-lft-out_binary64_8895`
7×	`distribute-rgt-neg-out_binary64_8904`
6×	`unpow1/3_binary64_9011`
5×	`count-2_binary64_8892` `associate--r-_binary64_8883`
4×	`rem-3cbrt-lft_binary64_8969` `distribute-rgt1-in_binary64_8900` `distribute-rgt-out--_binary64_8898`
3×	`pow-base-1_binary64_9004` `exp-diff_binary64_8992` `cube-div_binary64_8973` `mul-1-neg_binary64_8936` `*-rgt-identity_binary64_8934`
2×	`exp-to-pow_binary64_9006` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `div-sub_binary64_8949` `*-lft-identity_binary64_8933` `remove-double-neg_binary64_8932` `distribute-lft-out--_binary64_8896`
1×	`unpow3_binary64_9010` `prod-exp_binary64_8993` `1-exp_binary64_8988` `rem-log-exp_binary64_8985` `cube-mult_binary64_8974` `rem-cube-cbrt_binary64_8967` `rem-square-sqrt_binary64_8956` `--rgt-identity_binary64_8930` `*-inverses_binary64_8924` `distribute-lft1-in_binary64_8899`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/2_binary64_9008` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `div-exp_binary64_8995` `rec-exp_binary64_8994` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `rem-exp-log_binary64_8984` `cube-neg_binary64_8971` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `sub0-neg_binary64_8931` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `+-inverses_binary64_8923` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `difference-of-squares_binary64_8913` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906`

Counts

100 → 166

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	159	1721
1	373	1549
2	1336	1508
3	4388	1508

prune222.0ms (2.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	166	12	178

Error

0.0b

Counts

178 → 12

Compiler

Compiled 4501 to 1766 computations (60.8% saved)

regimes488.0ms (4.6%)

Accuracy

Total 0.1b remaining (86.2%)

Threshold costs 0.1b (86.2%)

Compiler

Compiled 4624 to 3042 computations (34.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64_8875`
1×	`+-commutative_binary64_8874`
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_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `unpow1_binary64_9002` `e-exp-1_binary64_8989` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `neg-mul-1_binary64_8940` `neg-sub0_binary64_8939` `unsub-neg_binary64_8938` `sub-neg_binary64_8937` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `remove-double-neg_binary64_8932` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `cancel-sign-sub-inv_binary64_8910` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-neg-in_binary64_8905` `distribute-rgt-neg-out_binary64_8904` `distribute-lft-neg-out_binary64_8903` `distribute-rgt-neg-in_binary64_8902` `distribute-lft-neg-in_binary64_8901`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	12	14

Proof

(+ f64 (* f64 h0 (sin f64 h1)) (* f64 h2 (cos f64 h1)))

end0.0ms (0%)

sample2.5s (23.4%)

Algorithm

1×

intervals

Results

551.0ms	2005×	body	1024	valid
315.0ms	4499×	body	128	valid
209.0ms	1011×	body	512	valid
69.0ms	477×	body	256	valid
4.0ms	8×	body	2048	valid

Compiler

Compiled 1169 to 772 computations (34% saved)

Details

analyze285.0ms (2.7%)

sample47.0ms (0.4%)

simplify151.0ms (1.4%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite76.0ms (0.7%)

series593.0ms (5.6%)

simplify172.0ms (1.6%)

prune92.0ms (0.9%)

localize17.0ms (0.2%)

rewrite93.0ms (0.9%)

series1.6s (15.2%)

simplify1.0s (9.6%)

prune225.0ms (2.1%)

localize17.0ms (0.2%)

rewrite117.0ms (1.1%)

series798.0ms (7.5%)

simplify358.0ms (3.4%)

prune179.0ms (1.7%)

localize20.0ms (0.2%)

rewrite118.0ms (1.1%)

series804.0ms (7.6%)

simplify597.0ms (5.6%)

prune222.0ms (2.1%)

regimes488.0ms (4.6%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.5s (23.4%)

Profiling