Details

analyze1.2s (14.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

869×	`swap-sqr_binary64_18118`
585×	`associate-/l*_binary64_18096`
514×	`associate-/r/_binary64_18097`
504×	`associate-/l/_binary64_18098`
470×	`cube-div_binary64_18180`
350×	`associate-/r*_binary64_18095`
329×	`cube-prod_binary64_18179`
314×	`associate-*l/_binary64_18094`
288×	`associate-r_binary64_18091`
286×	`associate-*r/_binary64_18093`
255×	`associate-l_binary64_18092`
71×	`*-commutative_binary64_18082`
36×	`/-rgt-identity_binary64_18142`
30×	`sqr-pow_binary64_18123`
28×	`unpow3_binary64_18217`
26×	`cube-mult_binary64_18181`
25×	`times-frac_binary64_18157`
19×	`*-lft-identity_binary64_18140`
17×	`lft-mult-inverse_binary64_18129`
16×	`*-rgt-identity_binary64_18141`
10×	`remove-double-div_binary64_18127`
9×	`*-inverses_binary64_18131`
2×	`cube-unmult_binary64_18188`
1×	`1-exp_binary64_18195` `swap-x-y`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `log-pow_binary64_18240` `log-rec_binary64_18239` `log-div_binary64_18238` `log-prod_binary64_18237` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow2_binary64_18216` `unpow1/2_binary64_18215` `pow-plus_binary64_18214` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `exp-prod_binary64_18203` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-diff_binary64_18199` `exp-neg_binary64_18198` `exp-sum_binary64_18197` `e-exp-1_binary64_18196` `exp-1-e_binary64_18194` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `rem-sqrt-square_binary64_18164` `rem-square-sqrt_binary64_18163` `div-sub_binary64_18156` `neg-mul-1_binary64_18147` `neg-sub0_binary64_18146` `unsub-neg_binary64_18145` `sub-neg_binary64_18144` `mul-1-neg_binary64_18143` `remove-double-neg_binary64_18139` `sub0-neg_binary64_18138` `--rgt-identity_binary64_18137` `+-rgt-identity_binary64_18136` `+-lft-identity_binary64_18135` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `div0_binary64_18132` `+-inverses_binary64_18130` `rgt-mult-inverse_binary64_18128` `pow-sqr_binary64_18124` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `unswap-sqr_binary64_18119` `cancel-sign-sub-inv_binary64_18117` `cancel-sign-sub_binary64_18116` `distribute-neg-frac_binary64_18115` `distribute-frac-neg_binary64_18114` `distribute-neg-out_binary64_18113` `distribute-neg-in_binary64_18112` `distribute-rgt-neg-out_binary64_18111` `distribute-lft-neg-out_binary64_18110` `distribute-rgt-neg-in_binary64_18109` `distribute-lft-neg-in_binary64_18108` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-rgt-out--_binary64_18105` `distribute-rgt-out_binary64_18104` `distribute-lft-out--_binary64_18103` `distribute-lft-out_binary64_18102` `distribute-rgt-in_binary64_18101` `distribute-lft-in_binary64_18100` `count-2_binary64_18099` `associate--r-_binary64_18090` `associate--l-_binary64_18089` `associate--l+_binary64_18088` `associate--r+_binary64_18087` `associate-+l-_binary64_18086` `associate-+r-_binary64_18085` `associate-+l+_binary64_18084` `associate-+r+_binary64_18083` `+-commutative_binary64_18081`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	91
1	84	70
2	203	49
3	463	49
4	2925	49
5	2805	49
6	3441	49
7	5141	49
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
5.8%	94%	0.2%	9
7.6%	92.2%	0.2%	10
11.6%	88.2%	0.2%	11
18.5%	81.3%	0.2%	12
32.3%	66.9%	0.8%	13
37%	62.2%	0.8%	14

Symmetry

(sort x y)

Compiler

Compiled 10 to 9 computations (10% saved)

sample31.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
2.0ms	48×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify204.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1483×	`associate-/l/_binary64_18098`
1068×	`associate-/l*_binary64_18096`
1015×	`associate-/r/_binary64_18097`
675×	`*-commutative_binary64_18082`
404×	`sqr-pow_binary64_18123`
381×	`cube-prod_binary64_18179`
307×	`pow-sqr_binary64_18124`
268×	`times-frac_binary64_18157`
190×	`associate-*l/_binary64_18094`
164×	`associate-*r/_binary64_18093`
137×	`associate-r_binary64_18091`
136×	`associate-/r*_binary64_18095`
122×	`unpow3_binary64_18217` `cube-mult_binary64_18181`
100×	`associate-l_binary64_18092`
94×	`remove-double-div_binary64_18127`
78×	`swap-sqr_binary64_18118`
52×	`cube-div_binary64_18180` `/-rgt-identity_binary64_18142`
49×	`unswap-sqr_binary64_18119`
44×	`*-lft-identity_binary64_18140`
25×	`*-rgt-identity_binary64_18141`
17×	`pow-plus_binary64_18214`
10×	`unpow2_binary64_18216`
7×	`unpow1_binary64_18209` `rem-sqrt-square_binary64_18164`
5×	`unpow1/2_binary64_18215`
4×	`*-inverses_binary64_18131`
3×	`lft-mult-inverse_binary64_18129`
1×	`1-exp_binary64_18195` `cube-unmult_binary64_18188` `rgt-mult-inverse_binary64_18128`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `log-pow_binary64_18240` `log-rec_binary64_18239` `log-div_binary64_18238` `log-prod_binary64_18237` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `exp-prod_binary64_18203` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-diff_binary64_18199` `exp-neg_binary64_18198` `exp-sum_binary64_18197` `e-exp-1_binary64_18196` `exp-1-e_binary64_18194` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `rem-square-sqrt_binary64_18163` `div-sub_binary64_18156` `neg-mul-1_binary64_18147` `neg-sub0_binary64_18146` `unsub-neg_binary64_18145` `sub-neg_binary64_18144` `mul-1-neg_binary64_18143` `remove-double-neg_binary64_18139` `sub0-neg_binary64_18138` `--rgt-identity_binary64_18137` `+-rgt-identity_binary64_18136` `+-lft-identity_binary64_18135` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `div0_binary64_18132` `+-inverses_binary64_18130` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `cancel-sign-sub-inv_binary64_18117` `cancel-sign-sub_binary64_18116` `distribute-neg-frac_binary64_18115` `distribute-frac-neg_binary64_18114` `distribute-neg-out_binary64_18113` `distribute-neg-in_binary64_18112` `distribute-rgt-neg-out_binary64_18111` `distribute-lft-neg-out_binary64_18110` `distribute-rgt-neg-in_binary64_18109` `distribute-lft-neg-in_binary64_18108` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-rgt-out--_binary64_18105` `distribute-rgt-out_binary64_18104` `distribute-lft-out--_binary64_18103` `distribute-lft-out_binary64_18102` `distribute-rgt-in_binary64_18101` `distribute-lft-in_binary64_18100` `count-2_binary64_18099` `associate--r-_binary64_18090` `associate--l-_binary64_18089` `associate--l+_binary64_18088` `associate--r+_binary64_18087` `associate-+l-_binary64_18086` `associate-+r-_binary64_18085` `associate-+l+_binary64_18084` `associate-+r+_binary64_18083` `+-commutative_binary64_18081`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	17	10
2	41	7
3	91	7
4	366	7
5	1228	7
6	1212	7
7	1225	7
8	1238	7
9	1245	7
10	1252	7
11	1259	7
12	1266	7
13	1273	7
14	1280	7
15	1287	7
16	1294	7
17	1301	7
18	1308	7
19	1315	7
20	1322	7
21	3032	7
22	2753	7
23	2781	7
24	2833	7
25	2977	7
26	3074	7
27	3494	7
28	3741	7
29	4030	7
30	4469	7
31	5023	7

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.1b

Counts

2 → 1

Compiler

Compiled 10 to 12 computations (-20% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.9b	(*.f64 x (/.f64 y z))

rewrite40.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`add-sqr-sqrt_binary64_18173`
13×	`associate-r_binary64_18091`
10×	`times-frac_binary64_18157`
9×	`add-cube-cbrt_binary64_18186` `*-un-lft-identity_binary64_18151`
6×	`add-exp-log_binary64_18189` `add-cbrt-cube_binary64_18187`
3×	`pow1_binary64_18212` `associate-l_binary64_18092`
2×	`prod-exp_binary64_18200` `cbrt-unprod_binary64_18184` `unswap-sqr_binary64_18119`
1×	`pow-prod-down_binary64_18222` `div-exp_binary64_18202` `add-log-exp_binary64_18190` `cbrt-undiv_binary64_18185` `associate-r/_binary64_18093` `div-inv_binary64_18148` `-commutative_binary64_18082`

Counts

1 → 32

Calls

1 calls:

8.0ms

(*.f64 x (/.f64 y z))

Compiler

Compiled 373 to 121 computations (67.6% saved)

series153.0ms (1.9%)

Error

0.1b

Counts

1 → 9

Calls

1 calls:

149.0ms

(*.f64 x (/.f64 y z))

Compiler

Compiled 135 to 114 computations (15.6% saved)

simplify110.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

830×	`unsub-neg_binary64_18145`
432×	`associate-/l/_binary64_18098`
373×	`distribute-rgt-in_binary64_18101`
332×	`sub-neg_binary64_18144`
317×	`associate-/r*_binary64_18095`
301×	`associate--l+_binary64_18088`
296×	`cancel-sign-sub-inv_binary64_18117`
288×	`associate-/r/_binary64_18097`
246×	`sqr-pow_binary64_18123`
238×	`*-commutative_binary64_18082`
225×	`associate-l_binary64_18092`
204×	`distribute-neg-in_binary64_18112`
189×	`associate-*r/_binary64_18093`
180×	`associate-*l/_binary64_18094`
176×	`associate-/l*_binary64_18096`
173×	`associate-+l-_binary64_18086`
171×	`associate-r_binary64_18091`
133×	`unswap-sqr_binary64_18119`
122×	`neg-sub0_binary64_18146`
117×	`pow-sqr_binary64_18124`
116×	`neg-mul-1_binary64_18147`
93×	`rem-sqrt-square_binary64_18164` `times-frac_binary64_18157`
90×	`associate--r-_binary64_18090`
87×	`associate--l-_binary64_18089`
86×	`associate-+l+_binary64_18084`
81×	`*-rgt-identity_binary64_18141`
73×	`associate-+r-_binary64_18085`
71×	`distribute-neg-out_binary64_18113`
67×	`*-lft-identity_binary64_18140`
59×	`associate-+r+_binary64_18083`
55×	`distribute-lft-in_binary64_18100`
35×	`associate--r+_binary64_18087`
27×	`distribute-rgt-neg-in_binary64_18109`
26×	`+-rgt-identity_binary64_18136`
25×	`distribute-lft-neg-out_binary64_18110`
24×	`cancel-sign-sub_binary64_18116` `+-commutative_binary64_18081`
23×	`log-prod_binary64_18237` `exp-prod_binary64_18203`
22×	`distribute-lft-neg-in_binary64_18108`
21×	`cube-div_binary64_18180` `/-rgt-identity_binary64_18142` `distribute-rgt-out--_binary64_18105`
20×	`log-div_binary64_18238`
18×	`cube-prod_binary64_18179`
17×	`swap-sqr_binary64_18118` `distribute-lft-out--_binary64_18103`
16×	`distribute-rgt-out_binary64_18104`
13×	`remove-double-neg_binary64_18139`
10×	`distribute-rgt-neg-out_binary64_18111`
8×	`distribute-lft-out_binary64_18102`
7×	`unpow3_binary64_18217`
6×	`unpow1/2_binary64_18215` `cube-mult_binary64_18181` `distribute-rgt1-in_binary64_18107`
5×	`cube-unmult_binary64_18188` `mul-1-neg_binary64_18143` `sub0-neg_binary64_18138`
4×	`log-rec_binary64_18239` `--rgt-identity_binary64_18137` `remove-double-div_binary64_18127`
3×	`distribute-lft1-in_binary64_18106`
2×	`+-lft-identity_binary64_18135` `+-inverses_binary64_18130`
1×	`1-exp_binary64_18195` `exp-1-e_binary64_18194` `count-2_binary64_18099`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `log-pow_binary64_18240` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow2_binary64_18216` `pow-plus_binary64_18214` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-diff_binary64_18199` `exp-neg_binary64_18198` `exp-sum_binary64_18197` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `rem-square-sqrt_binary64_18163` `div-sub_binary64_18156` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `div0_binary64_18132` `*-inverses_binary64_18131` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `distribute-neg-frac_binary64_18115` `distribute-frac-neg_binary64_18114`

Counts

41 → 19

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	69	435
1	160	390
2	522	390
3	1386	390
4	2367	390
5	2683	390
6	3714	390
7	4083	390
8	4550	390
9	4985	390

prune24.0ms (0.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	12	7	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	8	20

Error

0.0b

Counts

20 → 8

Compiler

Compiled 250 to 114 computations (54.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
2.8b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y z) (cbrt.f64 x)))
3.3b	(*.f64 (/.f64 y z) (cbrt.f64 x))

rewrite106.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-exp-log_binary64_18189`
25×	`add-sqr-sqrt_binary64_18173`
18×	`pow1_binary64_18212` `add-cbrt-cube_binary64_18187`
15×	`prod-exp_binary64_18200` `add-cube-cbrt_binary64_18186` `cbrt-unprod_binary64_18184` `*-un-lft-identity_binary64_18151`
14×	`associate-l_binary64_18092`
11×	`cbrt-prod_binary64_18182` `times-frac_binary64_18157`
9×	`pow-prod-down_binary64_18222`
7×	`associate-r_binary64_18091`
4×	`add-log-exp_binary64_18190` `unswap-sqr_binary64_18119`
3×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
2×	`associate-l/_binary64_18094` `-commutative_binary64_18082` `pow1/3_binary64_18233`
1×	`div-inv_binary64_18148` `associate-*r/_binary64_18093`

Counts

4 → 86

Calls

4 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y z) (cbrt.f64 x)))
8.0ms	(*.f64 (/.f64 y z) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1583 to 305 computations (80.7% saved)

series845.0ms (10.4%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

445.0ms	(*.f64 (/.f64 y z) (cbrt.f64 x))
155.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (/.f64 y z) (cbrt.f64 x)))
118.0ms	(cbrt.f64 x)
110.0ms	(cbrt.f64 x)

Compiler

Compiled 786 to 577 computations (26.6% saved)

simplify147.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

399×	`associate-*r/_binary64_18093`
397×	`associate-*l/_binary64_18094`
347×	`log-prod_binary64_18237`
316×	`unswap-sqr_binary64_18119`
312×	`*-commutative_binary64_18082`
258×	`associate-/l*_binary64_18096`
212×	`log-div_binary64_18238`
175×	`associate-l_binary64_18092`
147×	`associate-r_binary64_18091`
103×	`distribute-rgt-neg-in_binary64_18109`
90×	`sqr-pow_binary64_18123`
84×	`distribute-lft-neg-in_binary64_18108`
82×	`associate-/r*_binary64_18095`
81×	`cube-div_binary64_18180`
78×	`cube-prod_binary64_18179`
72×	`cancel-sign-sub-inv_binary64_18117`
71×	`exp-prod_binary64_18203`
68×	`times-frac_binary64_18157`
63×	`distribute-rgt-in_binary64_18101`
58×	`distribute-lft-in_binary64_18100`
49×	`associate--l+_binary64_18088`
48×	`distribute-rgt-neg-out_binary64_18111`
45×	`swap-sqr_binary64_18118`
44×	`distribute-lft-neg-out_binary64_18110`
42×	`sub-neg_binary64_18144` `associate-+l-_binary64_18086`
38×	`distribute-neg-frac_binary64_18115` `associate-/r/_binary64_18097` `associate-+r-_binary64_18085`
32×	`associate--r+_binary64_18087`
28×	`div-sub_binary64_18156`
27×	`neg-sub0_binary64_18146` `associate-+r+_binary64_18083`
26×	`associate-+l+_binary64_18084`
22×	`*-rgt-identity_binary64_18141` `associate-/l/_binary64_18098`
21×	`*-lft-identity_binary64_18140`
20×	`neg-mul-1_binary64_18147` `distribute-neg-in_binary64_18112`
15×	`/-rgt-identity_binary64_18142` `pow-sqr_binary64_18124`
14×	`log-pow_binary64_18240`
13×	`unpow3_binary64_18217` `distribute-frac-neg_binary64_18114`
12×	`cube-mult_binary64_18181`
11×	`cube-unmult_binary64_18188` `+-commutative_binary64_18081`
10×	`log-rec_binary64_18239` `associate--l-_binary64_18089`
8×	`pow-plus_binary64_18214`
7×	`associate--r-_binary64_18090`
6×	`unsub-neg_binary64_18145` `mul-1-neg_binary64_18143` `remove-double-neg_binary64_18139` `distribute-rgt-out_binary64_18104` `distribute-lft-out_binary64_18102` `count-2_binary64_18099`
4×	`rem-sqrt-square_binary64_18164`
3×	`+-rgt-identity_binary64_18136`
2×	`unpow1/3_binary64_18218` `exp-diff_binary64_18199` `cube-neg_binary64_18178` `sqr-neg_binary64_18165` `div0_binary64_18132` `distribute-rgt-out--_binary64_18105`
1×	`unpow1/2_binary64_18215` `exp-sum_binary64_18197` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `rem-3cbrt-lft_binary64_18176` `rem-cube-cbrt_binary64_18174` `distribute-lft-out--_binary64_18103`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `pow-base-0_binary64_18235` `unpow2_binary64_18216` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-neg_binary64_18198` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `rem-3cbrt-rft_binary64_18177` `rem-cbrt-cube_binary64_18175` `sqr-abs_binary64_18166` `rem-square-sqrt_binary64_18163` `sub0-neg_binary64_18138` `--rgt-identity_binary64_18137` `+-lft-identity_binary64_18135` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `remove-double-div_binary64_18127` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `cancel-sign-sub_binary64_18116` `distribute-neg-out_binary64_18113` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106`

Counts

110 → 80

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	125	1546
1	296	1019
2	918	1019
3	2767	1019
4	4654	1019
5	4989	1019
6	4999	1019
7	4973	1019

prune66.0ms (0.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	76	4	80
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	77	11	88

Error

0.0b

Counts

88 → 11

Compiler

Compiled 1130 to 294 computations (74% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
2.3b	(*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 y) z))
2.8b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) 1) (*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 y) z))))

rewrite232.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

173×	`add-exp-log_binary64_18189`
112×	`prod-exp_binary64_18200`
68×	`cbrt-unprod_binary64_18184`
60×	`add-cbrt-cube_binary64_18187`
37×	`add-sqr-sqrt_binary64_18173`
35×	`div-exp_binary64_18202`
27×	`pow1_binary64_18212`
23×	`associate-r_binary64_18091` `cbrt-prod_binary64_18182`
22×	`times-frac_binary64_18157`
21×	`add-cube-cbrt_binary64_18186` `*-un-lft-identity_binary64_18151`
19×	`cbrt-undiv_binary64_18185`
16×	`pow-prod-down_binary64_18222`
12×	`1-exp_binary64_18195`
7×	`associate-r/_binary64_18093` `associate-l*_binary64_18092`
6×	`unswap-sqr_binary64_18119`
4×	`add-log-exp_binary64_18190`
2×	`*-commutative_binary64_18082` `pow1/3_binary64_18233`
1×	`frac-times_binary64_18161` `associate-*l/_binary64_18094` `div-inv_binary64_18148`

Counts

4 → 141

Calls

4 calls:

22.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) 1) (*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 y) z))))
12.0ms	(*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 y) z))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 4321 to 1028 computations (76.2% saved)

series966.0ms (11.9%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

495.0ms	(*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 y) z))
224.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) 1) (*.f64 (cbrt.f64 x) (/.f64 (cbrt.f64 y) z))))
115.0ms	(cbrt.f64 x)
111.0ms	(cbrt.f64 x)

Compiler

Compiled 1284 to 894 computations (30.4% saved)

simplify148.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

440×	`log-prod_binary64_18237`
371×	`times-frac_binary64_18157`
355×	`associate-l_binary64_18092`
354×	`associate-r_binary64_18091`
305×	`log-div_binary64_18238`
266×	`associate-/l/_binary64_18098`
243×	`associate-/r*_binary64_18095`
196×	`exp-prod_binary64_18203`
159×	`associate-/r/_binary64_18097`
149×	`*-commutative_binary64_18082`
133×	`associate--l+_binary64_18088`
131×	`unswap-sqr_binary64_18119`
109×	`associate-/l*_binary64_18096`
107×	`associate-*r/_binary64_18093`
86×	`associate-*l/_binary64_18094`
81×	`sub-neg_binary64_18144`
77×	`associate--l-_binary64_18089`
67×	`swap-sqr_binary64_18118`
58×	`associate--r-_binary64_18090`
46×	`associate-+r+_binary64_18083`
44×	`sqr-pow_binary64_18123`
42×	`distribute-rgt-neg-in_binary64_18109`
40×	`distribute-lft-neg-in_binary64_18108`
36×	`unpow3_binary64_18217` `associate-+l+_binary64_18084`
34×	`cancel-sign-sub-inv_binary64_18117`
33×	`cube-prod_binary64_18179`
31×	`*-lft-identity_binary64_18140`
30×	`*-rgt-identity_binary64_18141`
27×	`+-commutative_binary64_18081`
26×	`log-pow_binary64_18240`
22×	`distribute-rgt-in_binary64_18101`
21×	`log-rec_binary64_18239` `associate-+l-_binary64_18086`
20×	`exp-sum_binary64_18197`
19×	`distribute-lft-in_binary64_18100`
17×	`cube-div_binary64_18180` `neg-sub0_binary64_18146`
13×	`neg-mul-1_binary64_18147` `/-rgt-identity_binary64_18142` `distribute-neg-in_binary64_18112`
11×	`cube-unmult_binary64_18188` `associate-+r-_binary64_18085`
9×	`unpow1/3_binary64_18218` `distribute-neg-frac_binary64_18115`
8×	`pow-plus_binary64_18214` `unsub-neg_binary64_18145` `pow-sqr_binary64_18124` `distribute-lft-out_binary64_18102`
7×	`distribute-neg-out_binary64_18113` `distribute-lft-neg-out_binary64_18110`
6×	`div-sub_binary64_18156` `mul-1-neg_binary64_18143` `distribute-rgt-neg-out_binary64_18111`
5×	`sub0-neg_binary64_18138` `--rgt-identity_binary64_18137` `count-2_binary64_18099`
4×	`exp-diff_binary64_18199` `remove-double-neg_binary64_18139` `+-lft-identity_binary64_18135` `associate--r+_binary64_18087`
3×	`rem-sqrt-square_binary64_18164` `distribute-rgt-out_binary64_18104`
2×	`exp-to-pow_binary64_18213` `rem-3cbrt-lft_binary64_18176` `distribute-lft-out--_binary64_18103`
1×	`unpow1/2_binary64_18215` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `cube-mult_binary64_18181` `rem-3cbrt-rft_binary64_18177` `rem-cube-cbrt_binary64_18174` `distribute-frac-neg_binary64_18114` `distribute-lft1-in_binary64_18106`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `pow-base-0_binary64_18235` `unpow2_binary64_18216` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-neg_binary64_18198` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `cube-neg_binary64_18178` `rem-cbrt-cube_binary64_18175` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `rem-square-sqrt_binary64_18163` `+-rgt-identity_binary64_18136` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `div0_binary64_18132` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `remove-double-div_binary64_18127` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `cancel-sign-sub_binary64_18116` `distribute-rgt1-in_binary64_18107` `distribute-rgt-out--_binary64_18105`

Counts

165 → 114

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	270	4464
1	546	1797
2	2046	1761
3	4444	1754
4	4814	1754
5	5054	1754

prune92.0ms (1.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	1	7	8
Picked	0	1	1
Done	1	1	2
Total	115	10	125

Error

0.0b

Counts

125 → 10

Compiler

Compiled 1720 to 492 computations (71.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
1.3b	(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 x) (/.f64 (*.f64 y (cbrt.f64 x)) z)))
1.7b	(.f64 (cbrt.f64 x) (/.f64 (.f64 y (cbrt.f64 x)) z))
3.1b	(/.f64 (*.f64 y (cbrt.f64 x)) z)

rewrite112.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`add-exp-log_binary64_18189`
19×	`add-cbrt-cube_binary64_18187`
17×	`add-sqr-sqrt_binary64_18173`
13×	`prod-exp_binary64_18200` `add-cube-cbrt_binary64_18186` `cbrt-unprod_binary64_18184` `*-un-lft-identity_binary64_18151`
12×	`associate-l_binary64_18092`
11×	`pow1_binary64_18212`
10×	`cbrt-prod_binary64_18182`
8×	`associate-r_binary64_18091`
6×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185` `times-frac_binary64_18157`
4×	`add-log-exp_binary64_18190` `pow-prod-down_binary64_18222`
3×	`associate-/r_binary64_18095` `associate-r/_binary64_18093`
2×	`div-inv_binary64_18148` `unswap-sqr_binary64_18119` `*-commutative_binary64_18082`
1×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-/l*_binary64_18096` `pow1/3_binary64_18233`

Counts

4 → 89

Calls

4 calls:

10.0ms	(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 x) (/.f64 (*.f64 y (cbrt.f64 x)) z)))
9.0ms	(.f64 (cbrt.f64 x) (/.f64 (.f64 y (cbrt.f64 x)) z))
5.0ms	(/.f64 (*.f64 y (cbrt.f64 x)) z)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1626 to 337 computations (79.3% saved)

series1.2s (14.8%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

493.0ms	(.f64 (cbrt.f64 x) (/.f64 (.f64 y (cbrt.f64 x)) z))
417.0ms	(/.f64 (*.f64 y (cbrt.f64 x)) z)
171.0ms	(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 x) (/.f64 (*.f64 y (cbrt.f64 x)) z)))
104.0ms	(cbrt.f64 x)

Compiler

Compiled 993 to 783 computations (21.1% saved)

simplify89.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

910×	`times-frac_binary64_18157`
370×	`*-commutative_binary64_18082`
332×	`unswap-sqr_binary64_18119`
317×	`associate-/r*_binary64_18095`
214×	`associate-/r/_binary64_18097`
186×	`associate-/l/_binary64_18098`
183×	`associate-r_binary64_18091`
180×	`log-prod_binary64_18237`
169×	`associate-l_binary64_18092`
156×	`cube-prod_binary64_18179`
111×	`exp-prod_binary64_18203`
108×	`sqr-pow_binary64_18123`
90×	`log-div_binary64_18238`
83×	`associate-*r/_binary64_18093`
79×	`sub-neg_binary64_18144`
78×	`associate-/l*_binary64_18096`
75×	`cube-div_binary64_18180`
59×	`associate-*l/_binary64_18094`
39×	`/-rgt-identity_binary64_18142`
38×	`*-rgt-identity_binary64_18141` `associate-+l+_binary64_18084`
35×	`distribute-rgt-neg-in_binary64_18109`
34×	`associate-+r+_binary64_18083`
30×	`div-sub_binary64_18156` `swap-sqr_binary64_18118` `distribute-lft-neg-in_binary64_18108`
29×	`neg-sub0_binary64_18146`
23×	`neg-mul-1_binary64_18147`
21×	`associate-+l-_binary64_18086`
20×	`*-lft-identity_binary64_18140`
18×	`unpow3_binary64_18217`
17×	`+-commutative_binary64_18081`
15×	`pow-sqr_binary64_18124` `associate-+r-_binary64_18085`
14×	`cube-mult_binary64_18181`
12×	`cancel-sign-sub-inv_binary64_18117`
11×	`distribute-neg-frac_binary64_18115`
10×	`cube-unmult_binary64_18188` `associate--l-_binary64_18089`
9×	`associate--l+_binary64_18088`
8×	`log-pow_binary64_18240`
6×	`rem-sqrt-square_binary64_18164` `unsub-neg_binary64_18145` `mul-1-neg_binary64_18143` `remove-double-neg_binary64_18139`
5×	`+-rgt-identity_binary64_18136`
4×	`pow-plus_binary64_18214` `div0_binary64_18132` `distribute-rgt-in_binary64_18101` `distribute-lft-in_binary64_18100`
3×	`log-rec_binary64_18239` `unpow1/3_binary64_18218` `unpow1/2_binary64_18215` `distribute-lft-neg-out_binary64_18110`
2×	`unpow2_binary64_18216` `unpow1_binary64_18209` `exp-diff_binary64_18199` `cube-neg_binary64_18178` `count-2_binary64_18099` `associate--r+_binary64_18087`
1×	`exp-sum_binary64_18197` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `rem-3cbrt-lft_binary64_18176` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-neg_binary64_18165` `sub0-neg_binary64_18138` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `remove-double-div_binary64_18127` `distribute-frac-neg_binary64_18114` `distribute-rgt-neg-out_binary64_18111` `distribute-rgt-out_binary64_18104` `distribute-lft-out_binary64_18102`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `pow-base-0_binary64_18235` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-neg_binary64_18198` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `rem-3cbrt-rft_binary64_18177` `sqr-abs_binary64_18166` `rem-square-sqrt_binary64_18163` `--rgt-identity_binary64_18137` `+-lft-identity_binary64_18135` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `cancel-sign-sub_binary64_18116` `distribute-neg-out_binary64_18113` `distribute-neg-in_binary64_18112` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-rgt-out--_binary64_18105` `distribute-lft-out--_binary64_18103` `associate--r-_binary64_18090`

Counts

119 → 96

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	132	1944
1	313	1284
2	1266	1278
3	3826	1254
4	4973	1254

prune66.0ms (0.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	95	11	106

Error

0.0b

Counts

106 → 11

Compiler

Compiled 1204 to 347 computations (71.2% saved)

regimes740.0ms (9.1%)

Accuracy

Total 2.0b remaining (99.5%)

Threshold costs 0b (0%)

Compiler

Compiled 6637 to 4510 computations (32% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_18082

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_18411 if-if-and_binary64_18410 if-if-or-not_binary64_18409 if-if-or_binary64_18408 if-not_binary64_18407 if-same_binary64_18406 if-false_binary64_18405 if-true_binary64_18404 tan-0_binary64_18280 cos-0_binary64_18279 sin-0_binary64_18278 unpow1_binary64_18209 e-exp-1_binary64_18196 1-exp_binary64_18195 exp-1-e_binary64_18194 exp-0_binary64_18193 sqr-abs_binary64_18166 sqr-neg_binary64_18165 neg-mul-1_binary64_18147 neg-sub0_binary64_18146 unsub-neg_binary64_18145 sub-neg_binary64_18144 mul-1-neg_binary64_18143 /-rgt-identity_binary64_18142 *-rgt-identity_binary64_18141 *-lft-identity_binary64_18140 remove-double-neg_binary64_18139 sub0-neg_binary64_18138 --rgt-identity_binary64_18137 +-rgt-identity_binary64_18136 +-lft-identity_binary64_18135 cancel-sign-sub-inv_binary64_18117 cancel-sign-sub_binary64_18116 distribute-neg-frac_binary64_18115 distribute-frac-neg_binary64_18114 distribute-neg-out_binary64_18113 distribute-neg-in_binary64_18112 distribute-rgt-neg-out_binary64_18111 distribute-lft-neg-out_binary64_18110 distribute-rgt-neg-in_binary64_18109 distribute-lft-neg-in_binary64_18108 +-commutative_binary64_18081

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	14	31
2	14	31

Remove

(sort x y)

Compiler

Compiled 38 to 24 computations (36.8% saved)

end0.0ms (0%)

sample1.5s (18.4%)

Algorithm

1×

intervals

Results

285.0ms	8000×	body	128	valid
56.0ms	1560×	body	128	invalid

Compiler

Compiled 996 to 657 computations (34% saved)

Details

analyze1.2s (14.8%)

sample31.0ms (0.4%)

simplify204.0ms (2.5%)

prune4.0ms (0.1%)

localize10.0ms (0.1%)

rewrite40.0ms (0.5%)

series153.0ms (1.9%)

simplify110.0ms (1.4%)

prune24.0ms (0.3%)

localize8.0ms (0.1%)

rewrite106.0ms (1.3%)

series845.0ms (10.4%)

simplify147.0ms (1.8%)

prune66.0ms (0.8%)

localize14.0ms (0.2%)

rewrite232.0ms (2.9%)

series966.0ms (11.9%)

simplify148.0ms (1.8%)

prune92.0ms (1.1%)

localize8.0ms (0.1%)

rewrite112.0ms (1.4%)

series1.2s (14.8%)

simplify89.0ms (1.1%)

prune66.0ms (0.8%)

regimes740.0ms (9.1%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample1.5s (18.4%)

Profiling