Details

analyze492.0ms (5.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
49.9%	49.9%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
49.9%	49.9%	0.2%	7
53%	46.8%	0.2%	8
57.7%	42.1%	0.2%	9
61.6%	38.2%	0.2%	10
63.5%	30%	6.4%	11
63.5%	30%	6.4%	12
67.6%	25.9%	6.4%	13
68.9%	24.7%	6.4%	14

Compiler

Compiled 16 to 15 computations (6.3% saved)

sample95.0ms (1%)

Algorithm

1×

intervals

Results

19.0ms	46×	body	1024	valid
13.0ms	145×	body	128	valid
12.0ms	46×	body	1024	invalid
10.0ms	43×	body	512	valid
7.0ms	102×	body	128	invalid
5.0ms	28×	body	512	invalid
3.0ms	21×	body	256	valid
2.0ms	19×	body	256	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify136.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

554×	`associate-/l*_binary64_705`
401×	`associate-/r*_binary64_704`
318×	`associate-l_binary64_701`
285×	`cancel-sign-sub-inv_binary64_726`
273×	`distribute-rgt-in_binary64_710`
247×	`associate-r_binary64_700`
245×	`associate-*r/_binary64_702`
209×	`*-commutative_binary64_691`
188×	`distribute-lft-in_binary64_709`
182×	`div-sub_binary64_765`
164×	`associate-*l/_binary64_703`
146×	`times-frac_binary64_766`
139×	`associate-/r/_binary64_706`
136×	`associate-/l/_binary64_707`
122×	`distribute-rgt-neg-in_binary64_718`
117×	`distribute-rgt-neg-out_binary64_720` `distribute-lft-neg-out_binary64_719`
110×	`unsub-neg_binary64_754`
102×	`distribute-lft-neg-in_binary64_717`
87×	`neg-sub0_binary64_755` `sub-neg_binary64_753`
75×	`neg-mul-1_binary64_756`
69×	`unswap-sqr_binary64_728`
60×	`distribute-frac-neg_binary64_723`
44×	`distribute-neg-in_binary64_721`
34×	`sqr-pow_binary64_732`
30×	`*-lft-identity_binary64_749`
26×	`distribute-neg-frac_binary64_724` `associate--r+_binary64_696`
24×	`*-rgt-identity_binary64_750`
23×	`pow-sqr_binary64_733`
22×	`mul0-lft_binary64_742`
21×	`associate-+l+_binary64_693`
20×	`mul0-rgt_binary64_743`
19×	`associate-+l-_binary64_695`
17×	`/-rgt-identity_binary64_751` `+-commutative_binary64_690`
16×	`associate-+r+_binary64_692`
14×	`sub0-neg_binary64_747`
13×	`div0_binary64_741`
10×	`exp-sum_binary64_806`
8×	`cube-prod_binary64_788` `--rgt-identity_binary64_746` `associate-+r-_binary64_694`
7×	`exp-diff_binary64_808` `distribute-rgt-out_binary64_713`
6×	`cube-unmult_binary64_797` `+-rgt-identity_binary64_745` `associate--r-_binary64_699` `associate--l+_binary64_697`
4×	`remove-double-neg_binary64_748` `associate--l-_binary64_698`
3×	`pow-plus_binary64_823` `exp-prod_binary64_812` `mul-1-neg_binary64_752` `distribute-neg-out_binary64_722` `distribute-rgt-out--_binary64_714`
2×	`+-lft-identity_binary64_744` `*-inverses_binary64_740` `count-2_binary64_708`
1×	`unpow3_binary64_826` `exp-neg_binary64_807` `1-exp_binary64_804` `distribute-lft1-in_binary64_715` `distribute-lft-out--_binary64_712`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `sinh-def_binary64_945` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `log-div_binary64_847` `log-prod_binary64_846` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow2_binary64_825` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow1_binary64_818` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `div-exp_binary64_811` `rec-exp_binary64_810` `prod-exp_binary64_809` `e-exp-1_binary64_805` `exp-1-e_binary64_803` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-mult_binary64_790` `cube-div_binary64_789` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-sqrt-square_binary64_773` `rem-square-sqrt_binary64_772` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `swap-sqr_binary64_727` `cancel-sign-sub_binary64_725` `distribute-rgt1-in_binary64_716` `distribute-lft-out_binary64_711`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	28	24
2	50	24
3	100	24
4	216	24
5	445	24
6	1037	24
7	1686	24

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

15.8b

Counts

3 → 1

Compiler

Compiled 45 to 34 computations (24.4% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 J (cos.f64 (/.f64 K 2))))
0.1b	(*.f64 J (cos.f64 (/.f64 K 2)))
5.1b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite87.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-sqr-sqrt_binary64_782`
11×	`*-un-lft-identity_binary64_760`
10×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`associate-l_binary64_701`
7×	`add-cube-cbrt_binary64_795`
5×	`add-log-exp_binary64_799`
4×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `associate-r_binary64_700`
3×	`cancel-sign-sub-inv_binary64_726`
2×	`sinh-undef_binary64_953` `flip3--_binary64_764` `flip--_binary64_735` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `-commutative_binary64_691` `associate-l/_binary64_703`
1×	`diff-log_binary64_852` `sub-neg_binary64_753` `unswap-sqr_binary64_728`

Counts

3 → 58

Calls

3 calls:

10.0ms	(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 J (cos.f64 (/.f64 K 2))))
9.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
4.0ms	(*.f64 J (cos.f64 (/.f64 K 2)))

Compiler

Compiled 1341 to 590 computations (56% saved)

series435.0ms (4.5%)

Error

0.0b

Counts

3 → 26

Calls

3 calls:

283.0ms	(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 J (cos.f64 (/.f64 K 2))))
93.0ms	(*.f64 J (cos.f64 (/.f64 K 2)))
30.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1301 to 991 computations (23.8% saved)

simplify160.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

405×	`*-commutative_binary64_691`
303×	`times-frac_binary64_766`
223×	`associate-/l*_binary64_705`
203×	`associate-r_binary64_700`
195×	`cancel-sign-sub-inv_binary64_726`
176×	`associate-l_binary64_701`
161×	`distribute-rgt-in_binary64_710`
155×	`distribute-lft-in_binary64_709`
151×	`distribute-lft-out_binary64_711`
121×	`distribute-lft-neg-out_binary64_719`
117×	`distribute-rgt-neg-in_binary64_718`
112×	`sqr-pow_binary64_732`
109×	`distribute-rgt-neg-out_binary64_720`
99×	`distribute-lft-neg-in_binary64_717`
95×	`exp-prod_binary64_812`
93×	`unswap-sqr_binary64_728`
91×	`sub-neg_binary64_753`
81×	`unsub-neg_binary64_754`
67×	`associate-+l+_binary64_693`
65×	`+-commutative_binary64_690`
63×	`neg-mul-1_binary64_756`
62×	`neg-sub0_binary64_755`
58×	`associate-+r+_binary64_692`
53×	`distribute-rgt-out_binary64_713`
51×	`pow-sqr_binary64_733`
41×	`exp-sum_binary64_806`
38×	`swap-sqr_binary64_727` `associate-/l/_binary64_707` `associate-/r/_binary64_706`
37×	`*-rgt-identity_binary64_750`
34×	`distribute-rgt-out--_binary64_714`
33×	`associate-*r/_binary64_702`
30×	`associate-*l/_binary64_703`
28×	`*-lft-identity_binary64_749`
27×	`cube-prod_binary64_788`
26×	`difference-of-squares_binary64_729`
25×	`log-prod_binary64_846` `distribute-lft-out--_binary64_712`
21×	`associate-+r-_binary64_694`
20×	`distribute-neg-frac_binary64_724`
18×	`associate-+l-_binary64_695`
17×	`div-sub_binary64_765`
14×	`exp-diff_binary64_808` `mul0-rgt_binary64_743` `mul0-lft_binary64_742`
12×	`+-rgt-identity_binary64_745` `associate--l+_binary64_697`
11×	`sub0-neg_binary64_747` `distribute-neg-in_binary64_721`
10×	`distribute-rgt1-in_binary64_716`
9×	`unpow3_binary64_826` `associate--r+_binary64_696`
8×	`prod-exp_binary64_809` `cube-unmult_binary64_797`
7×	`mul-1-neg_binary64_752`
6×	`cube-mult_binary64_790`
5×	`distribute-neg-out_binary64_722`
4×	`exp-neg_binary64_807` `cube-div_binary64_789` `distribute-lft1-in_binary64_715` `count-2_binary64_708`
3×	`pow-plus_binary64_823` `div-exp_binary64_811` `rem-sqrt-square_binary64_773` `associate-/r*_binary64_704`
2×	`pow-base-1_binary64_820` `/-rgt-identity_binary64_751` `distribute-frac-neg_binary64_723` `associate--r-_binary64_699`
1×	`sinh-def_binary64_945` `unpow2_binary64_825` `unpow1_binary64_818` `1-exp_binary64_804` `exp-1-e_binary64_803` `rem-3cbrt-lft_binary64_785` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `div0_binary64_741` `*-inverses_binary64_740` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `rgt-mult-inverse_binary64_737` `cancel-sign-sub_binary64_725` `associate--l-_binary64_698`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `log-rec_binary64_848` `log-div_binary64_847` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-lft-sqr_binary64_815` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `rec-exp_binary64_810` `e-exp-1_binary64_805` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `+-lft-identity_binary64_744` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730`

Counts

84 → 89

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	161	1710
1	392	1504
2	1228	1450
3	2513	1423

prune105.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	87	2	89
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	3	90

Error

0.0b

Counts

90 → 3

Compiler

Compiled 2165 to 1139 computations (47.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 l)
0.0b	(*.f64 (sinh.f64 l) J)
0.0b	(.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))
0.1b	(.f64 (.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))

rewrite96.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
10×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `add-sqr-sqrt_binary64_782`
8×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
7×	`associate-l_binary64_701` `associate-r_binary64_700`
5×	`associate-*l/_binary64_703`
4×	`add-log-exp_binary64_799` `sinh-def_binary64_945`
3×	`*-commutative_binary64_691`
1×	`associate-*r/_binary64_702` `unswap-sqr_binary64_728`

Counts

4 → 68

Calls

4 calls:

8.0ms	(.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))
6.0ms	(.f64 (.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))
4.0ms	(*.f64 (sinh.f64 l) J)
1.0ms	(sinh.f64 l)

Compiler

Compiled 1349 to 766 computations (43.2% saved)

series960.0ms (9.9%)

Error

0.0b

Counts

4 → 41

Calls

4 calls:

400.0ms	(.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))
338.0ms	(.f64 (.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))
133.0ms	(*.f64 (sinh.f64 l) J)
44.0ms	(sinh.f64 l)

Compiler

Compiled 2353 to 1829 computations (22.3% saved)

simplify208.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

333×	`distribute-lft-out_binary64_711`
311×	`associate-r_binary64_700`
282×	`associate-l_binary64_701`
238×	`cancel-sign-sub-inv_binary64_726`
214×	`associate-*l/_binary64_703`
184×	`associate-*r/_binary64_702`
168×	`*-commutative_binary64_691`
124×	`sub-neg_binary64_753`
120×	`associate-+l+_binary64_693`
108×	`sqr-pow_binary64_732`
102×	`distribute-rgt-neg-in_binary64_718`
101×	`+-commutative_binary64_690`
96×	`associate-+r+_binary64_692`
83×	`distribute-lft-neg-in_binary64_717` `distribute-rgt-out_binary64_713`
75×	`exp-prod_binary64_812`
69×	`unswap-sqr_binary64_728`
62×	`log-prod_binary64_846`
60×	`cube-prod_binary64_788`
57×	`distribute-rgt-in_binary64_710`
54×	`neg-mul-1_binary64_756` `neg-sub0_binary64_755`
53×	`associate-/l*_binary64_705`
51×	`distribute-rgt-out--_binary64_714`
49×	`div-sub_binary64_765` `pow-sqr_binary64_733` `distribute-lft-neg-out_binary64_719` `distribute-lft-out--_binary64_712` `distribute-lft-in_binary64_709`
48×	`*-rgt-identity_binary64_750`
47×	`swap-sqr_binary64_727`
46×	`*-lft-identity_binary64_749`
37×	`distribute-rgt-neg-out_binary64_720`
31×	`log-div_binary64_847` `cube-div_binary64_789`
21×	`exp-sqrt_binary64_813`
19×	`exp-sum_binary64_806` `associate-+l-_binary64_695`
17×	`associate-+r-_binary64_694`
16×	`unsub-neg_binary64_754`
14×	`associate--l+_binary64_697`
13×	`unpow3_binary64_826` `distribute-neg-frac_binary64_724`
12×	`cube-mult_binary64_790` `associate--r+_binary64_696`
11×	`+-rgt-identity_binary64_745`
7×	`cube-unmult_binary64_797` `times-frac_binary64_766`
6×	`exp-diff_binary64_808` `sub0-neg_binary64_747`
5×	`associate-/l/_binary64_707`
4×	`pow-plus_binary64_823` `distribute-neg-in_binary64_721`
3×	`exp-lft-sqr_binary64_815` `distribute-rgt1-in_binary64_716`
2×	`prod-exp_binary64_809` `rem-square-sqrt_binary64_772` `/-rgt-identity_binary64_751` `cancel-sign-sub_binary64_725`
1×	`sinh-def_binary64_945` `log-rec_binary64_848` `unpow2_binary64_825` `unpow1_binary64_818` `exp-neg_binary64_807` `1-exp_binary64_804` `exp-1-e_binary64_803` `*-inverses_binary64_740` `rgt-mult-inverse_binary64_737`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `log-pow_binary64_849` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-cbrt_binary64_814` `div-exp_binary64_811` `rec-exp_binary64_810` `e-exp-1_binary64_805` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-sqrt-square_binary64_773` `mul-1-neg_binary64_752` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-lft1-in_binary64_715` `count-2_binary64_708` `associate-/r/_binary64_706` `associate-/r*_binary64_704` `associate--r-_binary64_699` `associate--l-_binary64_698`

Counts

109 → 223

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	198	2250
1	484	1982
2	1611	1862
3	3282	1807

prune269.0ms (2.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	220	3	223
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	221	5	226

Error

Counts

226 → 5

Compiler

Compiled 5179 to 3184 computations (38.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 l)
0.0b	(.f64 2 (pow.f64 (.f64 J (*.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2)))) 1))
0.1b	(.f64 J (.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2))))
0.1b	(*.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2)))

rewrite105.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

23×	`add-exp-log_binary64_798`
14×	`add-sqr-sqrt_binary64_782`
13×	`add-cbrt-cube_binary64_796`
12×	`pow1_binary64_821` `prod-exp_binary64_809`
9×	`add-cube-cbrt_binary64_795` `-un-lft-identity_binary64_760` `associate-l_binary64_701` `associate-r*_binary64_700`
5×	`pow-prod-down_binary64_831` `cbrt-unprod_binary64_793`
4×	`add-log-exp_binary64_799`
3×	`unswap-sqr_binary64_728` `sinh-def_binary64_945` `*-commutative_binary64_691` `pow-exp_binary64_828`
2×	`associate-*l/_binary64_703` `sqr-pow_binary64_732`
1×	`associate-*r/_binary64_702` `pow-to-exp_binary64_829` `unpow-prod-down_binary64_839`

Counts

4 → 71

Calls

4 calls:

7.0ms	(.f64 2 (pow.f64 (.f64 J (*.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2)))) 1))
6.0ms	(.f64 J (.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2))))
5.0ms	(*.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2)))
1.0ms	(sinh.f64 l)

Compiler

Compiled 1611 to 1093 computations (32.2% saved)

series972.0ms (10%)

Error

Counts

4 → 42

Calls

4 calls:

376.0ms	(.f64 2 (pow.f64 (.f64 J (*.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2)))) 1))
332.0ms	(.f64 J (.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2))))
173.0ms	(*.f64 (sinh.f64 l) (cos.f64 (/.f64 K 2)))
41.0ms	(sinh.f64 l)

Compiler

Compiled 2624 to 2074 computations (21% saved)

simplify385.0ms (4%)

Algorithm

1×	egg-herbie

Rules

317×	`associate-r_binary64_700`
307×	`unswap-sqr_binary64_728`
267×	`associate-l_binary64_701`
194×	`cancel-sign-sub-inv_binary64_726`
179×	`associate-*r/_binary64_702`
171×	`associate-*l/_binary64_703`
168×	`*-commutative_binary64_691`
146×	`sqr-pow_binary64_732`
143×	`sub-neg_binary64_753`
127×	`associate-+l+_binary64_693`
105×	`+-commutative_binary64_690`
99×	`associate-+r+_binary64_692`
87×	`exp-prod_binary64_812`
82×	`log-prod_binary64_846`
79×	`distribute-rgt-in_binary64_710`
73×	`distribute-rgt-neg-in_binary64_718`
67×	`distribute-lft-in_binary64_709`
66×	`pow-sqr_binary64_733`
64×	`cube-prod_binary64_788`
63×	`neg-mul-1_binary64_756` `neg-sub0_binary64_755`
58×	`*-rgt-identity_binary64_750`
55×	`distribute-lft-neg-in_binary64_717`
54×	`associate-/l*_binary64_705`
53×	`distribute-rgt-out_binary64_713`
44×	`div-sub_binary64_765`
43×	`*-lft-identity_binary64_749`
37×	`distribute-lft-out_binary64_711`
30×	`log-div_binary64_847` `swap-sqr_binary64_727`
28×	`cube-div_binary64_789`
24×	`distribute-lft-neg-out_binary64_719` `distribute-rgt-out--_binary64_714`
22×	`unpow3_binary64_826` `unsub-neg_binary64_754` `associate-+l-_binary64_695`
21×	`exp-sqrt_binary64_813` `associate--l+_binary64_697`
19×	`associate--r+_binary64_696`
17×	`exp-sum_binary64_806` `cube-mult_binary64_790` `associate-+r-_binary64_694`
14×	`pow-plus_binary64_823`
13×	`+-rgt-identity_binary64_745`
12×	`cube-unmult_binary64_797`
11×	`log-pow_binary64_849`
10×	`distribute-lft-out--_binary64_712`
8×	`associate-/l/_binary64_707`
6×	`exp-diff_binary64_808` `sub0-neg_binary64_747` `distribute-neg-in_binary64_721` `distribute-rgt-neg-out_binary64_720`
5×	`distribute-neg-frac_binary64_724`
4×	`unpow1_binary64_818`
3×	`exp-lft-sqr_binary64_815` `times-frac_binary64_766` `count-2_binary64_708`
2×	`prod-exp_binary64_809` `rem-sqrt-square_binary64_773` `/-rgt-identity_binary64_751`
1×	`sinh-def_binary64_945` `log-rec_binary64_848` `unpow2_binary64_825` `exp-neg_binary64_807` `1-exp_binary64_804` `exp-1-e_binary64_803` `*-inverses_binary64_740` `rgt-mult-inverse_binary64_737` `distribute-rgt1-in_binary64_716`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `unpow1/3_binary64_827` `unpow1/2_binary64_824` `exp-to-pow_binary64_822` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-cbrt_binary64_814` `div-exp_binary64_811` `rec-exp_binary64_810` `e-exp-1_binary64_805` `exp-0_binary64_802` `rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `cube-neg_binary64_787` `rem-3cbrt-rft_binary64_786` `rem-3cbrt-lft_binary64_785` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `mul-1-neg_binary64_752` `remove-double-neg_binary64_748` `--rgt-identity_binary64_746` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `cancel-sign-sub_binary64_725` `distribute-frac-neg_binary64_723` `distribute-neg-out_binary64_722` `distribute-lft1-in_binary64_715` `associate-/r/_binary64_706` `associate-/r*_binary64_704` `associate--r-_binary64_699` `associate--l-_binary64_698`

Counts

113 → 227

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	230	2450
1	508	2305
2	1789	2146
3	3720	2146

prune347.0ms (3.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	227	0	227
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	227	5	232

Error

Counts

232 → 5

Compiler

Compiled 5812 to 3784 computations (34.9% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))) (cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))))
14.1b	(cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))))
14.1b	(cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))))
14.1b	(cbrt.f64 (.f64 2 (.f64 (sinh.f64 l) (*.f64 J (cos.f64 (/.f64 K 2))))))

rewrite174.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`associate-*l/_binary64_703`
11×	`pow1_binary64_821`
10×	`add-sqr-sqrt_binary64_782`
9×	`pow1/3_binary64_842`
8×	`add-cube-cbrt_binary64_795` `associate-r/_binary64_702` `-un-lft-identity_binary64_760`
7×	`sinh-def_binary64_945` `cbrt-div_binary64_792` `cbrt-prod_binary64_791`
6×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `frac-times_binary64_770` `unswap-sqr_binary64_728` `*-commutative_binary64_691`

Counts

4 → 64

Calls

4 calls:

9.0ms	(.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))) (cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))))
6.0ms	(cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))))
6.0ms	(cbrt.f64 (.f64 2 (.f64 (sinh.f64 l) (*.f64 J (cos.f64 (/.f64 K 2))))))
6.0ms	(cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))))

Compiler

Compiled 3160 to 2023 computations (36% saved)

series4.5s (46.5%)

Error

Counts

4 → 45

Calls

4 calls:

1.6s	(.f64 (cbrt.f64 (.f64 2 (.f64 (.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))) (cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2))))))
990.0ms	(cbrt.f64 (.f64 2 (.f64 (sinh.f64 l) (*.f64 J (cos.f64 (/.f64 K 2))))))
932.0ms	(cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))))
928.0ms	(cbrt.f64 (.f64 2 (.f64 (*.f64 (sinh.f64 l) J) (cos.f64 (/.f64 K 2)))))

Compiler

Compiled 6952 to 5413 computations (22.1% saved)

simplify120.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

473×	`*-commutative_binary64_691`
464×	`unswap-sqr_binary64_728`
253×	`exp-sum_binary64_806`
211×	`cancel-sign-sub-inv_binary64_726`
191×	`associate-r_binary64_700`
178×	`sqr-pow_binary64_732`
160×	`associate-l_binary64_701`
145×	`distribute-rgt-in_binary64_710`
138×	`log-prod_binary64_846`
137×	`distribute-lft-in_binary64_709`
129×	`unsub-neg_binary64_754`
125×	`exp-prod_binary64_812`
116×	`sub-neg_binary64_753`
78×	`pow-sqr_binary64_733`
66×	`associate-+l+_binary64_693`
64×	`swap-sqr_binary64_727`
63×	`neg-mul-1_binary64_756` `neg-sub0_binary64_755`
59×	`exp-diff_binary64_808`
58×	`associate-+r+_binary64_692`
47×	`div-sub_binary64_765` `+-commutative_binary64_690`
46×	`associate-*l/_binary64_703`
44×	`associate-*r/_binary64_702`
41×	`distribute-rgt-out_binary64_713`
39×	`distribute-rgt-neg-in_binary64_718`
34×	`associate--l+_binary64_697`
30×	`distribute-lft-neg-in_binary64_717`
28×	`unpow1/3_binary64_827`
27×	`associate-+r-_binary64_694`
26×	`exp-to-pow_binary64_822`
24×	`distribute-lft-neg-out_binary64_719`
21×	`+-rgt-identity_binary64_745` `associate-/l*_binary64_705`
18×	`distribute-rgt-out--_binary64_714`
17×	`log-pow_binary64_849`
16×	`cube-prod_binary64_788` `*-rgt-identity_binary64_750` `associate-+l-_binary64_695`
14×	`pow-plus_binary64_823` `sub0-neg_binary64_747` `distribute-rgt-neg-out_binary64_720`
12×	`associate--r-_binary64_699`
11×	`exp-neg_binary64_807` `rem-exp-log_binary64_800`
9×	`exp-lft-sqr_binary64_815`
8×	`*-lft-identity_binary64_749`
7×	`unpow2_binary64_825`
6×	`unpow1_binary64_818` `count-2_binary64_708`
5×	`--rgt-identity_binary64_746`
4×	`cube-unmult_binary64_797` `distribute-neg-in_binary64_721` `associate-/l/_binary64_707` `associate--r+_binary64_696`
3×	`unpow3_binary64_826` `rem-3cbrt-lft_binary64_785` `rem-sqrt-square_binary64_773` `/-rgt-identity_binary64_751` `remove-double-neg_binary64_748` `distribute-neg-frac_binary64_724` `distribute-lft-out--_binary64_712`
2×	`log-div_binary64_847` `distribute-rgt1-in_binary64_716` `distribute-lft-out_binary64_711`
1×	`sinh-def_binary64_945` `log-rec_binary64_848` `prod-exp_binary64_809` `1-exp_binary64_804` `exp-1-e_binary64_803` `cube-mult_binary64_790` `rem-3cbrt-rft_binary64_786` `sqr-neg_binary64_774` `rem-square-sqrt_binary64_772` `*-inverses_binary64_740` `rgt-mult-inverse_binary64_737` `distribute-neg-out_binary64_722` `distribute-lft1-in_binary64_715`
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_1023` `erf-erfc_binary64_1022` `erf-odd_binary64_1021` `if-if-and-not_binary64_1020` `if-if-and_binary64_1019` `if-if-or-not_binary64_1018` `if-if-or_binary64_1017` `if-not_binary64_1016` `if-same_binary64_1015` `if-false_binary64_1014` `if-true_binary64_1013` `not-gte_binary64_1012` `not-lte_binary64_1011` `not-gt_binary64_1010` `not-lt_binary64_1009` `gte-same_binary64_1008` `lte-same_binary64_1007` `gt-same_binary64_1006` `lt-same_binary64_1005` `sinh---cosh_binary64_952` `sinh-+-cosh_binary64_951` `sinh-cosh_binary64_950` `tanh-def-c_binary64_949` `tanh-def-b_binary64_948` `tanh-def-a_binary64_947` `cosh-def_binary64_946` `tan-neg_binary64_892` `cos-neg_binary64_891` `sin-neg_binary64_890` `tan-0_binary64_889` `cos-0_binary64_888` `sin-0_binary64_887` `hang-m-tan_binary64_886` `hang-p-tan_binary64_885` `hang-m0-tan_binary64_884` `hang-p0-tan_binary64_883` `hang-0m-tan_binary64_882` `hang-0p-tan_binary64_881` `tan-+PI/2_binary64_880` `tan-+PI_binary64_879` `tan-PI_binary64_878` `tan-PI/3_binary64_877` `tan-PI/4_binary64_876` `tan-PI/6_binary64_875` `cos-+PI/2_binary64_874` `cos-+PI_binary64_873` `cos-PI_binary64_872` `cos-PI/2_binary64_871` `cos-PI/3_binary64_870` `cos-PI/4_binary64_869` `cos-PI/6_binary64_868` `sin-+PI/2_binary64_867` `sin-+PI_binary64_866` `sin-PI_binary64_865` `sin-PI/2_binary64_864` `sin-PI/3_binary64_863` `sin-PI/4_binary64_862` `sin-PI/6_binary64_861` `sub-1-sin_binary64_860` `sub-1-cos_binary64_859` `-1-add-sin_binary64_858` `-1-add-cos_binary64_857` `1-sub-sin_binary64_856` `1-sub-cos_binary64_855` `cos-sin-sum_binary64_854` `log-E_binary64_850` `pow-base-0_binary64_844` `unpow1/2_binary64_824` `pow-base-1_binary64_820` `unpow0_binary64_819` `unpow-1_binary64_817` `exp-lft-cube_binary64_816` `exp-cbrt_binary64_814` `exp-sqrt_binary64_813` `div-exp_binary64_811` `rec-exp_binary64_810` `e-exp-1_binary64_805` `exp-0_binary64_802` `rem-log-exp_binary64_801` `cube-div_binary64_789` `cube-neg_binary64_787` `rem-cbrt-cube_binary64_784` `rem-cube-cbrt_binary64_783` `sqr-abs_binary64_775` `times-frac_binary64_766` `mul-1-neg_binary64_752` `+-lft-identity_binary64_744` `mul0-rgt_binary64_743` `mul0-lft_binary64_742` `div0_binary64_741` `+-inverses_binary64_739` `lft-mult-inverse_binary64_738` `remove-double-div_binary64_736` `difference-of-sqr--1_binary64_731` `difference-of-sqr-1_binary64_730` `difference-of-squares_binary64_729` `cancel-sign-sub_binary64_725` `distribute-frac-neg_binary64_723` `associate-/r/_binary64_706` `associate-/r*_binary64_704` `associate--l-_binary64_698`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	3974
1	450	3524
2	1309	3227
3	2902	2964

Details

analyze492.0ms (5.1%)

sample95.0ms (1%)

simplify136.0ms (1.4%)

prune5.0ms (0.1%)

localize13.0ms (0.1%)

rewrite87.0ms (0.9%)

series435.0ms (4.5%)

simplify160.0ms (1.6%)

prune105.0ms (1.1%)

localize13.0ms (0.1%)

rewrite96.0ms (1%)

series960.0ms (9.9%)

simplify208.0ms (2.1%)

prune269.0ms (2.8%)

localize12.0ms (0.1%)

rewrite105.0ms (1.1%)

series972.0ms (10%)

simplify385.0ms (4%)

prune347.0ms (3.6%)

localize21.0ms (0.2%)

rewrite174.0ms (1.8%)

series4.5s (46.5%)

simplify120.0ms (1.2%)

end0.0ms (0%)

Profiling