Details

analyze1.0s (4.5%)

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
7.8%	92%	0.2%	11
11.7%	88.1%	0.2%	12
17.9%	81.8%	0.2%	13
22.6%	77.2%	0.2%	14

Compiler

Compiled 14 to 14 computations (0% saved)

sample27.0ms (0.1%)

Algorithm

1×

intervals

Results

10.0ms	253×	body	128	valid
1.0ms	22×	body	128	invalid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 27 to 32 computations (-18.5% saved)

simplify652.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

378×	`associate-l_binary64_17751`
367×	`associate-r_binary64_17750`
333×	`cancel-sign-sub-inv_binary64_17776`
325×	`distribute-rgt-out_binary64_17763`
320×	`div-sub_binary64_17815`
254×	`distribute-rgt-out--_binary64_17764`
249×	`distribute-lft-out_binary64_17761`
240×	`associate-/r*_binary64_17754`
229×	`associate-*l/_binary64_17753`
224×	`distribute-lft-out--_binary64_17762`
202×	`associate-/r/_binary64_17756`
167×	`associate-*r/_binary64_17752`
113×	`distribute-rgt-in_binary64_17760`
105×	`sub-neg_binary64_17803`
78×	`distribute-lft-in_binary64_17759`
67×	`distribute-frac-neg_binary64_17773`
54×	`associate-/l*_binary64_17755`
47×	`distribute-rgt-neg-in_binary64_17768`
46×	`neg-mul-1_binary64_17806`
41×	`neg-sub0_binary64_17805`
40×	`distribute-lft-neg-in_binary64_17767`
36×	`unsub-neg_binary64_17804` `distribute-neg-in_binary64_17771`
34×	`times-frac_binary64_17816`
29×	`distribute-neg-frac_binary64_17774` `distribute-lft-neg-out_binary64_17769`
23×	`distribute-rgt-neg-out_binary64_17770`
22×	`+-commutative_binary64_17740`
20×	`*-commutative_binary64_17741`
18×	`associate-+r-_binary64_17744`
16×	`associate-+r+_binary64_17742`
15×	`distribute-rgt1-in_binary64_17766` `associate-/l/_binary64_17757`
14×	`associate--r+_binary64_17746` `associate-+l-_binary64_17745`
13×	`div0_binary64_17791`
12×	`associate-+l+_binary64_17743`
9×	`sub0-neg_binary64_17797` `+-rgt-identity_binary64_17795`
5×	`swap-sqr_binary64_17777`
4×	`remove-double-neg_binary64_17798` `--rgt-identity_binary64_17796` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758`
3×	`sqr-neg_binary64_17824` `mul0-lft_binary64_17792` `associate--r-_binary64_17749`
2×	`+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `*-inverses_binary64_17790`
1×	`1-exp_binary64_17854` `mul-1-neg_binary64_17802` `associate--l-_binary64_17748`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `log-rec_binary64_17898` `log-div_binary64_17897` `log-prod_binary64_17896` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow3_binary64_17876` `unpow2_binary64_17875` `unpow1/2_binary64_17874` `pow-plus_binary64_17873` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow1_binary64_17868` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `exp-prod_binary64_17862` `div-exp_binary64_17861` `rec-exp_binary64_17860` `prod-exp_binary64_17859` `exp-diff_binary64_17858` `exp-neg_binary64_17857` `exp-sum_binary64_17856` `e-exp-1_binary64_17855` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `cube-unmult_binary64_17847` `cube-mult_binary64_17840` `cube-div_binary64_17839` `cube-prod_binary64_17838` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `rem-sqrt-square_binary64_17823` `rem-square-sqrt_binary64_17822` `/-rgt-identity_binary64_17801` `-rgt-identity_binary64_17800` `-lft-identity_binary64_17799` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `pow-sqr_binary64_17783` `sqr-pow_binary64_17782` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `difference-of-squares_binary64_17779` `unswap-sqr_binary64_17778` `cancel-sign-sub_binary64_17775` `distribute-neg-out_binary64_17772` `associate--l+_binary64_17747`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	23	19
2	44	19
3	84	19
4	164	19
5	266	19
6	747	19

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 39 to 39 computations (0% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 z t) (-.f64 x y))
0.0b	(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
0.3b	(/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y)))

rewrite369.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

218×	`times-frac_binary64_17816`
195×	`add-sqr-sqrt_binary64_17832` `*-un-lft-identity_binary64_17810`
91×	`add-cube-cbrt_binary64_17845`
52×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
36×	`associate-/r*_binary64_17754`
11×	`associate-/r/_binary64_17756`
10×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
8×	`associate-/l*_binary64_17755`
6×	`div-inv_binary64_17807` `flip3--_binary64_17814` `flip--_binary64_17785`
5×	`add-log-exp_binary64_17849`
4×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
3×	`pow1_binary64_17871`
2×	`frac-2neg_binary64_17821` `clear-num_binary64_17809` `associate-/l/_binary64_17757`
1×	`sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740` `div-sub_binary64_17815`

Counts

3 → 205

Calls

3 calls:

39.0ms	(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
14.0ms	(/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y)))
9.0ms	(/.f64 (-.f64 z t) (-.f64 x y))

Compiler

Compiled 5229 to 2073 computations (60.4% saved)

series1.6s (6.9%)

Error

0.1b

Counts

3 → 83

Calls

3 calls:

751.0ms	(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
433.0ms	(/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y)))
313.0ms	(/.f64 (-.f64 z t) (-.f64 x y))

Compiler

Compiled 4469 to 3296 computations (26.2% saved)

simplify688.0ms (3%)

Algorithm

1×	egg-herbie

Rules

570×	`distribute-rgt-in_binary64_17760`
495×	`cancel-sign-sub-inv_binary64_17776`
247×	`associate-/r/_binary64_17756`
228×	`sub-neg_binary64_17803` `associate-/l*_binary64_17755`
223×	`associate-/l/_binary64_17757`
196×	`associate-*l/_binary64_17753`
191×	`*-commutative_binary64_17741`
111×	`distribute-rgt-neg-in_binary64_17768`
106×	`distribute-lft-in_binary64_17759`
100×	`times-frac_binary64_17816` `div-sub_binary64_17815` `associate-*r/_binary64_17752`
96×	`associate-r_binary64_17750`
92×	`distribute-lft-neg-in_binary64_17767`
91×	`associate-l_binary64_17751`
87×	`distribute-neg-frac_binary64_17774`
84×	`+-commutative_binary64_17740`
77×	`neg-sub0_binary64_17805` `distribute-lft-neg-out_binary64_17769`
76×	`neg-mul-1_binary64_17806`
75×	`associate-/r*_binary64_17754`
74×	`distribute-rgt-out_binary64_17763`
60×	`associate--r+_binary64_17746`
57×	`sqr-pow_binary64_17782`
56×	`*-rgt-identity_binary64_17800`
55×	`associate--l+_binary64_17747`
54×	`distribute-rgt-neg-out_binary64_17770`
52×	`/-rgt-identity_binary64_17801` `distribute-lft-out_binary64_17761`
49×	`distribute-lft-out--_binary64_17762`
45×	`distribute-neg-in_binary64_17771`
41×	`distribute-rgt-out--_binary64_17764`
39×	`associate-+l+_binary64_17743`
38×	`*-lft-identity_binary64_17799`
36×	`associate-+r+_binary64_17742`
26×	`pow-sqr_binary64_17783`
23×	`unsub-neg_binary64_17804`
17×	`prod-exp_binary64_17859`
16×	`div-exp_binary64_17861`
15×	`unswap-sqr_binary64_17778`
12×	`log-div_binary64_17897` `cube-div_binary64_17839` `cube-prod_binary64_17838`
11×	`unpow3_binary64_17876` `swap-sqr_binary64_17777`
10×	`pow-plus_binary64_17873` `exp-prod_binary64_17862` `exp-sum_binary64_17856`
9×	`log-prod_binary64_17896` `cube-mult_binary64_17840`
6×	`distribute-rgt1-in_binary64_17766`
5×	`difference-of-squares_binary64_17779`
4×	`rec-exp_binary64_17860` `exp-diff_binary64_17858` `cube-unmult_binary64_17847` `remove-double-neg_binary64_17798` `remove-double-div_binary64_17786` `associate--r-_binary64_17749`
3×	`unpow2_binary64_17875` `unpow1_binary64_17868`
2×	`mul-1-neg_binary64_17802` `div0_binary64_17791`
1×	`log-pow_binary64_17899` `log-rec_binary64_17898` `1-exp_binary64_17854` `rem-log-exp_binary64_17851` `*-inverses_binary64_17790` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `exp-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `rem-exp-log_binary64_17850` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `rem-sqrt-square_binary64_17823` `rem-square-sqrt_binary64_17822` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

288 → 902

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	384	7395
1	985	7158
2	3817	6975

prune1.8s (7.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	896	6	902
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	897	7	904

Error

0.0b

Counts

904 → 7

Compiler

Compiled 25171 to 10619 computations (57.8% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 60 (-.f64 z t))
0.0b	(+.f64 (.f64 (-.f64 x y) (/.f64 60 (-.f64 z t))) (.f64 a 120))
0.2b	(*.f64 (-.f64 x y) (/.f64 60 (-.f64 z t)))

rewrite153.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

44×	`add-sqr-sqrt_binary64_17832`
39×	`*-un-lft-identity_binary64_17810`
31×	`times-frac_binary64_17816`
23×	`add-cube-cbrt_binary64_17845`
21×	`associate-r_binary64_17750`
10×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
8×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
5×	`pow1_binary64_17871` `add-log-exp_binary64_17849` `associate-l_binary64_17751` `associate-/r*_binary64_17754`
4×	`flip3--_binary64_17814` `flip--_binary64_17785` `associate-/r/_binary64_17756`
3×	`associate-/l*_binary64_17755`
2×	`div-exp_binary64_17861` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `cbrt-undiv_binary64_17844` `frac-times_binary64_17820` `unswap-sqr_binary64_17778` `associate-*l/_binary64_17753` `div-inv_binary64_17807`
1×	`pow-prod-down_binary64_17881` `associate-r/_binary64_17752` `-commutative_binary64_17741` `sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740` `frac-2neg_binary64_17821` `clear-num_binary64_17809`

Counts

3 → 94

Calls

3 calls:

18.0ms	(*.f64 (-.f64 x y) (/.f64 60 (-.f64 z t)))
12.0ms	(+.f64 (.f64 (-.f64 x y) (/.f64 60 (-.f64 z t))) (.f64 a 120))
6.0ms	(/.f64 60 (-.f64 z t))

Compiler

Compiled 2092 to 1047 computations (50% saved)

series1.4s (5.9%)

Error

0.0b

Counts

3 → 77

Calls

3 calls:

752.0ms	(+.f64 (.f64 (-.f64 x y) (/.f64 60 (-.f64 z t))) (.f64 a 120))
439.0ms	(*.f64 (-.f64 x y) (/.f64 60 (-.f64 z t)))
86.0ms	(/.f64 60 (-.f64 z t))

Compiler

Compiled 4238 to 3207 computations (24.3% saved)

simplify414.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

425×	`cancel-sign-sub-inv_binary64_17776`
422×	`distribute-rgt-in_binary64_17760`
372×	`distribute-lft-in_binary64_17759`
201×	`sub-neg_binary64_17803`
134×	`distribute-rgt-neg-in_binary64_17768`
118×	`associate-l/_binary64_17753` `associate-l_binary64_17751` `associate-r*_binary64_17750`
113×	`distribute-lft-neg-in_binary64_17767` `associate-/l*_binary64_17755`
109×	`*-commutative_binary64_17741`
89×	`+-commutative_binary64_17740`
88×	`distribute-neg-frac_binary64_17774` `associate-*r/_binary64_17752`
85×	`div-sub_binary64_17815`
82×	`distribute-lft-out_binary64_17761`
78×	`times-frac_binary64_17816`
72×	`neg-mul-1_binary64_17806` `distribute-neg-in_binary64_17771`
71×	`neg-sub0_binary64_17805`
65×	`distribute-rgt-out_binary64_17763`
58×	`associate--r+_binary64_17746`
57×	`sqr-pow_binary64_17782` `distribute-lft-neg-out_binary64_17769`
56×	`associate-/r*_binary64_17754`
55×	`distribute-lft-out--_binary64_17762`
51×	`associate--l+_binary64_17747`
49×	`associate-/l/_binary64_17757`
45×	`associate-+l+_binary64_17743`
42×	`associate-+r+_binary64_17742`
35×	`distribute-rgt-neg-out_binary64_17770`
33×	`*-rgt-identity_binary64_17800`
28×	`distribute-rgt-out--_binary64_17764`
27×	`unsub-neg_binary64_17804`
24×	`pow-sqr_binary64_17783`
23×	`*-lft-identity_binary64_17799` `associate-/r/_binary64_17756`
19×	`unswap-sqr_binary64_17778`
14×	`cube-prod_binary64_17838`
13×	`log-prod_binary64_17896`
12×	`log-div_binary64_17897` `unpow3_binary64_17876` `exp-prod_binary64_17862` `/-rgt-identity_binary64_17801`
11×	`difference-of-squares_binary64_17779`
10×	`prod-exp_binary64_17859` `cube-div_binary64_17839`
9×	`div-exp_binary64_17861` `cube-mult_binary64_17840`
8×	`swap-sqr_binary64_17777`
6×	`pow-plus_binary64_17873` `exp-sum_binary64_17856`
5×	`distribute-rgt1-in_binary64_17766`
3×	`rec-exp_binary64_17860` `exp-diff_binary64_17858` `cube-unmult_binary64_17847`
2×	`log-rec_binary64_17898` `unpow2_binary64_17875` `unpow1_binary64_17868` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744`
1×	`exp-sqrt_binary64_17863` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-log-exp_binary64_17851` `remove-double-neg_binary64_17798` `*-inverses_binary64_17790` `associate--r-_binary64_17749`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-exp-log_binary64_17850` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `rem-sqrt-square_binary64_17823` `rem-square-sqrt_binary64_17822` `mul-1-neg_binary64_17802` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `div0_binary64_17791` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-lft1-in_binary64_17765` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

171 → 269

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	3913
1	686	3709
2	2644	3409

prune397.0ms (1.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	269	0	269
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	269	7	276

Error

0.0b

Counts

276 → 7

Compiler

Compiled 7582 to 3570 computations (52.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (sqrt.f64 60) (.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y))) (*.f64 a 120))
0.2b	(*.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y))
0.3b	(/.f64 (sqrt.f64 60) (-.f64 z t))
0.3b	(.f64 (sqrt.f64 60) (.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y)))

rewrite434.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

89×	`add-sqr-sqrt_binary64_17832`
81×	`*-un-lft-identity_binary64_17810`
62×	`times-frac_binary64_17816`
53×	`add-cube-cbrt_binary64_17845`
42×	`associate-l_binary64_17751`
37×	`sqrt-prod_binary64_17826`
36×	`distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759`
30×	`cancel-sign-sub-inv_binary64_17776`
20×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
16×	`associate-+l+_binary64_17743`
14×	`difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762`
11×	`pow1_binary64_17871`
10×	`sub-neg_binary64_17803`
9×	`associate-*r/_binary64_17752`
7×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
6×	`add-log-exp_binary64_17849` `flip3--_binary64_17814` `flip--_binary64_17785` `associate-r_binary64_17750` `associate-/l*_binary64_17755`
5×	`associate-/r*_binary64_17754`
4×	`pow-prod-down_binary64_17881` `frac-times_binary64_17820` `associate-/r/_binary64_17756`
3×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `unswap-sqr_binary64_17778`
2×	`associate-l/_binary64_17753` `-commutative_binary64_17741` `div-inv_binary64_17807`
1×	`frac-2neg_binary64_17821` `clear-num_binary64_17809` `sum-log_binary64_17901` `flip3-+_binary64_17813` `flip-+_binary64_17784` `+-commutative_binary64_17740`

Counts

4 → 196

Calls

4 calls:

22.0ms	(*.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y))
18.0ms	(+.f64 (.f64 (sqrt.f64 60) (.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y))) (*.f64 a 120))
18.0ms	(.f64 (sqrt.f64 60) (.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y)))
7.0ms	(/.f64 (sqrt.f64 60) (-.f64 z t))

Compiler

Compiled 5476 to 3251 computations (40.6% saved)

series3.0s (13%)

Error

0.0b

Counts

4 → 107

Calls

4 calls:

1.4s	(+.f64 (.f64 (sqrt.f64 60) (.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y))) (*.f64 a 120))
776.0ms	(.f64 (sqrt.f64 60) (.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y)))
546.0ms	(*.f64 (/.f64 (sqrt.f64 60) (-.f64 z t)) (-.f64 x y))
116.0ms	(/.f64 (sqrt.f64 60) (-.f64 z t))

Compiler

Compiled 7993 to 6576 computations (17.7% saved)

simplify1.8s (7.7%)

Algorithm

1×	egg-herbie

Rules

759×	`cancel-sign-sub-inv_binary64_17776`
333×	`sub-neg_binary64_17803`
298×	`associate-r_binary64_17750`
279×	`associate-l_binary64_17751`
243×	`associate-/l*_binary64_17755`
232×	`times-frac_binary64_17816`
173×	`*-commutative_binary64_17741`
141×	`+-commutative_binary64_17740`
127×	`associate--l+_binary64_17747`
117×	`associate-*l/_binary64_17753`
116×	`associate--r+_binary64_17746`
105×	`associate-+l+_binary64_17743`
103×	`neg-sub0_binary64_17805`
98×	`associate-+r+_binary64_17742`
97×	`associate-/r*_binary64_17754`
94×	`distribute-rgt-in_binary64_17760`
90×	`neg-mul-1_binary64_17806`
81×	`distribute-lft-in_binary64_17759`
71×	`unsub-neg_binary64_17804` `associate-*r/_binary64_17752`
67×	`sqr-pow_binary64_17782`
65×	`div-sub_binary64_17815`
62×	`unswap-sqr_binary64_17778`
61×	`associate-/r/_binary64_17756`
55×	`associate-/l/_binary64_17757`
39×	`distribute-neg-in_binary64_17771`
38×	`*-rgt-identity_binary64_17800`
29×	`pow-sqr_binary64_17783`
26×	`distribute-rgt-neg-in_binary64_17768`
25×	`swap-sqr_binary64_17777`
23×	`exp-prod_binary64_17862`
20×	`cube-prod_binary64_17838`
19×	`log-div_binary64_17897`
18×	`log-prod_binary64_17896` `distribute-lft-neg-in_binary64_17767`
17×	`*-lft-identity_binary64_17799`
16×	`cube-div_binary64_17839` `distribute-lft-neg-out_binary64_17769`
13×	`unpow3_binary64_17876`
12×	`exp-sum_binary64_17856` `distribute-neg-frac_binary64_17774`
11×	`difference-of-squares_binary64_17779`
10×	`prod-exp_binary64_17859` `cube-mult_binary64_17840` `distribute-rgt-neg-out_binary64_17770`
9×	`pow-plus_binary64_17873` `div-exp_binary64_17861` `mul-1-neg_binary64_17802`
8×	`/-rgt-identity_binary64_17801`
5×	`exp-diff_binary64_17858` `cube-unmult_binary64_17847` `rem-sqrt-square_binary64_17823` `associate-+r-_binary64_17744`
3×	`unpow2_binary64_17875` `unpow1_binary64_17868` `rec-exp_binary64_17860` `associate-+l-_binary64_17745`
2×	`rem-square-sqrt_binary64_17822` `distribute-rgt-out--_binary64_17764` `distribute-rgt-out_binary64_17763`
1×	`log-rec_binary64_17898` `exp-sqrt_binary64_17863` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-log-exp_binary64_17851` `rem-3cbrt-lft_binary64_17835` `remove-double-neg_binary64_17798` `+-rgt-identity_binary64_17795` `div0_binary64_17791` `*-inverses_binary64_17790` `associate--r-_binary64_17749`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `log-pow_binary64_17899` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-exp-log_binary64_17850` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-rgt1-in_binary64_17766` `distribute-lft1-in_binary64_17765` `distribute-lft-out--_binary64_17762` `distribute-lft-out_binary64_17761` `count-2_binary64_17758` `associate--l-_binary64_17748`

Counts

303 → 781

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	465	7746
1	1189	7254
2	4221	7254

prune1.9s (8.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	781	0	781
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	781	7	788

Error

0.0b

Counts

788 → 7

Compiler

Compiled 21710 to 12141 computations (44.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (*.f64 (cbrt.f64 60) (cbrt.f64 60)) (-.f64 z t))
0.3b	(*.f64 (-.f64 x y) (cbrt.f64 60))
0.6b	(.f64 (/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (-.f64 z t)) (*.f64 (-.f64 x y) (cbrt.f64 60)))
1.0b	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

rewrite278.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`add-sqr-sqrt_binary64_17832`
34×	`add-exp-log_binary64_17848`
27×	`*-un-lft-identity_binary64_17810`
22×	`add-cbrt-cube_binary64_17846` `associate-l_binary64_17751`
20×	`cbrt-prod_binary64_17841`
19×	`add-cube-cbrt_binary64_17845`
18×	`pow1_binary64_17871`
14×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
13×	`associate-r_binary64_17750`
10×	`times-frac_binary64_17816`
7×	`associate-*l/_binary64_17753`
6×	`pow1/3_binary64_17892` `pow-prod-down_binary64_17881` `unswap-sqr_binary64_17778` `swap-sqr_binary64_17777` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844`
5×	`flip3--_binary64_17814` `flip--_binary64_17785` `associate-/r*_binary64_17754`
4×	`add-log-exp_binary64_17849` `difference-of-squares_binary64_17779` `distribute-lft-out--_binary64_17762` `associate-/r/_binary64_17756`
3×	`*-commutative_binary64_17741`
2×	`pow-prod-up_binary64_17880` `pow-sqr_binary64_17783` `frac-times_binary64_17820` `associate-*r/_binary64_17752` `div-inv_binary64_17807`
1×	`pow2_binary64_17891` `pow-plus_binary64_17873` `frac-2neg_binary64_17821` `clear-num_binary64_17809` `associate-/l*_binary64_17755`

Counts

4 → 132

Calls

4 calls:

16.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (-.f64 z t)) (*.f64 (-.f64 x y) (cbrt.f64 60)))
9.0ms	(/.f64 (*.f64 (cbrt.f64 60) (cbrt.f64 60)) (-.f64 z t))
8.0ms	(*.f64 (-.f64 x y) (cbrt.f64 60))
7.0ms	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

Compiler

Compiled 3645 to 2390 computations (34.4% saved)

series1.2s (5.3%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

777.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 60) (cbrt.f64 60)) (-.f64 z t)) (*.f64 (-.f64 x y) (cbrt.f64 60)))
185.0ms	(/.f64 (*.f64 (cbrt.f64 60) (cbrt.f64 60)) (-.f64 z t))
159.0ms	(*.f64 (-.f64 x y) (cbrt.f64 60))
0.0ms	(*.f64 (cbrt.f64 60) (cbrt.f64 60))

Compiler

Compiled 4035 to 3414 computations (15.4% saved)

simplify859.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

332×	`associate-r_binary64_17750`
286×	`associate-l_binary64_17751`
218×	`associate-/l*_binary64_17755`
189×	`associate--r+_binary64_17746`
160×	`unswap-sqr_binary64_17778`
150×	`associate--l+_binary64_17747`
145×	`cancel-sign-sub-inv_binary64_17776`
136×	`times-frac_binary64_17816`
123×	`*-commutative_binary64_17741`
117×	`associate-*l/_binary64_17753`
109×	`sub-neg_binary64_17803`
95×	`associate-/r*_binary64_17754`
79×	`distribute-rgt-in_binary64_17760`
77×	`distribute-rgt-neg-in_binary64_17768`
74×	`exp-prod_binary64_17862`
73×	`distribute-lft-in_binary64_17759`
72×	`distribute-neg-in_binary64_17771`
70×	`distribute-lft-neg-in_binary64_17767` `associate-+l-_binary64_17745`
66×	`log-prod_binary64_17896`
65×	`associate-*r/_binary64_17752`
62×	`sqr-pow_binary64_17782`
61×	`div-sub_binary64_17815` `distribute-neg-frac_binary64_17774`
56×	`distribute-lft-neg-out_binary64_17769`
54×	`distribute-rgt-neg-out_binary64_17770`
53×	`+-commutative_binary64_17740`
48×	`neg-sub0_binary64_17805`
47×	`*-rgt-identity_binary64_17800`
42×	`neg-mul-1_binary64_17806`
40×	`log-div_binary64_17897` `associate-/r/_binary64_17756` `associate-+l+_binary64_17743`
38×	`associate-/l/_binary64_17757`
34×	`associate-+r+_binary64_17742`
30×	`swap-sqr_binary64_17777`
24×	`cube-prod_binary64_17838`
23×	`unsub-neg_binary64_17804`
22×	`pow-sqr_binary64_17783`
20×	`cube-div_binary64_17839`
18×	`distribute-lft-out_binary64_17761`
17×	`/-rgt-identity_binary64_17801` `*-lft-identity_binary64_17799` `distribute-rgt-out_binary64_17763`
16×	`associate--l-_binary64_17748`
15×	`pow-plus_binary64_17873` `exp-sum_binary64_17856`
11×	`cube-unmult_binary64_17847`
10×	`difference-of-squares_binary64_17779`
8×	`rem-sqrt-square_binary64_17823`
7×	`mul-1-neg_binary64_17802` `distribute-rgt-out--_binary64_17764` `distribute-lft-out--_binary64_17762` `associate--r-_binary64_17749`
5×	`log-rec_binary64_17898` `unpow3_binary64_17876` `cube-mult_binary64_17840` `count-2_binary64_17758`
4×	`div-exp_binary64_17861` `prod-exp_binary64_17859` `exp-diff_binary64_17858`
3×	`log-pow_binary64_17899` `unpow2_binary64_17875` `unpow1_binary64_17868`
2×	`exp-sqrt_binary64_17863` `rec-exp_binary64_17860` `distribute-rgt1-in_binary64_17766`
1×	`1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-log-exp_binary64_17851` `rem-3cbrt-rft_binary64_17836` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `rem-cube-cbrt_binary64_17833` `rem-square-sqrt_binary64_17822` `remove-double-neg_binary64_17798` `div0_binary64_17791` `*-inverses_binary64_17790` `distribute-lft1-in_binary64_17765` `associate-+r-_binary64_17744`
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_18073` `erf-erfc_binary64_18072` `erf-odd_binary64_18071` `if-if-and-not_binary64_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `not-gte_binary64_18062` `not-lte_binary64_18061` `not-gt_binary64_18060` `not-lt_binary64_18059` `gte-same_binary64_18058` `lte-same_binary64_18057` `gt-same_binary64_18056` `lt-same_binary64_18055` `sinh---cosh_binary64_18002` `sinh-+-cosh_binary64_18001` `sinh-cosh_binary64_18000` `tanh-def-c_binary64_17999` `tanh-def-b_binary64_17998` `tanh-def-a_binary64_17997` `cosh-def_binary64_17996` `sinh-def_binary64_17995` `tan-neg_binary64_17942` `cos-neg_binary64_17941` `sin-neg_binary64_17940` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `hang-m-tan_binary64_17936` `hang-p-tan_binary64_17935` `hang-m0-tan_binary64_17934` `hang-p0-tan_binary64_17933` `hang-0m-tan_binary64_17932` `hang-0p-tan_binary64_17931` `tan-+PI/2_binary64_17930` `tan-+PI_binary64_17929` `tan-PI_binary64_17928` `tan-PI/3_binary64_17927` `tan-PI/4_binary64_17926` `tan-PI/6_binary64_17925` `cos-+PI/2_binary64_17924` `cos-+PI_binary64_17923` `cos-PI_binary64_17922` `cos-PI/2_binary64_17921` `cos-PI/3_binary64_17920` `cos-PI/4_binary64_17919` `cos-PI/6_binary64_17918` `sin-+PI/2_binary64_17917` `sin-+PI_binary64_17916` `sin-PI_binary64_17915` `sin-PI/2_binary64_17914` `sin-PI/3_binary64_17913` `sin-PI/4_binary64_17912` `sin-PI/6_binary64_17911` `sub-1-sin_binary64_17910` `sub-1-cos_binary64_17909` `-1-add-sin_binary64_17908` `-1-add-cos_binary64_17907` `1-sub-sin_binary64_17906` `1-sub-cos_binary64_17905` `cos-sin-sum_binary64_17904` `log-E_binary64_17900` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-exp-log_binary64_17850` `cube-neg_binary64_17837` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `mul0-rgt_binary64_17793` `mul0-lft_binary64_17792` `+-inverses_binary64_17789` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr--1_binary64_17781` `difference-of-sqr-1_binary64_17780` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772`

Counts

186 → 326

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	4157
1	665	3376
2	3298	3065

prune637.0ms (2.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	326	0	326
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	326	7	333

Error

0.0b

Counts

333 → 7

Compiler

Compiled 9142 to 5576 computations (39% saved)

regimes2.1s (9.2%)

Accuracy

Total 0.1b remaining (93.4%)

Threshold costs 0.1b (93.4%)

Compiler

Compiled 19414 to 16776 computations (13.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64_17740`
4×	`sub-neg_binary64_17803` `*-commutative_binary64_17741`
2×	`neg-mul-1_binary64_17806` `neg-sub0_binary64_17805`
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_18070` `if-if-and_binary64_18069` `if-if-or-not_binary64_18068` `if-if-or_binary64_18067` `if-not_binary64_18066` `if-same_binary64_18065` `if-false_binary64_18064` `if-true_binary64_18063` `tan-0_binary64_17939` `cos-0_binary64_17938` `sin-0_binary64_17937` `unpow1_binary64_17868` `e-exp-1_binary64_17855` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `unsub-neg_binary64_17804` `mul-1-neg_binary64_17802` `/-rgt-identity_binary64_17801` `-rgt-identity_binary64_17800` `-lft-identity_binary64_17799` `remove-double-neg_binary64_17798` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `+-rgt-identity_binary64_17795` `+-lft-identity_binary64_17794` `cancel-sign-sub-inv_binary64_17776` `cancel-sign-sub_binary64_17775` `distribute-neg-frac_binary64_17774` `distribute-frac-neg_binary64_17773` `distribute-neg-out_binary64_17772` `distribute-neg-in_binary64_17771` `distribute-rgt-neg-out_binary64_17770` `distribute-lft-neg-out_binary64_17769` `distribute-rgt-neg-in_binary64_17768` `distribute-lft-neg-in_binary64_17767`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	21	19
2	29	19
3	33	19
4	35	19

Proof

(+ f64 (* f64 (- f64 h0 h1) (/ f64 60 (- f64 h2 h3))) (* f64 h4 120))

end0.0ms (0%)

sample2.3s (9.8%)

Algorithm

1×

intervals

Results

330.0ms	7873×	body	128	valid
25.0ms	661×	body	128	invalid
6.0ms	36×	body	2048	valid
6.0ms	39×	body	1024	valid
3.0ms	28×	body	512	valid
2.0ms	22×	body	256	valid
0.0ms	2×	body	4096	valid

Compiler

Compiled 1787 to 1543 computations (13.7% saved)

Details

analyze1.0s (4.5%)

sample27.0ms (0.1%)

simplify652.0ms (2.8%)

prune5.0ms (0%)

localize10.0ms (0%)

rewrite369.0ms (1.6%)

series1.6s (6.9%)

simplify688.0ms (3%)

prune1.8s (7.7%)

localize10.0ms (0%)

rewrite153.0ms (0.7%)

series1.4s (5.9%)

simplify414.0ms (1.8%)

prune397.0ms (1.7%)

localize12.0ms (0.1%)

rewrite434.0ms (1.9%)

series3.0s (13%)

simplify1.8s (7.7%)

prune1.9s (8.4%)

localize14.0ms (0.1%)

rewrite278.0ms (1.2%)

series1.2s (5.3%)

simplify859.0ms (3.7%)

prune637.0ms (2.8%)

regimes2.1s (9.2%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.3s (9.8%)

Profiling