Details

analyze913.0ms (1.1%)

Algorithm

1×

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
3.1%	71.7%	25.1%	9
4.7%	69.8%	25.5%	10
7%	66.9%	26.1%	11
10.9%	61.5%	27.6%	12
11.1%	47%	41.9%	13
12.8%	44.4%	42.8%	14

Compiler

Compiled 20 to 20 computations (0% saved)

sample75.0ms (0.1%)

Algorithm

1×

intervals

Results

29.0ms	386×	body	128	nan
18.0ms	256×	body	128	valid

Compiler

Compiled 39 to 43 computations (-10.3% saved)

simplify317.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

937×	`associate-/l/_binary64_14688`
706×	`associate-/r/_binary64_14687`
387×	`associate-l_binary64_14682`
340×	`*-commutative_binary64_14672`
334×	`associate-r_binary64_14681`
239×	`associate-/l*_binary64_14686`
219×	`associate-*l/_binary64_14684`
217×	`pow-plus_binary64_14804`
216×	`times-frac_binary64_14747` `distribute-rgt-out_binary64_14694`
155×	`associate-/r*_binary64_14685`
153×	`associate-*r/_binary64_14683`
124×	`associate-+l+_binary64_14674`
116×	`sqr-pow_binary64_14713`
110×	`pow-sqr_binary64_14714`
98×	`distribute-rgt-in_binary64_14691`
85×	`distribute-lft-in_binary64_14690`
61×	`exp-prod_binary64_14793`
58×	`associate-+r+_binary64_14673`
39×	`pow-base-1_binary64_14801`
33×	`distribute-lft-out_binary64_14692`
27×	`exp-sum_binary64_14787`
19×	`+-commutative_binary64_14671`
18×	`distribute-rgt1-in_binary64_14697`
7×	`count-2_binary64_14689`
4×	`prod-exp_binary64_14790` `-rgt-identity_binary64_14731` `-lft-identity_binary64_14730`
3×	`exp-lft-sqr_binary64_14796` `cube-prod_binary64_14769` `mul0-lft_binary64_14723`
2×	`cube-unmult_binary64_14778` `swap-sqr_binary64_14708` `distribute-lft1-in_binary64_14696`
1×	`unpow3_binary64_14807` `exp-sqrt_binary64_14794` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-sqrt-square_binary64_14754` `/-rgt-identity_binary64_14732` `+-rgt-identity_binary64_14726` `div0_binary64_14722` `*-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` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `exp-to-pow_binary64_14803` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-cube_binary64_14797` `exp-cbrt_binary64_14795` `div-exp_binary64_14792` `rec-exp_binary64_14791` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-log-exp_binary64_14782` `rem-exp-log_binary64_14781` `cube-mult_binary64_14771` `cube-div_binary64_14770` `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-square-sqrt_binary64_14753` `div-sub_binary64_14746` `neg-mul-1_binary64_14737` `neg-sub0_binary64_14736` `unsub-neg_binary64_14735` `sub-neg_binary64_14734` `mul-1-neg_binary64_14733` `remove-double-neg_binary64_14729` `sub0-neg_binary64_14728` `--rgt-identity_binary64_14727` `+-lft-identity_binary64_14725` `mul0-rgt_binary64_14724` `+-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` `difference-of-squares_binary64_14710` `unswap-sqr_binary64_14709` `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` `distribute-rgt-out--_binary64_14695` `distribute-lft-out--_binary64_14693` `associate--r-_binary64_14680` `associate--l-_binary64_14679` `associate--l+_binary64_14678` `associate--r+_binary64_14677` `associate-+l-_binary64_14676` `associate-+r-_binary64_14675`

Counts

1 → 5

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	41	26
2	122	26
3	461	26
4	1767	26
5	3038	26
6	3052	26
7	3091	26
8	3246	26
9	3478	26
10	4802	26

prune11.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	4	1	5
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	4	2	6

Error

1.2b

Counts

6 → 2

Compiler

Compiled 123 to 103 computations (16.3% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 x (*.f64 y 27))
1.0b	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
3.4b	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
3.6b	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))

rewrite277.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

92×	`add-exp-log_binary64_14779`
88×	`add-cbrt-cube_binary64_14777`
38×	`prod-exp_binary64_14790`
36×	`cbrt-unprod_binary64_14774`
28×	`div-exp_binary64_14792` `add-sqr-sqrt_binary64_14763`
27×	`cbrt-undiv_binary64_14775`
18×	`-un-lft-identity_binary64_14741` `associate-l*_binary64_14682`
17×	`add-cube-cbrt_binary64_14776`
16×	`times-frac_binary64_14747`
9×	`associate-r_binary64_14681`
8×	`pow1_binary64_14802`
5×	`unswap-sqr_binary64_14709`
4×	`add-log-exp_binary64_14780` `div-inv_binary64_14738` `associate-/l*_binary64_14686` `sqrt-prod_binary64_14757`
2×	`frac-2neg_binary64_14752` `clear-num_binary64_14740` `associate-/r_binary64_14685` `pow-prod-down_binary64_14812` `associate-l/_binary64_14684` `*-commutative_binary64_14672`
1×	`associate-*r/_binary64_14683` `associate-/l/_binary64_14688` `1-exp_binary64_14785` `rec-exp_binary64_14791`

Counts

4 → 127

Calls

4 calls:

14.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
10.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
7.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
4.0ms	(/.f64 x (*.f64 y 27))

Compiler

Compiled 3816 to 2777 computations (27.2% saved)

series871.0ms (1%)

Error

1.0b

Counts

4 → 39

Calls

4 calls:

348.0ms	(.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (.f64 z 2)) (sqrt.f64 t))
207.0ms	(/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2))
194.0ms	(.f64 (/.f64 1 3) (acos.f64 (.f64 (/.f64 (.f64 3 (/.f64 x (.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t))))
84.0ms	(/.f64 x (*.f64 y 27))

Compiler

Compiled 1796 to 1506 computations (16.1% saved)

simplify652.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

770×	`associate-/r/_binary64_14687`
355×	`times-frac_binary64_14747`
249×	`associate-l_binary64_14682`
243×	`sub-neg_binary64_14734`
218×	`associate-/l*_binary64_14686`
200×	`associate-r_binary64_14681`
196×	`associate-/r*_binary64_14685`
176×	`associate-*l/_binary64_14684`
148×	`log-prod_binary64_14827`
143×	`associate-*r/_binary64_14683`
120×	`cube-prod_binary64_14769`
113×	`*-commutative_binary64_14672`
108×	`log-div_binary64_14828`
93×	`cube-div_binary64_14770`
58×	`associate-+l-_binary64_14676`
57×	`exp-prod_binary64_14793`
52×	`associate--l+_binary64_14678`
51×	`associate-+l+_binary64_14674`
45×	`neg-mul-1_binary64_14737`
44×	`neg-sub0_binary64_14736`
43×	`unpow3_binary64_14807` `cube-mult_binary64_14771`
41×	`associate--l-_binary64_14679`
36×	`associate-+r-_binary64_14675`
35×	`swap-sqr_binary64_14708`
34×	`associate-+r+_binary64_14673` `+-commutative_binary64_14671`
29×	`associate-/l/_binary64_14688`
28×	`sqr-pow_binary64_14713`
27×	`associate--r+_binary64_14677`
23×	`unsub-neg_binary64_14735` `*-rgt-identity_binary64_14731`
22×	`*-lft-identity_binary64_14730`
17×	`cube-unmult_binary64_14778`
12×	`distribute-rgt-neg-in_binary64_14699`
11×	`distribute-lft-neg-in_binary64_14698`
10×	`exp-sqrt_binary64_14794` `distribute-neg-frac_binary64_14705` `distribute-neg-in_binary64_14702`
9×	`/-rgt-identity_binary64_14732`
8×	`cancel-sign-sub-inv_binary64_14707`
5×	`log-rec_binary64_14829` `exp-lft-cube_binary64_14797` `div-sub_binary64_14746`
4×	`unswap-sqr_binary64_14709` `distribute-rgt-in_binary64_14691`
3×	`log-pow_binary64_14830` `pow-plus_binary64_14804` `rem-sqrt-square_binary64_14754` `pow-sqr_binary64_14714` `associate--r-_binary64_14680`
2×	`exp-cbrt_binary64_14795` `distribute-lft-neg-out_binary64_14700`
1×	`pow-base-1_binary64_14801` `prod-exp_binary64_14790` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-log-exp_binary64_14782` `rem-cbrt-cube_binary64_14765` `rem-square-sqrt_binary64_14753` `sub0-neg_binary64_14728` `count-2_binary64_14689`
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` `unpow1/3_binary64_14808` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `exp-to-pow_binary64_14803` `unpow0_binary64_14800` `unpow1_binary64_14799` `unpow-1_binary64_14798` `exp-lft-sqr_binary64_14796` `div-exp_binary64_14792` `rec-exp_binary64_14791` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-exp-log_binary64_14781` `cube-neg_binary64_14768` `rem-3cbrt-rft_binary64_14767` `rem-3cbrt-lft_binary64_14766` `rem-cube-cbrt_binary64_14764` `sqr-abs_binary64_14756` `sqr-neg_binary64_14755` `mul-1-neg_binary64_14733` `remove-double-neg_binary64_14729` `--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` `difference-of-squares_binary64_14710` `cancel-sign-sub_binary64_14706` `distribute-frac-neg_binary64_14704` `distribute-neg-out_binary64_14703` `distribute-rgt-neg-out_binary64_14701` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `distribute-rgt-out--_binary64_14695` `distribute-rgt-out_binary64_14694` `distribute-lft-out--_binary64_14693` `distribute-lft-out_binary64_14692` `distribute-lft-in_binary64_14690`

Counts

166 → 540

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	239	4261
1	620	3382
2	2475	3362
3	4474	3362

prune1.6s (1.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	538	2	540
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	540	2	542

Error

Counts

542 → 2

Compiler

Compiled 15394 to 10955 computations (28.8% saved)

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b	(/.f64 (cbrt.f64 1) (cbrt.f64 3))
1.0b	(/.f64 3 (/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2)))
3.4b	(*.f64 (sqrt.f64 t) (/.f64 3 (/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2))))
3.6b	(/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2))

rewrite1.2min (84.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13857×	`times-frac_binary64_14747`
5695×	`add-sqr-sqrt_binary64_14763`
5641×	`add-cube-cbrt_binary64_14776` `*-un-lft-identity_binary64_14741`
1217×	`associate-r_binary64_14681`
543×	`associate-/r*_binary64_14685`
336×	`div-inv_binary64_14738`
67×	`add-exp-log_binary64_14779`
65×	`add-cbrt-cube_binary64_14777`
42×	`cbrt-prod_binary64_14772`
41×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775`
12×	`associate-/l*_binary64_14686` `unswap-sqr_binary64_14709`
10×	`associate-/r/_binary64_14687`
9×	`sqrt-prod_binary64_14757`
6×	`pow1_binary64_14802` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `associate-l_binary64_14682`
4×	`add-log-exp_binary64_14780`
3×	`frac-2neg_binary64_14752` `clear-num_binary64_14740`
1×	`pow-prod-down_binary64_14812` `associate-r/_binary64_14683` `-commutative_binary64_14672`

Counts

4 → 3511

Calls

4 calls:

386.0ms	(*.f64 (sqrt.f64 t) (/.f64 3 (/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2))))
102.0ms	(/.f64 3 (/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2)))
33.0ms	(/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2))
5.0ms	(/.f64 (cbrt.f64 1) (cbrt.f64 3))

Compiler

Compiled 193850 to 145620 computations (24.9% saved)

series903.0ms (1.1%)

Error

Counts

4 → 30

Calls

4 calls:

396.0ms	(*.f64 (sqrt.f64 t) (/.f64 3 (/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2))))
227.0ms	(/.f64 3 (/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2)))
223.0ms	(/.f64 z (/.f64 (/.f64 (/.f64 x y) 27) 2))
0.0ms	(/.f64 (cbrt.f64 1) (cbrt.f64 3))

Compiler

Compiled 2705 to 2484 computations (8.2% saved)

simplify2.4s (2.8%)

Algorithm

1×	egg-herbie

Rules

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 1-exp_binary64_14785 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 times-frac_binary64_14747 div-sub_binary64_14746 neg-mul-1_binary64_14737 neg-sub0_binary64_14736 unsub-neg_binary64_14735 sub-neg_binary64_14734 mul-1-neg_binary64_14733 /-rgt-identity_binary64_14732 *-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 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 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-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 distribute-rgt1-in_binary64_14697 distribute-lft1-in_binary64_14696 distribute-rgt-out--_binary64_14695 distribute-rgt-out_binary64_14694 distribute-lft-out--_binary64_14693 distribute-lft-out_binary64_14692 distribute-rgt-in_binary64_14691 distribute-lft-in_binary64_14690 count-2_binary64_14689 associate-/l/_binary64_14688 associate-/r/_binary64_14687 associate-/l*_binary64_14686 associate-/r*_binary64_14685 associate-*l/_binary64_14684 associate-*r/_binary64_14683 associate-*l*_binary64_14682 associate-*r*_binary64_14681 associate--r-_binary64_14680 associate--l-_binary64_14679 associate--l+_binary64_14678 associate--r+_binary64_14677 associate-+l-_binary64_14676 associate-+r-_binary64_14675 associate-+l+_binary64_14674 associate-+r+_binary64_14673 *-commutative_binary64_14672 +-commutative_binary64_14671

Counts

3541 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5377	147303

prune2.0ms (0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

2 → 2

Compiler

Compiled 13 to 13 computations (0% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 1/18 (.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
1.0b	(.f64 1/3 (acos.f64 (.f64 1/18 (.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t)))))
3.4b	(.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t))
4.4b	(/.f64 x (*.f64 z y))

rewrite139.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
19×	`add-sqr-sqrt_binary64_14763`
14×	`prod-exp_binary64_14790` `cbrt-unprod_binary64_14774`
13×	`pow1_binary64_14802` `add-cube-cbrt_binary64_14776` `-un-lft-identity_binary64_14741` `associate-l*_binary64_14682`
10×	`associate-r_binary64_14681`
6×	`div-exp_binary64_14792` `cbrt-undiv_binary64_14775` `times-frac_binary64_14747`
5×	`pow-prod-down_binary64_14812`
4×	`add-log-exp_binary64_14780` `sqrt-prod_binary64_14757`
3×	`associate-/l_binary64_14686` `unswap-sqr_binary64_14709` `-commutative_binary64_14672`
2×	`div-inv_binary64_14738` `associate-*l/_binary64_14684`
1×	`frac-2neg_binary64_14752` `clear-num_binary64_14740` `associate-/r_binary64_14685` `associate-r/_binary64_14683`

Counts

4 → 93

Calls

4 calls:

10.0ms	(.f64 1/18 (.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
9.0ms	(.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t))
5.0ms	(/.f64 x (*.f64 z y))
4.0ms	(.f64 1/3 (acos.f64 (.f64 1/18 (.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t)))))

Compiler

Compiled 1934 to 818 computations (57.7% saved)

series1.1s (1.3%)

Error

Counts

4 → 45

Calls

4 calls:

372.0ms	(.f64 1/18 (.f64 (/.f64 x (*.f64 z y)) (sqrt.f64 t)))
306.0ms	(.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t))
191.0ms	(.f64 1/3 (acos.f64 (.f64 1/18 (.f64 (/.f64 x (.f64 z y)) (sqrt.f64 t)))))
180.0ms	(/.f64 x (*.f64 z y))

Compiler

Compiled 1831 to 1459 computations (20.3% saved)

simplify388.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

581×	`associate-/l*_binary64_14686`
486×	`associate-/r*_binary64_14685`
368×	`*-commutative_binary64_14672`
224×	`sqr-pow_binary64_14713`
189×	`unswap-sqr_binary64_14709`
185×	`associate-l_binary64_14682`
174×	`associate-r_binary64_14681`
153×	`sub-neg_binary64_14734`
131×	`associate-+l+_binary64_14674`
118×	`associate-/l/_binary64_14688`
102×	`cube-div_binary64_14770`
99×	`log-div_binary64_14828`
98×	`associate-/r/_binary64_14687`
94×	`associate-+r+_binary64_14673`
93×	`pow-sqr_binary64_14714`
80×	`log-prod_binary64_14827` `times-frac_binary64_14747`
74×	`cube-prod_binary64_14769`
72×	`unsub-neg_binary64_14735` `associate-*l/_binary64_14684`
71×	`swap-sqr_binary64_14708`
70×	`associate-*r/_binary64_14683`
67×	`exp-prod_binary64_14793` `associate-+l-_binary64_14676`
65×	`associate-+r-_binary64_14675`
48×	`associate--l+_binary64_14678`
42×	`unpow3_binary64_14807`
41×	`cube-mult_binary64_14771`
39×	`+-commutative_binary64_14671`
34×	`neg-mul-1_binary64_14737`
30×	`associate--r+_binary64_14677`
27×	`neg-sub0_binary64_14736`
24×	`*-rgt-identity_binary64_14731`
22×	`/-rgt-identity_binary64_14732`
21×	`*-lft-identity_binary64_14730`
15×	`+-rgt-identity_binary64_14726` `distribute-neg-in_binary64_14702`
14×	`distribute-rgt-in_binary64_14691` `associate--l-_binary64_14679`
12×	`log-rec_binary64_14829` `cube-unmult_binary64_14778` `--rgt-identity_binary64_14727`
8×	`sub0-neg_binary64_14728`
7×	`+-lft-identity_binary64_14725`
6×	`cancel-sign-sub-inv_binary64_14707` `distribute-lft-neg-in_binary64_14698` `distribute-lft-in_binary64_14690`
5×	`distribute-rgt-neg-in_binary64_14699`
4×	`div-sub_binary64_14746`
3×	`rem-sqrt-square_binary64_14754` `remove-double-neg_binary64_14729` `mul0-lft_binary64_14723` `distribute-neg-frac_binary64_14705`
2×	`unpow1/3_binary64_14808` `mul0-rgt_binary64_14724` `associate--r-_binary64_14680`
1×	`log-pow_binary64_14830` `pow-plus_binary64_14804` `pow-base-1_binary64_14801` `prod-exp_binary64_14790` `1-exp_binary64_14785` `exp-1-e_binary64_14784` `rem-log-exp_binary64_14782` `rem-square-sqrt_binary64_14753` `rgt-mult-inverse_binary64_14718` `count-2_binary64_14689`
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` `unpow2_binary64_14806` `unpow1/2_binary64_14805` `exp-to-pow_binary64_14803` `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` `div-exp_binary64_14792` `rec-exp_binary64_14791` `exp-diff_binary64_14789` `exp-neg_binary64_14788` `exp-sum_binary64_14787` `e-exp-1_binary64_14786` `exp-0_binary64_14783` `rem-exp-log_binary64_14781` `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` `mul-1-neg_binary64_14733` `div0_binary64_14722` `*-inverses_binary64_14721` `+-inverses_binary64_14720` `lft-mult-inverse_binary64_14719` `remove-double-div_binary64_14717` `difference-of-sqr--1_binary64_14712` `difference-of-sqr-1_binary64_14711` `difference-of-squares_binary64_14710` `cancel-sign-sub_binary64_14706` `distribute-frac-neg_binary64_14704` `distribute-neg-out_binary64_14703` `distribute-rgt-neg-out_binary64_14701` `distribute-lft-neg-out_binary64_14700` `distribute-rgt1-in_binary64_14697` `distribute-lft1-in_binary64_14696` `distribute-rgt-out--_binary64_14695` `distribute-rgt-out_binary64_14694` `distribute-lft-out--_binary64_14693` `distribute-lft-out_binary64_14692`

Counts

138 → 383

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	2396
1	366	2074
2	1322	2073
3	3327	2073
4	4254	2073

prune464.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

385 → 2

Compiler

Compiled 7729 to 3587 computations (53.6% saved)

regimes584.0ms (0.7%)

Accuracy

Total 0.4b remaining (98.8%)

Threshold costs 0.4b (98.8%)

Compiler

Compiled 5366 to 5418 computations (-1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64_14672`
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` `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` `neg-mul-1_binary64_14737` `neg-sub0_binary64_14736` `unsub-neg_binary64_14735` `sub-neg_binary64_14734` `mul-1-neg_binary64_14733` `/-rgt-identity_binary64_14732` `-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` `+-commutative_binary64_14671`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	53
1	33	53

Proof

(* f64 (/ f64 (* f64 (cbrt f64 1) (cbrt f64 1)) (* f64 (cbrt f64 3) (cbrt f64 3))) (* f64 (/ f64 (cbrt f64 1) (cbrt f64 3)) (acos f64 (* f64 (/ f64 (* f64 3 (/ f64 h0 (* f64 h1 27))) (* f64 h2 2)) (sqrt f64 h3)))))

end0.0ms (0%)

sample2.5s (2.9%)

Algorithm

1×

intervals

Results

681.0ms	10407×	body	128	nan
575.0ms	8000×	body	128	valid

Compiler

Compiled 470 to 474 computations (-0.9% saved)

Details

analyze913.0ms (1.1%)

sample75.0ms (0.1%)

simplify317.0ms (0.4%)

prune11.0ms (0%)

localize19.0ms (0%)

rewrite277.0ms (0.3%)

series871.0ms (1%)

simplify652.0ms (0.8%)

prune1.6s (1.9%)

localize26.0ms (0%)

rewrite1.2min (84.5%)

series903.0ms (1.1%)

simplify2.4s (2.8%)

prune2.0ms (0%)

localize11.0ms (0%)

rewrite139.0ms (0.2%)

series1.1s (1.3%)

simplify388.0ms (0.5%)

prune464.0ms (0.5%)

regimes584.0ms (0.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.5s (2.9%)

Profiling