Details

analyze1.1s (9.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

932×	`div-sub_binary64_14746`
642×	`unsub-neg_binary64_14735`
471×	`neg-mul-1_binary64_14737`
374×	`sub-neg_binary64_14734`
302×	`distribute-rgt-in_binary64_14691`
293×	`neg-sub0_binary64_14736`
262×	`times-frac_binary64_14747`
247×	`cancel-sign-sub-inv_binary64_14707`
244×	`distribute-frac-neg_binary64_14704`
223×	`distribute-lft-in_binary64_14690`
156×	`+-commutative_binary64_14671`
155×	`associate-+r+_binary64_14673`
143×	`associate-+l+_binary64_14674`
127×	`distribute-rgt-neg-out_binary64_14701`
120×	`associate-/l*_binary64_14686`
91×	`associate--r+_binary64_14677`
81×	`*-commutative_binary64_14672`
65×	`distribute-neg-in_binary64_14702`
63×	`mul0-rgt_binary64_14724` `mul0-lft_binary64_14723`
57×	`associate-+l-_binary64_14676`
54×	`associate-/r/_binary64_14687`
51×	`associate-*l/_binary64_14684`
46×	`associate-r_binary64_14681`
45×	`distribute-neg-frac_binary64_14705` `associate-+r-_binary64_14675`
39×	`associate-*r/_binary64_14683`
38×	`distribute-lft-neg-out_binary64_14700`
34×	`sub0-neg_binary64_14728`
30×	`associate-l_binary64_14682`
27×	`div0_binary64_14722`
25×	`associate--r-_binary64_14680`
24×	`+-rgt-identity_binary64_14726`
21×	`distribute-neg-out_binary64_14703`
20×	`distribute-lft-neg-in_binary64_14698`
16×	`remove-double-neg_binary64_14729`
15×	`distribute-rgt-neg-in_binary64_14699`
7×	`mul-1-neg_binary64_14733`
6×	`associate--l+_binary64_14678`
3×	`*-lft-identity_binary64_14730` `+-lft-identity_binary64_14725`
2×	`distribute-rgt-out_binary64_14694`
1×	`1-exp_binary64_14785`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `log-div_binary64_14828` `log-prod_binary64_14827` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `unpow3_binary64_14807` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `pow-plus_binary64_14804` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `exp-prod_binary64_14793` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-1-e_binary64_14784` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-unmult_binary64_14778` `cube-mult_binary64_14771` `cube-div_binary64_14770` `cube-prod_binary64_14769` `cube-neg_binary64_14768` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `/-rgt-identity_binary64_14732` `-rgt-identity_binary64_14731` `--rgt-identity_binary64_14727` `-inverses_binary64_14721` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `pow-sqr_binary64_14714` `sqr-pow_binary64_14713` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `difference-of-squares_binary64_14710` `unswap-sqr_binary64_14709` `swap-sqr_binary64_14708` `cancel-sign-sub_binary64_14706` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `distribute-rgt-out--_binary64_14695` `distribute-lft-out--_binary64_14693` `distribute-lft-out_binary64_14692` `count-2_binary64_14689` `associate-/l/_binary64_14688` `associate-/r*_binary64_14685` `associate--l-_binary64_14679`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	176
1	109	176
2	250	176
3	511	176
4	1114	176
5	2425	176
6	4285	176
7	4865	176
0	5	5
1	5	5

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
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.2%	66.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	28×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify376.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1389×	`associate-/l*_binary64_14686`
1315×	`div-sub_binary64_14746`
1026×	`distribute-rgt-in_binary64_14691`
988×	`sub-neg_binary64_14734`
917×	`associate-/l/_binary64_14688`
672×	`associate-/r/_binary64_14687`
641×	`distribute-lft-in_binary64_14690`
615×	`unsub-neg_binary64_14735`
504×	`times-frac_binary64_14747`
357×	`associate-/r*_binary64_14685`
332×	`distribute-rgt-neg-in_binary64_14699`
331×	`distribute-neg-frac_binary64_14705`
299×	`*-commutative_binary64_14672`
282×	`distribute-rgt-neg-out_binary64_14701`
271×	`distribute-lft-neg-in_binary64_14698`
248×	`neg-mul-1_binary64_14737`
230×	`distribute-lft-neg-out_binary64_14700`
220×	`neg-sub0_binary64_14736`
206×	`cancel-sign-sub-inv_binary64_14707`
178×	`distribute-frac-neg_binary64_14704`
168×	`associate--r+_binary64_14677`
157×	`associate-*l/_binary64_14684`
141×	`associate--r-_binary64_14680`
138×	`associate-r_binary64_14681`
132×	`+-commutative_binary64_14671`
119×	`associate-*r/_binary64_14683`
105×	`cancel-sign-sub_binary64_14706`
102×	`associate--l-_binary64_14679` `associate-+l-_binary64_14676`
95×	`distribute-neg-in_binary64_14702` `associate--l+_binary64_14678`
87×	`associate-l_binary64_14682`
86×	`associate-+r-_binary64_14675`
85×	`mul0-rgt_binary64_14724`
80×	`mul0-lft_binary64_14723`
77×	`div0_binary64_14722`
47×	`remove-double-neg_binary64_14729`
35×	`/-rgt-identity_binary64_14732`
34×	`remove-double-div_binary64_14717` `distribute-rgt-out--_binary64_14695`
30×	`distribute-rgt-out_binary64_14694`
28×	`*-lft-identity_binary64_14730`
24×	`sub0-neg_binary64_14728` `associate-+l+_binary64_14674`
23×	`*-rgt-identity_binary64_14731`
22×	`associate-+r+_binary64_14673`
21×	`distribute-neg-out_binary64_14703`
17×	`--rgt-identity_binary64_14727` `+-lft-identity_binary64_14725`
12×	`distribute-lft-out_binary64_14692`
11×	`+-rgt-identity_binary64_14726`
5×	`distribute-lft-out--_binary64_14693`
2×	`mul-1-neg_binary64_14733`
1×	`1-exp_binary64_14785` `*-inverses_binary64_14721`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `log-div_binary64_14828` `log-prod_binary64_14827` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `unpow3_binary64_14807` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `pow-plus_binary64_14804` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `exp-prod_binary64_14793` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-1-e_binary64_14784` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-unmult_binary64_14778` `cube-mult_binary64_14771` `cube-div_binary64_14770` `cube-prod_binary64_14769` `cube-neg_binary64_14768` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `rem-sqrt-square_binary64_14754` `rem-square-sqrt_binary64_14753` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `pow-sqr_binary64_14714` `sqr-pow_binary64_14713` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `difference-of-squares_binary64_14710` `unswap-sqr_binary64_14709` `swap-sqr_binary64_14708` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `count-2_binary64_14689`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	19	16
2	40	16
3	77	16
4	149	16
5	245	16
6	544	16
7	1327	16
8	2754	16
9	2585	16
10	2661	16
11	2686	16
12	2736	16
13	2765	16
14	4127	16
15	3275	16
16	3417	16
17	3541	16
18	3541	16
19	4037	16
20	3789	16
21	3789	16
22	3337	16
23	3356	16
24	3218	16
25	3218	16
26	3218	16
27	4977	16

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

11.8b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite101.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64_14763` `*-un-lft-identity_binary64_14741`
10×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
9×	`add-cube-cbrt_binary64_14776`
6×	`cancel-sign-sub-inv_binary64_14707`
5×	`pow1_binary64_14802` `add-log-exp_binary64_14780` `times-frac_binary64_14747` `associate-/r_binary64_14685` `associate-r*_binary64_14681`
4×	`associate-*r/_binary64_14683` `distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690`
3×	`difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `flip3--_binary64_14745` `flip--_binary64_14716` `associate-l_binary64_14682`
2×	`prod-exp_binary64_14790` `div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `cbrt-unprod_binary64_14774` `associate-/l/_binary64_14688` `associate-/r/_binary64_14687` `sub-neg_binary64_14734`
1×	`frac-2neg_binary64_14752` `clear-num_binary64_14740` `div-inv_binary64_14738` `associate-/l_binary64_14686` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `distribute-lft-out_binary64_14692` `+-commutative_binary64_14671` `pow-prod-down_binary64_14812` `unswap-sqr_binary64_14709` `-commutative_binary64_14672`

Counts

3 → 71

Calls

3 calls:

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

Compiler

Compiled 1337 to 337 computations (74.8% saved)

series1.1s (10.4%)

Error

0.1b

Counts

3 → 70

Calls

3 calls:

612.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
334.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
143.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 2810 to 1621 computations (42.3% saved)

simplify113.0ms (1%)

Algorithm

1×	egg-herbie

Rules

482×	`distribute-rgt-in_binary64_14691`
461×	`distribute-lft-in_binary64_14690`
266×	`div-sub_binary64_14746`
243×	`cancel-sign-sub-inv_binary64_14707`
159×	`exp-prod_binary64_14793`
136×	`sub-neg_binary64_14734`
129×	`associate-/l*_binary64_14686`
104×	`associate-l_binary64_14682`
93×	`associate-r_binary64_14681`
88×	`distribute-rgt-neg-in_binary64_14699`
85×	`times-frac_binary64_14747`
82×	`*-commutative_binary64_14672`
79×	`+-commutative_binary64_14671`
73×	`distribute-neg-frac_binary64_14705`
72×	`distribute-lft-neg-in_binary64_14698`
59×	`exp-sum_binary64_14787`
58×	`associate-*l/_binary64_14684`
57×	`cube-prod_binary64_14769`
52×	`distribute-lft-neg-out_binary64_14700` `associate--l+_binary64_14678`
51×	`neg-sub0_binary64_14736`
47×	`neg-mul-1_binary64_14737` `associate-/r*_binary64_14685`
46×	`distribute-rgt-neg-out_binary64_14701`
44×	`associate-*r/_binary64_14683`
38×	`sqr-pow_binary64_14713`
36×	`associate-/r/_binary64_14687`
34×	`cube-div_binary64_14770` `*-rgt-identity_binary64_14731`
33×	`log-div_binary64_14828` `associate-+l+_binary64_14674`
32×	`log-prod_binary64_14827`
31×	`associate-/l/_binary64_14688`
30×	`distribute-neg-in_binary64_14702`
25×	`distribute-rgt-out_binary64_14694`
23×	`exp-diff_binary64_14789` `*-lft-identity_binary64_14730`
22×	`associate-+r+_binary64_14673`
20×	`unpow3_binary64_14807` `unsub-neg_binary64_14735` `associate--r+_binary64_14677`
19×	`/-rgt-identity_binary64_14732`
16×	`unswap-sqr_binary64_14709`
14×	`cube-mult_binary64_14771`
13×	`exp-neg_binary64_14788`
11×	`swap-sqr_binary64_14708` `distribute-rgt-out--_binary64_14695`
9×	`difference-of-squares_binary64_14710`
8×	`sqr-neg_binary64_14755`
7×	`cube-unmult_binary64_14778`
5×	`log-rec_binary64_14829` `remove-double-neg_binary64_14729` `distribute-rgt1-in_binary64_14697`
4×	`rem-sqrt-square_binary64_14754` `mul-1-neg_binary64_14733`
3×	`unpow1/2_binary64_14805` `cancel-sign-sub_binary64_14706` `distribute-lft1-in_binary64_14696` `distribute-lft-out_binary64_14692`
2×	`unpow2_binary64_14806` `pow-plus_binary64_14804` `unpow1_binary64_14799` `cube-neg_binary64_14768` `distribute-lft-out--_binary64_14693` `associate--r-_binary64_14680` `associate-+r-_binary64_14675`
1×	`prod-exp_binary64_14790` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-3cbrt-lft_binary64_14766` `rem-square-sqrt_binary64_14753` `+-rgt-identity_binary64_14726` `div0_binary64_14722` `pow-sqr_binary64_14714` `distribute-frac-neg_binary64_14704` `associate-+l-_binary64_14676`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `div-exp_binary64_14792` `rec-exp_binary64_14791` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `rem-3cbrt-rft_binary64_14767` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `*-inverses_binary64_14721` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `distribute-neg-out_binary64_14703` `count-2_binary64_14689` `associate--l-_binary64_14679`

Counts

141 → 101

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	2333
1	559	2180
2	2017	2066
3	4557	2066
4	5258	2066

prune95.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	7	102

Error

0.0b

Counts

102 → 7

Compiler

Compiled 1694 to 346 computations (79.6% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite158.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_14763`
71×	`*-un-lft-identity_binary64_14741`
51×	`times-frac_binary64_14747`
31×	`associate-r_binary64_14681`
27×	`add-cube-cbrt_binary64_14776`
22×	`difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693`
10×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
5×	`pow1_binary64_14802` `add-log-exp_binary64_14780` `associate-/l_binary64_14686` `associate-/r_binary64_14685`
4×	`associate-/r/_binary64_14687`
3×	`associate-l_binary64_14682` `flip3--_binary64_14745` `flip--_binary64_14716`
2×	`div-exp_binary64_14792` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `cbrt-undiv_binary64_14775` `unswap-sqr_binary64_14709` `div-inv_binary64_14738` `associate-/l/_binary64_14688`
1×	`pow-prod-down_binary64_14812` `associate-r/_binary64_14683` `-commutative_binary64_14672` `frac-2neg_binary64_14752` `div-sub_binary64_14746` `clear-num_binary64_14740` `sum-log_binary64_14832` `flip3-+_binary64_14744` `flip-+_binary64_14715` `+-commutative_binary64_14671`

Counts

3 → 113

Calls

3 calls:

20.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
9.0ms	(/.f64 (-.f64 z t) (-.f64 z a))
4.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.2s (10.9%)

Error

0.0b

Counts

3 → 73

Calls

3 calls:

632.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))
322.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
188.0ms	(/.f64 (-.f64 z t) (-.f64 z a))

Compiler

Compiled 3122 to 1875 computations (39.9% saved)

simplify139.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

575×	`times-frac_binary64_14747`
495×	`distribute-rgt-in_binary64_14691`
265×	`cancel-sign-sub-inv_binary64_14707`
221×	`div-sub_binary64_14746`
184×	`neg-sub0_binary64_14736`
177×	`neg-mul-1_binary64_14737`
150×	`sub-neg_binary64_14734`
120×	`associate-l_binary64_14682`
114×	`unsub-neg_binary64_14735` `associate-/l*_binary64_14686`
113×	`associate-r_binary64_14681`
93×	`+-commutative_binary64_14671`
92×	`*-commutative_binary64_14672`
80×	`distribute-rgt-neg-in_binary64_14699`
79×	`distribute-neg-frac_binary64_14705`
75×	`associate-*r/_binary64_14683`
64×	`distribute-lft-neg-in_binary64_14698` `associate--l+_binary64_14678`
51×	`distribute-lft-in_binary64_14690`
50×	`associate-/r*_binary64_14685`
49×	`associate-*l/_binary64_14684`
45×	`distribute-lft-neg-out_binary64_14700`
42×	`*-rgt-identity_binary64_14731`
41×	`associate-/l/_binary64_14688`
39×	`associate-+l+_binary64_14674`
35×	`distribute-neg-in_binary64_14702`
34×	`sqr-pow_binary64_14713` `distribute-rgt-out_binary64_14694`
33×	`distribute-rgt-neg-out_binary64_14701`
31×	`*-lft-identity_binary64_14730`
30×	`cube-prod_binary64_14769`
29×	`associate-/r/_binary64_14687`
26×	`associate--r+_binary64_14677`
24×	`associate-+r+_binary64_14673`
23×	`exp-prod_binary64_14793`
22×	`log-prod_binary64_14827`
20×	`exp-sum_binary64_14787`
18×	`unswap-sqr_binary64_14709`
15×	`distribute-rgt-out--_binary64_14695`
14×	`/-rgt-identity_binary64_14732`
13×	`log-div_binary64_14828` `cube-div_binary64_14770`
11×	`unpow3_binary64_14807`
8×	`exp-diff_binary64_14789` `distribute-rgt1-in_binary64_14697`
7×	`cube-unmult_binary64_14778` `mul-1-neg_binary64_14733` `distribute-lft-out_binary64_14692`
6×	`cube-mult_binary64_14771`
5×	`difference-of-squares_binary64_14710`
4×	`swap-sqr_binary64_14708` `distribute-lft-out--_binary64_14693`
3×	`unpow1/2_binary64_14805` `sqr-neg_binary64_14755` `distribute-lft1-in_binary64_14696`
2×	`unpow2_binary64_14806` `pow-plus_binary64_14804` `unpow1_binary64_14799` `rem-sqrt-square_binary64_14754` `remove-double-neg_binary64_14729` `associate--r-_binary64_14680` `associate-+l-_binary64_14676` `associate-+r-_binary64_14675`
1×	`prod-exp_binary64_14790` `exp-neg_binary64_14788` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `cube-neg_binary64_14768` `div0_binary64_14722` `*-inverses_binary64_14721` `pow-sqr_binary64_14714`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `log-pow_binary64_14830` `log-rec_binary64_14829` `pow-base-0_binary64_14825` `unpow1/3_binary64_14808` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `div-exp_binary64_14792` `rec-exp_binary64_14791` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cbrt-cube_binary64_14765` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `rem-square-sqrt_binary64_14753` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-rgt-identity_binary64_14726` `+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `cancel-sign-sub_binary64_14706` `distribute-frac-neg_binary64_14704` `distribute-neg-out_binary64_14703` `count-2_binary64_14689` `associate--l-_binary64_14679`

Counts

186 → 112

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	247	3469
1	665	3313
2	2176	3169
3	4350	3151
4	5009	3151

prune95.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	109	3	112
Fresh	4	2	6
Picked	0	1	1
Done	0	0	0
Total	113	6	119

Error

0.0b

Counts

119 → 6

Compiler

Compiled 1847 to 412 computations (77.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 z t))
0.5b	(cbrt.f64 (-.f64 z t))
0.5b	(cbrt.f64 (-.f64 z t))
3.2b	(.f64 y (.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a))))

rewrite157.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`cbrt-div_binary64_14773`
22×	`add-exp-log_binary64_14779` `associate-*r/_binary64_14683`
16×	`add-cbrt-cube_binary64_14777` `frac-times_binary64_14751`
15×	`flip3--_binary64_14745` `flip--_binary64_14716` `cbrt-prod_binary64_14772`
14×	`add-sqr-sqrt_binary64_14763` `*-un-lft-identity_binary64_14741`
13×	`pow1_binary64_14802`
12×	`associate-*l/_binary64_14684`
11×	`prod-exp_binary64_14790` `cbrt-unprod_binary64_14774`
8×	`add-cube-cbrt_binary64_14776`
6×	`pow-prod-down_binary64_14812`
4×	`add-log-exp_binary64_14780`
3×	`associate-l_binary64_14682` `pow1/3_binary64_14823` `difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693`
2×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775`
1×	`associate-r_binary64_14681` `*-commutative_binary64_14672`

Counts

4 → 87

Calls

4 calls:

29.0ms	(.f64 y (.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a))))
3.0ms	(cbrt.f64 (-.f64 z t))
3.0ms	(cbrt.f64 (-.f64 z t))
3.0ms	(cbrt.f64 (-.f64 z t))

Compiler

Compiled 2836 to 551 computations (80.6% saved)

series810.0ms (7.4%)

Error

0.0b

Counts

4 → 47

Calls

4 calls:

441.0ms	(.f64 y (.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a))))
108.0ms	(cbrt.f64 (-.f64 z t))
105.0ms	(cbrt.f64 (-.f64 z t))
100.0ms	(cbrt.f64 (-.f64 z t))

Compiler

Compiled 3246 to 2148 computations (33.8% saved)

simplify146.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

789×	`times-frac_binary64_14747`
249×	`cancel-sign-sub-inv_binary64_14707`
235×	`associate-l_binary64_14682`
227×	`associate-r_binary64_14681`
180×	`distribute-rgt-in_binary64_14691`
161×	`distribute-lft-in_binary64_14690`
149×	`*-commutative_binary64_14672`
137×	`sub-neg_binary64_14734`
126×	`associate-/l*_binary64_14686`
93×	`associate-/l/_binary64_14688`
69×	`+-commutative_binary64_14671`
68×	`distribute-rgt-neg-out_binary64_14701`
67×	`distribute-lft-neg-out_binary64_14700`
56×	`distribute-lft-neg-in_binary64_14698`
55×	`div-sub_binary64_14746`
51×	`associate-/r*_binary64_14685`
50×	`distribute-rgt-neg-in_binary64_14699` `associate-*r/_binary64_14683`
47×	`exp-prod_binary64_14793`
46×	`distribute-neg-frac_binary64_14705`
45×	`sqr-pow_binary64_14713` `distribute-neg-in_binary64_14702`
44×	`unsub-neg_binary64_14735`
41×	`neg-sub0_binary64_14736`
40×	`log-prod_binary64_14827` `distribute-rgt-out_binary64_14694`
38×	`cube-prod_binary64_14769`
36×	`unpow3_binary64_14807` `associate--r+_binary64_14677` `associate-+l+_binary64_14674`
35×	`associate--l+_binary64_14678`
33×	`associate-+r+_binary64_14673`
31×	`neg-mul-1_binary64_14737`
30×	`distribute-frac-neg_binary64_14704`
25×	`associate-*l/_binary64_14684`
22×	`log-div_binary64_14828`
21×	`exp-sum_binary64_14787`
20×	`associate-/r/_binary64_14687`
19×	`unswap-sqr_binary64_14709`
17×	`cube-div_binary64_14770`
16×	`exp-diff_binary64_14789` `cube-mult_binary64_14771` `swap-sqr_binary64_14708`
14×	`exp-neg_binary64_14788` `sqr-neg_binary64_14755` `mul-1-neg_binary64_14733`
13×	`cube-unmult_binary64_14778` `cube-neg_binary64_14768`
10×	`distribute-rgt1-in_binary64_14697`
7×	`unpow1/3_binary64_14808` `distribute-rgt-out--_binary64_14695` `distribute-lft-out_binary64_14692`
6×	`log-pow_binary64_14830` `pow-plus_binary64_14804` `distribute-neg-out_binary64_14703`
5×	`exp-to-pow_binary64_14803` `associate-+r-_binary64_14675`
4×	`difference-of-squares_binary64_14710`
3×	`rem-exp-log_binary64_14781` `pow-sqr_binary64_14714` `distribute-lft1-in_binary64_14696` `distribute-lft-out--_binary64_14693`
2×	`unpow2_binary64_14806` `unpow1/2_binary64_14805` `unpow1_binary64_14799` `associate-+l-_binary64_14676`
1×	`log-rec_binary64_14829` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-3cbrt-lft_binary64_14766` `rem-cube-cbrt_binary64_14764` `rem-sqrt-square_binary64_14754` `*-lft-identity_binary64_14730` `remove-double-neg_binary64_14729` `count-2_binary64_14689` `associate--r-_binary64_14680`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `pow-base-0_binary64_14825` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-3cbrt-rft_binary64_14767` `rem-cbrt-cube_binary64_14765` `sqr-abs_binary64_14756` `rem-square-sqrt_binary64_14753` `/-rgt-identity_binary64_14732` `-rgt-identity_binary64_14731` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-rgt-identity_binary64_14726` `+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `div0_binary64_14722` `-inverses_binary64_14721` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `cancel-sign-sub_binary64_14706` `associate--l-_binary64_14679`

Counts

134 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	236	2426
1	577	2264
2	1945	2192
3	4790	2186
4	4961	2186
5	4963	2186

prune82.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	84	6	90

Error

0.0b

Counts

90 → 6

Compiler

Compiled 2085 to 506 computations (75.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 z a))
0.6b	(cbrt.f64 (-.f64 z a))
3.5b	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t)) (cbrt.f64 (-.f64 z a)))
6.2b	(.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t))

rewrite207.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

29×	`add-sqr-sqrt_binary64_14763`
27×	`add-exp-log_binary64_14779`
25×	`*-un-lft-identity_binary64_14741`
20×	`cbrt-prod_binary64_14772`
19×	`add-cbrt-cube_binary64_14777`
18×	`cbrt-div_binary64_14773`
15×	`add-cube-cbrt_binary64_14776` `associate-l_binary64_14682`
13×	`flip3--_binary64_14745` `flip--_binary64_14716`
12×	`times-frac_binary64_14747`
10×	`associate-/r/_binary64_14687`
8×	`prod-exp_binary64_14790` `div-exp_binary64_14792` `cbrt-unprod_binary64_14774` `cbrt-undiv_binary64_14775` `frac-times_binary64_14751` `associate-/r*_binary64_14685`
6×	`pow1_binary64_14802` `cancel-sign-sub-inv_binary64_14707` `associate-*r/_binary64_14683`
5×	`associate-r_binary64_14681` `difference-of-squares_binary64_14710` `distribute-lft-out--_binary64_14693` `associate-/l/_binary64_14688`
4×	`add-log-exp_binary64_14780` `distribute-rgt-in_binary64_14691` `distribute-lft-in_binary64_14690` `associate-*l/_binary64_14684`
2×	`unswap-sqr_binary64_14709` `sub-neg_binary64_14734` `div-inv_binary64_14738` `pow1/3_binary64_14823`
1×	`pow-prod-down_binary64_14812` `-commutative_binary64_14672` `frac-2neg_binary64_14752` `clear-num_binary64_14740` `associate-/l_binary64_14686`

Counts

4 → 122

Calls

4 calls:

24.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t)) (cbrt.f64 (-.f64 z a)))
22.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t))
4.0ms	(cbrt.f64 (-.f64 z a))
3.0ms	(cbrt.f64 (-.f64 z a))

Compiler

Compiled 3955 to 681 computations (82.8% saved)

series1.8s (16.8%)

Error

0.0b

Counts

4 → 64

Calls

4 calls:

1.1s	(.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t))
390.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t)) (cbrt.f64 (-.f64 z a)))
147.0ms	(cbrt.f64 (-.f64 z a))
145.0ms	(cbrt.f64 (-.f64 z a))

Compiler

Compiled 4833 to 3322 computations (31.3% saved)

simplify166.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

439×	`cancel-sign-sub-inv_binary64_14707`
237×	`associate-/l*_binary64_14686`
223×	`associate-r_binary64_14681`
218×	`associate-l_binary64_14682`
203×	`sub-neg_binary64_14734`
189×	`*-commutative_binary64_14672`
184×	`times-frac_binary64_14747`
132×	`associate-/r_binary64_14685` `associate-l/_binary64_14684`
111×	`div-sub_binary64_14746`
93×	`neg-sub0_binary64_14736`
92×	`unswap-sqr_binary64_14709`
91×	`associate-/l/_binary64_14688`
89×	`associate-*r/_binary64_14683`
85×	`+-commutative_binary64_14671`
81×	`neg-mul-1_binary64_14737`
80×	`sqr-pow_binary64_14713`
72×	`log-div_binary64_14828`
64×	`distribute-rgt-in_binary64_14691`
63×	`distribute-lft-in_binary64_14690`
58×	`log-prod_binary64_14827`
48×	`associate--l+_binary64_14678`
44×	`associate-/r/_binary64_14687`
40×	`associate--r+_binary64_14677`
39×	`distribute-rgt-neg-in_binary64_14699`
35×	`unsub-neg_binary64_14735` `*-rgt-identity_binary64_14731` `associate-+l+_binary64_14674`
32×	`cube-div_binary64_14770`
31×	`distribute-lft-neg-in_binary64_14698`
25×	`associate-+r+_binary64_14673`
23×	`cube-prod_binary64_14769`
22×	`/-rgt-identity_binary64_14732`
21×	`swap-sqr_binary64_14708`
20×	`*-lft-identity_binary64_14730`
19×	`exp-prod_binary64_14793` `distribute-neg-in_binary64_14702`
16×	`distribute-neg-frac_binary64_14705`
14×	`distribute-lft-neg-out_binary64_14700`
13×	`mul-1-neg_binary64_14733`
12×	`exp-sum_binary64_14787`
11×	`unpow1/3_binary64_14808`
9×	`cube-unmult_binary64_14778` `distribute-rgt-neg-out_binary64_14701`
8×	`log-rec_binary64_14829` `difference-of-squares_binary64_14710`
6×	`associate-+l-_binary64_14676`
5×	`rem-sqrt-square_binary64_14754` `distribute-rgt-out--_binary64_14695`
4×	`log-pow_binary64_14830` `unpow3_binary64_14807` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `unpow1_binary64_14799` `exp-diff_binary64_14789` `cube-mult_binary64_14771`
3×	`pow-sqr_binary64_14714` `distribute-rgt-out_binary64_14694` `associate-+r-_binary64_14675`
2×	`pow-plus_binary64_14804` `rem-3cbrt-lft_binary64_14766` `remove-double-neg_binary64_14729`
1×	`1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-3cbrt-rft_binary64_14767` `rem-cube-cbrt_binary64_14764` `rem-square-sqrt_binary64_14753` `+-rgt-identity_binary64_14726` `distribute-frac-neg_binary64_14704` `count-2_binary64_14689` `associate--r-_binary64_14680` `associate--l-_binary64_14679`
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_15004` `erf-erfc_binary64_15003` `erf-odd_binary64_15002` `if-if-and-not_binary64_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `not-gte_binary64_14993` `not-lte_binary64_14992` `not-gt_binary64_14991` `not-lt_binary64_14990` `gte-same_binary64_14989` `lte-same_binary64_14988` `gt-same_binary64_14987` `lt-same_binary64_14986` `sinh---cosh_binary64_14933` `sinh-+-cosh_binary64_14932` `sinh-cosh_binary64_14931` `tanh-def-c_binary64_14930` `tanh-def-b_binary64_14929` `tanh-def-a_binary64_14928` `cosh-def_binary64_14927` `sinh-def_binary64_14926` `tan-neg_binary64_14873` `cos-neg_binary64_14872` `sin-neg_binary64_14871` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `hang-m-tan_binary64_14867` `hang-p-tan_binary64_14866` `hang-m0-tan_binary64_14865` `hang-p0-tan_binary64_14864` `hang-0m-tan_binary64_14863` `hang-0p-tan_binary64_14862` `tan-+PI/2_binary64_14861` `tan-+PI_binary64_14860` `tan-PI_binary64_14859` `tan-PI/3_binary64_14858` `tan-PI/4_binary64_14857` `tan-PI/6_binary64_14856` `cos-+PI/2_binary64_14855` `cos-+PI_binary64_14854` `cos-PI_binary64_14853` `cos-PI/2_binary64_14852` `cos-PI/3_binary64_14851` `cos-PI/4_binary64_14850` `cos-PI/6_binary64_14849` `sin-+PI/2_binary64_14848` `sin-+PI_binary64_14847` `sin-PI_binary64_14846` `sin-PI/2_binary64_14845` `sin-PI/3_binary64_14844` `sin-PI/4_binary64_14843` `sin-PI/6_binary64_14842` `sub-1-sin_binary64_14841` `sub-1-cos_binary64_14840` `-1-add-sin_binary64_14839` `-1-add-cos_binary64_14838` `1-sub-sin_binary64_14837` `1-sub-cos_binary64_14836` `cos-sin-sum_binary64_14835` `log-E_binary64_14831` `pow-base-0_binary64_14825` `exp-to-pow_binary64_14803` `pow-base-1_binary64_14801` `unpow0_binary64_14800` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-lft-sqr_binary64_14796` `exp-cbrt_binary64_14795` `exp-sqrt_binary64_14794` `div-exp_binary64_14792` `rec-exp_binary64_14791` `prod-exp_binary64_14790` `exp-neg_binary64_14788` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-neg_binary64_14768` `rem-cbrt-cube_binary64_14765` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724` `mul0-lft_binary64_14723` `div0_binary64_14722` `*-inverses_binary64_14721` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `rgt-mult-inverse_binary64_14718` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `cancel-sign-sub_binary64_14706` `distribute-neg-out_binary64_14703` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `distribute-lft-out--_binary64_14693` `distribute-lft-out_binary64_14692`

Counts

186 → 137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	340	4994
1	985	4137
2	3577	4123
3	4950	4123
4	4975	4123

prune152.0ms (1.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	135	2	137
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	137	6	143

Error

Counts

143 → 6

Compiler

Compiled 3507 to 868 computations (75.2% saved)

regimes1.2s (10.7%)

Accuracy

Total 0.8b remaining (99.8%)

Threshold costs 0.8b (99.8%)

Compiler

Compiled 8178 to 6135 computations (25% saved)

bsearch4.0ms (0%)

Compiler: Compiled 9 to 9 computations (0% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64_14671`
4×	`sub-neg_binary64_14734` `*-commutative_binary64_14672`
2×	`neg-mul-1_binary64_14737` `neg-sub0_binary64_14736`
1×	`1-exp_binary64_14785` `/-rgt-identity_binary64_14732`
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_15001` `if-if-and_binary64_15000` `if-if-or-not_binary64_14999` `if-if-or_binary64_14998` `if-not_binary64_14997` `if-same_binary64_14996` `if-false_binary64_14995` `if-true_binary64_14994` `tan-0_binary64_14870` `cos-0_binary64_14869` `sin-0_binary64_14868` `unpow1_binary64_14799` `e-exp-1_binary64_14786` `exp-1-e_binary64_14784` `exp-0_binary64_14783` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `unsub-neg_binary64_14735` `mul-1-neg_binary64_14733` `-rgt-identity_binary64_14731` `-lft-identity_binary64_14730` `remove-double-neg_binary64_14729` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-rgt-identity_binary64_14726` `+-lft-identity_binary64_14725` `cancel-sign-sub-inv_binary64_14707` `cancel-sign-sub_binary64_14706` `distribute-neg-frac_binary64_14705` `distribute-frac-neg_binary64_14704` `distribute-neg-out_binary64_14703` `distribute-neg-in_binary64_14702` `distribute-rgt-neg-out_binary64_14701` `distribute-lft-neg-out_binary64_14700` `distribute-rgt-neg-in_binary64_14699` `distribute-lft-neg-in_binary64_14698`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	84
1	37	84
2	44	84
3	48	84
4	50	84
5	49	84

end0.0ms (0%)

sample1.7s (15.2%)

Algorithm

1×

intervals

Results

299.0ms	7997×	body	128	valid
30.0ms	715×	body	128	invalid
0.0ms	1×	body	2048	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 1224 to 901 computations (26.4% saved)

Details

analyze1.1s (9.7%)

sample25.0ms (0.2%)

simplify376.0ms (3.4%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite101.0ms (0.9%)

series1.1s (10.4%)

simplify113.0ms (1%)

prune95.0ms (0.9%)

localize8.0ms (0.1%)

rewrite158.0ms (1.4%)

series1.2s (10.9%)

simplify139.0ms (1.3%)

prune95.0ms (0.9%)

localize12.0ms (0.1%)

rewrite157.0ms (1.4%)

series810.0ms (7.4%)

simplify146.0ms (1.3%)

prune82.0ms (0.7%)

localize12.0ms (0.1%)

rewrite207.0ms (1.9%)

series1.8s (16.8%)

simplify166.0ms (1.5%)

prune152.0ms (1.4%)

regimes1.2s (10.7%)

bsearch4.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.7s (15.2%)

Profiling