Details

analyze1.7s (6.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
3.1%	96.5%	0.3%	9
4.7%	95%	0.3%	10
4.7%	95%	0.3%	11
5.1%	82.1%	12.8%	12
6.2%	74.7%	19%	13
6.4%	74.5%	19%	14

Compiler

Compiled 34 to 30 computations (11.8% saved)

sample66.0ms (0.2%)

Algorithm

1×

intervals

Results

24.0ms	256×	body	128	valid
15.0ms	167×	body	128	nan

Compiler

Compiled 67 to 66 computations (1.5% saved)

simplify218.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

444×	`exp-sum_binary64_5921`
308×	`distribute-rgt-in_binary64_5825`
293×	`distribute-lft-in_binary64_5824`
288×	`unsub-neg_binary64_5869`
250×	`associate-*l/_binary64_5818`
239×	`cancel-sign-sub-inv_binary64_5841`
229×	`associate-*r/_binary64_5817`
213×	`distribute-rgt-neg-out_binary64_5835`
206×	`exp-prod_binary64_5927`
196×	`distribute-neg-in_binary64_5836`
175×	`associate-/l*_binary64_5820`
167×	`distribute-lft-neg-out_binary64_5834`
150×	`div-sub_binary64_5880`
143×	`associate--r-_binary64_5814`
129×	`sub-neg_binary64_5868`
115×	`exp-diff_binary64_5923` `associate-l_binary64_5816` `associate-+r+_binary64_5807`
112×	`times-frac_binary64_5881` `associate--r+_binary64_5811`
109×	`associate-r_binary64_5815`
96×	`associate-/r*_binary64_5819`
95×	`associate-+l+_binary64_5808`
81×	`neg-sub0_binary64_5870`
74×	`distribute-neg-frac_binary64_5839`
66×	`*-commutative_binary64_5806`
56×	`distribute-rgt-neg-in_binary64_5833`
48×	`neg-mul-1_binary64_5871`
41×	`associate-/l/_binary64_5822`
37×	`sqr-pow_binary64_5847` `distribute-lft-neg-in_binary64_5832`
34×	`distribute-neg-out_binary64_5837`
30×	`exp-neg_binary64_5922`
24×	`distribute-rgt-out_binary64_5828` `+-commutative_binary64_5805`
23×	`associate-/r/_binary64_5821`
20×	`mul0-lft_binary64_5857`
19×	`mul0-rgt_binary64_5858`
17×	`remove-double-neg_binary64_5863`
16×	`associate-+r-_binary64_5809`
15×	`associate-+l-_binary64_5810`
14×	`exp-lft-sqr_binary64_5930`
11×	`distribute-frac-neg_binary64_5838`
10×	`distribute-rgt-out--_binary64_5829` `associate--l+_binary64_5812`
9×	`distribute-lft-out_binary64_5826`
8×	`swap-sqr_binary64_5842`
7×	`prod-exp_binary64_5924` `+-rgt-identity_binary64_5860` `pow-sqr_binary64_5848`
6×	`exp-cbrt_binary64_5929` `sub0-neg_binary64_5862`
4×	`div0_binary64_5856`
2×	`cube-unmult_binary64_5912` `--rgt-identity_binary64_5861` `unswap-sqr_binary64_5843`
1×	`unpow1_binary64_5933` `1-exp_binary64_5919` `sqr-neg_binary64_5889` `mul-1-neg_binary64_5867` `-rgt-identity_binary64_5865` `+-lft-identity_binary64_5859` `-inverses_binary64_5855` `count-2_binary64_5823`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `log-rec_binary64_5963` `log-div_binary64_5962` `log-prod_binary64_5961` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow3_binary64_5941` `unpow2_binary64_5940` `unpow1/2_binary64_5939` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-sqrt_binary64_5928` `div-exp_binary64_5926` `rec-exp_binary64_5925` `e-exp-1_binary64_5920` `exp-1-e_binary64_5918` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-mult_binary64_5905` `cube-div_binary64_5904` `cube-prod_binary64_5903` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `rem-sqrt-square_binary64_5888` `rem-square-sqrt_binary64_5887` `/-rgt-identity_binary64_5866` `*-lft-identity_binary64_5864` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `difference-of-squares_binary64_5844` `cancel-sign-sub_binary64_5840` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-lft-out--_binary64_5827` `associate--l-_binary64_5813`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	50
1	54	50
2	131	50
3	514	50
4	2111	50

prune12.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

2.0b

Counts

5 → 2

Compiler

Compiled 198 to 142 computations (28.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 2 (*.f64 t 3))
0.3b	(/.f64 t (sqrt.f64 (+.f64 t a)))
1.4b	(/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a))))
1.9b	(-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (.f64 t 3)))))

rewrite726.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

195×	`times-frac_binary64_5881`
142×	`*-un-lft-identity_binary64_5875`
110×	`add-cube-cbrt_binary64_5910` `add-sqr-sqrt_binary64_5897`
64×	`sqrt-prod_binary64_5891`
35×	`associate-/r*_binary64_5819`
20×	`frac-sub_binary64_5884`
18×	`associate--r+_binary64_5811`
16×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `distribute-lft-out_binary64_5826`
15×	`cancel-sign-sub-inv_binary64_5841`
11×	`associate-/r/_binary64_5821`
10×	`sqrt-div_binary64_5892`
9×	`flip3--_binary64_5879` `flip--_binary64_5850` `distribute-rgt-in_binary64_5825` `div-inv_binary64_5872` `distribute-lft-in_binary64_5824` `associate-/l*_binary64_5820`
8×	`flip3-+_binary64_5878` `frac-times_binary64_5885` `flip-+_binary64_5849`
6×	`add-log-exp_binary64_5914` `div-exp_binary64_5926` `cbrt-undiv_binary64_5909`
4×	`pow1_binary64_5936` `associate-*r/_binary64_5817`
3×	`sub-neg_binary64_5868` `frac-2neg_binary64_5886` `clear-num_binary64_5874`
2×	`associate-*l/_binary64_5818` `associate--l+_binary64_5812`
1×	`diff-log_binary64_5967` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908`

Counts

4 → 236

Calls

4 calls:

36.0ms	(-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (.f64 t 3)))))
11.0ms	(/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a))))
6.0ms	(/.f64 t (sqrt.f64 (+.f64 t a)))
5.0ms	(/.f64 2 (*.f64 t 3))

Compiler

Compiled 11283 to 5663 computations (49.8% saved)

series1.5s (5.6%)

Error

Counts

4 → 48

Calls

4 calls:

1.1s	(-.f64 (/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a)))) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (.f64 t 3)))))
198.0ms	(/.f64 z (/.f64 t (sqrt.f64 (+.f64 t a))))
91.0ms	(/.f64 t (sqrt.f64 (+.f64 t a)))
30.0ms	(/.f64 2 (*.f64 t 3))

Compiler

Compiled 4725 to 3528 computations (25.3% saved)

simplify457.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

303×	`associate-*l/_binary64_5818`
288×	`distribute-rgt-in_binary64_5825`
284×	`distribute-lft-in_binary64_5824`
250×	`associate-l_binary64_5816`
243×	`associate-/l*_binary64_5820`
225×	`associate-/r/_binary64_5821`
216×	`associate-/l/_binary64_5822`
157×	`associate-*r/_binary64_5817`
125×	`cancel-sign-sub-inv_binary64_5841`
118×	`*-commutative_binary64_5806`
101×	`times-frac_binary64_5881`
97×	`sub-neg_binary64_5868`
90×	`distribute-rgt-neg-in_binary64_5833`
80×	`associate-/r*_binary64_5819`
64×	`neg-sub0_binary64_5870`
59×	`neg-mul-1_binary64_5871`
57×	`distribute-lft-neg-in_binary64_5832` `associate-r_binary64_5815`
43×	`+-commutative_binary64_5805`
31×	`distribute-lft-neg-out_binary64_5834`
30×	`distribute-neg-frac_binary64_5839`
27×	`sqr-pow_binary64_5847` `distribute-neg-in_binary64_5836`
18×	`associate-+r+_binary64_5807`
17×	`unpow3_binary64_5941`
13×	`cube-mult_binary64_5905`
12×	`associate--l+_binary64_5812`
10×	`associate--r+_binary64_5811`
9×	`pow-sqr_binary64_5848`
8×	`cube-div_binary64_5904` `mul-1-neg_binary64_5867` `/-rgt-identity_binary64_5866` `difference-of-squares_binary64_5844` `distribute-rgt-out_binary64_5828`
7×	`log-div_binary64_5962` `swap-sqr_binary64_5842`
6×	`cube-prod_binary64_5903`
4×	`log-prod_binary64_5961` `exp-prod_binary64_5927` `cube-unmult_binary64_5912` `remove-double-div_binary64_5851` `unswap-sqr_binary64_5843` `distribute-rgt-out--_binary64_5829`
3×	`rem-sqrt-square_binary64_5888`
2×	`div-exp_binary64_5926` `exp-sum_binary64_5921` `div-sub_binary64_5880` `associate-+r-_binary64_5809`
1×	`exp-cbrt_binary64_5929` `rec-exp_binary64_5925` `prod-exp_binary64_5924` `exp-diff_binary64_5923` `1-exp_binary64_5919` `rem-square-sqrt_binary64_5887` `*-rgt-identity_binary64_5865` `associate--r-_binary64_5814` `associate-+l+_binary64_5808`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `log-rec_binary64_5963` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow2_binary64_5940` `unpow1/2_binary64_5939` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow1_binary64_5933` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-lft-sqr_binary64_5930` `exp-sqrt_binary64_5928` `exp-neg_binary64_5922` `e-exp-1_binary64_5920` `exp-1-e_binary64_5918` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `unsub-neg_binary64_5869` `-lft-identity_binary64_5864` `remove-double-neg_binary64_5863` `sub0-neg_binary64_5862` `--rgt-identity_binary64_5861` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `-inverses_binary64_5855` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `cancel-sign-sub_binary64_5840` `distribute-frac-neg_binary64_5838` `distribute-neg-out_binary64_5837` `distribute-rgt-neg-out_binary64_5835` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-lft-out--_binary64_5827` `distribute-lft-out_binary64_5826` `count-2_binary64_5823` `associate--l-_binary64_5813` `associate-+l-_binary64_5810`

Counts

284 → 709

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	532	8393
1	1513	8195

prune2.9s (11.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	706	3	709
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	708	3	711

Error

Counts

711 → 3

Compiler

Compiled 37948 to 18940 computations (50.1% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 2/3 (/.f64 b t))
0.4b	(*.f64 2/3 (/.f64 c t))
1.6b	(-.f64 (+.f64 (.f64 2/3 (/.f64 b t)) (.f64 c 5/6)) (+.f64 (.f64 2/3 (/.f64 c t)) (.f64 b (+.f64 a 5/6))))
2.1b	(+.f64 (.f64 a c) (-.f64 (+.f64 (.f64 2/3 (/.f64 b t)) (.f64 c 5/6)) (+.f64 (.f64 2/3 (/.f64 c t)) (*.f64 b (+.f64 a 5/6)))))

rewrite365.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-log-exp_binary64_5914` `add-sqr-sqrt_binary64_5897`
26×	`associate-r_binary64_5815`
24×	`*-un-lft-identity_binary64_5875`
22×	`add-cube-cbrt_binary64_5910`
20×	`times-frac_binary64_5881`
14×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
13×	`sum-log_binary64_5966`
10×	`associate-*r/_binary64_5817`
9×	`flip3-+_binary64_5878` `flip-+_binary64_5849`
8×	`diff-log_binary64_5967` `pow1_binary64_5936` `frac-sub_binary64_5884`
6×	`cancel-sign-sub-inv_binary64_5841` `associate-l_binary64_5816`
5×	`associate-+r+_binary64_5807`
4×	`frac-add_binary64_5883` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `unswap-sqr_binary64_5843`
2×	`sub-neg_binary64_5868` `associate--l+_binary64_5812` `pow-prod-down_binary64_5946` `div-exp_binary64_5926` `cbrt-undiv_binary64_5909` `div-inv_binary64_5872` `*-commutative_binary64_5806`
1×	`associate-+r-_binary64_5809` `+-commutative_binary64_5805` `flip3--_binary64_5879` `flip--_binary64_5850` `difference-of-squares_binary64_5844` `distribute-lft-out--_binary64_5827` `associate--r+_binary64_5811`

Counts

4 → 114

Calls

4 calls:

16.0ms	(+.f64 (.f64 a c) (-.f64 (+.f64 (.f64 2/3 (/.f64 b t)) (.f64 c 5/6)) (+.f64 (.f64 2/3 (/.f64 c t)) (*.f64 b (+.f64 a 5/6)))))
16.0ms	(-.f64 (+.f64 (.f64 2/3 (/.f64 b t)) (.f64 c 5/6)) (+.f64 (.f64 2/3 (/.f64 c t)) (.f64 b (+.f64 a 5/6))))
7.0ms	(*.f64 2/3 (/.f64 c t))
7.0ms	(*.f64 2/3 (/.f64 b t))

Compiler

Compiled 5707 to 3304 computations (42.1% saved)

series1.8s (6.9%)

Error

Counts

4 → 60

Calls

4 calls:

817.0ms	(+.f64 (.f64 a c) (-.f64 (+.f64 (.f64 2/3 (/.f64 b t)) (.f64 c 5/6)) (+.f64 (.f64 2/3 (/.f64 c t)) (*.f64 b (+.f64 a 5/6)))))
706.0ms	(-.f64 (+.f64 (.f64 2/3 (/.f64 b t)) (.f64 c 5/6)) (+.f64 (.f64 2/3 (/.f64 c t)) (.f64 b (+.f64 a 5/6))))
96.0ms	(*.f64 2/3 (/.f64 c t))
96.0ms	(*.f64 2/3 (/.f64 b t))

Compiler

Compiled 4884 to 3668 computations (24.9% saved)

simplify696.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

516×	`times-frac_binary64_5881`
329×	`associate-l_binary64_5816`
305×	`distribute-rgt-in_binary64_5825`
287×	`distribute-lft-in_binary64_5824`
282×	`associate-r_binary64_5815`
191×	`*-commutative_binary64_5806`
111×	`cancel-sign-sub-inv_binary64_5841`
96×	`associate-*l/_binary64_5818`
94×	`associate-*r/_binary64_5817`
93×	`exp-sum_binary64_5921`
87×	`+-commutative_binary64_5805`
85×	`sub-neg_binary64_5868`
83×	`associate-/l*_binary64_5820`
72×	`distribute-rgt-neg-in_binary64_5833`
69×	`associate--r+_binary64_5811`
47×	`exp-diff_binary64_5923` `neg-sub0_binary64_5870` `associate-/l/_binary64_5822` `associate--l+_binary64_5812`
44×	`associate-+l+_binary64_5808`
42×	`exp-prod_binary64_5927` `neg-mul-1_binary64_5871` `distribute-lft-neg-in_binary64_5832` `associate-+r+_binary64_5807`
33×	`cube-prod_binary64_5903`
32×	`distribute-neg-in_binary64_5836`
31×	`sqr-pow_binary64_5847`
28×	`div-exp_binary64_5926`
27×	`distribute-lft-neg-out_binary64_5834`
26×	`associate-/r*_binary64_5819`
24×	`prod-exp_binary64_5924`
23×	`log-prod_binary64_5961`
19×	`unpow3_binary64_5941`
18×	`associate-/r/_binary64_5821`
15×	`log-div_binary64_5962` `cube-div_binary64_5904`
13×	`cube-mult_binary64_5905`
12×	`swap-sqr_binary64_5842`
11×	`associate-+r-_binary64_5809`
10×	`pow-sqr_binary64_5848` `associate-+l-_binary64_5810`
8×	`mul-1-neg_binary64_5867` `distribute-rgt-out--_binary64_5829`
6×	`difference-of-squares_binary64_5844`
5×	`/-rgt-identity_binary64_5866` `distribute-neg-frac_binary64_5839`
4×	`distribute-rgt-neg-out_binary64_5835` `distribute-rgt-out_binary64_5828` `associate--r-_binary64_5814` `associate--l-_binary64_5813`
3×	`rec-exp_binary64_5925` `cube-unmult_binary64_5912`
2×	`log-rec_binary64_5963` `*-rgt-identity_binary64_5865`
1×	`1-exp_binary64_5919` `exp-1-e_binary64_5918` `rem-log-exp_binary64_5916` `rem-3cbrt-lft_binary64_5900` `rem-sqrt-square_binary64_5888` `rem-square-sqrt_binary64_5887` `div-sub_binary64_5880` `unsub-neg_binary64_5869` `*-lft-identity_binary64_5864` `distribute-lft-out--_binary64_5827`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow2_binary64_5940` `unpow1/2_binary64_5939` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow1_binary64_5933` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-lft-sqr_binary64_5930` `exp-cbrt_binary64_5929` `exp-sqrt_binary64_5928` `exp-neg_binary64_5922` `e-exp-1_binary64_5920` `exp-0_binary64_5917` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `remove-double-neg_binary64_5863` `sub0-neg_binary64_5862` `--rgt-identity_binary64_5861` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `*-inverses_binary64_5855` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `unswap-sqr_binary64_5843` `cancel-sign-sub_binary64_5840` `distribute-frac-neg_binary64_5838` `distribute-neg-out_binary64_5837` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-lft-out_binary64_5826` `count-2_binary64_5823`

Counts

174 → 399

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	312	4863
1	1000	4401
2	4288	4359

prune1.9s (7.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	399	0	399
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	399	3	402

Error

Counts

402 → 3

Compiler

Compiled 22090 to 13306 computations (39.8% saved)

localize13.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (.f64 (+.f64 a 5/6) (-.f64 c b))))))
0.0b	(+.f64 a 5/6)
0.2b	(*.f64 (+.f64 a 5/6) (-.f64 c b))

rewrite140.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`*-un-lft-identity_binary64_5875`
19×	`add-sqr-sqrt_binary64_5897`
15×	`add-cube-cbrt_binary64_5910`
9×	`times-frac_binary64_5881`
7×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
6×	`cancel-sign-sub-inv_binary64_5841`
5×	`pow1_binary64_5936` `add-log-exp_binary64_5914` `flip3-+_binary64_5878` `flip-+_binary64_5849` `associate-r_binary64_5815`
4×	`frac-times_binary64_5885` `distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824` `associate-l_binary64_5816`
3×	`flip3--_binary64_5879` `flip--_binary64_5850` `associate-/l_binary64_5820` `associate-/r_binary64_5819`
2×	`sub-neg_binary64_5868` `associate-l/_binary64_5818` `associate-r/_binary64_5817` `distribute-lft-out_binary64_5826` `associate-/r/_binary64_5821`
1×	`pow-prod-down_binary64_5946` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `unswap-sqr_binary64_5843` `difference-of-squares_binary64_5844` `distribute-lft-out--_binary64_5827` `*-commutative_binary64_5806` `sum-log_binary64_5966` `+-commutative_binary64_5805` `div-exp_binary64_5926` `cbrt-undiv_binary64_5909` `frac-2neg_binary64_5886` `clear-num_binary64_5874` `div-inv_binary64_5872`

Counts

3 → 78

Calls

3 calls:

10.0ms	(*.f64 (+.f64 a 5/6) (-.f64 c b))
4.0ms	(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (.f64 (+.f64 a 5/6) (-.f64 c b))))))
3.0ms	(+.f64 a 5/6)

Compiler

Compiled 2141 to 1268 computations (40.8% saved)

series3.5s (13.3%)

Error

Counts

3 → 43

Calls

3 calls:

3.2s	(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (.f64 (+.f64 a 5/6) (-.f64 c b))))))
218.0ms	(*.f64 (+.f64 a 5/6) (-.f64 c b))
28.0ms	(+.f64 a 5/6)

Compiler

Compiled 4977 to 4090 computations (17.8% saved)

simplify931.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

432×	`associate-r_binary64_5815`
336×	`associate-l_binary64_5816`
321×	`associate-/r/_binary64_5821`
201×	`times-frac_binary64_5881`
194×	`*-commutative_binary64_5806`
150×	`distribute-rgt-in_binary64_5825`
149×	`unswap-sqr_binary64_5843`
142×	`distribute-lft-in_binary64_5824`
131×	`cancel-sign-sub-inv_binary64_5841`
128×	`associate-/l/_binary64_5822`
105×	`distribute-rgt-neg-in_binary64_5833` `associate-/l*_binary64_5820`
97×	`sqr-pow_binary64_5847`
96×	`associate-/r*_binary64_5819`
93×	`exp-prod_binary64_5927`
82×	`distribute-lft-neg-in_binary64_5832`
81×	`sub-neg_binary64_5868`
78×	`distribute-lft-neg-out_binary64_5834`
63×	`distribute-rgt-neg-out_binary64_5835`
56×	`+-commutative_binary64_5805`
53×	`neg-sub0_binary64_5870`
49×	`pow-sqr_binary64_5848`
47×	`exp-sum_binary64_5921`
46×	`neg-mul-1_binary64_5871`
44×	`associate-*l/_binary64_5818`
41×	`distribute-neg-frac_binary64_5839`
33×	`*-rgt-identity_binary64_5865`
32×	`distribute-neg-in_binary64_5836`
27×	`associate-*r/_binary64_5817`
26×	`distribute-rgt-out_binary64_5828`
25×	`*-lft-identity_binary64_5864` `associate-+r+_binary64_5807`
24×	`unsub-neg_binary64_5869`
22×	`associate-+l+_binary64_5808`
18×	`cube-prod_binary64_5903` `associate--l+_binary64_5812`
15×	`prod-exp_binary64_5924` `associate--r+_binary64_5811`
13×	`exp-lft-sqr_binary64_5930` `div-exp_binary64_5926`
12×	`swap-sqr_binary64_5842`
11×	`unpow3_binary64_5941` `pow-plus_binary64_5938`
9×	`log-prod_binary64_5961` `exp-to-pow_binary64_5937` `cube-mult_binary64_5905` `div-sub_binary64_5880`
8×	`unpow2_binary64_5940` `unpow1_binary64_5933`
7×	`cube-unmult_binary64_5912` `difference-of-squares_binary64_5844`
6×	`log-div_binary64_5962` `exp-diff_binary64_5923`
5×	`cube-div_binary64_5904` `/-rgt-identity_binary64_5866`
4×	`mul-1-neg_binary64_5867`
3×	`rec-exp_binary64_5925` `exp-neg_binary64_5922` `distribute-rgt-out--_binary64_5829`
2×	`rem-log-exp_binary64_5916` `cancel-sign-sub_binary64_5840` `distribute-rgt1-in_binary64_5831` `distribute-lft-out_binary64_5826` `count-2_binary64_5823` `associate-+l-_binary64_5810` `associate-+r-_binary64_5809`
1×	`log-rec_binary64_5963` `exp-sqrt_binary64_5928` `1-exp_binary64_5919` `exp-1-e_binary64_5918` `rem-3cbrt-lft_binary64_5900` `rem-sqrt-square_binary64_5888` `rem-square-sqrt_binary64_5887` `sub0-neg_binary64_5862` `+-rgt-identity_binary64_5860` `*-inverses_binary64_5855`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow1/2_binary64_5939` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-cbrt_binary64_5929` `e-exp-1_binary64_5920` `exp-0_binary64_5917` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `remove-double-neg_binary64_5863` `--rgt-identity_binary64_5861` `+-lft-identity_binary64_5859` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `distribute-frac-neg_binary64_5838` `distribute-neg-out_binary64_5837` `distribute-lft1-in_binary64_5830` `distribute-lft-out--_binary64_5827` `associate--r-_binary64_5814` `associate--l-_binary64_5813`

Counts

121 → 313

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	310	3347
1	859	3112
2	3806	3112

prune677.0ms (2.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	313	0	313
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	313	3	316

Error

Counts

316 → 3

Compiler

Compiled 10159 to 6192 computations (39% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 y (pow.f64 (exp.f64 2) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
0.0b	(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))))
0.0b	(sqrt.f64 (+.f64 a t))
3.6b	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))

rewrite181.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`add-sqr-sqrt_binary64_5897`
31×	`*-un-lft-identity_binary64_5875`
25×	`add-cube-cbrt_binary64_5910`
20×	`times-frac_binary64_5881`
16×	`associate-l_binary64_5816`
15×	`add-exp-log_binary64_5913` `associate-r_binary64_5815`
13×	`add-cbrt-cube_binary64_5911`
10×	`sqrt-prod_binary64_5891`
8×	`unswap-sqr_binary64_5843`
7×	`pow1_binary64_5936`
6×	`sqrt-div_binary64_5892` `unpow-prod-down_binary64_5954`
5×	`prod-exp_binary64_5924`
4×	`add-log-exp_binary64_5914` `flip3-+_binary64_5878` `flip-+_binary64_5849`
3×	`cbrt-unprod_binary64_5908` `associate-/l_binary64_5820` `associate-/r_binary64_5819`
2×	`div-exp_binary64_5926` `cbrt-undiv_binary64_5909` `frac-times_binary64_5885` `associate-r/_binary64_5817` `div-inv_binary64_5872` `distribute-lft-out_binary64_5826` `-commutative_binary64_5806` `associate-/r/_binary64_5821` `exp-lft-sqr_binary64_5930` `sqr-pow_binary64_5847`
1×	`pow-prod-down_binary64_5946` `associate-*l/_binary64_5818` `pow1/2_binary64_5955` `sqrt-pow1_binary64_5893` `rem-sqrt-square_binary64_5888` `frac-2neg_binary64_5886` `clear-num_binary64_5874` `pow-to-exp_binary64_5944` `pow-exp_binary64_5943`

Counts

4 → 114

Calls

4 calls:

11.0ms	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
6.0ms	(.f64 y (pow.f64 (exp.f64 2) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
4.0ms	(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))))
3.0ms	(sqrt.f64 (+.f64 a t))

Compiler

Compiled 3218 to 1266 computations (60.7% saved)

series1.8s (6.9%)

Error

Counts

4 → 60

Calls

4 calls:

888.0ms	(/.f64 x (+.f64 x (.f64 y (pow.f64 (exp.f64 2) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))))
539.0ms	(.f64 y (pow.f64 (exp.f64 2) (.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))))
211.0ms	(*.f64 (/.f64 z t) (sqrt.f64 (+.f64 a t)))
79.0ms	(sqrt.f64 (+.f64 a t))

Compiler

Compiled 4344 to 3494 computations (19.6% saved)

simplify581.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

387×	`associate-r_binary64_5815`
333×	`associate-l_binary64_5816`
329×	`cancel-sign-sub-inv_binary64_5841`
243×	`distribute-rgt-in_binary64_5825`
231×	`distribute-lft-in_binary64_5824`
203×	`*-commutative_binary64_5806`
199×	`times-frac_binary64_5881`
176×	`associate-/l*_binary64_5820`
157×	`distribute-rgt-neg-in_binary64_5833`
148×	`unswap-sqr_binary64_5843`
135×	`distribute-lft-neg-in_binary64_5832`
119×	`sqr-pow_binary64_5847`
116×	`associate-/r*_binary64_5819`
93×	`associate-*l/_binary64_5818`
74×	`sub-neg_binary64_5868`
72×	`+-commutative_binary64_5805`
68×	`associate-*r/_binary64_5817`
58×	`pow-sqr_binary64_5848`
49×	`neg-mul-1_binary64_5871`
48×	`neg-sub0_binary64_5870` `*-rgt-identity_binary64_5865`
47×	`distribute-neg-frac_binary64_5839`
43×	`associate-/l/_binary64_5822`
39×	`exp-prod_binary64_5927`
36×	`associate--l+_binary64_5812`
34×	`associate-+l+_binary64_5808`
27×	`log-prod_binary64_5961` `prod-exp_binary64_5924`
26×	`*-lft-identity_binary64_5864` `associate-+r+_binary64_5807`
24×	`associate-/r/_binary64_5821`
23×	`distribute-rgt-out_binary64_5828`
22×	`pow-plus_binary64_5938` `distribute-lft-neg-out_binary64_5834`
21×	`cube-prod_binary64_5903`
19×	`/-rgt-identity_binary64_5866`
15×	`log-div_binary64_5962`
14×	`distribute-rgt-out--_binary64_5829`
13×	`swap-sqr_binary64_5842` `distribute-neg-in_binary64_5836`
12×	`unpow3_binary64_5941` `unsub-neg_binary64_5869`
11×	`cube-div_binary64_5904` `rem-sqrt-square_binary64_5888`
9×	`div-exp_binary64_5926` `associate--r+_binary64_5811`
8×	`cube-mult_binary64_5905`
7×	`log-pow_binary64_5964` `cube-unmult_binary64_5912`
6×	`unpow2_binary64_5940` `unpow1_binary64_5933` `difference-of-squares_binary64_5844`
5×	`exp-to-pow_binary64_5937` `exp-lft-sqr_binary64_5930`
3×	`pow-base-1_binary64_5935` `rec-exp_binary64_5925` `associate-+l-_binary64_5810`
2×	`rem-log-exp_binary64_5916` `distribute-lft-out_binary64_5826` `associate-+r-_binary64_5809`
1×	`log-rec_binary64_5963` `exp-sqrt_binary64_5928` `exp-sum_binary64_5921` `1-exp_binary64_5919` `exp-1-e_binary64_5918` `rem-square-sqrt_binary64_5887` `div-sub_binary64_5880` `sub0-neg_binary64_5862` `*-inverses_binary64_5855` `cancel-sign-sub_binary64_5840` `distribute-rgt-neg-out_binary64_5835`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow1/2_binary64_5939` `unpow0_binary64_5934` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-cbrt_binary64_5929` `exp-diff_binary64_5923` `exp-neg_binary64_5922` `e-exp-1_binary64_5920` `exp-0_binary64_5917` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `mul-1-neg_binary64_5867` `remove-double-neg_binary64_5863` `--rgt-identity_binary64_5861` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `distribute-frac-neg_binary64_5838` `distribute-neg-out_binary64_5837` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-lft-out--_binary64_5827` `count-2_binary64_5823` `associate--r-_binary64_5814` `associate--l-_binary64_5813`

Counts

174 → 397

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	377	4307
1	966	4147
2	3676	4090

prune633.0ms (2.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	397	0	397
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	397	3	400

Error

Counts

400 → 3

Compiler

Compiled 12602 to 5138 computations (59.2% saved)

regimes1.8s (6.9%)

Accuracy

Total 2.4b remaining (99.6%)

Threshold costs 0b (0%)

Compiler

Compiled 21722 to 19268 computations (11.3% saved)

bsearch5.0ms (0%)

Compiler: Compiled 33 to 29 computations (12.1% saved)

simplify50.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

121×	`unsub-neg_binary64_5869`
97×	`neg-mul-1_binary64_5871` `neg-sub0_binary64_5870`
66×	`distribute-neg-out_binary64_5837`
61×	`distribute-rgt-neg-in_binary64_5833`
54×	`distribute-rgt-neg-out_binary64_5835`
53×	`cancel-sign-sub-inv_binary64_5841`
43×	`distribute-lft-neg-in_binary64_5832`
42×	`distribute-lft-neg-out_binary64_5834`
37×	`sub-neg_binary64_5868`
31×	`distribute-neg-in_binary64_5836`
29×	`remove-double-neg_binary64_5863` `*-commutative_binary64_5806` `+-commutative_binary64_5805`
6×	`distribute-neg-frac_binary64_5839`
3×	`distribute-frac-neg_binary64_5838`
1×	`1-exp_binary64_5919` `sqr-neg_binary64_5889` `--rgt-identity_binary64_5861`
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_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `unpow1_binary64_5933` `e-exp-1_binary64_5920` `exp-1-e_binary64_5918` `exp-0_binary64_5917` `sqr-abs_binary64_5890` `mul-1-neg_binary64_5867` `/-rgt-identity_binary64_5866` `-rgt-identity_binary64_5865` `-lft-identity_binary64_5864` `sub0-neg_binary64_5862` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `cancel-sign-sub_binary64_5840`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	106
1	65	106
2	85	106
3	109	106
4	146	106
5	182	106
6	219	106
7	354	106
8	328	106
9	347	106
10	370	106
11	395	106
12	410	106
13	426	106
14	441	106
15	452	106
16	462	106
17	470	106
18	474	106
19	475	106

Proof

(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (- f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3)))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (=> (- f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3)))))))))) 1)
sub-neg_binary64_5868 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (=> (- f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (neg f64 (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3)))))))))) 1)
sub-neg_binary64_5868 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (neg f64 (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (=> (neg f64 (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3))))))))))) 1)
distribute-rgt-neg-in_binary64_5833 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (neg f64 (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (neg f64 (=> (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3))))))))))) 1)
sub-neg_binary64_5868 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (=> (neg f64 (* f64 (- f64 h5 h6) (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3)))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (neg f64 (+ f64 (+ f64 h4 (/ f64 5 6)) (neg f64 (/ f64 2 (* f64 h3 3))))))))))) 1)
distribute-rgt-neg-in_binary64_5833 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (neg f64 (=> (- f64 (+ f64 h4 (/ f64 5 6)) (/ f64 2 (* f64 h3 3)))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (neg f64 (+ f64 (+ f64 h4 (/ f64 5 6)) (neg f64 (/ f64 2 (* f64 h3 3))))))))))) 1)
sub-neg_binary64_5868 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (neg f64 (+ f64 (+ f64 h4 (/ f64 5 6)) (neg f64 (/ f64 2 (* f64 h3 3)))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (neg f64 (=> (+ f64 (+ f64 h4 (/ f64 5 6)) (neg f64 (/ f64 2 (* f64 h3 3)))))))))))) 1)
+-commutative_binary64_5805 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (neg f64 (=> (+ f64 (+ f64 h4 (/ f64 5 6)) (neg f64 (/ f64 2 (* f64 h3 3))))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (neg f64 (+ f64 (neg f64 (/ f64 2 (* f64 h3 3))) (+ f64 h4 (/ f64 5 6)))))))))) 1)
+-commutative_binary64_5805 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (neg f64 (+ f64 (neg f64 (/ f64 2 (* f64 h3 3))) (+ f64 h4 (/ f64 5 6))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (=> (neg f64 (+ f64 (neg f64 (/ f64 2 (* f64 h3 3))) (+ f64 h4 (/ f64 5 6))))))))))) 1)
distribute-neg-in_binary64_5836 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (=> (neg f64 (+ f64 (neg f64 (/ f64 2 (* f64 h3 3))) (+ f64 h4 (/ f64 5 6)))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (+ f64 (neg f64 (neg f64 (/ f64 2 (* f64 h3 3)))) (neg f64 (+ f64 h4 (/ f64 5 6)))))))))) 1)
distribute-neg-in_binary64_5836 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (+ f64 (neg f64 (neg f64 (/ f64 2 (* f64 h3 3)))) (neg f64 (+ f64 h4 (/ f64 5 6))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (=> (+ f64 (neg f64 (neg f64 (/ f64 2 (* f64 h3 3)))) (neg f64 (+ f64 h4 (/ f64 5 6))))))))))) 1)
unsub-neg_binary64_5869 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (=> (+ f64 (neg f64 (neg f64 (/ f64 2 (* f64 h3 3)))) (neg f64 (+ f64 h4 (/ f64 5 6)))))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (- f64 (neg f64 (neg f64 (/ f64 2 (* f64 h3 3)))) (+ f64 h4 (/ f64 5 6))))))))) 1)
unsub-neg_binary64_5869 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (- f64 (neg f64 (neg f64 (/ f64 2 (* f64 h3 3)))) (+ f64 h4 (/ f64 5 6)))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (- f64 (=> (neg f64 (neg f64 (/ f64 2 (* f64 h3 3))))) (+ f64 h4 (/ f64 5 6))))))))) 1)
remove-double-neg_binary64_5863 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (- f64 (=> (neg f64 (neg f64 (/ f64 2 (* f64 h3 3))))) (+ f64 h4 (/ f64 5 6)))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (- f64 (/ f64 2 (* f64 h3 3)) (+ f64 h4 (/ f64 5 6))))))))) 1)
remove-double-neg_binary64_5863 =>
(if real (<= f64 (/ f64 h0 (+ f64 h0 (* f64 h1 (exp f64 (* f64 2 (+ f64 (/ f64 (* f64 h2 (sqrt f64 (+ f64 h3 h4))) h3) (* f64 (- f64 h5 h6) (- f64 (/ f64 2 (* f64 h3 3)) (+ f64 h4 (/ f64 5 6)))))))))) 3415890408524087/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) (/ f64 h0 (+ f64 h0 (* f64 h1 (pow f64 (exp f64 2) (+ f64 (/ f64 h2 (/ f64 h3 (sqrt f64 (+ f64 h3 h4)))) (* f64 (- f64 h5 h6) (- f64 (/ f64 2 (* f64 h3 3)) (+ f64 h4 (/ f64 5 6))))))))) 1)

end0.0ms (0%)

sample3.6s (13.6%)

Algorithm

1×

intervals

Results

779.0ms	8000×	body	128	valid
453.0ms	4948×	body	128	nan

Compiler

Compiled 1838 to 1590 computations (13.5% saved)

Iter	Nodes	Cost
0	42	106
1	65	106
2	85	106
3	109	106
4	146	106
5	182	106
6	219	106
7	354	106
8	328	106
9	347	106
10	370	106
11	395	106
12	410	106
13	426	106
14	441	106
15	452	106
16	462	106
17	470	106
18	474	106
19	475	106

Iter	Nodes	Cost
0	42	106
1	65	106
2	85	106
3	109	106
4	146	106
5	182	106
6	219	106
7	354	106
8	328	106
9	347	106
10	370	106
11	395	106
12	410	106
13	426	106
14	441	106
15	452	106
16	462	106
17	470	106
18	474	106
19	475	106

Details

analyze1.7s (6.6%)

sample66.0ms (0.2%)

simplify218.0ms (0.8%)

prune12.0ms (0%)

localize27.0ms (0.1%)

rewrite726.0ms (2.8%)

series1.5s (5.6%)

simplify457.0ms (1.7%)

prune2.9s (11.1%)

localize25.0ms (0.1%)

rewrite365.0ms (1.4%)

series1.8s (6.9%)

simplify696.0ms (2.6%)

prune1.9s (7.1%)

localize13.0ms (0%)

rewrite140.0ms (0.5%)

series3.5s (13.3%)

simplify931.0ms (3.5%)

prune677.0ms (2.6%)

localize14.0ms (0.1%)

rewrite181.0ms (0.7%)

series1.8s (6.9%)

simplify581.0ms (2.2%)

prune633.0ms (2.4%)

regimes1.8s (6.9%)

bsearch5.0ms (0%)

simplify50.0ms (0.2%)

end0.0ms (0%)

sample3.6s (13.6%)

Profiling

Iter	Nodes	Cost
0	42	106
1	65	106
2	85	106
3	109	106
4	146	106
5	182	106
6	219	106
7	354	106
8	328	106
9	347	106
10	370	106
11	395	106
12	410	106
13	426	106
14	441	106
15	452	106
16	462	106
17	470	106
18	474	106
19	475	106