Details

analyze1.1s (5.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

573×	`associate-/l*_binary64_5479`
341×	`div-exp_binary64_5585`
301×	`exp-sum_binary64_5580`
279×	`associate-/r*_binary64_5478`
227×	`associate-*l/_binary64_5477`
221×	`associate-/r/_binary64_5480`
205×	`associate-/l/_binary64_5481`
202×	`associate-*r/_binary64_5476`
144×	`times-frac_binary64_5540` `sub-neg_binary64_5527`
120×	`associate-+l+_binary64_5467`
112×	`exp-diff_binary64_5582`
104×	`*-commutative_binary64_5465`
96×	`associate-r_binary64_5474`
95×	`+-commutative_binary64_5464`
90×	`exp-prod_binary64_5586`
80×	`associate-l_binary64_5475`
62×	`associate-+r+_binary64_5466`
58×	`associate--l+_binary64_5471`
48×	`unsub-neg_binary64_5528`
46×	`sqr-pow_binary64_5506`
42×	`associate-+r-_binary64_5468`
35×	`+-rgt-identity_binary64_5519`
34×	`exp-to-pow_binary64_5596`
32×	`associate-+l-_binary64_5469`
26×	`cancel-sign-sub-inv_binary64_5500`
20×	`distribute-rgt-in_binary64_5484` `distribute-lft-in_binary64_5483`
16×	`sub0-neg_binary64_5521`
13×	`prod-exp_binary64_5583`
12×	`neg-sub0_binary64_5529`
10×	`distribute-neg-out_binary64_5496` `distribute-rgt-out_binary64_5487`
6×	`exp-neg_binary64_5581` `rem-exp-log_binary64_5574` `neg-mul-1_binary64_5530` `mul-1-neg_binary64_5526`
1×	`1-exp_binary64_5578`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `log-pow_binary64_5623` `log-rec_binary64_5622` `log-div_binary64_5621` `log-prod_binary64_5620` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow3_binary64_5600` `unpow2_binary64_5599` `unpow1/2_binary64_5598` `pow-plus_binary64_5597` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow1_binary64_5592` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `rec-exp_binary64_5584` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `rem-log-exp_binary64_5575` `cube-unmult_binary64_5571` `cube-mult_binary64_5564` `cube-div_binary64_5563` `cube-prod_binary64_5562` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `div-sub_binary64_5539` `/-rgt-identity_binary64_5525` `-rgt-identity_binary64_5524` `-lft-identity_binary64_5523` `remove-double-neg_binary64_5522` `--rgt-identity_binary64_5520` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `*-inverses_binary64_5514` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `pow-sqr_binary64_5507` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `difference-of-squares_binary64_5503` `unswap-sqr_binary64_5502` `swap-sqr_binary64_5501` `cancel-sign-sub_binary64_5499` `distribute-neg-frac_binary64_5498` `distribute-frac-neg_binary64_5497` `distribute-neg-in_binary64_5495` `distribute-rgt-neg-out_binary64_5494` `distribute-lft-neg-out_binary64_5493` `distribute-rgt-neg-in_binary64_5492` `distribute-lft-neg-in_binary64_5491` `distribute-rgt1-in_binary64_5490` `distribute-lft1-in_binary64_5489` `distribute-rgt-out--_binary64_5488` `distribute-lft-out--_binary64_5486` `distribute-lft-out_binary64_5485` `count-2_binary64_5482` `associate--r-_binary64_5473` `associate--l-_binary64_5472` `associate--r+_binary64_5470`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	119	448
1	300	448
2	715	384
3	2014	384
4	4792	384
5	5349	384
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

Compiler

Compiled 19 to 18 computations (5.3% saved)

sample131.0ms (0.6%)

Algorithm

1×

intervals

Results

33.0ms	447×	body	128	nan
25.0ms	256×	body	128	valid
21.0ms	258×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify65.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

615×	`associate-/l/_binary64_5481`
552×	`associate-/r/_binary64_5480`
488×	`associate-*l/_binary64_5477`
386×	`exp-sum_binary64_5580`
352×	`associate-*r/_binary64_5476`
322×	`*-commutative_binary64_5465`
274×	`unswap-sqr_binary64_5502`
210×	`exp-diff_binary64_5582`
184×	`associate-/l*_binary64_5479`
150×	`associate-l_binary64_5475`
133×	`cancel-sign-sub-inv_binary64_5500`
118×	`associate-/r*_binary64_5478`
113×	`times-frac_binary64_5540`
110×	`associate-r_binary64_5474`
109×	`exp-prod_binary64_5586`
107×	`sub-neg_binary64_5527`
105×	`distribute-rgt-in_binary64_5484` `associate--r+_binary64_5470`
88×	`associate--l+_binary64_5471`
65×	`distribute-neg-in_binary64_5495`
64×	`sqr-pow_binary64_5506`
63×	`associate-+l-_binary64_5469`
52×	`associate-+l+_binary64_5467`
46×	`associate-+r+_binary64_5466`
44×	`associate--r-_binary64_5473`
37×	`unsub-neg_binary64_5528`
33×	`distribute-lft-in_binary64_5483`
32×	`pow-sqr_binary64_5507`
29×	`neg-mul-1_binary64_5530`
28×	`+-commutative_binary64_5464`
27×	`distribute-rgt-neg-in_binary64_5492`
25×	`neg-sub0_binary64_5529`
21×	`*-rgt-identity_binary64_5524`
20×	`*-lft-identity_binary64_5523`
19×	`/-rgt-identity_binary64_5525` `distribute-lft-neg-out_binary64_5493`
17×	`div-exp_binary64_5585` `sub0-neg_binary64_5521` `associate--l-_binary64_5472`
15×	`distribute-lft-neg-in_binary64_5491`
13×	`exp-to-pow_binary64_5596` `div-sub_binary64_5539`
12×	`associate-+r-_binary64_5468`
10×	`prod-exp_binary64_5583` `remove-double-neg_binary64_5522`
7×	`+-rgt-identity_binary64_5519`
6×	`exp-neg_binary64_5581` `distribute-rgt-neg-out_binary64_5494`
5×	`distribute-neg-out_binary64_5496`
4×	`distribute-rgt-out--_binary64_5488` `distribute-lft-out_binary64_5485`
3×	`log-pow_binary64_5623` `--rgt-identity_binary64_5520` `distribute-lft-out--_binary64_5486`
2×	`log-div_binary64_5621` `log-prod_binary64_5620` `rem-exp-log_binary64_5574` `distribute-frac-neg_binary64_5497` `distribute-rgt-out_binary64_5487`
1×	`log-rec_binary64_5622` `1-exp_binary64_5578` `exp-1-e_binary64_5577` `mul-1-neg_binary64_5526` `+-lft-identity_binary64_5518` `distribute-neg-frac_binary64_5498`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow3_binary64_5600` `unpow2_binary64_5599` `unpow1/2_binary64_5598` `pow-plus_binary64_5597` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow1_binary64_5592` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `rec-exp_binary64_5584` `e-exp-1_binary64_5579` `exp-0_binary64_5576` `rem-log-exp_binary64_5575` `cube-unmult_binary64_5571` `cube-mult_binary64_5564` `cube-div_binary64_5563` `cube-prod_binary64_5562` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `*-inverses_binary64_5514` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `difference-of-squares_binary64_5503` `swap-sqr_binary64_5501` `cancel-sign-sub_binary64_5499` `distribute-rgt1-in_binary64_5490` `distribute-lft1-in_binary64_5489` `count-2_binary64_5482`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	36	28
2	70	24
3	171	24
4	475	24
5	1596	24
6	4045	24
7	4624	24
8	5001	24

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.2b

Counts

2 → 2

Compiler

Compiled 50 to 47 computations (6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 t 1) (log.f64 a))
0.3b	(*.f64 y (log.f64 z))
1.0b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.1b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

rewrite173.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

26×	`add-sqr-sqrt_binary64_5556`
21×	`*-un-lft-identity_binary64_5534`
16×	`add-cube-cbrt_binary64_5569`
13×	`add-cbrt-cube_binary64_5570`
12×	`add-exp-log_binary64_5572` `log-prod_binary64_5620`
10×	`pow1_binary64_5595` `add-log-exp_binary64_5573` `associate-l_binary64_5475`
8×	`associate-r_binary64_5474`
6×	`distribute-rgt-in_binary64_5484` `distribute-lft-in_binary64_5483`
5×	`exp-prod_binary64_5586` `exp-sum_binary64_5580`
3×	`difference-of-squares_binary64_5503` `cancel-sign-sub-inv_binary64_5500` `rem-exp-log_binary64_5574` `prod-exp_binary64_5583` `cbrt-unprod_binary64_5567` `times-frac_binary64_5540` `associate-/r*_binary64_5478`
2×	`distribute-lft-out--_binary64_5486` `exp-diff_binary64_5582` `diff-log_binary64_5626` `div-exp_binary64_5585` `cbrt-undiv_binary64_5568` `pow-prod-down_binary64_5605` `unswap-sqr_binary64_5502` `log-pow_binary64_5623` `-commutative_binary64_5465` `associate-l/_binary64_5477`
1×	`sub-neg_binary64_5527` `associate--l+_binary64_5471` `sum-log_binary64_5625` `frac-2neg_binary64_5545` `clear-num_binary64_5533` `div-inv_binary64_5531` `associate-r/_binary64_5476` `associate-/l/_binary64_5481` `associate-/l_binary64_5479` `flip3--_binary64_5538` `flip--_binary64_5509` `difference-of-sqr-1_binary64_5504`

Counts

4 → 99

Calls

4 calls:

12.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
9.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
8.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
5.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 2549 to 1233 computations (51.6% saved)

series2.7s (12.8%)

Error

0.2b

Counts

4 → 60

Calls

4 calls:

1.4s	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
735.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
257.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
202.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 4052 to 2256 computations (44.3% saved)

simplify143.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

449×	`associate-/l/_binary64_5481`
224×	`associate-r_binary64_5474`
217×	`associate-l_binary64_5475`
205×	`distribute-rgt-in_binary64_5484`
170×	`distribute-lft-in_binary64_5483`
157×	`cancel-sign-sub-inv_binary64_5500`
155×	`exp-sum_binary64_5580`
154×	`sub-neg_binary64_5527`
144×	`*-commutative_binary64_5465`
130×	`times-frac_binary64_5540`
119×	`log-div_binary64_5621` `log-prod_binary64_5620`
102×	`associate-/l*_binary64_5479`
82×	`+-commutative_binary64_5464`
81×	`exp-prod_binary64_5586`
74×	`distribute-rgt-neg-in_binary64_5492`
71×	`exp-diff_binary64_5582`
69×	`associate-*l/_binary64_5477`
65×	`associate-/r*_binary64_5478`
61×	`distribute-lft-neg-in_binary64_5491`
58×	`sqr-pow_binary64_5506` `associate-*r/_binary64_5476`
57×	`distribute-neg-in_binary64_5495`
47×	`neg-sub0_binary64_5529`
46×	`*-rgt-identity_binary64_5524` `distribute-rgt-out_binary64_5487`
44×	`unsub-neg_binary64_5528`
43×	`neg-mul-1_binary64_5530` `unswap-sqr_binary64_5502`
41×	`associate--l+_binary64_5471`
40×	`associate-+l+_binary64_5467`
39×	`associate--r+_binary64_5470`
33×	`distribute-neg-frac_binary64_5498` `associate-/r/_binary64_5480`
30×	`log-pow_binary64_5623` `*-lft-identity_binary64_5523` `associate-+r+_binary64_5466`
23×	`cube-prod_binary64_5562`
19×	`swap-sqr_binary64_5501`
18×	`distribute-lft-neg-out_binary64_5493`
17×	`/-rgt-identity_binary64_5525`
15×	`cube-div_binary64_5563`
14×	`mul-1-neg_binary64_5526`
11×	`distribute-rgt-out--_binary64_5488` `distribute-lft-out_binary64_5485` `associate-+r-_binary64_5468`
10×	`exp-to-pow_binary64_5596`
9×	`log-rec_binary64_5622` `cube-unmult_binary64_5571` `distribute-rgt-neg-out_binary64_5494` `distribute-rgt1-in_binary64_5490`
7×	`prod-exp_binary64_5583`
6×	`pow-sqr_binary64_5507` `associate-+l-_binary64_5469`
5×	`exp-neg_binary64_5581` `remove-double-neg_binary64_5522`
4×	`unpow3_binary64_5600` `rec-exp_binary64_5584` `rem-exp-log_binary64_5574` `cube-mult_binary64_5564`
3×	`unpow2_binary64_5599` `unpow1/2_binary64_5598` `unpow1_binary64_5592` `rem-log-exp_binary64_5575` `rem-sqrt-square_binary64_5547` `distribute-lft1-in_binary64_5489` `count-2_binary64_5482`
2×	`div-sub_binary64_5539` `+-rgt-identity_binary64_5519` `difference-of-sqr-1_binary64_5504` `distribute-neg-out_binary64_5496` `distribute-lft-out--_binary64_5486` `associate--r-_binary64_5473` `associate--l-_binary64_5472`
1×	`div-exp_binary64_5585` `1-exp_binary64_5578` `exp-1-e_binary64_5577` `rem-3cbrt-lft_binary64_5559` `rem-square-sqrt_binary64_5546` `+-inverses_binary64_5513` `difference-of-sqr--1_binary64_5505` `cancel-sign-sub_binary64_5499`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `pow-plus_binary64_5597` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `e-exp-1_binary64_5579` `exp-0_binary64_5576` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `*-inverses_binary64_5514` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-squares_binary64_5503` `distribute-frac-neg_binary64_5497`

Counts

159 → 132

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	314	4112
1	737	3167
2	2589	2977
3	4765	2977
4	5014	2977

prune171.0ms (0.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	126	6	132
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	128	6	134

Error

0.0b

Counts

134 → 6

Compiler

Compiled 3011 to 1458 computations (51.6% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 t 1) (log.f64 a))
0.3b	(*.f64 y (log.f64 z))
1.0b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.1b	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

rewrite182.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-sqr-sqrt_binary64_5556`
22×	`*-un-lft-identity_binary64_5534`
21×	`add-exp-log_binary64_5572`
17×	`add-cube-cbrt_binary64_5569`
13×	`add-cbrt-cube_binary64_5570`
12×	`log-prod_binary64_5620`
11×	`pow1_binary64_5595`
10×	`associate-l_binary64_5475`
8×	`associate-r_binary64_5474`
6×	`prod-exp_binary64_5583` `distribute-rgt-in_binary64_5484` `distribute-lft-in_binary64_5483`
5×	`unpow-prod-up_binary64_5612` `pow-unpow_binary64_5611` `div-exp_binary64_5585`
4×	`pow-exp_binary64_5602` `add-log-exp_binary64_5573`
3×	`unpow-prod-down_binary64_5613` `cancel-sign-sub-inv_binary64_5500` `difference-of-squares_binary64_5503` `cbrt-unprod_binary64_5567` `times-frac_binary64_5540` `associate-/r*_binary64_5478`
2×	`distribute-lft-out--_binary64_5486` `pow-sub_binary64_5610` `pow-to-exp_binary64_5603` `e-exp-1_binary64_5579` `cbrt-undiv_binary64_5568` `pow-prod-down_binary64_5605` `unswap-sqr_binary64_5502` `log-pow_binary64_5623` `-commutative_binary64_5465` `associate-l/_binary64_5477`
1×	`sub-neg_binary64_5527` `associate--l+_binary64_5471` `pow-pow_binary64_5606` `sqr-pow_binary64_5506` `frac-2neg_binary64_5545` `clear-num_binary64_5533` `div-inv_binary64_5531` `associate-r/_binary64_5476` `associate-/l/_binary64_5481` `associate-/l_binary64_5479` `flip3--_binary64_5538` `flip--_binary64_5509` `difference-of-sqr-1_binary64_5504`

Counts

4 → 107

Calls

4 calls:

9.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
9.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
8.0ms	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
5.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 2913 to 1348 computations (53.7% saved)

series3.1s (14.6%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

1.7s	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
899.0ms	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
228.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
182.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 4094 to 2284 computations (44.2% saved)

simplify155.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

382×	`associate-/l/_binary64_5481`
234×	`associate-r_binary64_5474`
232×	`distribute-rgt-in_binary64_5484`
223×	`associate-l_binary64_5475`
197×	`distribute-lft-in_binary64_5483`
159×	`cancel-sign-sub-inv_binary64_5500`
154×	`exp-sum_binary64_5580` `sub-neg_binary64_5527`
149×	`*-commutative_binary64_5465`
135×	`times-frac_binary64_5540`
114×	`associate-/l*_binary64_5479`
110×	`sqr-pow_binary64_5506`
87×	`log-div_binary64_5621`
82×	`+-commutative_binary64_5464`
77×	`distribute-rgt-neg-in_binary64_5492`
70×	`unswap-sqr_binary64_5502` `associate-/r*_binary64_5478`
67×	`exp-diff_binary64_5582`
65×	`exp-prod_binary64_5586` `associate-*l/_binary64_5477`
63×	`distribute-lft-neg-in_binary64_5491`
51×	`associate-*r/_binary64_5476`
50×	`*-rgt-identity_binary64_5524`
48×	`neg-sub0_binary64_5529` `distribute-neg-in_binary64_5495`
45×	`neg-mul-1_binary64_5530` `distribute-rgt-out_binary64_5487`
44×	`unsub-neg_binary64_5528`
43×	`associate--l+_binary64_5471`
39×	`associate--r+_binary64_5470`
38×	`associate-+l+_binary64_5467`
34×	`*-lft-identity_binary64_5523`
33×	`pow-sqr_binary64_5507`
32×	`log-prod_binary64_5620`
28×	`associate-/r/_binary64_5480`
27×	`associate-+r+_binary64_5466`
26×	`distribute-neg-frac_binary64_5498`
25×	`div-sub_binary64_5539`
24×	`cube-prod_binary64_5562`
20×	`swap-sqr_binary64_5501` `distribute-lft-neg-out_binary64_5493`
19×	`/-rgt-identity_binary64_5525`
15×	`mul-1-neg_binary64_5526`
14×	`log-pow_binary64_5623`
13×	`distribute-rgt-neg-out_binary64_5494`
12×	`cube-unmult_binary64_5571`
11×	`exp-to-pow_binary64_5596` `distribute-rgt-out--_binary64_5488` `distribute-lft-out_binary64_5485`
10×	`associate-+r-_binary64_5468`
8×	`cube-div_binary64_5563` `distribute-rgt1-in_binary64_5490`
7×	`log-rec_binary64_5622`
6×	`distribute-frac-neg_binary64_5497`
5×	`cube-mult_binary64_5564` `rem-sqrt-square_binary64_5547` `remove-double-neg_binary64_5522`
4×	`unpow3_binary64_5600` `unpow1/2_binary64_5598` `unpow1_binary64_5592` `rem-exp-log_binary64_5574` `associate-+l-_binary64_5469`
3×	`unpow2_binary64_5599` `pow-base-1_binary64_5594` `count-2_binary64_5482`
2×	`rec-exp_binary64_5584` `exp-neg_binary64_5581` `+-rgt-identity_binary64_5519` `difference-of-sqr-1_binary64_5504` `distribute-neg-out_binary64_5496` `distribute-lft1-in_binary64_5489` `distribute-lft-out--_binary64_5486` `associate--r-_binary64_5473`
1×	`log-E_binary64_5624` `e-exp-1_binary64_5579` `1-exp_binary64_5578` `rem-3cbrt-lft_binary64_5559` `rem-square-sqrt_binary64_5546` `+-inverses_binary64_5513` `difference-of-sqr--1_binary64_5505` `cancel-sign-sub_binary64_5499` `associate--l-_binary64_5472`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `pow-plus_binary64_5597` `unpow0_binary64_5593` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `div-exp_binary64_5585` `prod-exp_binary64_5583` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `rem-log-exp_binary64_5575` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `*-inverses_binary64_5514` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-squares_binary64_5503`

Counts

167 → 143

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	332	4538
1	780	3756
2	2739	3390
3	4917	3390
4	4989	3390

prune176.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	143	6	149

Error

0.0b

Counts

149 → 6

Compiler

Compiled 3341 to 1579 computations (52.7% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)))
0.1b	(pow.f64 a (+.f64 t -1))
0.2b	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
1.5b	(/.f64 (*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))) y)

rewrite220.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

54×	`times-frac_binary64_5540`
52×	`add-sqr-sqrt_binary64_5556`
43×	`*-un-lft-identity_binary64_5534`
41×	`add-cube-cbrt_binary64_5569`
28×	`associate-r_binary64_5474`
27×	`add-exp-log_binary64_5572`
25×	`unpow-prod-down_binary64_5613`
20×	`add-cbrt-cube_binary64_5570`
14×	`div-exp_binary64_5585`
9×	`associate-/l*_binary64_5479` `sqr-pow_binary64_5506`
8×	`prod-exp_binary64_5583` `unpow-prod-up_binary64_5612`
7×	`pow1_binary64_5595`
6×	`cbrt-undiv_binary64_5568` `associate-/r*_binary64_5478`
5×	`pow-unpow_binary64_5611`
4×	`pow-to-exp_binary64_5603` `pow-exp_binary64_5602` `add-log-exp_binary64_5573` `cbrt-unprod_binary64_5567` `unswap-sqr_binary64_5502`
3×	`div-inv_binary64_5531` `associate-l_binary64_5475`
2×	`frac-2neg_binary64_5545` `clear-num_binary64_5533` `associate-*r/_binary64_5476`
1×	`associate-/l/_binary64_5481` `difference-of-sqr--1_binary64_5505` `distribute-lft-out_binary64_5485` `pow-pow_binary64_5606` `pow-prod-down_binary64_5605` `*-commutative_binary64_5465`

Counts

4 → 146

Calls

4 calls:

12.0ms	(*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)))
9.0ms	(/.f64 (*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))) y)
7.0ms	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
4.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 3110 to 1626 computations (47.7% saved)

series2.0s (9.6%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

878.0ms	(/.f64 (*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))) y)
590.0ms	(*.f64 x (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)))
339.0ms	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
155.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 2263 to 1920 computations (15.2% saved)

simplify158.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

642×	`associate-/r/_binary64_5480`
628×	`associate-/r*_binary64_5478`
249×	`associate-/l*_binary64_5479`
193×	`cancel-sign-sub-inv_binary64_5500`
182×	`log-div_binary64_5621`
170×	`log-prod_binary64_5620`
167×	`associate-l_binary64_5475` `associate-r_binary64_5474`
121×	`associate-*r/_binary64_5476`
120×	`times-frac_binary64_5540`
112×	`associate-*l/_binary64_5477`
107×	`associate-/l/_binary64_5481`
104×	`*-commutative_binary64_5465`
91×	`distribute-rgt-neg-in_binary64_5492`
87×	`sub-neg_binary64_5527`
81×	`sqr-pow_binary64_5506`
77×	`distribute-rgt-in_binary64_5484`
76×	`distribute-lft-neg-in_binary64_5491`
64×	`distribute-lft-in_binary64_5483`
60×	`exp-prod_binary64_5586`
59×	`*-rgt-identity_binary64_5524`
43×	`*-lft-identity_binary64_5523` `unswap-sqr_binary64_5502`
38×	`distribute-neg-frac_binary64_5498`
35×	`/-rgt-identity_binary64_5525`
33×	`neg-sub0_binary64_5529`
32×	`cube-div_binary64_5563`
31×	`+-commutative_binary64_5464`
29×	`log-pow_binary64_5623` `exp-sum_binary64_5580` `neg-mul-1_binary64_5530`
26×	`associate--l+_binary64_5471`
25×	`pow-sqr_binary64_5507`
23×	`distribute-neg-in_binary64_5495`
18×	`distribute-lft-neg-out_binary64_5493`
17×	`distribute-rgt-out_binary64_5487`
16×	`cube-prod_binary64_5562`
15×	`log-rec_binary64_5622` `unsub-neg_binary64_5528`
14×	`distribute-rgt-out--_binary64_5488`
13×	`swap-sqr_binary64_5501`
12×	`distribute-lft-out_binary64_5485` `associate--r+_binary64_5470`
11×	`distribute-rgt-neg-out_binary64_5494`
10×	`div-sub_binary64_5539`
9×	`cube-unmult_binary64_5571` `distribute-lft-out--_binary64_5486` `associate-+l+_binary64_5467`
6×	`exp-to-pow_binary64_5596` `div-exp_binary64_5585`
5×	`exp-diff_binary64_5582`
4×	`exp-neg_binary64_5581` `mul-1-neg_binary64_5526` `count-2_binary64_5482`
3×	`pow-base-1_binary64_5594` `prod-exp_binary64_5583` `remove-double-neg_binary64_5522` `distribute-neg-out_binary64_5496` `distribute-rgt1-in_binary64_5490` `associate-+l-_binary64_5469`
2×	`unpow1/2_binary64_5598` `unpow1_binary64_5592` `rem-sqrt-square_binary64_5547` `associate--l-_binary64_5472` `associate-+r-_binary64_5468` `associate-+r+_binary64_5466`
1×	`unpow3_binary64_5600` `unpow2_binary64_5599` `unpow-1_binary64_5591` `rec-exp_binary64_5584` `1-exp_binary64_5578` `exp-1-e_binary64_5577` `rem-log-exp_binary64_5575` `cube-mult_binary64_5564` `+-inverses_binary64_5513` `distribute-frac-neg_binary64_5497` `distribute-lft1-in_binary64_5489` `associate--r-_binary64_5473`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `pow-plus_binary64_5597` `unpow0_binary64_5593` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `e-exp-1_binary64_5579` `exp-0_binary64_5576` `rem-exp-log_binary64_5574` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-square-sqrt_binary64_5546` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `*-inverses_binary64_5514` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `difference-of-squares_binary64_5503` `cancel-sign-sub_binary64_5499`

Counts

197 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	276	4063
1	665	3724
2	2472	3617
3	4803	3617
4	5074	3617

prune195.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	173	6	179

Error

0.0b

Counts

179 → 6

Compiler

Compiled 3286 to 1727 computations (47.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 a (exp.f64 b))
0.2b	(*.f64 (pow.f64 z y) (pow.f64 a t))
0.5b	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
1.0b	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))

rewrite207.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

181×	`add-exp-log_binary64_5572`
112×	`prod-exp_binary64_5583`
63×	`div-exp_binary64_5585`
58×	`add-cbrt-cube_binary64_5570`
30×	`pow-to-exp_binary64_5603` `pow-exp_binary64_5602`
28×	`add-sqr-sqrt_binary64_5556`
24×	`cbrt-unprod_binary64_5567`
17×	`associate-l_binary64_5475`
15×	`cbrt-undiv_binary64_5568`
14×	`add-cube-cbrt_binary64_5569` `*-un-lft-identity_binary64_5534`
12×	`unpow-prod-down_binary64_5613`
11×	`pow1_binary64_5595` `associate-r_binary64_5474`
10×	`unswap-sqr_binary64_5502`
8×	`sqr-pow_binary64_5506`
6×	`times-frac_binary64_5540`
4×	`add-log-exp_binary64_5573` `pow-prod-down_binary64_5605`
3×	`associate-/l_binary64_5479` `-commutative_binary64_5465`
2×	`div-inv_binary64_5531` `associate-*l/_binary64_5477`
1×	`frac-2neg_binary64_5545` `clear-num_binary64_5533` `associate-/r/_binary64_5480` `associate-/r*_binary64_5478`

Counts

4 → 154

Calls

4 calls:

14.0ms	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
12.0ms	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
7.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
5.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 3783 to 592 computations (84.4% saved)

series4.0s (18.9%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

1.8s	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
1.4s	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
616.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
62.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 4643 to 2638 computations (43.2% saved)

simplify118.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

688×	`times-frac_binary64_5540`
558×	`associate-r_binary64_5474`
447×	`associate-l_binary64_5475`
415×	`associate-/r*_binary64_5478`
409×	`associate-/l*_binary64_5479`
155×	`associate-*l/_binary64_5477`
140×	`*-commutative_binary64_5465`
112×	`associate-*r/_binary64_5476`
93×	`associate-/r/_binary64_5480`
55×	`sub-neg_binary64_5527`
47×	`sqr-pow_binary64_5506`
45×	`unswap-sqr_binary64_5502`
40×	`+-commutative_binary64_5464`
26×	`exp-prod_binary64_5586`
25×	`associate-/l/_binary64_5481`
19×	`neg-sub0_binary64_5529` `associate--r+_binary64_5470`
17×	`neg-mul-1_binary64_5530` `cancel-sign-sub-inv_binary64_5500`
15×	`associate-+r+_binary64_5466`
13×	`log-div_binary64_5621` `log-prod_binary64_5620` `swap-sqr_binary64_5501` `distribute-neg-in_binary64_5495`
12×	`distribute-neg-frac_binary64_5498`
11×	`distribute-rgt-neg-in_binary64_5492`
10×	`cube-unmult_binary64_5571` `pow-sqr_binary64_5507` `associate-+l-_binary64_5469`
9×	`distribute-lft-neg-in_binary64_5491`
8×	`prod-exp_binary64_5583`
6×	`associate--l+_binary64_5471`
5×	`unpow3_binary64_5600` `unpow2_binary64_5599` `unpow1_binary64_5592` `cube-mult_binary64_5564`
4×	`mul-1-neg_binary64_5526` `distribute-lft-out_binary64_5485`
3×	`log-pow_binary64_5623`
2×	`log-rec_binary64_5622` `pow-base-1_binary64_5594` `exp-neg_binary64_5581` `rem-sqrt-square_binary64_5547` `*-rgt-identity_binary64_5524` `distribute-rgt-neg-out_binary64_5494` `distribute-rgt1-in_binary64_5490` `distribute-rgt-out_binary64_5487` `distribute-rgt-in_binary64_5484` `distribute-lft-in_binary64_5483`
1×	`exp-to-pow_binary64_5596` `rec-exp_binary64_5584` `exp-diff_binary64_5582` `exp-sum_binary64_5580` `1-exp_binary64_5578` `rem-log-exp_binary64_5575` `rem-exp-log_binary64_5574` `unsub-neg_binary64_5528` `*-lft-identity_binary64_5523` `distribute-lft-out--_binary64_5486` `count-2_binary64_5482`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow1/2_binary64_5598` `pow-plus_binary64_5597` `unpow0_binary64_5593` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `div-exp_binary64_5585` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `cube-div_binary64_5563` `cube-prod_binary64_5562` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-square-sqrt_binary64_5546` `div-sub_binary64_5539` `/-rgt-identity_binary64_5525` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `*-inverses_binary64_5514` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `difference-of-squares_binary64_5503` `cancel-sign-sub_binary64_5499` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `distribute-lft-neg-out_binary64_5493` `distribute-lft1-in_binary64_5489` `distribute-rgt-out--_binary64_5488` `associate--r-_binary64_5473` `associate--l-_binary64_5472` `associate-+r-_binary64_5468` `associate-+l+_binary64_5467`

Counts

226 → 181

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	391	6097
1	1095	5221
2	5252	5221

prune164.0ms (0.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	181	6	187

Error

0.0b

Counts

187 → 6

Compiler

Compiled 3940 to 658 computations (83.3% saved)

regimes979.0ms (4.7%)

Accuracy

Total 1.9b remaining (99.2%)

Threshold costs 0b (0%)

Compiler

Compiled 9204 to 8486 computations (7.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`neg-mul-1_binary64_5530` `neg-sub0_binary64_5529` `*-commutative_binary64_5465` `+-commutative_binary64_5464`
4×	`sub-neg_binary64_5527`
3×	`unsub-neg_binary64_5528` `*-rgt-identity_binary64_5524`
2×	`distribute-rgt-neg-out_binary64_5494`
1×	`1-exp_binary64_5578` `*-lft-identity_binary64_5523` `distribute-lft-neg-out_binary64_5493` `distribute-rgt-neg-in_binary64_5492` `distribute-lft-neg-in_binary64_5491`
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_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `unpow1_binary64_5592` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `mul-1-neg_binary64_5526` `/-rgt-identity_binary64_5525` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `cancel-sign-sub-inv_binary64_5500` `cancel-sign-sub_binary64_5499` `distribute-neg-frac_binary64_5498` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `distribute-neg-in_binary64_5495`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	28	28
2	35	28
3	39	28
4	47	28
5	46	28
6	44	28

end0.0ms (0%)

sample4.8s (23%)

Algorithm

1×

intervals

Results

1.1s	14421×	body	128	nan
716.0ms	8000×	body	128	valid
649.0ms	7394×	body	128	invalid

Compiler

Compiled 928 to 838 computations (9.7% saved)

Details

analyze1.1s (5.2%)

sample131.0ms (0.6%)

simplify65.0ms (0.3%)

prune5.0ms (0%)

localize16.0ms (0.1%)

rewrite173.0ms (0.8%)

series2.7s (12.8%)

simplify143.0ms (0.7%)

prune171.0ms (0.8%)

localize17.0ms (0.1%)

rewrite182.0ms (0.9%)

series3.1s (14.6%)

simplify155.0ms (0.7%)

prune176.0ms (0.8%)

localize13.0ms (0.1%)

rewrite220.0ms (1%)

series2.0s (9.6%)

simplify158.0ms (0.8%)

prune195.0ms (0.9%)

localize17.0ms (0.1%)

rewrite207.0ms (1%)

series4.0s (18.9%)

simplify118.0ms (0.6%)

prune164.0ms (0.8%)

regimes979.0ms (4.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample4.8s (23%)

Profiling