Details

analyze2.3s (9.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

606×	`associate-r_binary64_15022`
578×	`associate-l_binary64_15023`
364×	`neg-mul-1_binary64_15078`
352×	`distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031`
323×	`distribute-neg-in_binary64_15043`
293×	`cancel-sign-sub-inv_binary64_15048`
252×	`sub-neg_binary64_15075`
236×	`distribute-lft-neg-out_binary64_15041`
178×	`neg-sub0_binary64_15077`
168×	`distribute-rgt-neg-in_binary64_15040`
145×	`+-commutative_binary64_15012`
126×	`*-commutative_binary64_15013`
122×	`distribute-rgt-neg-out_binary64_15042`
50×	`distribute-lft-neg-in_binary64_15039`
37×	`associate-+l-_binary64_15017` `associate-+r-_binary64_15016` `associate-+l+_binary64_15015` `associate-+r+_binary64_15014`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-pow_binary64_15171` `log-rec_binary64_15170` `log-div_binary64_15169` `log-prod_binary64_15168` `pow-base-0_binary64_15166` `unpow1/3_binary64_15149` `unpow3_binary64_15148` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `pow-plus_binary64_15145` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `exp-prod_binary64_15134` `div-exp_binary64_15133` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-diff_binary64_15130` `exp-neg_binary64_15129` `exp-sum_binary64_15128` `e-exp-1_binary64_15127` `1-exp_binary64_15126` `exp-1-e_binary64_15125` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-unmult_binary64_15119` `cube-mult_binary64_15112` `cube-div_binary64_15111` `cube-prod_binary64_15110` `cube-neg_binary64_15109` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cbrt-cube_binary64_15106` `rem-cube-cbrt_binary64_15105` `sqr-abs_binary64_15097` `sqr-neg_binary64_15096` `rem-sqrt-square_binary64_15095` `rem-square-sqrt_binary64_15094` `times-frac_binary64_15088` `div-sub_binary64_15087` `unsub-neg_binary64_15076` `mul-1-neg_binary64_15074` `/-rgt-identity_binary64_15073` `-rgt-identity_binary64_15072` `-lft-identity_binary64_15071` `remove-double-neg_binary64_15070` `sub0-neg_binary64_15069` `--rgt-identity_binary64_15068` `+-rgt-identity_binary64_15067` `+-lft-identity_binary64_15066` `mul0-rgt_binary64_15065` `mul0-lft_binary64_15064` `div0_binary64_15063` `-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `pow-sqr_binary64_15055` `sqr-pow_binary64_15054` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `difference-of-squares_binary64_15051` `unswap-sqr_binary64_15050` `swap-sqr_binary64_15049` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-neg-out_binary64_15044` `distribute-rgt1-in_binary64_15038` `distribute-lft1-in_binary64_15037` `distribute-rgt-out--_binary64_15036` `distribute-rgt-out_binary64_15035` `distribute-lft-out--_binary64_15034` `distribute-lft-out_binary64_15033` `count-2_binary64_15030` `associate-/l/_binary64_15029` `associate-/r/_binary64_15028` `associate-/l_binary64_15027` `associate-/r_binary64_15026` `associate-l/_binary64_15025` `associate-*r/_binary64_15024` `associate--r-_binary64_15021` `associate--l-_binary64_15020` `associate--l+_binary64_15019` `associate--r+_binary64_15018`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	306	1591
1	849	1591
2	2204	1591
3	4932	1591
4	5046	1591
0	9	9
1	9	9

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 30 to 24 computations (20% saved)

sample97.0ms (0.4%)

Algorithm

1×

intervals

Results

28.0ms	392×	body	128	invalid
24.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify766.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1512×	`associate--r-_binary64_15021`
1092×	`sub-neg_binary64_15075`
809×	`unsub-neg_binary64_15076`
419×	`distribute-neg-in_binary64_15043`
395×	`+-commutative_binary64_15012`
343×	`neg-sub0_binary64_15077`
339×	`distribute-rgt-in_binary64_15032`
323×	`distribute-rgt-neg-in_binary64_15040`
322×	`distribute-rgt-out_binary64_15035`
291×	`*-commutative_binary64_15013`
281×	`neg-mul-1_binary64_15078`
263×	`cancel-sign-sub-inv_binary64_15048`
259×	`distribute-neg-out_binary64_15044`
232×	`associate-+l+_binary64_15015`
229×	`distribute-lft-in_binary64_15031`
224×	`associate-+r-_binary64_15016`
215×	`distribute-lft-neg-in_binary64_15039` `associate-+l-_binary64_15017`
199×	`distribute-rgt-out--_binary64_15036`
185×	`distribute-lft-neg-out_binary64_15041`
179×	`associate--l-_binary64_15020`
175×	`associate--r+_binary64_15018`
168×	`remove-double-neg_binary64_15070`
161×	`associate--l+_binary64_15019`
139×	`distribute-rgt-neg-out_binary64_15042`
136×	`associate-l_binary64_15023`
126×	`associate-r_binary64_15022`
88×	`distribute-lft-out_binary64_15033`
80×	`distribute-lft-out--_binary64_15034`
72×	`mul0-rgt_binary64_15065` `mul0-lft_binary64_15064`
62×	`mul-1-neg_binary64_15074` `sub0-neg_binary64_15069`
54×	`associate-+r+_binary64_15014`
36×	`*-rgt-identity_binary64_15072`
31×	`*-lft-identity_binary64_15071`
27×	`+-rgt-identity_binary64_15067`
17×	`--rgt-identity_binary64_15068`
8×	`cancel-sign-sub_binary64_15047`
1×	`1-exp_binary64_15126` `+-lft-identity_binary64_15066`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-pow_binary64_15171` `log-rec_binary64_15170` `log-div_binary64_15169` `log-prod_binary64_15168` `pow-base-0_binary64_15166` `unpow1/3_binary64_15149` `unpow3_binary64_15148` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `pow-plus_binary64_15145` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `exp-prod_binary64_15134` `div-exp_binary64_15133` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-diff_binary64_15130` `exp-neg_binary64_15129` `exp-sum_binary64_15128` `e-exp-1_binary64_15127` `exp-1-e_binary64_15125` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-unmult_binary64_15119` `cube-mult_binary64_15112` `cube-div_binary64_15111` `cube-prod_binary64_15110` `cube-neg_binary64_15109` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cbrt-cube_binary64_15106` `rem-cube-cbrt_binary64_15105` `sqr-abs_binary64_15097` `sqr-neg_binary64_15096` `rem-sqrt-square_binary64_15095` `rem-square-sqrt_binary64_15094` `times-frac_binary64_15088` `div-sub_binary64_15087` `/-rgt-identity_binary64_15073` `div0_binary64_15063` `-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `pow-sqr_binary64_15055` `sqr-pow_binary64_15054` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `difference-of-squares_binary64_15051` `unswap-sqr_binary64_15050` `swap-sqr_binary64_15049` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-rgt1-in_binary64_15038` `distribute-lft1-in_binary64_15037` `count-2_binary64_15030` `associate-/l/_binary64_15029` `associate-/r/_binary64_15028` `associate-/l_binary64_15027` `associate-/r_binary64_15026` `associate-l/_binary64_15025` `associate-*r/_binary64_15024`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	55	43
2	125	43
3	389	43
4	994	43
5	2365	43
6	2811	43
7	3289	43
8	3447	43
9	3377	43
10	3422	43
11	3418	43
12	3784	43
13	3991	43
14	4056	43
15	4061	43
16	4061	43
17	4063	43
18	4065	43
19	4065	43
20	4325	43
21	4117	43
22	4117	43
23	4117	43
24	4984	43
25	4565	43
26	4335	43
27	4665	43
28	4778	43
29	4794	43
30	4794	43
31	4794	43
32	4794	43
33	4794	43
34	4635	43

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.9b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (.f64 c z) (.f64 i a))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
5.0b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
6.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

rewrite173.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

12.8b

Rules

16×	`add-sqr-sqrt_binary64_15104`
10×	`pow1_binary64_15143` `add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118` `add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082`
9×	`associate-l_binary64_15023` `associate-r_binary64_15022`
7×	`sub-neg_binary64_15075` `cancel-sign-sub-inv_binary64_15048`
6×	`add-log-exp_binary64_15121` `distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031` `associate-*r/_binary64_15024`
4×	`flip3--_binary64_15086` `flip--_binary64_15057`
3×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `unswap-sqr_binary64_15050` `*-commutative_binary64_15013`
1×	`diff-log_binary64_15174`

Counts

4 → 84

Calls

4 calls:

7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
7.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
4.0ms	(-.f64 (.f64 c z) (.f64 i a))

Compiler

Compiled 3151 to 437 computations (86.1% saved)

series1.6s (6.8%)

Error

4.0b

Counts

4 → 105

Calls

4 calls:

436.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
403.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
398.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
233.0ms	(-.f64 (.f64 c z) (.f64 i a))

Compiler

Compiled 7671 to 3922 computations (48.9% saved)

simplify135.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

368×	`distribute-rgt-in_binary64_15032`
361×	`distribute-lft-in_binary64_15031`
299×	`exp-prod_binary64_15134`
281×	`associate-l_binary64_15023`
268×	`cancel-sign-sub-inv_binary64_15048`
245×	`associate-r_binary64_15022`
212×	`neg-mul-1_binary64_15078`
151×	`*-commutative_binary64_15013`
144×	`unsub-neg_binary64_15076`
141×	`distribute-rgt-neg-in_binary64_15040`
137×	`neg-sub0_binary64_15077`
114×	`exp-sum_binary64_15128` `sqr-pow_binary64_15054`
112×	`distribute-lft-neg-in_binary64_15039`
110×	`*-lft-identity_binary64_15071`
106×	`*-rgt-identity_binary64_15072`
103×	`sub-neg_binary64_15075`
66×	`difference-of-squares_binary64_15051`
61×	`swap-sqr_binary64_15049`
55×	`distribute-lft-neg-out_binary64_15041`
51×	`cube-prod_binary64_15110`
42×	`exp-diff_binary64_15130` `unswap-sqr_binary64_15050`
36×	`times-frac_binary64_15088`
35×	`mul0-rgt_binary64_15065` `mul0-lft_binary64_15064` `distribute-rgt-neg-out_binary64_15042`
33×	`+-commutative_binary64_15012`
29×	`div-sub_binary64_15087`
27×	`log-prod_binary64_15168`
18×	`pow-sqr_binary64_15055` `distribute-rgt-out_binary64_15035`
13×	`sqr-neg_binary64_15096`
12×	`unpow3_binary64_15148` `cube-unmult_binary64_15119` `cube-mult_binary64_15112` `sub0-neg_binary64_15069` `+-rgt-identity_binary64_15067` `associate-+l-_binary64_15017` `associate-+r-_binary64_15016` `associate-+l+_binary64_15015`
9×	`associate-+r+_binary64_15014`
8×	`distribute-lft-out_binary64_15033`
6×	`unpow1/2_binary64_15146` `cube-neg_binary64_15109` `rem-sqrt-square_binary64_15095` `mul-1-neg_binary64_15074`
2×	`distribute-rgt-out--_binary64_15036`
1×	`div-exp_binary64_15133` `1-exp_binary64_15126` `exp-1-e_binary64_15125` `associate-/l_binary64_15027` `associate-/r_binary64_15026`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-pow_binary64_15171` `log-rec_binary64_15170` `log-div_binary64_15169` `pow-base-0_binary64_15166` `unpow1/3_binary64_15149` `unpow2_binary64_15147` `pow-plus_binary64_15145` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-div_binary64_15111` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cbrt-cube_binary64_15106` `rem-cube-cbrt_binary64_15105` `sqr-abs_binary64_15097` `rem-square-sqrt_binary64_15094` `/-rgt-identity_binary64_15073` `remove-double-neg_binary64_15070` `--rgt-identity_binary64_15068` `+-lft-identity_binary64_15066` `div0_binary64_15063` `-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-neg-out_binary64_15044` `distribute-neg-in_binary64_15043` `distribute-rgt1-in_binary64_15038` `distribute-lft1-in_binary64_15037` `distribute-lft-out--_binary64_15034` `count-2_binary64_15030` `associate-/l/_binary64_15029` `associate-/r/_binary64_15028` `associate-l/_binary64_15025` `associate-*r/_binary64_15024` `associate--r-_binary64_15021` `associate--l-_binary64_15020` `associate--l+_binary64_15019` `associate--r+_binary64_15018`

Counts

189 → 148

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	197	2626
1	472	2443
2	1544	2443
3	3588	2443
4	4641	2443
5	4943	2443

prune210.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	132	16	148
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	16	149

Error

6.2b

Counts

149 → 16

Compiler

Compiled 5292 to 757 computations (85.7% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.5b	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 t c) (*.f64 y i)) (cbrt.f64 j)))
2.8b	(.f64 (-.f64 (.f64 t c) (*.f64 y i)) (cbrt.f64 j))
5.0b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
6.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

rewrite183.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

22×	`pow1_binary64_15143` `add-exp-log_binary64_15120`
19×	`add-sqr-sqrt_binary64_15104`
15×	`add-cbrt-cube_binary64_15118`
13×	`associate-r_binary64_15022`
11×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `add-cube-cbrt_binary64_15117` `cbrt-unprod_binary64_15115` `*-un-lft-identity_binary64_15082`
10×	`associate-l_binary64_15023`
6×	`associate-*r/_binary64_15024`
4×	`add-log-exp_binary64_15121` `unswap-sqr_binary64_15050` `sub-neg_binary64_15075` `distribute-rgt-in_binary64_15032` `cancel-sign-sub-inv_binary64_15048` `distribute-lft-in_binary64_15031` `flip3--_binary64_15086` `flip--_binary64_15057` `-commutative_binary64_15013` `cbrt-prod_binary64_15113` `associate-l/_binary64_15025`

Counts

4 → 96

Calls

4 calls:

13.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 t c) (*.f64 y i)) (cbrt.f64 j)))
8.0ms	(.f64 (-.f64 (.f64 t c) (*.f64 y i)) (cbrt.f64 j))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

Compiler

Compiled 4356 to 488 computations (88.8% saved)

series2.3s (9.9%)

Error

4.0b

Counts

4 → 108

Calls

4 calls:

929.0ms	(.f64 (-.f64 (.f64 t c) (*.f64 y i)) (cbrt.f64 j))
440.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 t c) (*.f64 y i)) (cbrt.f64 j)))
409.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
407.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

Compiler

Compiled 9630 to 4794 computations (50.2% saved)

simplify103.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

674×	`distribute-rgt-in_binary64_15032`
666×	`distribute-lft-in_binary64_15031`
366×	`associate-l_binary64_15023`
340×	`associate-r_binary64_15022`
183×	`*-commutative_binary64_15013`
166×	`distribute-rgt-neg-in_binary64_15040`
163×	`cancel-sign-sub-inv_binary64_15048`
137×	`distribute-lft-neg-in_binary64_15039`
90×	`exp-prod_binary64_15134`
75×	`unswap-sqr_binary64_15050` `distribute-lft-neg-out_binary64_15041`
71×	`sqr-pow_binary64_15054`
52×	`log-prod_binary64_15168` `neg-sub0_binary64_15077` `distribute-rgt-neg-out_binary64_15042`
44×	`neg-mul-1_binary64_15078`
43×	`*-lft-identity_binary64_15071`
42×	`sub-neg_binary64_15075`
41×	`*-rgt-identity_binary64_15072`
37×	`cube-prod_binary64_15110` `swap-sqr_binary64_15049`
26×	`exp-sum_binary64_15128`
22×	`+-commutative_binary64_15012`
13×	`unpow3_binary64_15148` `cube-unmult_binary64_15119` `cube-mult_binary64_15112`
11×	`exp-diff_binary64_15130` `mul-1-neg_binary64_15074`
10×	`distribute-neg-in_binary64_15043`
9×	`difference-of-squares_binary64_15051`
6×	`pow-sqr_binary64_15055` `associate-+r+_binary64_15014`
5×	`div-sub_binary64_15087` `associate-+l+_binary64_15015`
4×	`log-pow_binary64_15171` `pow-plus_binary64_15145` `distribute-rgt-out_binary64_15035`
3×	`rem-sqrt-square_binary64_15095` `unsub-neg_binary64_15076` `remove-double-neg_binary64_15070` `distribute-rgt-out--_binary64_15036`
2×	`unpow1/3_binary64_15149` `+-rgt-identity_binary64_15067` `associate-+r-_binary64_15016`
1×	`1-exp_binary64_15126` `exp-1-e_binary64_15125` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cube-cbrt_binary64_15105` `distribute-lft-out--_binary64_15034` `distribute-lft-out_binary64_15033` `count-2_binary64_15030`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-rec_binary64_15170` `log-div_binary64_15169` `pow-base-0_binary64_15166` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `div-exp_binary64_15133` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-div_binary64_15111` `cube-neg_binary64_15109` `rem-cbrt-cube_binary64_15106` `sqr-abs_binary64_15097` `sqr-neg_binary64_15096` `rem-square-sqrt_binary64_15094` `times-frac_binary64_15088` `/-rgt-identity_binary64_15073` `sub0-neg_binary64_15069` `--rgt-identity_binary64_15068` `+-lft-identity_binary64_15066` `mul0-rgt_binary64_15065` `mul0-lft_binary64_15064` `div0_binary64_15063` `-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-neg-out_binary64_15044` `distribute-rgt1-in_binary64_15038` `distribute-lft1-in_binary64_15037` `associate-/l/_binary64_15029` `associate-/r/_binary64_15028` `associate-/l_binary64_15027` `associate-/r_binary64_15026` `associate-l/_binary64_15025` `associate-*r/_binary64_15024` `associate--r-_binary64_15021` `associate--l-_binary64_15020` `associate--l+_binary64_15019` `associate--r+_binary64_15018` `associate-+l-_binary64_15017`

Counts

204 → 174

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	229	3510
1	580	2853
2	2006	2853
3	5836	2853

prune236.0ms (1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	172	2	174
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	174	16	190

Error

6.2b

Counts

190 → 16

Compiler

Compiled 6926 to 797 computations (88.5% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b	(.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x))
4.7b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x)))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
5.0b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite184.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

22×	`pow1_binary64_15143` `add-exp-log_binary64_15120`
19×	`add-sqr-sqrt_binary64_15104`
15×	`add-cbrt-cube_binary64_15118`
13×	`associate-r_binary64_15022`
11×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `add-cube-cbrt_binary64_15117` `cbrt-unprod_binary64_15115` `*-un-lft-identity_binary64_15082`
10×	`associate-l_binary64_15023`
6×	`associate-*r/_binary64_15024`
4×	`add-log-exp_binary64_15121` `unswap-sqr_binary64_15050` `sub-neg_binary64_15075` `distribute-rgt-in_binary64_15032` `cancel-sign-sub-inv_binary64_15048` `distribute-lft-in_binary64_15031` `flip3--_binary64_15086` `flip--_binary64_15057` `-commutative_binary64_15013` `associate-l/_binary64_15025` `cbrt-prod_binary64_15113`

Counts

4 → 96

Calls

4 calls:

13.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x)))
8.0ms	(.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x))
7.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 4356 to 511 computations (88.3% saved)

series2.3s (10%)

Error

4.0b

Counts

4 → 108

Calls

4 calls:

935.0ms	(.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x))
448.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (*.f64 t a)) (cbrt.f64 x)))
419.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
407.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 9630 to 4821 computations (49.9% saved)

simplify101.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

548×	`distribute-rgt-in_binary64_15032`
542×	`distribute-lft-in_binary64_15031`
373×	`associate-l_binary64_15023`
353×	`associate-r_binary64_15022`
179×	`*-commutative_binary64_15013`
172×	`distribute-rgt-neg-in_binary64_15040`
162×	`cancel-sign-sub-inv_binary64_15048`
140×	`distribute-lft-neg-in_binary64_15039`
82×	`distribute-lft-neg-out_binary64_15041`
75×	`unswap-sqr_binary64_15050`
71×	`exp-prod_binary64_15134` `sqr-pow_binary64_15054`
61×	`log-prod_binary64_15168`
59×	`distribute-rgt-neg-out_binary64_15042`
51×	`neg-sub0_binary64_15077`
46×	`cube-prod_binary64_15110`
43×	`neg-mul-1_binary64_15078`
42×	`sub-neg_binary64_15075` `*-rgt-identity_binary64_15072`
41×	`swap-sqr_binary64_15049`
39×	`*-lft-identity_binary64_15071`
22×	`+-commutative_binary64_15012`
20×	`exp-sum_binary64_15128`
13×	`unpow3_binary64_15148` `cube-unmult_binary64_15119` `cube-mult_binary64_15112`
12×	`mul-1-neg_binary64_15074`
11×	`exp-diff_binary64_15130`
9×	`difference-of-squares_binary64_15051`
6×	`pow-sqr_binary64_15055` `distribute-neg-in_binary64_15043` `associate-+r+_binary64_15014`
5×	`div-sub_binary64_15087` `associate-+l+_binary64_15015`
4×	`log-pow_binary64_15171` `pow-plus_binary64_15145` `distribute-rgt-out--_binary64_15036`
3×	`rem-sqrt-square_binary64_15095` `distribute-rgt-out_binary64_15035`
2×	`unpow1/3_binary64_15149` `unsub-neg_binary64_15076` `+-rgt-identity_binary64_15067` `associate-+r-_binary64_15016`
1×	`1-exp_binary64_15126` `exp-1-e_binary64_15125` `cube-neg_binary64_15109` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cube-cbrt_binary64_15105` `sqr-neg_binary64_15096` `remove-double-neg_binary64_15070` `distribute-lft-out--_binary64_15034` `distribute-lft-out_binary64_15033` `count-2_binary64_15030`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-rec_binary64_15170` `log-div_binary64_15169` `pow-base-0_binary64_15166` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `div-exp_binary64_15133` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-div_binary64_15111` `rem-cbrt-cube_binary64_15106` `sqr-abs_binary64_15097` `rem-square-sqrt_binary64_15094` `times-frac_binary64_15088` `/-rgt-identity_binary64_15073` `sub0-neg_binary64_15069` `--rgt-identity_binary64_15068` `+-lft-identity_binary64_15066` `mul0-rgt_binary64_15065` `mul0-lft_binary64_15064` `div0_binary64_15063` `-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-neg-out_binary64_15044` `distribute-rgt1-in_binary64_15038` `distribute-lft1-in_binary64_15037` `associate-/l/_binary64_15029` `associate-/r/_binary64_15028` `associate-/l_binary64_15027` `associate-/r_binary64_15026` `associate-l/_binary64_15025` `associate-*r/_binary64_15024` `associate--r-_binary64_15021` `associate--l-_binary64_15020` `associate--l+_binary64_15019` `associate--r+_binary64_15018` `associate-+l-_binary64_15017`

Counts

204 → 178

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	230	3590
1	575	2853
2	1964	2853
3	5142	2853

prune248.0ms (1.1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	174	4	178
Fresh	2	13	15
Picked	0	1	1
Done	0	0	0
Total	176	18	194

Error

5.8b

Counts

194 → 18

Compiler

Compiled 7136 to 851 computations (88.1% saved)

localize34.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.2b	(.f64 (-.f64 (.f64 z y) (.f64 a t)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))
4.7b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 x))))
5.0b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
5.0b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite252.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

5.8b

Rules

45×	`pow1_binary64_15143` `add-exp-log_binary64_15120`
29×	`pow-prod-down_binary64_15153` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115`
25×	`add-cbrt-cube_binary64_15118`
14×	`add-sqr-sqrt_binary64_15104`
10×	`associate-l_binary64_15023`
9×	`add-cube-cbrt_binary64_15117` `*-un-lft-identity_binary64_15082`
8×	`associate-r_binary64_15022`
6×	`associate-r/_binary64_15024` `associate-l/_binary64_15025`
4×	`add-log-exp_binary64_15121` `sub-neg_binary64_15075` `distribute-rgt-in_binary64_15032` `cancel-sign-sub-inv_binary64_15048` `distribute-lft-in_binary64_15031` `flip3--_binary64_15086` `flip--_binary64_15057` `*-commutative_binary64_15013`
3×	`unswap-sqr_binary64_15050`

Counts

4 → 105

Calls

4 calls:

23.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 x))))
12.0ms	(.f64 (-.f64 (.f64 z y) (.f64 a t)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
7.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 5893 to 575 computations (90.2% saved)

series2.7s (11.4%)

Error

4.0b

Counts

4 → 108

Calls

4 calls:

1.2s	(.f64 (-.f64 (.f64 z y) (.f64 a t)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))
447.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 x))))
435.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
415.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 11364 to 5403 computations (52.5% saved)

simplify119.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

533×	`distribute-rgt-in_binary64_15032`
528×	`distribute-lft-in_binary64_15031`
457×	`associate-l_binary64_15023`
404×	`associate-r_binary64_15022`
215×	`*-commutative_binary64_15013`
166×	`distribute-rgt-neg-in_binary64_15040`
157×	`cancel-sign-sub-inv_binary64_15048`
137×	`distribute-lft-neg-in_binary64_15039`
79×	`sqr-pow_binary64_15054`
68×	`exp-prod_binary64_15134`
65×	`distribute-lft-neg-out_binary64_15041`
60×	`swap-sqr_binary64_15049`
57×	`log-prod_binary64_15168`
51×	`neg-sub0_binary64_15077`
48×	`unswap-sqr_binary64_15050`
44×	`neg-mul-1_binary64_15078`
41×	`sub-neg_binary64_15075`
39×	`distribute-rgt-neg-out_binary64_15042`
36×	`cube-prod_binary64_15110`
30×	`+-commutative_binary64_15012`
26×	`-rgt-identity_binary64_15072` `-lft-identity_binary64_15071`
19×	`associate-+r+_binary64_15014`
18×	`exp-sum_binary64_15128`
15×	`cube-unmult_binary64_15119`
14×	`associate-+l+_binary64_15015`
13×	`unpow3_binary64_15148` `cube-mult_binary64_15112` `mul-1-neg_binary64_15074`
9×	`exp-diff_binary64_15130` `difference-of-squares_binary64_15051`
7×	`pow-sqr_binary64_15055`
5×	`distribute-neg-in_binary64_15043`
4×	`pow-plus_binary64_15145` `div-sub_binary64_15087` `distribute-rgt-out--_binary64_15036`
3×	`distribute-rgt-out_binary64_15035`
2×	`log-pow_binary64_15171` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `unpow1_binary64_15140` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `unsub-neg_binary64_15076` `remove-double-neg_binary64_15070` `+-rgt-identity_binary64_15067` `count-2_binary64_15030` `associate-+r-_binary64_15016`
1×	`unpow1/3_binary64_15149` `1-exp_binary64_15126` `exp-1-e_binary64_15125` `rem-cube-cbrt_binary64_15105` `distribute-lft1-in_binary64_15037` `distribute-lft-out--_binary64_15034`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-rec_binary64_15170` `log-div_binary64_15169` `pow-base-0_binary64_15166` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `div-exp_binary64_15133` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-div_binary64_15111` `cube-neg_binary64_15109` `rem-cbrt-cube_binary64_15106` `sqr-abs_binary64_15097` `sqr-neg_binary64_15096` `rem-sqrt-square_binary64_15095` `rem-square-sqrt_binary64_15094` `times-frac_binary64_15088` `/-rgt-identity_binary64_15073` `sub0-neg_binary64_15069` `--rgt-identity_binary64_15068` `+-lft-identity_binary64_15066` `mul0-rgt_binary64_15065` `mul0-lft_binary64_15064` `div0_binary64_15063` `-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-neg-out_binary64_15044` `distribute-rgt1-in_binary64_15038` `distribute-lft-out_binary64_15033` `associate-/l/_binary64_15029` `associate-/r/_binary64_15028` `associate-/l_binary64_15027` `associate-/r_binary64_15026` `associate-l/_binary64_15025` `associate-*r/_binary64_15024` `associate--r-_binary64_15021` `associate--l-_binary64_15020` `associate--l+_binary64_15019` `associate--r+_binary64_15018` `associate-+l-_binary64_15017`

Counts

213 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	5131
1	666	3247
2	2088	3240
3	5230	3240

prune232.0ms (1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	175	3	178
Fresh	2	14	16
Picked	1	0	1
Done	0	1	1
Total	178	18	196

Error

4.0b

Counts

196 → 18

Compiler

Compiled 7471 to 604 computations (91.9% saved)

regimes4.0s (17.1%)

Accuracy

Total 6.5b remaining (68.3%)

Threshold costs 0b (0%)

Compiler

Compiled 41366 to 28048 computations (32.2% saved)

bsearch115.0ms (0.5%)

Steps

Iters	Range		Point
8	3.6522778237155623e-68	8.194260606815974e-64	2.391430835805324e-66
5	-2.300226756740335e-10	-6.366574769109798e-11	-2.1975205838721607e-10

Compiler

Compiled 1 to 9 computations (-800% saved)

simplify40.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

189×	`unsub-neg_binary64_15076`
180×	`neg-mul-1_binary64_15078` `neg-sub0_binary64_15077`
141×	`distribute-rgt-neg-out_binary64_15042`
139×	`distribute-neg-out_binary64_15044` `distribute-rgt-neg-in_binary64_15040`
123×	`cancel-sign-sub-inv_binary64_15048`
111×	`distribute-lft-neg-out_binary64_15041`
97×	`distribute-lft-neg-in_binary64_15039`
76×	`remove-double-neg_binary64_15070`
64×	`sub-neg_binary64_15075`
54×	`*-commutative_binary64_15013`
50×	`+-commutative_binary64_15012`
36×	`distribute-neg-in_binary64_15043`
7×	`+-lft-identity_binary64_15066`
5×	`+-rgt-identity_binary64_15067`
1×	`sqr-neg_binary64_15096` `--rgt-identity_binary64_15068`
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_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `unpow1_binary64_15140` `e-exp-1_binary64_15127` `1-exp_binary64_15126` `exp-1-e_binary64_15125` `exp-0_binary64_15124` `sqr-abs_binary64_15097` `mul-1-neg_binary64_15074` `/-rgt-identity_binary64_15073` `-rgt-identity_binary64_15072` `-lft-identity_binary64_15071` `sub0-neg_binary64_15069` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	147
1	91	147
2	134	147
3	176	147
4	225	147
5	263	147
6	298	147
7	459	147
8	545	147
9	520	147
10	591	147
11	664	147
12	741	147
13	808	147
14	852	147
15	871	147
16	877	147
17	878	147
18	878	147

end0.0ms (0%)

sample4.9s (21%)

Algorithm

1×

intervals

Results

845.0ms	11002×	body	128	invalid
610.0ms	8000×	body	128	valid

Compiler

Compiled 4443 to 2920 computations (34.3% saved)

Iter	Nodes	Cost
0	44	147
1	91	147
2	134	147
3	176	147
4	225	147
5	263	147
6	298	147
7	459	147
8	545	147
9	520	147
10	591	147
11	664	147
12	741	147
13	808	147
14	852	147
15	871	147
16	877	147
17	878	147
18	878	147

Iter	Nodes	Cost
0	44	147
1	91	147
2	134	147
3	176	147
4	225	147
5	263	147
6	298	147
7	459	147
8	545	147
9	520	147
10	591	147
11	664	147
12	741	147
13	808	147
14	852	147
15	871	147
16	877	147
17	878	147
18	878	147

Details

analyze2.3s (9.7%)

sample97.0ms (0.4%)

simplify766.0ms (3.3%)

prune4.0ms (0%)

localize24.0ms (0.1%)

rewrite173.0ms (0.7%)

series1.6s (6.8%)

simplify135.0ms (0.6%)

prune210.0ms (0.9%)

localize24.0ms (0.1%)

rewrite183.0ms (0.8%)

series2.3s (9.9%)

simplify103.0ms (0.4%)

prune236.0ms (1%)

localize25.0ms (0.1%)

rewrite184.0ms (0.8%)

series2.3s (10%)

simplify101.0ms (0.4%)

prune248.0ms (1.1%)

localize34.0ms (0.1%)

rewrite252.0ms (1.1%)

series2.7s (11.4%)

simplify119.0ms (0.5%)

prune232.0ms (1%)

regimes4.0s (17.1%)

bsearch115.0ms (0.5%)

simplify40.0ms (0.2%)

end0.0ms (0%)

sample4.9s (21%)

Profiling

Iter	Nodes	Cost
0	44	147
1	91	147
2	134	147
3	176	147
4	225	147
5	263	147
6	298	147
7	459	147
8	545	147
9	520	147
10	591	147
11	664	147
12	741	147
13	808	147
14	852	147
15	871	147
16	877	147
17	878	147
18	878	147