Details

analyze853.0ms (11.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

923×	`times-frac_binary64_12701`
904×	`div-sub_binary64_12700`
675×	`unsub-neg_binary64_12689`
490×	`sub-neg_binary64_12688`
384×	`cancel-sign-sub-inv_binary64_12661` `distribute-rgt-in_binary64_12645`
288×	`distribute-lft-in_binary64_12644`
275×	`neg-mul-1_binary64_12691`
215×	`neg-sub0_binary64_12690`
142×	`distribute-rgt-neg-out_binary64_12655`
129×	`associate--r+_binary64_12631`
122×	`distribute-rgt-neg-in_binary64_12653`
106×	`distribute-lft-neg-out_binary64_12654`
104×	`associate-+l-_binary64_12630`
99×	`distribute-frac-neg_binary64_12658`
93×	`distribute-lft-neg-in_binary64_12652`
79×	`distribute-neg-frac_binary64_12659` `associate-/r/_binary64_12641` `associate-/l*_binary64_12640` `+-commutative_binary64_12625`
73×	`*-commutative_binary64_12626`
72×	`associate-+r+_binary64_12627`
63×	`distribute-rgt-out--_binary64_12649`
62×	`associate-+r-_binary64_12629`
55×	`distribute-rgt-out_binary64_12648`
53×	`mul0-rgt_binary64_12678`
52×	`distribute-neg-out_binary64_12657`
50×	`distribute-neg-in_binary64_12656`
49×	`mul0-lft_binary64_12677` `associate-+l+_binary64_12628`
46×	`remove-double-neg_binary64_12683` `sub0-neg_binary64_12682`
39×	`associate-r_binary64_12635`
36×	`associate-*l/_binary64_12638`
32×	`associate--l+_binary64_12632`
24×	`associate-/l/_binary64_12642`
23×	`associate--l-_binary64_12633`
22×	`+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `associate--r-_binary64_12634`
18×	`div0_binary64_12676`
17×	`associate-l_binary64_12636`
14×	`associate-*r/_binary64_12637`
13×	`distribute-rgt1-in_binary64_12651`
7×	`-lft-identity_binary64_12684` `associate-/r_binary64_12639`
5×	`distribute-lft-out--_binary64_12647`
3×	`mul-1-neg_binary64_12687`
2×	`distribute-lft1-in_binary64_12650` `distribute-lft-out_binary64_12646`
1×	`1-exp_binary64_12739` `--rgt-identity_binary64_12681`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `log-rec_binary64_12783` `log-div_binary64_12782` `log-prod_binary64_12781` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `unpow3_binary64_12761` `unpow2_binary64_12760` `unpow1/2_binary64_12759` `pow-plus_binary64_12758` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `exp-prod_binary64_12747` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `exp-1-e_binary64_12738` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-unmult_binary64_12732` `cube-mult_binary64_12725` `cube-div_binary64_12724` `cube-prod_binary64_12723` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-sqrt-square_binary64_12708` `rem-square-sqrt_binary64_12707` `/-rgt-identity_binary64_12686` `-rgt-identity_binary64_12685` `-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `pow-sqr_binary64_12668` `sqr-pow_binary64_12667` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `unswap-sqr_binary64_12663` `swap-sqr_binary64_12662` `cancel-sign-sub_binary64_12660` `count-2_binary64_12643`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	91
1	69	91
2	168	91
3	294	91
4	563	91
5	1433	91
6	2077	91
7	3903	91
8	4849	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
16.4%	83.4%	0.2%	9
21.4%	78.4%	0.2%	10
25.1%	74.7%	0.2%	11
28%	70.2%	1.9%	12
39.6%	55.8%	4.6%	13
43.9%	50.4%	5.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	65×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify58.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

239×	`cancel-sign-sub-inv_binary64_12661`
193×	`distribute-rgt-in_binary64_12645`
133×	`distribute-lft-in_binary64_12644`
105×	`unsub-neg_binary64_12689`
97×	`div-sub_binary64_12700`
81×	`sub-neg_binary64_12688`
79×	`associate-/l*_binary64_12640`
77×	`distribute-rgt-neg-in_binary64_12653`
73×	`associate-l_binary64_12636`
66×	`associate-/r/_binary64_12641`
63×	`associate-r_binary64_12635`
60×	`distribute-lft-neg-in_binary64_12652`
57×	`distribute-rgt-neg-out_binary64_12655`
51×	`distribute-lft-neg-out_binary64_12654`
45×	`*-commutative_binary64_12626`
43×	`associate-/r*_binary64_12639`
40×	`associate--r+_binary64_12631`
33×	`distribute-neg-in_binary64_12656`
32×	`neg-mul-1_binary64_12691`
31×	`neg-sub0_binary64_12690`
29×	`associate-/l/_binary64_12642`
24×	`mul0-lft_binary64_12677` `distribute-neg-frac_binary64_12659`
23×	`mul0-rgt_binary64_12678` `distribute-rgt-out_binary64_12648`
22×	`distribute-rgt-out--_binary64_12649`
21×	`associate-+l-_binary64_12630`
19×	`associate--l+_binary64_12632` `+-commutative_binary64_12625`
17×	`associate-*l/_binary64_12638`
15×	`distribute-lft-out--_binary64_12647`
13×	`sub0-neg_binary64_12682`
12×	`distribute-frac-neg_binary64_12658`
11×	`associate-+l+_binary64_12628`
10×	`*-lft-identity_binary64_12684`
9×	`+-lft-identity_binary64_12679` `associate--r-_binary64_12634` `associate--l-_binary64_12633`
8×	`associate-+r-_binary64_12629` `associate-+r+_binary64_12627`
7×	`-rgt-identity_binary64_12685` `remove-double-neg_binary64_12683` `div0_binary64_12676` `associate-r/_binary64_12637`
6×	`distribute-neg-out_binary64_12657`
5×	`+-rgt-identity_binary64_12680`
4×	`/-rgt-identity_binary64_12686` `distribute-rgt1-in_binary64_12651`
3×	`mul-1-neg_binary64_12687`
2×	`--rgt-identity_binary64_12681`
1×	`1-exp_binary64_12739` `distribute-lft-out_binary64_12646`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `log-rec_binary64_12783` `log-div_binary64_12782` `log-prod_binary64_12781` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `unpow3_binary64_12761` `unpow2_binary64_12760` `unpow1/2_binary64_12759` `pow-plus_binary64_12758` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `exp-prod_binary64_12747` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-diff_binary64_12743` `exp-neg_binary64_12742` `exp-sum_binary64_12741` `e-exp-1_binary64_12740` `exp-1-e_binary64_12738` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-unmult_binary64_12732` `cube-mult_binary64_12725` `cube-div_binary64_12724` `cube-prod_binary64_12723` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-sqrt-square_binary64_12708` `rem-square-sqrt_binary64_12707` `times-frac_binary64_12701` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `pow-sqr_binary64_12668` `sqr-pow_binary64_12667` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `unswap-sqr_binary64_12663` `swap-sqr_binary64_12662` `cancel-sign-sub_binary64_12660` `distribute-lft1-in_binary64_12650` `count-2_binary64_12643`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	33	13
3	60	13
4	111	13
5	202	13
6	310	13
7	608	13
8	806	13
9	821	13
10	802	13
11	828	13
12	818	13
13	819	13
14	819	13
15	734	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.9b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
0.0b	(*.f64 (-.f64 y x) z)
7.1b	(/.f64 (*.f64 (-.f64 y x) z) t)

rewrite73.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
10×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
7×	`add-cube-cbrt_binary64_12730`
5×	`pow1_binary64_12756` `add-log-exp_binary64_12734` `associate-l_binary64_12636`
4×	`associate-*l/_binary64_12638`
3×	`times-frac_binary64_12701` `associate-/r_binary64_12639` `associate-r*_binary64_12635`
2×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `cbrt-unprod_binary64_12728` `flip3--_binary64_12699` `associate-/l/_binary64_12642` `flip--_binary64_12670`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-/l_binary64_12640` `pow-prod-down_binary64_12766` `unswap-sqr_binary64_12663` `difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647` `-commutative_binary64_12626` `sum-log_binary64_12786` `flip3-+_binary64_12698` `flip-+_binary64_12669` `distribute-lft-out_binary64_12646` `+-commutative_binary64_12625`

Counts

3 → 57

Calls

3 calls:

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

Compiler

Compiled 925 to 251 computations (72.9% saved)

series898.0ms (11.9%)

Error

0.1b

Counts

3 → 57

Calls

3 calls:

420.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
304.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
140.0ms	(*.f64 (-.f64 y x) z)

Compiler

Compiled 1493 to 861 computations (42.3% saved)

simplify83.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

545×	`times-frac_binary64_12701`
510×	`associate-/l*_binary64_12640`
357×	`div-sub_binary64_12700`
320×	`distribute-rgt-in_binary64_12645`
315×	`associate-*l/_binary64_12638`
301×	`distribute-lft-in_binary64_12644`
259×	`associate-*r/_binary64_12637`
200×	`associate-/l/_binary64_12642`
157×	`associate-/r/_binary64_12641`
139×	`associate-/r*_binary64_12639`
66×	`exp-prod_binary64_12747`
59×	`sub-neg_binary64_12688`
58×	`*-commutative_binary64_12626`
56×	`associate-l_binary64_12636`
49×	`distribute-neg-frac_binary64_12659`
44×	`associate-r_binary64_12635`
42×	`log-div_binary64_12782`
41×	`cube-div_binary64_12724`
37×	`cube-prod_binary64_12723` `distribute-rgt-neg-in_binary64_12653`
35×	`log-prod_binary64_12781`
32×	`neg-sub0_binary64_12690`
31×	`cancel-sign-sub-inv_binary64_12661`
30×	`distribute-lft-neg-in_binary64_12652` `+-commutative_binary64_12625`
28×	`exp-sum_binary64_12741` `distribute-lft-neg-out_binary64_12654`
26×	`neg-mul-1_binary64_12691`
24×	`sqr-pow_binary64_12667`
18×	`distribute-rgt-neg-out_binary64_12655`
17×	`*-rgt-identity_binary64_12685`
16×	`distribute-neg-in_binary64_12656`
15×	`exp-diff_binary64_12743`
13×	`unpow3_binary64_12761`
12×	`/-rgt-identity_binary64_12686`
11×	`*-lft-identity_binary64_12684`
10×	`cube-mult_binary64_12725`
8×	`log-rec_binary64_12783`
7×	`mul-1-neg_binary64_12687`
6×	`swap-sqr_binary64_12662`
5×	`distribute-rgt-out--_binary64_12649` `distribute-rgt-out_binary64_12648`
4×	`unsub-neg_binary64_12689` `difference-of-squares_binary64_12664` `associate--l+_binary64_12632` `associate-+l+_binary64_12628`
3×	`cube-unmult_binary64_12732`
2×	`associate-+r+_binary64_12627`
1×	`unpow1/2_binary64_12759` `prod-exp_binary64_12744` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `cube-neg_binary64_12722` `sqr-neg_binary64_12709` `remove-double-neg_binary64_12683` `pow-sqr_binary64_12668` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `unpow2_binary64_12760` `pow-plus_binary64_12758` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `div-exp_binary64_12746` `rec-exp_binary64_12745` `exp-neg_binary64_12742` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `rem-sqrt-square_binary64_12708` `rem-square-sqrt_binary64_12707` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `unswap-sqr_binary64_12663` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `distribute-lft-out--_binary64_12647` `distribute-lft-out_binary64_12646` `count-2_binary64_12643` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--r+_binary64_12631`

Counts

114 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	1466
1	349	1247
2	1088	1245
3	4309	1245
4	5127	1245

prune65.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	82	5	87
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	6	88

Error

0.0b

Counts

88 → 6

Compiler

Compiled 1102 to 252 computations (77.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
5.4b	(*.f64 (-.f64 y x) (/.f64 z t))

rewrite62.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64_12717`
13×	`associate-r_binary64_12635`
12×	`*-un-lft-identity_binary64_12695`
10×	`add-cube-cbrt_binary64_12730` `times-frac_binary64_12701`
7×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
5×	`associate-l_binary64_12636`
4×	`pow1_binary64_12756` `add-log-exp_binary64_12734`
2×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `flip3--_binary64_12699` `frac-times_binary64_12705` `flip--_binary64_12670` `unswap-sqr_binary64_12663` `associate-*l/_binary64_12638`
1×	`pow-prod-down_binary64_12766` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `associate-r/_binary64_12637` `difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647` `div-inv_binary64_12692` `-commutative_binary64_12626` `sum-log_binary64_12786` `flip3-+_binary64_12698` `flip-+_binary64_12669` `+-commutative_binary64_12625`

Counts

2 → 49

Calls

2 calls:

11.0ms	(*.f64 (-.f64 y x) (/.f64 z t))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Compiler

Compiled 861 to 228 computations (73.5% saved)

series717.0ms (9.5%)

Error

0.0b

Counts

2 → 42

Calls

2 calls:

411.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
284.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

Compiler

Compiled 1118 to 645 computations (42.3% saved)

simplify102.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

544×	`div-sub_binary64_12700`
475×	`associate-l_binary64_12636`
419×	`distribute-rgt-in_binary64_12645`
402×	`distribute-lft-in_binary64_12644`
388×	`associate-r_binary64_12635`
331×	`associate-*r/_binary64_12637`
313×	`associate-*l/_binary64_12638`
227×	`associate-/l*_binary64_12640`
106×	`distribute-neg-frac_binary64_12659`
96×	`unsub-neg_binary64_12689`
95×	`*-lft-identity_binary64_12684`
94×	`times-frac_binary64_12701` `neg-sub0_binary64_12690`
92×	`exp-prod_binary64_12747`
91×	`*-rgt-identity_binary64_12685`
81×	`sub-neg_binary64_12688`
73×	`cancel-sign-sub-inv_binary64_12661`
72×	`associate-/r/_binary64_12641`
69×	`*-commutative_binary64_12626`
64×	`neg-mul-1_binary64_12691`
60×	`associate-/l/_binary64_12642`
55×	`distribute-rgt-neg-in_binary64_12653` `associate-/r*_binary64_12639`
47×	`exp-sum_binary64_12741`
45×	`cube-prod_binary64_12723`
43×	`sqr-pow_binary64_12667`
41×	`distribute-lft-neg-out_binary64_12654`
40×	`exp-diff_binary64_12743`
39×	`distribute-lft-neg-in_binary64_12652`
36×	`unswap-sqr_binary64_12663`
34×	`log-prod_binary64_12781`
31×	`+-commutative_binary64_12625`
27×	`distribute-rgt-neg-out_binary64_12655`
23×	`log-div_binary64_12782` `distribute-neg-in_binary64_12656`
21×	`cube-div_binary64_12724`
19×	`mul-1-neg_binary64_12687` `/-rgt-identity_binary64_12686`
16×	`distribute-rgt-out_binary64_12648`
15×	`unpow3_binary64_12761`
12×	`swap-sqr_binary64_12662`
11×	`remove-double-neg_binary64_12683`
10×	`distribute-rgt-out--_binary64_12649`
9×	`cube-unmult_binary64_12732`
8×	`cube-mult_binary64_12725`
6×	`cube-neg_binary64_12722`
5×	`sqr-neg_binary64_12709` `difference-of-squares_binary64_12664`
4×	`pow-sqr_binary64_12668` `distribute-lft-out_binary64_12646` `associate-+l+_binary64_12628`
3×	`log-rec_binary64_12783` `div0_binary64_12676`
2×	`unpow1/2_binary64_12759` `rem-sqrt-square_binary64_12708` `remove-double-div_binary64_12671` `distribute-lft-out--_binary64_12647` `associate--l+_binary64_12632` `associate-+l-_binary64_12630` `associate-+r-_binary64_12629` `associate-+r+_binary64_12627`
1×	`prod-exp_binary64_12744` `1-exp_binary64_12739` `exp-1-e_binary64_12738`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-pow_binary64_12784` `pow-base-0_binary64_12779` `unpow1/3_binary64_12762` `unpow2_binary64_12760` `pow-plus_binary64_12758` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `div-exp_binary64_12746` `rec-exp_binary64_12745` `exp-neg_binary64_12742` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cbrt-cube_binary64_12719` `rem-cube-cbrt_binary64_12718` `sqr-abs_binary64_12710` `rem-square-sqrt_binary64_12707` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `cancel-sign-sub_binary64_12660` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `count-2_binary64_12643` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--r+_binary64_12631`

Counts

91 → 68

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	137	1324
1	359	1171
2	1184	1171
3	4128	1171
4	4671	1171
5	5762	1171

prune47.0ms (0.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	67	7	74

Error

0.0b

Counts

74 → 7

Compiler

Compiled 906 to 211 computations (76.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
5.5b	(.f64 (.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 z) t))

rewrite114.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`add-exp-log_binary64_12733`
22×	`associate-r_binary64_12635`
20×	`add-cube-cbrt_binary64_12730` `add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
18×	`add-cbrt-cube_binary64_12731` `times-frac_binary64_12701` `cbrt-prod_binary64_12726`
13×	`pow1_binary64_12756`
12×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
6×	`pow-prod-down_binary64_12766` `associate-*l/_binary64_12638`
4×	`add-log-exp_binary64_12734`
3×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `pow1/3_binary64_12777`
2×	`flip3--_binary64_12699` `frac-times_binary64_12705` `flip--_binary64_12670`
1×	`associate-r/_binary64_12637` `associate-l_binary64_12636` `div-inv_binary64_12692` `-commutative_binary64_12626`

Counts

4 → 84

Calls

4 calls:

19.0ms	(.f64 (.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 z) t))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 1987 to 423 computations (78.7% saved)

series666.0ms (8.8%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

321.0ms	(.f64 (.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 z) t))
111.0ms	(cbrt.f64 z)
109.0ms	(cbrt.f64 z)
106.0ms	(cbrt.f64 z)

Compiler

Compiled 1035 to 662 computations (36% saved)

simplify115.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

390×	`distribute-rgt-in_binary64_12645`
388×	`distribute-lft-in_binary64_12644`
385×	`times-frac_binary64_12701`
318×	`associate-l_binary64_12636`
252×	`associate-r_binary64_12635`
186×	`log-prod_binary64_12781`
141×	`associate-/l/_binary64_12642`
136×	`*-commutative_binary64_12626`
125×	`associate-/r/_binary64_12641`
98×	`associate-/l*_binary64_12640`
92×	`associate-*r/_binary64_12637`
66×	`unswap-sqr_binary64_12663`
58×	`log-div_binary64_12782`
45×	`distribute-rgt-neg-in_binary64_12653`
38×	`distribute-lft-neg-in_binary64_12652`
36×	`exp-prod_binary64_12747`
34×	`associate-*l/_binary64_12638`
33×	`cancel-sign-sub-inv_binary64_12661`
32×	`sqr-pow_binary64_12667`
28×	`*-rgt-identity_binary64_12685`
27×	`*-lft-identity_binary64_12684`
26×	`div-sub_binary64_12700`
25×	`sub-neg_binary64_12688`
23×	`cube-prod_binary64_12723` `associate-/r*_binary64_12639`
21×	`unpow3_binary64_12761` `+-commutative_binary64_12625`
20×	`swap-sqr_binary64_12662`
19×	`neg-sub0_binary64_12690`
17×	`distribute-lft-neg-out_binary64_12654`
14×	`distribute-neg-frac_binary64_12659` `associate-+l+_binary64_12628`
12×	`distribute-rgt-neg-out_binary64_12655`
11×	`neg-mul-1_binary64_12691` `mul-1-neg_binary64_12687`
9×	`log-pow_binary64_12784`
8×	`cube-unmult_binary64_12732` `cube-div_binary64_12724` `/-rgt-identity_binary64_12686` `distribute-neg-in_binary64_12656` `distribute-rgt-out_binary64_12648`
7×	`associate-+r+_binary64_12627`
6×	`pow-plus_binary64_12758` `exp-sum_binary64_12741` `distribute-rgt-out--_binary64_12649`
4×	`distribute-lft-out--_binary64_12647` `associate-+r-_binary64_12629`
3×	`cube-mult_binary64_12725` `rem-sqrt-square_binary64_12708` `pow-sqr_binary64_12668` `difference-of-squares_binary64_12664`
2×	`unpow1/3_binary64_12762` `exp-diff_binary64_12743` `count-2_binary64_12643`
1×	`unpow1/2_binary64_12759` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `rem-3cbrt-lft_binary64_12720` `rem-cube-cbrt_binary64_12718` `remove-double-neg_binary64_12683` `distribute-frac-neg_binary64_12658` `distribute-lft-out_binary64_12646` `associate-+l-_binary64_12630`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `log-rec_binary64_12783` `pow-base-0_binary64_12779` `unpow2_binary64_12760` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow1_binary64_12753` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-neg_binary64_12742` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-cbrt-cube_binary64_12719` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `rem-square-sqrt_binary64_12707` `unsub-neg_binary64_12689` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `cancel-sign-sub_binary64_12660` `distribute-neg-out_binary64_12657` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650` `associate--r-_binary64_12634` `associate--l-_binary64_12633` `associate--l+_binary64_12632` `associate--r+_binary64_12631`

Counts

111 → 78

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	154	1544
1	424	1244
2	1784	1244
3	4862	1244
4	4949	1244
5	5025	1244

prune63.0ms (0.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	78	7	85

Error

0.0b

Counts

85 → 7

Compiler

Compiled 1286 to 370 computations (71.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
2.4b	(/.f64 (.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 t) (cbrt.f64 t))) z) (cbrt.f64 t))
4.9b	(.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 t) (cbrt.f64 t))) z)

rewrite112.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-exp-log_binary64_12733`
19×	`add-cbrt-cube_binary64_12731` `add-sqr-sqrt_binary64_12717`
15×	`*-un-lft-identity_binary64_12695`
13×	`add-cube-cbrt_binary64_12730`
12×	`times-frac_binary64_12701` `cbrt-prod_binary64_12726`
9×	`associate-l_binary64_12636`
8×	`prod-exp_binary64_12744` `div-exp_binary64_12746` `cbrt-unprod_binary64_12728` `cbrt-undiv_binary64_12729`
6×	`pow1_binary64_12756` `associate-/r*_binary64_12639`
4×	`add-log-exp_binary64_12734`
3×	`associate-r_binary64_12635`
2×	`unswap-sqr_binary64_12663` `associate-*l/_binary64_12638` `div-inv_binary64_12692` `pow1/3_binary64_12777`
1×	`pow-prod-down_binary64_12766` `difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647` `-commutative_binary64_12626` `frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-/l/_binary64_12642` `associate-/l_binary64_12640`

Counts

4 → 84

Calls

4 calls:

13.0ms	(/.f64 (.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 t) (cbrt.f64 t))) z) (cbrt.f64 t))
12.0ms	(.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 t) (cbrt.f64 t))) z)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 1951 to 396 computations (79.7% saved)

series1.6s (20.7%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

979.0ms	(.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 t) (cbrt.f64 t))) z)
329.0ms	(/.f64 (.f64 (/.f64 (-.f64 y x) (.f64 (cbrt.f64 t) (cbrt.f64 t))) z) (cbrt.f64 t))
113.0ms	(cbrt.f64 t)
110.0ms	(cbrt.f64 t)

Compiler

Compiled 1932 to 1371 computations (29% saved)

simplify97.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

656×	`div-sub_binary64_12700`
366×	`associate-/r/_binary64_12641`
321×	`*-commutative_binary64_12626`
144×	`distribute-rgt-in_binary64_12645` `distribute-lft-in_binary64_12644`
132×	`log-prod_binary64_12781`
127×	`associate-/l*_binary64_12640`
118×	`cube-prod_binary64_12723`
112×	`times-frac_binary64_12701`
100×	`associate-/r*_binary64_12639`
89×	`log-div_binary64_12782` `associate-l_binary64_12636`
86×	`exp-prod_binary64_12747` `associate-*l/_binary64_12638`
85×	`cube-div_binary64_12724`
72×	`sub-neg_binary64_12688`
70×	`associate-/l/_binary64_12642` `associate-r_binary64_12635`
61×	`associate-*r/_binary64_12637`
59×	`distribute-rgt-neg-in_binary64_12653`
58×	`cancel-sign-sub-inv_binary64_12661`
55×	`distribute-lft-neg-in_binary64_12652`
48×	`unswap-sqr_binary64_12663`
46×	`distribute-neg-frac_binary64_12659`
38×	`associate--l+_binary64_12632`
35×	`sqr-pow_binary64_12667`
31×	`exp-sum_binary64_12741`
30×	`associate-+l-_binary64_12630` `+-commutative_binary64_12625`
28×	`unpow3_binary64_12761` `neg-sub0_binary64_12690`
27×	`associate-+r-_binary64_12629`
26×	`exp-diff_binary64_12743`
25×	`cube-mult_binary64_12725`
23×	`neg-mul-1_binary64_12691`
22×	`associate--l-_binary64_12633` `associate-+l+_binary64_12628`
21×	`/-rgt-identity_binary64_12686` `swap-sqr_binary64_12662`
20×	`*-rgt-identity_binary64_12685`
19×	`associate-+r+_binary64_12627`
13×	`cube-unmult_binary64_12732`
12×	`distribute-neg-in_binary64_12656` `associate--r+_binary64_12631`
11×	`*-lft-identity_binary64_12684`
10×	`log-pow_binary64_12784` `pow-plus_binary64_12758` `distribute-lft-neg-out_binary64_12654`
8×	`distribute-rgt-neg-out_binary64_12655`
7×	`log-rec_binary64_12783` `mul-1-neg_binary64_12687` `distribute-frac-neg_binary64_12658`
6×	`associate--r-_binary64_12634`
5×	`rem-sqrt-square_binary64_12708` `distribute-rgt-out--_binary64_12649` `distribute-lft-out--_binary64_12647`
4×	`pow-sqr_binary64_12668`
3×	`unpow1/3_binary64_12762` `unpow2_binary64_12760` `unpow1/2_binary64_12759`
2×	`unpow1_binary64_12753` `sqr-neg_binary64_12709` `unsub-neg_binary64_12689` `count-2_binary64_12643`
1×	`1-exp_binary64_12739` `exp-1-e_binary64_12738` `cube-neg_binary64_12722` `rem-3cbrt-rft_binary64_12721` `rem-3cbrt-lft_binary64_12720` `rem-cube-cbrt_binary64_12718` `distribute-rgt-out_binary64_12648` `distribute-lft-out_binary64_12646`
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_12958` `erf-erfc_binary64_12957` `erf-odd_binary64_12956` `if-if-and-not_binary64_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `not-gte_binary64_12947` `not-lte_binary64_12946` `not-gt_binary64_12945` `not-lt_binary64_12944` `gte-same_binary64_12943` `lte-same_binary64_12942` `gt-same_binary64_12941` `lt-same_binary64_12940` `sinh---cosh_binary64_12887` `sinh-+-cosh_binary64_12886` `sinh-cosh_binary64_12885` `tanh-def-c_binary64_12884` `tanh-def-b_binary64_12883` `tanh-def-a_binary64_12882` `cosh-def_binary64_12881` `sinh-def_binary64_12880` `tan-neg_binary64_12827` `cos-neg_binary64_12826` `sin-neg_binary64_12825` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `hang-m-tan_binary64_12821` `hang-p-tan_binary64_12820` `hang-m0-tan_binary64_12819` `hang-p0-tan_binary64_12818` `hang-0m-tan_binary64_12817` `hang-0p-tan_binary64_12816` `tan-+PI/2_binary64_12815` `tan-+PI_binary64_12814` `tan-PI_binary64_12813` `tan-PI/3_binary64_12812` `tan-PI/4_binary64_12811` `tan-PI/6_binary64_12810` `cos-+PI/2_binary64_12809` `cos-+PI_binary64_12808` `cos-PI_binary64_12807` `cos-PI/2_binary64_12806` `cos-PI/3_binary64_12805` `cos-PI/4_binary64_12804` `cos-PI/6_binary64_12803` `sin-+PI/2_binary64_12802` `sin-+PI_binary64_12801` `sin-PI_binary64_12800` `sin-PI/2_binary64_12799` `sin-PI/3_binary64_12798` `sin-PI/4_binary64_12797` `sin-PI/6_binary64_12796` `sub-1-sin_binary64_12795` `sub-1-cos_binary64_12794` `-1-add-sin_binary64_12793` `-1-add-cos_binary64_12792` `1-sub-sin_binary64_12791` `1-sub-cos_binary64_12790` `cos-sin-sum_binary64_12789` `log-E_binary64_12785` `pow-base-0_binary64_12779` `exp-to-pow_binary64_12757` `pow-base-1_binary64_12755` `unpow0_binary64_12754` `unpow-1_binary64_12752` `exp-lft-cube_binary64_12751` `exp-lft-sqr_binary64_12750` `exp-cbrt_binary64_12749` `exp-sqrt_binary64_12748` `div-exp_binary64_12746` `rec-exp_binary64_12745` `prod-exp_binary64_12744` `exp-neg_binary64_12742` `e-exp-1_binary64_12740` `exp-0_binary64_12737` `rem-log-exp_binary64_12736` `rem-exp-log_binary64_12735` `rem-cbrt-cube_binary64_12719` `sqr-abs_binary64_12710` `rem-square-sqrt_binary64_12707` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `mul0-rgt_binary64_12678` `mul0-lft_binary64_12677` `div0_binary64_12676` `*-inverses_binary64_12675` `+-inverses_binary64_12674` `lft-mult-inverse_binary64_12673` `rgt-mult-inverse_binary64_12672` `remove-double-div_binary64_12671` `difference-of-sqr--1_binary64_12666` `difference-of-sqr-1_binary64_12665` `difference-of-squares_binary64_12664` `cancel-sign-sub_binary64_12660` `distribute-neg-out_binary64_12657` `distribute-rgt1-in_binary64_12651` `distribute-lft1-in_binary64_12650`

Counts

126 → 98

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	156	2426
1	384	1621
2	1586	1621
3	3925	1621
4	5563	1621

prune79.0ms (1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	98	7	105

Error

0.0b

Counts

105 → 7

Compiler

Compiled 1607 to 529 computations (67.1% saved)

regimes377.0ms (5%)

Accuracy

Total 1.0b remaining (99.9%)

Threshold costs 1.0b (99.9%)

Compiler

Compiled 3171 to 2438 computations (23.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_12626` `+-commutative_binary64_12625`
2×	`sub-neg_binary64_12688`
1×	`neg-mul-1_binary64_12691` `neg-sub0_binary64_12690`
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_12955` `if-if-and_binary64_12954` `if-if-or-not_binary64_12953` `if-if-or_binary64_12952` `if-not_binary64_12951` `if-same_binary64_12950` `if-false_binary64_12949` `if-true_binary64_12948` `tan-0_binary64_12824` `cos-0_binary64_12823` `sin-0_binary64_12822` `unpow1_binary64_12753` `e-exp-1_binary64_12740` `1-exp_binary64_12739` `exp-1-e_binary64_12738` `exp-0_binary64_12737` `sqr-abs_binary64_12710` `sqr-neg_binary64_12709` `unsub-neg_binary64_12689` `mul-1-neg_binary64_12687` `/-rgt-identity_binary64_12686` `-rgt-identity_binary64_12685` `-lft-identity_binary64_12684` `remove-double-neg_binary64_12683` `sub0-neg_binary64_12682` `--rgt-identity_binary64_12681` `+-rgt-identity_binary64_12680` `+-lft-identity_binary64_12679` `cancel-sign-sub-inv_binary64_12661` `cancel-sign-sub_binary64_12660` `distribute-neg-frac_binary64_12659` `distribute-frac-neg_binary64_12658` `distribute-neg-out_binary64_12657` `distribute-neg-in_binary64_12656` `distribute-rgt-neg-out_binary64_12655` `distribute-lft-neg-out_binary64_12654` `distribute-rgt-neg-in_binary64_12653` `distribute-lft-neg-in_binary64_12652`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	37
1	20	37
2	25	37
3	27	37
4	28	37
5	28	37

end0.0ms (0%)

sample1.4s (17.9%)

Algorithm

1×

intervals

Results

265.0ms	8000×	body	128	valid
73.0ms	2121×	body	128	invalid

Compiler

Compiled 697 to 526 computations (24.5% saved)

Iter	Nodes	Cost
0	9	13
1	15	13
2	33	13
3	60	13
4	111	13
5	202	13
6	310	13
7	608	13
8	806	13
9	821	13
10	802	13
11	828	13
12	818	13
13	819	13
14	819	13
15	734	13

Iter	Nodes	Cost
0	9	13
1	15	13
2	33	13
3	60	13
4	111	13
5	202	13
6	310	13
7	608	13
8	806	13
9	821	13
10	802	13
11	828	13
12	818	13
13	819	13
14	819	13
15	734	13

Details

analyze853.0ms (11.3%)

sample25.0ms (0.3%)

simplify58.0ms (0.8%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite73.0ms (1%)

series898.0ms (11.9%)

simplify83.0ms (1.1%)

prune65.0ms (0.9%)

localize7.0ms (0.1%)

rewrite62.0ms (0.8%)

series717.0ms (9.5%)

simplify102.0ms (1.4%)

prune47.0ms (0.6%)

localize11.0ms (0.1%)

rewrite114.0ms (1.5%)

series666.0ms (8.8%)

simplify115.0ms (1.5%)

prune63.0ms (0.8%)

localize11.0ms (0.1%)

rewrite112.0ms (1.5%)

series1.6s (20.7%)

simplify97.0ms (1.3%)

prune79.0ms (1%)

regimes377.0ms (5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.4s (17.9%)

Profiling

Iter	Nodes	Cost
0	9	13
1	15	13
2	33	13
3	60	13
4	111	13
5	202	13
6	310	13
7	608	13
8	806	13
9	821	13
10	802	13
11	828	13
12	818	13
13	819	13
14	819	13
15	734	13