Details

analyze2.3s (10.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

606×	`associate-r_binary64_24229`
578×	`associate-l_binary64_24230`
364×	`neg-mul-1_binary64_24285`
352×	`distribute-rgt-in_binary64_24239` `distribute-lft-in_binary64_24238`
323×	`distribute-neg-in_binary64_24250`
293×	`cancel-sign-sub-inv_binary64_24255`
252×	`sub-neg_binary64_24282`
236×	`distribute-lft-neg-out_binary64_24248`
178×	`neg-sub0_binary64_24284`
168×	`distribute-rgt-neg-in_binary64_24247`
145×	`+-commutative_binary64_24219`
126×	`*-commutative_binary64_24220`
122×	`distribute-rgt-neg-out_binary64_24249`
50×	`distribute-lft-neg-in_binary64_24246`
37×	`associate-+l-_binary64_24224` `associate-+r-_binary64_24223` `associate-+l+_binary64_24222` `associate-+r+_binary64_24221`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-pow_binary64_24378` `log-rec_binary64_24377` `log-div_binary64_24376` `log-prod_binary64_24375` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow3_binary64_24355` `unpow2_binary64_24354` `unpow1/2_binary64_24353` `pow-plus_binary64_24352` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow1_binary64_24347` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `exp-prod_binary64_24341` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-diff_binary64_24337` `exp-neg_binary64_24336` `exp-sum_binary64_24335` `e-exp-1_binary64_24334` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `rem-exp-log_binary64_24329` `cube-unmult_binary64_24326` `cube-mult_binary64_24319` `cube-div_binary64_24318` `cube-prod_binary64_24317` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-3cbrt-lft_binary64_24314` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `times-frac_binary64_24295` `div-sub_binary64_24294` `unsub-neg_binary64_24283` `mul-1-neg_binary64_24281` `/-rgt-identity_binary64_24280` `-rgt-identity_binary64_24279` `-lft-identity_binary64_24278` `remove-double-neg_binary64_24277` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-rgt-identity_binary64_24274` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `div0_binary64_24270` `-inverses_binary64_24269` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `pow-sqr_binary64_24262` `sqr-pow_binary64_24261` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `difference-of-squares_binary64_24258` `unswap-sqr_binary64_24257` `swap-sqr_binary64_24256` `cancel-sign-sub_binary64_24254` `distribute-neg-frac_binary64_24253` `distribute-frac-neg_binary64_24252` `distribute-neg-out_binary64_24251` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `distribute-rgt-out--_binary64_24243` `distribute-rgt-out_binary64_24242` `distribute-lft-out--_binary64_24241` `distribute-lft-out_binary64_24240` `count-2_binary64_24237` `associate-/l/_binary64_24236` `associate-/r/_binary64_24235` `associate-/l_binary64_24234` `associate-/r_binary64_24233` `associate-l/_binary64_24232` `associate-*r/_binary64_24231` `associate--r-_binary64_24228` `associate--l-_binary64_24227` `associate--l+_binary64_24226` `associate--r+_binary64_24225`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	299	1591
1	849	1591
2	2199	1591
3	4927	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	386×	body	128	invalid
24.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify802.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1512×	`associate--r-_binary64_24228`
1091×	`sub-neg_binary64_24282`
807×	`unsub-neg_binary64_24283`
421×	`distribute-neg-in_binary64_24250`
393×	`+-commutative_binary64_24219`
344×	`distribute-rgt-in_binary64_24239`
343×	`neg-sub0_binary64_24284`
323×	`distribute-rgt-neg-in_binary64_24247` `distribute-rgt-out_binary64_24242`
291×	`*-commutative_binary64_24220`
281×	`neg-mul-1_binary64_24285`
263×	`cancel-sign-sub-inv_binary64_24255`
259×	`distribute-neg-out_binary64_24251`
232×	`distribute-lft-in_binary64_24238` `associate-+l+_binary64_24222`
224×	`associate-+r-_binary64_24223`
215×	`distribute-lft-neg-in_binary64_24246` `associate-+l-_binary64_24224`
200×	`distribute-rgt-out--_binary64_24243`
185×	`distribute-lft-neg-out_binary64_24248`
179×	`associate--l-_binary64_24227`
175×	`associate--r+_binary64_24225`
168×	`remove-double-neg_binary64_24277`
161×	`associate--l+_binary64_24226`
139×	`distribute-rgt-neg-out_binary64_24249`
136×	`associate-l_binary64_24230`
126×	`associate-r_binary64_24229`
88×	`distribute-lft-out_binary64_24240`
79×	`distribute-lft-out--_binary64_24241`
72×	`mul0-rgt_binary64_24272` `mul0-lft_binary64_24271`
62×	`mul-1-neg_binary64_24281`
61×	`sub0-neg_binary64_24276`
54×	`associate-+r+_binary64_24221`
36×	`*-rgt-identity_binary64_24279`
31×	`*-lft-identity_binary64_24278`
27×	`+-rgt-identity_binary64_24274`
16×	`--rgt-identity_binary64_24275`
8×	`cancel-sign-sub_binary64_24254`
1×	`1-exp_binary64_24333` `+-lft-identity_binary64_24273`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-pow_binary64_24378` `log-rec_binary64_24377` `log-div_binary64_24376` `log-prod_binary64_24375` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow3_binary64_24355` `unpow2_binary64_24354` `unpow1/2_binary64_24353` `pow-plus_binary64_24352` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow1_binary64_24347` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `exp-prod_binary64_24341` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-diff_binary64_24337` `exp-neg_binary64_24336` `exp-sum_binary64_24335` `e-exp-1_binary64_24334` `exp-1-e_binary64_24332` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `rem-exp-log_binary64_24329` `cube-unmult_binary64_24326` `cube-mult_binary64_24319` `cube-div_binary64_24318` `cube-prod_binary64_24317` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-3cbrt-lft_binary64_24314` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `times-frac_binary64_24295` `div-sub_binary64_24294` `/-rgt-identity_binary64_24280` `div0_binary64_24270` `-inverses_binary64_24269` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `pow-sqr_binary64_24262` `sqr-pow_binary64_24261` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `difference-of-squares_binary64_24258` `unswap-sqr_binary64_24257` `swap-sqr_binary64_24256` `distribute-neg-frac_binary64_24253` `distribute-frac-neg_binary64_24252` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `count-2_binary64_24237` `associate-/l/_binary64_24236` `associate-/r/_binary64_24235` `associate-/l_binary64_24234` `associate-/r_binary64_24233` `associate-l/_binary64_24232` `associate-*r/_binary64_24231`

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	2361	43
6	2824	43
7	3291	43
8	3449	43
9	3379	43
10	3424	43
11	3420	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

prune5.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

13.7b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 (.f64 c a) (.f64 y i))
4.9b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
6.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.1b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

rewrite178.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

13.6b

Rules

16×	`add-sqr-sqrt_binary64_24311`
10×	`pow1_binary64_24350` `add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325` `add-cube-cbrt_binary64_24324` `*-un-lft-identity_binary64_24289`
9×	`associate-l_binary64_24230` `associate-r_binary64_24229`
7×	`sub-neg_binary64_24282` `cancel-sign-sub-inv_binary64_24255`
6×	`add-log-exp_binary64_24328` `distribute-rgt-in_binary64_24239` `distribute-lft-in_binary64_24238` `associate-*r/_binary64_24231`
4×	`flip3--_binary64_24293` `flip--_binary64_24264`
3×	`pow-prod-down_binary64_24360` `prod-exp_binary64_24338` `cbrt-unprod_binary64_24322` `unswap-sqr_binary64_24257` `*-commutative_binary64_24220`
1×	`diff-log_binary64_24381`

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 t i)))
7.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
4.0ms	(-.f64 (.f64 c a) (.f64 y i))

Compiler

Compiled 3151 to 425 computations (86.5% saved)

series1.6s (7.4%)

Error

4.8b

Counts

4 → 105

Calls

4 calls:

440.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
433.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
423.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
243.0ms	(-.f64 (.f64 c a) (.f64 y i))

Compiler

Compiled 7671 to 3912 computations (49% saved)

simplify142.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

368×	`distribute-rgt-in_binary64_24239`
361×	`distribute-lft-in_binary64_24238`
302×	`exp-prod_binary64_24341`
281×	`associate-l_binary64_24230`
270×	`cancel-sign-sub-inv_binary64_24255`
242×	`associate-r_binary64_24229`
213×	`neg-mul-1_binary64_24285`
149×	`*-commutative_binary64_24220`
146×	`unsub-neg_binary64_24283`
143×	`distribute-rgt-neg-in_binary64_24247`
138×	`neg-sub0_binary64_24284`
115×	`exp-sum_binary64_24335`
114×	`sqr-pow_binary64_24261` `distribute-lft-neg-in_binary64_24246`
110×	`*-lft-identity_binary64_24278`
106×	`*-rgt-identity_binary64_24279`
104×	`sub-neg_binary64_24282`
66×	`difference-of-squares_binary64_24258`
60×	`swap-sqr_binary64_24256`
56×	`distribute-lft-neg-out_binary64_24248`
51×	`cube-prod_binary64_24317`
43×	`exp-diff_binary64_24337`
42×	`unswap-sqr_binary64_24257`
36×	`times-frac_binary64_24295`
35×	`mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `distribute-rgt-neg-out_binary64_24249`
33×	`+-commutative_binary64_24219`
29×	`div-sub_binary64_24294`
27×	`log-prod_binary64_24375`
18×	`pow-sqr_binary64_24262` `distribute-rgt-out_binary64_24242`
13×	`sqr-neg_binary64_24303`
12×	`unpow3_binary64_24355` `cube-unmult_binary64_24326` `cube-mult_binary64_24319` `sub0-neg_binary64_24276` `+-rgt-identity_binary64_24274` `associate-+l-_binary64_24224` `associate-+r-_binary64_24223` `associate-+l+_binary64_24222`
9×	`associate-+r+_binary64_24221`
8×	`distribute-lft-out_binary64_24240`
6×	`unpow1/2_binary64_24353` `cube-neg_binary64_24316` `rem-sqrt-square_binary64_24302`
5×	`mul-1-neg_binary64_24281`
2×	`distribute-rgt-out--_binary64_24243`
1×	`div-exp_binary64_24340` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `associate-/l_binary64_24234` `associate-/r_binary64_24233`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-pow_binary64_24378` `log-rec_binary64_24377` `log-div_binary64_24376` `pow-base-0_binary64_24373` `unpow1/3_binary64_24356` `unpow2_binary64_24354` `pow-plus_binary64_24352` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow1_binary64_24347` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-neg_binary64_24336` `e-exp-1_binary64_24334` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `rem-exp-log_binary64_24329` `cube-div_binary64_24318` `rem-3cbrt-rft_binary64_24315` `rem-3cbrt-lft_binary64_24314` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `rem-square-sqrt_binary64_24301` `/-rgt-identity_binary64_24280` `remove-double-neg_binary64_24277` `--rgt-identity_binary64_24275` `+-lft-identity_binary64_24273` `div0_binary64_24270` `-inverses_binary64_24269` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `cancel-sign-sub_binary64_24254` `distribute-neg-frac_binary64_24253` `distribute-frac-neg_binary64_24252` `distribute-neg-out_binary64_24251` `distribute-neg-in_binary64_24250` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `distribute-lft-out--_binary64_24241` `count-2_binary64_24237` `associate-/l/_binary64_24236` `associate-/r/_binary64_24235` `associate-l/_binary64_24232` `associate-*r/_binary64_24231` `associate--r-_binary64_24228` `associate--l-_binary64_24227` `associate--l+_binary64_24226` `associate--r+_binary64_24225`

Counts

189 → 166

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	196	2626
1	472	2443
2	1544	2443
3	3593	2443
4	4647	2443
5	4952	2443

prune230.0ms (1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	149	17	166
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	150	17	167

Error

4.8b

Counts

167 → 17

Compiler

Compiled 5870 to 771 computations (86.9% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.9b	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j)))
3.2b	(.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j))
6.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.1b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

rewrite198.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

22×	`pow1_binary64_24350` `add-exp-log_binary64_24327`
19×	`add-sqr-sqrt_binary64_24311`
15×	`add-cbrt-cube_binary64_24325`
13×	`associate-r_binary64_24229`
11×	`pow-prod-down_binary64_24360` `prod-exp_binary64_24338` `add-cube-cbrt_binary64_24324` `cbrt-unprod_binary64_24322` `*-un-lft-identity_binary64_24289`
10×	`associate-l_binary64_24230`
6×	`associate-*r/_binary64_24231`
4×	`add-log-exp_binary64_24328` `unswap-sqr_binary64_24257` `sub-neg_binary64_24282` `distribute-rgt-in_binary64_24239` `cancel-sign-sub-inv_binary64_24255` `distribute-lft-in_binary64_24238` `flip3--_binary64_24293` `flip--_binary64_24264` `-commutative_binary64_24220` `cbrt-prod_binary64_24320` `associate-l/_binary64_24232`

Counts

4 → 96

Calls

4 calls:

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

Compiler

Compiled 4356 to 487 computations (88.8% saved)

series2.4s (10.7%)

Error

4.8b

Counts

4 → 108

Calls

4 calls:

957.0ms	(.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j))
447.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
435.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
408.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j)))

Compiler

Compiled 9630 to 4793 computations (50.2% saved)

simplify106.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

665×	`distribute-rgt-in_binary64_24239`
658×	`distribute-lft-in_binary64_24238`
364×	`associate-l_binary64_24230`
337×	`associate-r_binary64_24229`
178×	`*-commutative_binary64_24220`
169×	`cancel-sign-sub-inv_binary64_24255` `distribute-rgt-neg-in_binary64_24247`
143×	`distribute-lft-neg-in_binary64_24246`
91×	`exp-prod_binary64_24341`
75×	`unswap-sqr_binary64_24257`
74×	`distribute-lft-neg-out_binary64_24248`
71×	`sqr-pow_binary64_24261`
53×	`neg-sub0_binary64_24284`
52×	`log-prod_binary64_24375`
51×	`distribute-rgt-neg-out_binary64_24249`
45×	`neg-mul-1_binary64_24285`
41×	`sub-neg_binary64_24282` `-rgt-identity_binary64_24279` `-lft-identity_binary64_24278`
37×	`cube-prod_binary64_24317` `swap-sqr_binary64_24256`
25×	`exp-sum_binary64_24335`
22×	`+-commutative_binary64_24219`
13×	`unpow3_binary64_24355` `cube-unmult_binary64_24326` `cube-mult_binary64_24319`
11×	`exp-diff_binary64_24337`
10×	`mul-1-neg_binary64_24281` `distribute-neg-in_binary64_24250`
9×	`difference-of-squares_binary64_24258`
6×	`pow-sqr_binary64_24262` `associate-+r+_binary64_24221`
5×	`div-sub_binary64_24294` `associate-+l+_binary64_24222`
4×	`log-pow_binary64_24378` `pow-plus_binary64_24352` `distribute-rgt-out_binary64_24242`
3×	`rem-sqrt-square_binary64_24302` `unsub-neg_binary64_24283` `remove-double-neg_binary64_24277` `distribute-rgt-out--_binary64_24243`
2×	`unpow1/3_binary64_24356` `+-rgt-identity_binary64_24274` `associate-+r-_binary64_24223`
1×	`1-exp_binary64_24333` `exp-1-e_binary64_24332` `rem-3cbrt-rft_binary64_24315` `rem-3cbrt-lft_binary64_24314` `rem-cube-cbrt_binary64_24312` `distribute-lft-out--_binary64_24241` `distribute-lft-out_binary64_24240` `count-2_binary64_24237`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `log-rec_binary64_24377` `log-div_binary64_24376` `pow-base-0_binary64_24373` `unpow2_binary64_24354` `unpow1/2_binary64_24353` `exp-to-pow_binary64_24351` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow1_binary64_24347` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-neg_binary64_24336` `e-exp-1_binary64_24334` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `rem-exp-log_binary64_24329` `cube-div_binary64_24318` `cube-neg_binary64_24316` `rem-cbrt-cube_binary64_24313` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `rem-square-sqrt_binary64_24301` `times-frac_binary64_24295` `/-rgt-identity_binary64_24280` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `div0_binary64_24270` `-inverses_binary64_24269` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `cancel-sign-sub_binary64_24254` `distribute-neg-frac_binary64_24253` `distribute-frac-neg_binary64_24252` `distribute-neg-out_binary64_24251` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `associate-/l/_binary64_24236` `associate-/r/_binary64_24235` `associate-/l_binary64_24234` `associate-/r_binary64_24233` `associate-l/_binary64_24232` `associate-*r/_binary64_24231` `associate--r-_binary64_24228` `associate--l-_binary64_24227` `associate--l+_binary64_24226` `associate--r+_binary64_24225` `associate-+l-_binary64_24224`

Counts

204 → 174

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	226	3510
1	571	2853
2	2002	2853
3	5806	2853

prune241.0ms (1.1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	172	2	174
Fresh	1	15	16
Picked	1	0	1
Done	0	0	0
Total	174	17	191

Error

4.8b

Counts

191 → 17

Compiler

Compiled 7006 to 820 computations (88.3% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.0b	(cbrt.f64 (.f64 (-.f64 (.f64 z c) (*.f64 t i)) b))
7.1b	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
7.1b	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
7.1b	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)

rewrite166.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

16×	`add-sqr-sqrt_binary64_24311`
10×	`pow1_binary64_24350` `add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325` `add-cube-cbrt_binary64_24324` `*-un-lft-identity_binary64_24289`
9×	`associate-l_binary64_24230` `associate-r_binary64_24229`
8×	`associate-*l/_binary64_24232`
4×	`add-log-exp_binary64_24328` `flip3--_binary64_24293` `flip--_binary64_24264`
3×	`pow-prod-down_binary64_24360` `prod-exp_binary64_24338` `cbrt-unprod_binary64_24322` `unswap-sqr_binary64_24257` `*-commutative_binary64_24220`
2×	`cbrt-div_binary64_24321`
1×	`pow1/3_binary64_24371` `cbrt-prod_binary64_24320`

Counts

4 → 71

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
7.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
7.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
5.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 z c) (*.f64 t i)) b))

Compiler

Compiled 4385 to 433 computations (90.1% saved)

series2.2s (9.8%)

Error

4.8b

Counts

4 → 104

Calls

4 calls:

709.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 z c) (*.f64 t i)) b))
450.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
448.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)
412.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 t i)) b)

Compiler

Compiled 14947 to 6139 computations (58.9% saved)

simplify126.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

497×	`times-frac_binary64_24295`
392×	`associate-/l*_binary64_24234`
336×	`associate-/r*_binary64_24233`
180×	`distribute-rgt-in_binary64_24239`
178×	`distribute-lft-in_binary64_24238`
170×	`distribute-lft-neg-in_binary64_24246`
168×	`distribute-rgt-neg-in_binary64_24247`
144×	`cancel-sign-sub-inv_binary64_24255`
140×	`associate-/r/_binary64_24235`
125×	`associate-r_binary64_24229`
111×	`associate-l_binary64_24230`
97×	`*-commutative_binary64_24220`
81×	`distribute-neg-frac_binary64_24253`
76×	`exp-sum_binary64_24335`
71×	`sub-neg_binary64_24282`
69×	`sqr-pow_binary64_24261`
53×	`neg-sub0_binary64_24284`
48×	`exp-prod_binary64_24341` `neg-mul-1_binary64_24285`
43×	`associate-*r/_binary64_24231`
36×	`log-prod_binary64_24375`
29×	`unsub-neg_binary64_24283`
27×	`unswap-sqr_binary64_24257` `+-commutative_binary64_24219`
25×	`distribute-lft-neg-out_binary64_24248` `associate-*l/_binary64_24232`
23×	`associate-/l/_binary64_24236`
21×	`distribute-rgt-neg-out_binary64_24249` `distribute-lft-out_binary64_24240`
17×	`distribute-rgt-out_binary64_24242`
16×	`div-sub_binary64_24294`
13×	`unpow1/3_binary64_24356` `exp-diff_binary64_24337` `distribute-neg-out_binary64_24251`
11×	`pow-sqr_binary64_24262` `swap-sqr_binary64_24256`
10×	`log-div_binary64_24376` `cube-prod_binary64_24317` `distribute-neg-in_binary64_24250` `associate--r-_binary64_24228` `associate-+l+_binary64_24222`
8×	`log-pow_binary64_24378` `-rgt-identity_binary64_24279` `-lft-identity_binary64_24278` `distribute-frac-neg_binary64_24252` `associate--l+_binary64_24226`
7×	`unpow3_binary64_24355` `cube-mult_binary64_24319`
6×	`cube-unmult_binary64_24326` `mul-1-neg_binary64_24281`
5×	`log-rec_binary64_24377` `remove-double-neg_binary64_24277`
4×	`associate-+r+_binary64_24221`
3×	`exp-to-pow_binary64_24351` `difference-of-squares_binary64_24258`
2×	`unpow2_binary64_24354` `unpow1/2_binary64_24353` `unpow1_binary64_24347` `distribute-lft-out--_binary64_24241`
1×	`pow-plus_binary64_24352` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `rem-exp-log_binary64_24329` `rem-3cbrt-lft_binary64_24314`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `pow-base-0_binary64_24373` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-neg_binary64_24336` `e-exp-1_binary64_24334` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `cube-div_binary64_24318` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `/-rgt-identity_binary64_24280` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-rgt-identity_binary64_24274` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `div0_binary64_24270` `*-inverses_binary64_24269` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `cancel-sign-sub_binary64_24254` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `distribute-rgt-out--_binary64_24243` `count-2_binary64_24237` `associate--l-_binary64_24227` `associate--r+_binary64_24225` `associate-+l-_binary64_24224` `associate-+r-_binary64_24223`

Counts

175 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	177	3124
1	502	2762
2	1595	2736
3	4998	2736
4	4977	2736

prune248.0ms (1.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	133	19	152

Error

4.8b

Counts

152 → 19

Compiler

Compiled 8300 to 968 computations (88.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.2b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
5.2b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
6.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.1b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

rewrite164.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

4.7b

Rules

12×	`add-sqr-sqrt_binary64_24311`
8×	`pow1_binary64_24350` `add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325` `add-cube-cbrt_binary64_24324` `-un-lft-identity_binary64_24289` `associate-r/_binary64_24231`
6×	`associate-l_binary64_24230` `associate-r_binary64_24229`
4×	`add-log-exp_binary64_24328` `sub-neg_binary64_24282` `distribute-rgt-in_binary64_24239` `cancel-sign-sub-inv_binary64_24255` `distribute-lft-in_binary64_24238` `flip3--_binary64_24293` `flip--_binary64_24264` `cbrt-div_binary64_24321`
2×	`pow-prod-down_binary64_24360` `prod-exp_binary64_24338` `cbrt-unprod_binary64_24322` `unswap-sqr_binary64_24257` `*-commutative_binary64_24220` `pow1/3_binary64_24371` `cbrt-prod_binary64_24320`

Counts

4 → 70

Calls

4 calls:

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

Compiler

Compiled 4282 to 386 computations (91% saved)

series2.6s (11.8%)

Error

4.7b

Counts

4 → 106

Calls

4 calls:

794.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
773.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))
436.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
413.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

Compiler

Compiled 16750 to 7209 computations (57% saved)

simplify124.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

323×	`distribute-rgt-neg-in_binary64_24247`
321×	`cancel-sign-sub-inv_binary64_24255`
313×	`associate-r_binary64_24229`
299×	`associate-l_binary64_24230`
203×	`*-commutative_binary64_24220`
192×	`times-frac_binary64_24295`
132×	`distribute-neg-frac_binary64_24253`
130×	`unswap-sqr_binary64_24257`
117×	`associate-/l*_binary64_24234`
110×	`sub-neg_binary64_24282`
101×	`sqr-pow_binary64_24261`
93×	`associate-/r*_binary64_24233`
88×	`neg-sub0_binary64_24284`
82×	`neg-mul-1_binary64_24285`
74×	`exp-sum_binary64_24335`
57×	`associate-*r/_binary64_24231`
54×	`distribute-lft-neg-out_binary64_24248`
51×	`distribute-lft-neg-in_binary64_24246`
46×	`log-prod_binary64_24375`
44×	`+-commutative_binary64_24219`
42×	`exp-prod_binary64_24341`
38×	`unsub-neg_binary64_24283`
37×	`distribute-rgt-neg-out_binary64_24249`
36×	`distribute-rgt-in_binary64_24239` `associate-*l/_binary64_24232`
35×	`distribute-lft-in_binary64_24238`
29×	`*-lft-identity_binary64_24278`
25×	`*-rgt-identity_binary64_24279`
23×	`cube-prod_binary64_24317`
21×	`distribute-neg-in_binary64_24250`
19×	`swap-sqr_binary64_24256`
16×	`exp-diff_binary64_24337`
14×	`div-sub_binary64_24294` `difference-of-squares_binary64_24258`
13×	`distribute-neg-out_binary64_24251` `associate-+l+_binary64_24222`
12×	`unpow1/3_binary64_24356` `unpow3_binary64_24355` `cube-mult_binary64_24319`
11×	`pow-sqr_binary64_24262`
10×	`log-div_binary64_24376` `associate--r-_binary64_24228`
9×	`associate-/r/_binary64_24235`
8×	`cube-unmult_binary64_24326` `associate--l+_binary64_24226`
7×	`mul-1-neg_binary64_24281`
6×	`associate--r+_binary64_24225` `associate-+r+_binary64_24221`
5×	`log-rec_binary64_24377` `remove-double-neg_binary64_24277`
4×	`log-pow_binary64_24378` `unpow2_binary64_24354` `unpow1/2_binary64_24353` `unpow1_binary64_24347` `distribute-rgt-out_binary64_24242`
2×	`exp-to-pow_binary64_24351` `+-rgt-identity_binary64_24274` `associate-+r-_binary64_24223`
1×	`1-exp_binary64_24333` `exp-1-e_binary64_24332` `rem-3cbrt-lft_binary64_24314` `distribute-rgt-out--_binary64_24243`
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_24552` `erf-erfc_binary64_24551` `erf-odd_binary64_24550` `if-if-and-not_binary64_24549` `if-if-and_binary64_24548` `if-if-or-not_binary64_24547` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `not-gte_binary64_24541` `not-lte_binary64_24540` `not-gt_binary64_24539` `not-lt_binary64_24538` `gte-same_binary64_24537` `lte-same_binary64_24536` `gt-same_binary64_24535` `lt-same_binary64_24534` `sinh---cosh_binary64_24481` `sinh-+-cosh_binary64_24480` `sinh-cosh_binary64_24479` `tanh-def-c_binary64_24478` `tanh-def-b_binary64_24477` `tanh-def-a_binary64_24476` `cosh-def_binary64_24475` `sinh-def_binary64_24474` `tan-neg_binary64_24421` `cos-neg_binary64_24420` `sin-neg_binary64_24419` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `hang-m-tan_binary64_24415` `hang-p-tan_binary64_24414` `hang-m0-tan_binary64_24413` `hang-p0-tan_binary64_24412` `hang-0m-tan_binary64_24411` `hang-0p-tan_binary64_24410` `tan-+PI/2_binary64_24409` `tan-+PI_binary64_24408` `tan-PI_binary64_24407` `tan-PI/3_binary64_24406` `tan-PI/4_binary64_24405` `tan-PI/6_binary64_24404` `cos-+PI/2_binary64_24403` `cos-+PI_binary64_24402` `cos-PI_binary64_24401` `cos-PI/2_binary64_24400` `cos-PI/3_binary64_24399` `cos-PI/4_binary64_24398` `cos-PI/6_binary64_24397` `sin-+PI/2_binary64_24396` `sin-+PI_binary64_24395` `sin-PI_binary64_24394` `sin-PI/2_binary64_24393` `sin-PI/3_binary64_24392` `sin-PI/4_binary64_24391` `sin-PI/6_binary64_24390` `sub-1-sin_binary64_24389` `sub-1-cos_binary64_24388` `-1-add-sin_binary64_24387` `-1-add-cos_binary64_24386` `1-sub-sin_binary64_24385` `1-sub-cos_binary64_24384` `cos-sin-sum_binary64_24383` `log-E_binary64_24379` `pow-base-0_binary64_24373` `pow-plus_binary64_24352` `pow-base-1_binary64_24349` `unpow0_binary64_24348` `unpow-1_binary64_24346` `exp-lft-cube_binary64_24345` `exp-lft-sqr_binary64_24344` `exp-cbrt_binary64_24343` `exp-sqrt_binary64_24342` `div-exp_binary64_24340` `rec-exp_binary64_24339` `prod-exp_binary64_24338` `exp-neg_binary64_24336` `e-exp-1_binary64_24334` `exp-0_binary64_24331` `rem-log-exp_binary64_24330` `rem-exp-log_binary64_24329` `cube-div_binary64_24318` `cube-neg_binary64_24316` `rem-3cbrt-rft_binary64_24315` `rem-cbrt-cube_binary64_24313` `rem-cube-cbrt_binary64_24312` `sqr-abs_binary64_24304` `sqr-neg_binary64_24303` `rem-sqrt-square_binary64_24302` `rem-square-sqrt_binary64_24301` `/-rgt-identity_binary64_24280` `sub0-neg_binary64_24276` `--rgt-identity_binary64_24275` `+-lft-identity_binary64_24273` `mul0-rgt_binary64_24272` `mul0-lft_binary64_24271` `div0_binary64_24270` `*-inverses_binary64_24269` `+-inverses_binary64_24268` `lft-mult-inverse_binary64_24267` `rgt-mult-inverse_binary64_24266` `remove-double-div_binary64_24265` `difference-of-sqr--1_binary64_24260` `difference-of-sqr-1_binary64_24259` `cancel-sign-sub_binary64_24254` `distribute-frac-neg_binary64_24252` `distribute-rgt1-in_binary64_24245` `distribute-lft1-in_binary64_24244` `distribute-lft-out--_binary64_24241` `distribute-lft-out_binary64_24240` `count-2_binary64_24237` `associate-/l/_binary64_24236` `associate--l-_binary64_24227` `associate-+l-_binary64_24224`

Counts

176 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	305	4032
1	839	3878
2	3074	3806
3	4982	3806

prune228.0ms (1%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	17	17
Picked	0	1	1
Done	0	1	1
Total	140	19	159

Error

4.8b

Counts

159 → 19

Compiler

Compiled 8292 to 885 computations (89.3% saved)

regimes3.0s (13.6%)

Accuracy

Total 6.6b remaining (69.5%)

Threshold costs 0b (0%)

Compiler

Compiled 35916 to 23038 computations (35.9% saved)

bsearch177.0ms (0.8%)

Steps

Iters	Range		Point
11	1.0548772403736116e+30	6.938237642747248e+57	2.436472994238313e+50
8	-1.8078664105506002e-23	-3.346640650282338e-27	-4.046974014058153e-27

Compiler

Compiled 1 to 9 computations (-800% saved)

simplify43.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

181×	`unsub-neg_binary64_24283`
178×	`neg-mul-1_binary64_24285` `neg-sub0_binary64_24284`
149×	`distribute-rgt-neg-out_binary64_24249`
146×	`distribute-rgt-neg-in_binary64_24247`
129×	`distribute-neg-out_binary64_24251`
122×	`distribute-lft-neg-out_binary64_24248`
106×	`cancel-sign-sub-inv_binary64_24255`
102×	`distribute-lft-neg-in_binary64_24246`
83×	`remove-double-neg_binary64_24277`
65×	`sub-neg_binary64_24282`
55×	`distribute-neg-in_binary64_24250` `*-commutative_binary64_24220`
47×	`+-commutative_binary64_24219`
1×	`if-if-or-not_binary64_24547` `sqr-neg_binary64_24303` `--rgt-identity_binary64_24275`
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_24549` `if-if-and_binary64_24548` `if-if-or_binary64_24546` `if-not_binary64_24545` `if-same_binary64_24544` `if-false_binary64_24543` `if-true_binary64_24542` `tan-0_binary64_24418` `cos-0_binary64_24417` `sin-0_binary64_24416` `unpow1_binary64_24347` `e-exp-1_binary64_24334` `1-exp_binary64_24333` `exp-1-e_binary64_24332` `exp-0_binary64_24331` `sqr-abs_binary64_24304` `mul-1-neg_binary64_24281` `/-rgt-identity_binary64_24280` `-rgt-identity_binary64_24279` `-lft-identity_binary64_24278` `sub0-neg_binary64_24276` `+-rgt-identity_binary64_24274` `+-lft-identity_binary64_24273` `cancel-sign-sub_binary64_24254` `distribute-neg-frac_binary64_24253` `distribute-frac-neg_binary64_24252`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	106
1	95	106
2	145	106
3	210	106
4	284	106
5	341	106
6	435	106
7	620	106
8	563	106
9	607	106
10	645	106
11	687	106
12	737	106
13	788	106
14	821	106
15	850	106
16	870	106
17	879	106
18	881	106
19	881	106

end0.0ms (0%)

sample4.6s (20.8%)

Algorithm

1×

intervals

Results

884.0ms	11060×	body	128	invalid
635.0ms	8000×	body	128	valid

Compiler

Compiled 3800 to 2410 computations (36.6% saved)

Iter	Nodes	Cost
0	43	106
1	95	106
2	145	106
3	210	106
4	284	106
5	341	106
6	435	106
7	620	106
8	563	106
9	607	106
10	645	106
11	687	106
12	737	106
13	788	106
14	821	106
15	850	106
16	870	106
17	879	106
18	881	106
19	881	106

Iter	Nodes	Cost
0	43	106
1	95	106
2	145	106
3	210	106
4	284	106
5	341	106
6	435	106
7	620	106
8	563	106
9	607	106
10	645	106
11	687	106
12	737	106
13	788	106
14	821	106
15	850	106
16	870	106
17	879	106
18	881	106
19	881	106

Details

analyze2.3s (10.6%)

sample97.0ms (0.4%)

simplify802.0ms (3.6%)

prune5.0ms (0%)

localize25.0ms (0.1%)

rewrite178.0ms (0.8%)

series1.6s (7.4%)

simplify142.0ms (0.6%)

prune230.0ms (1%)

localize25.0ms (0.1%)

rewrite198.0ms (0.9%)

series2.4s (10.7%)

simplify106.0ms (0.5%)

prune241.0ms (1.1%)

localize25.0ms (0.1%)

rewrite166.0ms (0.7%)

series2.2s (9.8%)

simplify126.0ms (0.6%)

prune248.0ms (1.1%)

localize27.0ms (0.1%)

rewrite164.0ms (0.7%)

series2.6s (11.8%)

simplify124.0ms (0.6%)

prune228.0ms (1%)

regimes3.0s (13.6%)

bsearch177.0ms (0.8%)

simplify43.0ms (0.2%)

end0.0ms (0%)

sample4.6s (20.8%)

Profiling

Iter	Nodes	Cost
0	43	106
1	95	106
2	145	106
3	210	106
4	284	106
5	341	106
6	435	106
7	620	106
8	563	106
9	607	106
10	645	106
11	687	106
12	737	106
13	788	106
14	821	106
15	850	106
16	870	106
17	879	106
18	881	106
19	881	106