Details

analyze542.0ms (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample41.0ms (0.1%)

Algorithm

1×

intervals

Results

9.0ms	183×	body	128	valid
5.0ms	29×	body	1024	valid
5.0ms	32×	body	1024	nan
4.0ms	27×	body	512	valid
2.0ms	18×	body	512	nan
1.0ms	14×	body	256	valid
1.0ms	3×	body	2048	valid
1.0ms	18×	body	128	nan
1.0ms	8×	body	256	nan
0.0ms	1×	body	2048	nan

Compiler

Compiled 25 to 25 computations (0% saved)

simplify2.1s (5%)

Algorithm

1×	egg-herbie

Rules

703×	`exp-prod_binary64_17862`
369×	`div-sub_binary64_17815`
356×	`associate-/l/_binary64_17757`
297×	`sub-neg_binary64_17803`
294×	`unsub-neg_binary64_17804`
285×	`distribute-rgt-out--_binary64_17764`
281×	`distribute-rgt-out_binary64_17763`
258×	`associate-/r*_binary64_17754`
156×	`associate-l_binary64_17751`
149×	`distribute-rgt-in_binary64_17760`
146×	`associate-/r/_binary64_17756`
123×	`times-frac_binary64_17816`
104×	`distribute-lft-in_binary64_17759`
95×	`associate-*l/_binary64_17753`
82×	`distribute-lft-out_binary64_17761`
81×	`distribute-lft-out--_binary64_17762`
72×	`neg-mul-1_binary64_17806`
71×	`associate-*r/_binary64_17752`
61×	`cancel-sign-sub-inv_binary64_17776`
57×	`neg-sub0_binary64_17805`
51×	`associate-/l*_binary64_17755`
43×	`distribute-rgt-neg-in_binary64_17768`
42×	`distribute-frac-neg_binary64_17773`
40×	`associate--r+_binary64_17746`
37×	`distribute-neg-frac_binary64_17774`
33×	`log-prod_binary64_17896` `distribute-rgt-neg-out_binary64_17770`
30×	`distribute-lft-neg-in_binary64_17767`
29×	`*-commutative_binary64_17741`
28×	`log-pow_binary64_17899`
27×	`cancel-sign-sub_binary64_17775` `distribute-neg-in_binary64_17771`
26×	`+-commutative_binary64_17740`
25×	`associate-+r+_binary64_17742`
24×	`exp-diff_binary64_17858` `associate--r-_binary64_17749`
23×	`distribute-lft-neg-out_binary64_17769`
22×	`associate-+r-_binary64_17744`
21×	`div0_binary64_17791` `distribute-rgt1-in_binary64_17766` `associate-+l-_binary64_17745`
20×	`mul0-rgt_binary64_17793`
19×	`log-div_binary64_17897` `mul0-lft_binary64_17792`
18×	`-rgt-identity_binary64_17800` `-lft-identity_binary64_17799` `associate-r_binary64_17750`
17×	`cube-prod_binary64_17838`
16×	`associate--l-_binary64_17748`
15×	`exp-sum_binary64_17856` `associate--l+_binary64_17747`
14×	`sqr-neg_binary64_17824`
13×	`sub0-neg_binary64_17797`
12×	`--rgt-identity_binary64_17796`
11×	`cube-div_binary64_17839` `+-lft-identity_binary64_17794` `associate-+l+_binary64_17743`
10×	`pow-plus_binary64_17873`
9×	`remove-double-neg_binary64_17798`
6×	`cube-unmult_binary64_17847` `sqr-pow_binary64_17782` `swap-sqr_binary64_17777`
5×	`/-rgt-identity_binary64_17801` `distribute-neg-out_binary64_17772`
4×	`pow-sqr_binary64_17783`
3×	`exp-lft-sqr_binary64_17865` `+-rgt-identity_binary64_17795` `*-inverses_binary64_17790` `count-2_binary64_17758`
2×	`log-rec_binary64_17898` `exp-neg_binary64_17857` `mul-1-neg_binary64_17802` `+-inverses_binary64_17789` `difference-of-squares_binary64_17779` `unswap-sqr_binary64_17778`
1×	`1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-log-exp_binary64_17851` `difference-of-sqr--1_binary64_17781`
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` `unpow3_binary64_17876` `unpow2_binary64_17875` `unpow1/2_binary64_17874` `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-cbrt_binary64_17864` `exp-sqrt_binary64_17863` `div-exp_binary64_17861` `rec-exp_binary64_17860` `prod-exp_binary64_17859` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `rem-exp-log_binary64_17850` `cube-mult_binary64_17840` `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` `lft-mult-inverse_binary64_17788` `rgt-mult-inverse_binary64_17787` `remove-double-div_binary64_17786` `difference-of-sqr-1_binary64_17780` `distribute-lft1-in_binary64_17765`

Counts

1 → 3

Iterations

Useful iterations: 7 (1.0ms)

Iter	Nodes	Cost
0	10	18
1	22	18
2	39	18
3	84	18
4	162	18
5	338	18
6	728	18
7	3310	1
8	68	1

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

18.7b

Counts

4 → 2

Compiler

Compiled 38 to 35 computations (7.9% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
2.6b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
4.7b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite335.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

15.8b

Rules

118×	`add-sqr-sqrt_binary64_17832`
107×	`*-un-lft-identity_binary64_17810`
66×	`times-frac_binary64_17816`
49×	`difference-of-squares_binary64_17779`
40×	`cancel-sign-sub-inv_binary64_17776`
32×	`add-cube-cbrt_binary64_17845`
29×	`distribute-lft-out--_binary64_17762`
16×	`log-prod_binary64_17896`
8×	`associate--r+_binary64_17746`
7×	`pow1_binary64_17871` `flip3--_binary64_17814` `flip--_binary64_17785` `add-exp-log_binary64_17848` `add-log-exp_binary64_17849`
6×	`add-cbrt-cube_binary64_17846` `associate-/r*_binary64_17754`
5×	`associate-/l*_binary64_17755`
4×	`log-div_binary64_17897` `associate-/r/_binary64_17756`
3×	`log-pow_binary64_17899` `associate--r-_binary64_17749`
2×	`diff-log_binary64_17902` `sub-neg_binary64_17803` `div-inv_binary64_17807` `div-sub_binary64_17815` `associate-/l/_binary64_17757`
1×	`rem-log-exp_binary64_17851` `div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `frac-2neg_binary64_17821` `clear-num_binary64_17809`

Counts

4 → 159

Calls

4 calls:

24.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
21.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
17.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
9.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 3700 to 2380 computations (35.7% saved)

series1.3s (3.2%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

476.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
381.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
201.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
150.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 4496 to 3600 computations (19.9% saved)

simplify841.0ms (2%)

Algorithm

1×	egg-herbie

Rules

312×	`associate-+l+_binary64_17743`
228×	`times-frac_binary64_17816`
194×	`associate-/l*_binary64_17755`
188×	`associate-/r*_binary64_17754`
184×	`sub-neg_binary64_17803`
149×	`+-commutative_binary64_17740`
142×	`associate--l+_binary64_17747`
135×	`associate-*l/_binary64_17753`
134×	`associate--r+_binary64_17746`
116×	`associate-*r/_binary64_17752`
106×	`neg-mul-1_binary64_17806`
105×	`neg-sub0_binary64_17805`
103×	`associate-+r+_binary64_17742`
101×	`associate-r_binary64_17750`
91×	`associate-l_binary64_17751`
74×	`distribute-rgt-in_binary64_17760`
73×	`distribute-lft-in_binary64_17759`
66×	`associate-/l/_binary64_17757` `*-commutative_binary64_17741`
61×	`distribute-neg-in_binary64_17771`
58×	`div-sub_binary64_17815`
55×	`distribute-lft-neg-out_binary64_17769`
47×	`cancel-sign-sub-inv_binary64_17776`
46×	`distribute-rgt-neg-in_binary64_17768`
43×	`distribute-neg-frac_binary64_17774`
38×	`associate-+r-_binary64_17744`
29×	`sqr-pow_binary64_17782`
27×	`distribute-rgt-neg-out_binary64_17770`
22×	`unswap-sqr_binary64_17778`
21×	`associate-/r/_binary64_17756` `associate-+l-_binary64_17745`
18×	`distribute-lft-neg-in_binary64_17767`
15×	`pow-sqr_binary64_17783`
12×	`associate--r-_binary64_17749`
11×	`log-prod_binary64_17896` `unsub-neg_binary64_17804` `distribute-rgt-out_binary64_17763`
10×	`log-div_binary64_17897`
8×	`unpow3_binary64_17876` `distribute-rgt1-in_binary64_17766`
7×	`cube-mult_binary64_17840` `/-rgt-identity_binary64_17801` `*-rgt-identity_binary64_17800` `difference-of-squares_binary64_17779`
6×	`cube-prod_binary64_17838` `*-lft-identity_binary64_17799` `swap-sqr_binary64_17777`
5×	`pow-plus_binary64_17873`
4×	`log-rec_binary64_17898` `unpow2_binary64_17875` `exp-prod_binary64_17862` `mul-1-neg_binary64_17802` `distribute-rgt-out--_binary64_17764`
3×	`exp-sum_binary64_17856` `cube-div_binary64_17839`
2×	`pow-base-1_binary64_17870` `div-exp_binary64_17861` `prod-exp_binary64_17859` `exp-diff_binary64_17858` `cube-unmult_binary64_17847` `rem-3cbrt-lft_binary64_17835` `rem-square-sqrt_binary64_17822` `remove-double-neg_binary64_17798` `distribute-lft1-in_binary64_17765`
1×	`log-pow_binary64_17899` `exp-to-pow_binary64_17872` `rec-exp_binary64_17860` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `rem-sqrt-square_binary64_17823` `*-inverses_binary64_17790` `distribute-neg-out_binary64_17772` `distribute-lft-out_binary64_17761` `count-2_binary64_17758` `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` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `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-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `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` `+-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-lft-out--_binary64_17762`

Counts

219 → 232

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	519	6556
1	1532	6350

prune466.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	229	3	232
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	230	4	234

Error

Counts

234 → 4

Compiler

Compiled 6978 to 4434 computations (36.5% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.1b	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
2.6b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite379.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

177×	`add-sqr-sqrt_binary64_17832`
145×	`*-un-lft-identity_binary64_17810`
124×	`times-frac_binary64_17816`
67×	`difference-of-squares_binary64_17779`
54×	`add-cube-cbrt_binary64_17845`
36×	`cancel-sign-sub-inv_binary64_17776`
32×	`distribute-lft-out--_binary64_17762`
30×	`log-prod_binary64_17896`
14×	`associate-/r*_binary64_17754`
13×	`add-exp-log_binary64_17848`
8×	`add-cbrt-cube_binary64_17846` `associate-/r/_binary64_17756` `associate-/l*_binary64_17755`
6×	`add-log-exp_binary64_17849` `flip3--_binary64_17814` `flip--_binary64_17785`
5×	`pow1_binary64_17871` `div-exp_binary64_17861`
4×	`div-inv_binary64_17807`
3×	`rem-log-exp_binary64_17851`
2×	`div-sub_binary64_17815` `e-exp-1_binary64_17855` `cbrt-undiv_binary64_17844` `frac-2neg_binary64_17821` `clear-num_binary64_17809` `associate-/l/_binary64_17757`
1×	`diff-log_binary64_17902` `sub-neg_binary64_17803` `associate--r-_binary64_17749` `log-pow_binary64_17899` `log-div_binary64_17897`

Counts

4 → 203

Calls

4 calls:

24.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
19.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
19.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
9.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 4869 to 2865 computations (41.2% saved)

series3.0s (7.3%)

Error

Counts

4 → 62

Calls

4 calls:

1.5s	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
933.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
205.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
159.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

Compiler

Compiled 8749 to 6680 computations (23.6% saved)

simplify2.8s (6.8%)

Algorithm

1×	egg-herbie

Rules

884×	`times-frac_binary64_17816`
219×	`+-commutative_binary64_17740`
199×	`sub-neg_binary64_17803`
177×	`associate-+r+_binary64_17742`
154×	`*-commutative_binary64_17741`
112×	`associate-*r/_binary64_17752`
110×	`associate-/r*_binary64_17754`
92×	`neg-mul-1_binary64_17806`
88×	`neg-sub0_binary64_17805`
78×	`distribute-rgt-in_binary64_17760`
65×	`log-div_binary64_17897`
63×	`div-sub_binary64_17815`
57×	`associate-/l*_binary64_17755`
51×	`distribute-neg-in_binary64_17771` `distribute-lft-neg-out_binary64_17769`
49×	`cancel-sign-sub-inv_binary64_17776`
48×	`unswap-sqr_binary64_17778`
45×	`sqr-pow_binary64_17782`
42×	`distribute-neg-frac_binary64_17774` `distribute-rgt-neg-in_binary64_17768`
26×	`distribute-rgt-neg-out_binary64_17770`
23×	`pow-sqr_binary64_17783`
21×	`distribute-rgt-out_binary64_17763`
19×	`associate--l+_binary64_17747`
18×	`associate--r+_binary64_17746`
16×	`log-prod_binary64_17896`
15×	`distribute-lft-neg-in_binary64_17767`
10×	`log-rec_binary64_17898` `/-rgt-identity_binary64_17801`
8×	`mul-1-neg_binary64_17802`
7×	`unpow3_binary64_17876` `*-rgt-identity_binary64_17800`
6×	`cube-mult_binary64_17840` `distribute-rgt1-in_binary64_17766`
5×	`unpow2_binary64_17875` `pow-plus_binary64_17873` `prod-exp_binary64_17859` `-lft-identity_binary64_17799` `difference-of-squares_binary64_17779` `associate-l*_binary64_17751`
4×	`div-exp_binary64_17861` `cube-unmult_binary64_17847` `cube-prod_binary64_17838` `swap-sqr_binary64_17777` `distribute-lft-in_binary64_17759`
3×	`exp-sum_binary64_17856` `cube-div_binary64_17839` `distribute-rgt-out--_binary64_17764` `distribute-lft-out_binary64_17761`
2×	`exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `exp-diff_binary64_17858` `distribute-lft1-in_binary64_17765` `associate-*l/_binary64_17753`
1×	`log-E_binary64_17900` `log-pow_binary64_17899` `exp-prod_binary64_17862` `rec-exp_binary64_17860` `e-exp-1_binary64_17855` `1-exp_binary64_17854` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `rem-3cbrt-lft_binary64_17835` `rem-sqrt-square_binary64_17823` `rem-square-sqrt_binary64_17822` `unsub-neg_binary64_17804` `remove-double-neg_binary64_17798` `-inverses_binary64_17790` `associate-r*_binary64_17750`
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` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `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-neg_binary64_17857` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `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` `+-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-lft-out--_binary64_17762` `count-2_binary64_17758` `associate-/l/_binary64_17757` `associate-/r/_binary64_17756` `associate--r-_binary64_17749` `associate--l-_binary64_17748` `associate-+l-_binary64_17745` `associate-+r-_binary64_17744` `associate-+l+_binary64_17743`

Counts

265 → 269

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	863	11697
1	2627	11465

prune901.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	268	1	269
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	270	3	273

Error

Counts

273 → 3

Compiler

Compiled 11989 to 7567 computations (36.9% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (-.f64 (/.f64 E.f64 (-.f64 1 x)) (/.f64 (*.f64 y E.f64) (-.f64 1 x))))
0.1b	(/.f64 (*.f64 y E.f64) (-.f64 1 x))
0.2b	(/.f64 E.f64 (-.f64 1 x))
0.3b	(*.f64 y E.f64)

rewrite216.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

67×	`*-un-lft-identity_binary64_17810`
53×	`add-sqr-sqrt_binary64_17832`
43×	`times-frac_binary64_17816`
22×	`add-cube-cbrt_binary64_17845`
19×	`log-prod_binary64_17896`
18×	`add-exp-log_binary64_17848` `difference-of-squares_binary64_17779`
13×	`add-cbrt-cube_binary64_17846` `distribute-rgt-out--_binary64_17764`
12×	`distribute-lft-out--_binary64_17762` `associate-/r*_binary64_17754`
8×	`associate-/r/_binary64_17756`
7×	`pow1_binary64_17871`
5×	`div-exp_binary64_17861` `flip3--_binary64_17814` `flip--_binary64_17785`
4×	`prod-exp_binary64_17859` `add-log-exp_binary64_17849` `div-inv_binary64_17807` `associate-/l*_binary64_17755` `log-div_binary64_17897`
3×	`e-exp-1_binary64_17855` `associate-l_binary64_17751` `associate-r_binary64_17750` `cbrt-undiv_binary64_17844`
2×	`cbrt-unprod_binary64_17843` `frac-2neg_binary64_17821` `clear-num_binary64_17809`
1×	`pow-prod-down_binary64_17881` `unswap-sqr_binary64_17778` `*-commutative_binary64_17741` `log-pow_binary64_17899` `frac-sub_binary64_17819` `sub-div_binary64_17817` `rem-log-exp_binary64_17851`

Counts

4 → 123

Calls

4 calls:

28.0ms	(log.f64 (-.f64 (/.f64 E.f64 (-.f64 1 x)) (/.f64 (*.f64 y E.f64) (-.f64 1 x))))
7.0ms	(/.f64 (*.f64 y E.f64) (-.f64 1 x))
6.0ms	(/.f64 E.f64 (-.f64 1 x))
4.0ms	(*.f64 y E.f64)

Compiler

Compiled 2675 to 1641 computations (38.7% saved)

series518.0ms (1.2%)

Error

Counts

4 → 44

Calls

4 calls:

239.0ms	(log.f64 (-.f64 (/.f64 E.f64 (-.f64 1 x)) (/.f64 (*.f64 y E.f64) (-.f64 1 x))))
139.0ms	(/.f64 (*.f64 y E.f64) (-.f64 1 x))
55.0ms	(/.f64 E.f64 (-.f64 1 x))
32.0ms	(*.f64 y E.f64)

Compiler

Compiled 2204 to 1414 computations (35.8% saved)

simplify625.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

308×	`cancel-sign-sub-inv_binary64_17776`
269×	`times-frac_binary64_17816`
223×	`associate-/l*_binary64_17755`
197×	`sub-neg_binary64_17803`
185×	`distribute-rgt-in_binary64_17760`
169×	`distribute-neg-frac_binary64_17774`
156×	`distribute-rgt-neg-in_binary64_17768`
151×	`associate-/r*_binary64_17754`
140×	`distribute-lft-neg-in_binary64_17767`
126×	`+-commutative_binary64_17740`
119×	`div-sub_binary64_17815`
115×	`distribute-lft-in_binary64_17759`
110×	`distribute-neg-in_binary64_17771`
101×	`associate-r_binary64_17750`
100×	`unswap-sqr_binary64_17778`
99×	`associate-l_binary64_17751`
95×	`associate-+r+_binary64_17742`
87×	`associate-/l/_binary64_17757`
86×	`distribute-rgt-out_binary64_17763`
82×	`neg-mul-1_binary64_17806` `associate-*l/_binary64_17753`
81×	`associate-+l+_binary64_17743`
79×	`neg-sub0_binary64_17805`
63×	`sqr-pow_binary64_17782`
62×	`associate-*r/_binary64_17752`
59×	`*-commutative_binary64_17741`
56×	`associate-/r/_binary64_17756`
53×	`unsub-neg_binary64_17804`
49×	`log-div_binary64_17897`
45×	`distribute-lft-out_binary64_17761`
37×	`log-prod_binary64_17896` `associate--r+_binary64_17746`
33×	`associate--l+_binary64_17747`
31×	`pow-sqr_binary64_17783`
30×	`/-rgt-identity_binary64_17801`
25×	`cube-div_binary64_17839`
24×	`distribute-lft-neg-out_binary64_17769`
23×	`*-rgt-identity_binary64_17800`
22×	`distribute-rgt-out--_binary64_17764`
18×	`distribute-neg-out_binary64_17772`
17×	`pow-plus_binary64_17873` `cube-prod_binary64_17838`
15×	`swap-sqr_binary64_17777` `distribute-rgt1-in_binary64_17766`
12×	`unpow3_binary64_17876` `*-lft-identity_binary64_17799` `associate-+r-_binary64_17744`
10×	`exp-prod_binary64_17862` `cube-mult_binary64_17840`
9×	`log-rec_binary64_17898` `distribute-rgt-neg-out_binary64_17770` `associate-+l-_binary64_17745`
8×	`prod-exp_binary64_17859` `difference-of-squares_binary64_17779`
6×	`distribute-lft1-in_binary64_17765`
5×	`log-pow_binary64_17899` `div-exp_binary64_17861` `associate--l-_binary64_17748`
4×	`unpow2_binary64_17875` `+-rgt-identity_binary64_17795` `distribute-lft-out--_binary64_17762`
3×	`exp-to-pow_binary64_17872` `pow-base-1_binary64_17870` `unpow1_binary64_17868` `cube-unmult_binary64_17847` `associate--r-_binary64_17749`
2×	`rec-exp_binary64_17860` `rem-sqrt-square_binary64_17823` `mul-1-neg_binary64_17802` `remove-double-neg_binary64_17798` `div0_binary64_17791` `count-2_binary64_17758`
1×	`log-E_binary64_17900` `exp-sqrt_binary64_17863` `e-exp-1_binary64_17855` `1-exp_binary64_17854` `rem-log-exp_binary64_17851` `rem-exp-log_binary64_17850` `sub0-neg_binary64_17797` `--rgt-identity_binary64_17796` `*-inverses_binary64_17790` `cancel-sign-sub_binary64_17775` `distribute-frac-neg_binary64_17773`
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` `pow-base-0_binary64_17894` `unpow1/3_binary64_17877` `unpow1/2_binary64_17874` `unpow0_binary64_17869` `unpow-1_binary64_17867` `exp-lft-cube_binary64_17866` `exp-lft-sqr_binary64_17865` `exp-cbrt_binary64_17864` `exp-diff_binary64_17858` `exp-neg_binary64_17857` `exp-sum_binary64_17856` `exp-1-e_binary64_17853` `exp-0_binary64_17852` `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-square-sqrt_binary64_17822` `+-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`

Counts

167 → 348

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	329	3627
1	809	3472
2	3200	3333

prune839.0ms (2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	348	0	348
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	348	3	351

Error

Counts

351 → 3

Compiler

Compiled 8966 to 5508 computations (38.6% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))) (log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
2.6b	(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
12.9b	(log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)))
12.9b	(log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))

rewrite801.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

150×	`add-sqr-sqrt_binary64_17832`
116×	`*-un-lft-identity_binary64_17810`
82×	`cancel-sign-sub-inv_binary64_17776`
72×	`times-frac_binary64_17816`
69×	`difference-of-squares_binary64_17779`
48×	`unpow-prod-down_binary64_17889` `cube-prod_binary64_17838`
38×	`log-prod_binary64_17896`
34×	`add-cube-cbrt_binary64_17845`
29×	`distribute-lft-out--_binary64_17762`
16×	`associate--l+_binary64_17747`
11×	`pow1_binary64_17871`
8×	`log-div_binary64_17897`
7×	`log-pow_binary64_17899` `sqr-pow_binary64_17782`
6×	`add-exp-log_binary64_17848` `add-log-exp_binary64_17849` `flip3--_binary64_17814` `flip--_binary64_17785`
4×	`add-cbrt-cube_binary64_17846` `associate-/r/_binary64_17756`
3×	`associate--r+_binary64_17746`
2×	`flip3-+_binary64_17813` `flip-+_binary64_17784` `rem-log-exp_binary64_17851` `diff-log_binary64_17902` `sub-neg_binary64_17803` `div-inv_binary64_17807` `associate--r-_binary64_17749` `associate--l-_binary64_17748`
1×	`unpow3_binary64_17876` `cube-mult_binary64_17840`

Counts

4 → 186

Calls

4 calls:

40.0ms	(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))
38.0ms	(-.f64 (log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))) (log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
32.0ms	(log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)))
4.0ms	(log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))

Compiler

Compiled 9631 to 6370 computations (33.9% saved)

series10.0s (23.8%)

Error

Counts

4 → 63

Calls

4 calls:

5.0s	(-.f64 (log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))) (log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))))
3.0s	(log.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))))
557.0ms	(log.f64 (-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3)))
478.0ms	(-.f64 1 (pow.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 3))

Compiler

Compiled 21979 to 17446 computations (20.6% saved)

simplify9.2s (22%)

Algorithm

1×	egg-herbie

Rules

448×	`+-commutative_binary64_17740`
367×	`associate-+r+_binary64_17742`
242×	`*-commutative_binary64_17741`
241×	`sub-neg_binary64_17803`
182×	`sqr-pow_binary64_17782`
152×	`associate-*r/_binary64_17752`
130×	`unswap-sqr_binary64_17778`
126×	`neg-mul-1_binary64_17806`
123×	`neg-sub0_binary64_17805`
108×	`associate-/r*_binary64_17754`
90×	`pow-sqr_binary64_17783`
73×	`unpow3_binary64_17876` `cube-mult_binary64_17840`
58×	`associate-/l*_binary64_17755`
53×	`cube-div_binary64_17839`
37×	`associate--l+_binary64_17747`
31×	`distribute-lft-neg-out_binary64_17769`
30×	`associate--r+_binary64_17746`
22×	`unsub-neg_binary64_17804`
21×	`div-sub_binary64_17815`
18×	`cube-prod_binary64_17838`
17×	`log-prod_binary64_17896` `cancel-sign-sub-inv_binary64_17776`
13×	`times-frac_binary64_17816` `difference-of-squares_binary64_17779`
9×	`pow-plus_binary64_17873` `associate-r_binary64_17750`
8×	`log-div_binary64_17897` `unpow2_binary64_17875` `*-rgt-identity_binary64_17800`
6×	`exp-prod_binary64_17862`
5×	`log-rec_binary64_17898` `*-lft-identity_binary64_17799`
4×	`log-pow_binary64_17899` `rem-square-sqrt_binary64_17822` `/-rgt-identity_binary64_17801` `distribute-lft-out_binary64_17761`
3×	`div-exp_binary64_17861` `rem-cube-cbrt_binary64_17833` `rem-sqrt-square_binary64_17823` `mul-1-neg_binary64_17802` `distribute-rgt-out_binary64_17763` `associate-l_binary64_17751`
2×	`pow-base-1_binary64_17870` `prod-exp_binary64_17859` `exp-sum_binary64_17856` `rem-exp-log_binary64_17850` `cube-unmult_binary64_17847` `distribute-neg-frac_binary64_17774` `distribute-rgt-neg-in_binary64_17768` `distribute-lft-neg-in_binary64_17767` `associate-*l/_binary64_17753`
1×	`rec-exp_binary64_17860` `exp-diff_binary64_17858` `1-exp_binary64_17854` `exp-1-e_binary64_17853` `rem-log-exp_binary64_17851` `rem-3cbrt-lft_binary64_17835` `rem-cbrt-cube_binary64_17834` `*-inverses_binary64_17790` `swap-sqr_binary64_17777` `distribute-rgt-out--_binary64_17764` `distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759` `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` `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-neg_binary64_17857` `e-exp-1_binary64_17855` `exp-0_binary64_17852` `cube-neg_binary64_17837` `rem-3cbrt-rft_binary64_17836` `sqr-abs_binary64_17825` `sqr-neg_binary64_17824` `remove-double-neg_binary64_17798` `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-neg-in_binary64_17771` `distribute-rgt-neg-out_binary64_17770` `distribute-rgt1-in_binary64_17766` `distribute-lft1-in_binary64_17765` `distribute-lft-out--_binary64_17762` `count-2_binary64_17758` `associate-/l/_binary64_17757` `associate-/r/_binary64_17756` `associate--r-_binary64_17749` `associate--l-_binary64_17748` `associate-+l-_binary64_17745` `associate-+l+_binary64_17743`

Counts

249 → 229

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1277	20978
1	4068	20536

prune2.5s (5.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

232 → 3

Compiler

Compiled 25130 to 16611 computations (33.9% saved)

regimes1.3s (3%)

Accuracy

Total 0.0b remaining (95.1%)

Threshold costs 0.0b (95.1%)

Compiler

Compiled 13203 to 10926 computations (17.2% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`sub-neg_binary64_17803` `+-commutative_binary64_17740`
6×	`*-commutative_binary64_17741`
5×	`neg-mul-1_binary64_17806` `neg-sub0_binary64_17805`
2×	`distribute-rgt-neg-in_binary64_17768` `distribute-lft-neg-in_binary64_17767`
1×	`e-exp-1_binary64_17855` `1-exp_binary64_17854` `distribute-neg-frac_binary64_17774`
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` `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-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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	20	26
2	29	26
3	41	26
4	49	26
5	54	26
6	56	26

Proof

(log f64 (- f64 (/ f64 1 (/ f64 (- f64 1 h0) (E f64))) (/ f64 (=> (* f64 h1 (E f64))) (- f64 1 h0))))
*-commutative_binary64_17741 =>
(log f64 (- f64 (/ f64 1 (/ f64 (- f64 1 h0) (E f64))) (/ f64 (* f64 (E f64) h1) (- f64 1 h0))))

end0.0ms (0%)

sample3.2s (7.5%)

Algorithm

1×

intervals

Results

307.0ms	5911×	body	128	valid
201.0ms	1026×	body	1024	valid
146.0ms	1028×	body	1024	nan
86.0ms	622×	body	512	valid
64.0ms	609×	body	512	nan
36.0ms	362×	body	256	valid
26.0ms	372×	body	256	nan
22.0ms	79×	body	2048	valid
21.0ms	509×	body	128	nan
1.0ms	3×	body	2048	nan

Compiler

Compiled 2137 to 1758 computations (17.7% saved)

Details

analyze542.0ms (1.3%)

sample41.0ms (0.1%)

simplify2.1s (5%)

prune5.0ms (0%)

localize8.0ms (0%)

rewrite335.0ms (0.8%)

series1.3s (3.2%)

simplify841.0ms (2%)

prune466.0ms (1.1%)

localize10.0ms (0%)

rewrite379.0ms (0.9%)

series3.0s (7.3%)

simplify2.8s (6.8%)

prune901.0ms (2.1%)

localize10.0ms (0%)

rewrite216.0ms (0.5%)

series518.0ms (1.2%)

simplify625.0ms (1.5%)

prune839.0ms (2%)

localize16.0ms (0%)

rewrite801.0ms (1.9%)

series10.0s (23.8%)

simplify9.2s (22%)

prune2.5s (5.8%)

regimes1.3s (3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample3.2s (7.5%)

Profiling