Details

analyze896.0ms (2.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

Compiler

Compiled 19 to 18 computations (5.3% saved)

sample131.0ms (0.4%)

Algorithm

1×

intervals

Results

39.0ms	499×	body	128	nan
22.0ms	256×	body	128	valid
19.0ms	226×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify258.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

581×	`associate-/l/_binary64_19462`
516×	`associate-/r/_binary64_19461`
475×	`associate-*l/_binary64_19458`
347×	`unswap-sqr_binary64_19483`
336×	`associate-*r/_binary64_19457`
244×	`exp-sum_binary64_19561`
243×	`*-commutative_binary64_19446`
176×	`associate-/l*_binary64_19460`
168×	`div-sub_binary64_19520`
159×	`exp-diff_binary64_19563`
146×	`associate-l_binary64_19456`
137×	`exp-prod_binary64_19567`
117×	`associate-/r*_binary64_19459`
113×	`times-frac_binary64_19521`
111×	`cancel-sign-sub-inv_binary64_19481`
108×	`associate-r_binary64_19455`
93×	`sub-neg_binary64_19508`
71×	`associate--r+_binary64_19451`
67×	`unsub-neg_binary64_19509`
49×	`distribute-neg-in_binary64_19476`
43×	`associate-+l-_binary64_19450`
42×	`sqr-pow_binary64_19487`
40×	`associate-+l+_binary64_19448`
33×	`associate-+r+_binary64_19447`
32×	`associate--l+_binary64_19452`
31×	`distribute-rgt-in_binary64_19465`
29×	`neg-sub0_binary64_19510`
27×	`neg-mul-1_binary64_19511` `associate--r-_binary64_19454` `+-commutative_binary64_19445`
22×	`prod-exp_binary64_19564` `distribute-rgt-neg-in_binary64_19473` `associate-+r-_binary64_19449`
21×	`div-exp_binary64_19566`
20×	`*-rgt-identity_binary64_19505`
18×	`pow-sqr_binary64_19488` `distribute-rgt-out_binary64_19468`
17×	`distribute-lft-neg-out_binary64_19474`
16×	`sub0-neg_binary64_19502`
14×	`exp-to-pow_binary64_19577` `exp-neg_binary64_19562` `distribute-lft-neg-in_binary64_19472`
10×	`*-lft-identity_binary64_19504` `distribute-rgt-neg-out_binary64_19475`
9×	`/-rgt-identity_binary64_19506` `+-rgt-identity_binary64_19500` `distribute-lft-in_binary64_19464`
8×	`remove-double-neg_binary64_19503`
7×	`associate--l-_binary64_19453`
4×	`pow-plus_binary64_19578` `--rgt-identity_binary64_19501` `distribute-neg-out_binary64_19477` `distribute-rgt1-in_binary64_19471` `distribute-rgt-out--_binary64_19469`
3×	`cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478`
2×	`log-prod_binary64_19601` `rem-exp-log_binary64_19555` `cube-unmult_binary64_19552` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `distribute-lft-out_binary64_19466`
1×	`log-E_binary64_19605` `log-pow_binary64_19604` `exp-sqrt_binary64_19568` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `mul-1-neg_binary64_19507` `div0_binary64_19496` `distribute-lft-out--_binary64_19467` `count-2_binary64_19463`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-rec_binary64_19603` `log-div_binary64_19602` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow3_binary64_19581` `unpow2_binary64_19580` `unpow1/2_binary64_19579` `pow-base-1_binary64_19575` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `rec-exp_binary64_19565` `e-exp-1_binary64_19560` `exp-0_binary64_19557` `rem-log-exp_binary64_19556` `cube-mult_binary64_19545` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-sqrt-square_binary64_19528` `rem-square-sqrt_binary64_19527` `+-lft-identity_binary64_19499` `*-inverses_binary64_19495` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `swap-sqr_binary64_19482` `distribute-neg-frac_binary64_19479` `distribute-lft1-in_binary64_19470`

Counts

1 → 5

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	35	28
2	72	24
3	187	24
4	530	24
5	1695	24
6	4413	24

prune20.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

6 → 3

Compiler

Compiled 134 to 87 computations (35.1% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (-.f64 t 1) (log.f64 a))
0.2b	(*.f64 y (log.f64 z))
0.9b	(exp.f64 (+.f64 (.f64 y (log.f64 z)) (-.f64 (.f64 (-.f64 t 1) (log.f64 a)) b)))
1.2b	(/.f64 x (/.f64 y (exp.f64 (+.f64 (.f64 y (log.f64 z)) (-.f64 (.f64 (-.f64 t 1) (log.f64 a)) b)))))

rewrite304.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

99×	`times-frac_binary64_19521`
71×	`add-sqr-sqrt_binary64_19537`
66×	`*-un-lft-identity_binary64_19515`
63×	`add-cube-cbrt_binary64_19550`
17×	`associate-/r*_binary64_19459`
13×	`add-cbrt-cube_binary64_19551` `exp-sum_binary64_19561`
12×	`add-exp-log_binary64_19553` `log-prod_binary64_19601`
10×	`pow1_binary64_19576` `add-log-exp_binary64_19554` `associate-l_binary64_19456`
8×	`associate-r_binary64_19455`
6×	`distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464`
5×	`div-inv_binary64_19512` `associate-+r-_binary64_19449` `exp-diff_binary64_19563` `associate-/r/_binary64_19461`
3×	`div-exp_binary64_19566` `cbrt-undiv_binary64_19549` `associate-/l*_binary64_19460` `exp-prod_binary64_19567` `rem-exp-log_binary64_19555`
2×	`sum-log_binary64_19606` `pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_19483` `log-pow_binary64_19604` `-commutative_binary64_19446` `associate-l/_binary64_19458` `difference-of-squares_binary64_19484`
1×	`frac-2neg_binary64_19526` `clear-num_binary64_19514` `diff-log_binary64_19607` `flip3--_binary64_19519` `flip--_binary64_19490` `difference-of-sqr-1_binary64_19485` `distribute-lft-out--_binary64_19467`

Counts

4 → 157

Calls

4 calls:

16.0ms	(/.f64 x (/.f64 y (exp.f64 (+.f64 (.f64 y (log.f64 z)) (-.f64 (.f64 (-.f64 t 1) (log.f64 a)) b)))))
11.0ms	(exp.f64 (+.f64 (.f64 y (log.f64 z)) (-.f64 (.f64 (-.f64 t 1) (log.f64 a)) b)))
9.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
5.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 4847 to 2264 computations (53.3% saved)

series2.7s (8.6%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

1.5s	(/.f64 x (/.f64 y (exp.f64 (+.f64 (.f64 y (log.f64 z)) (-.f64 (.f64 (-.f64 t 1) (log.f64 a)) b)))))
745.0ms	(exp.f64 (+.f64 (.f64 y (log.f64 z)) (-.f64 (.f64 (-.f64 t 1) (log.f64 a)) b)))
255.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
214.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 4046 to 2302 computations (43.1% saved)

simplify2.2s (7%)

Algorithm

1×	egg-herbie

Rules

324×	`associate-r_binary64_19455`
278×	`associate-l_binary64_19456`
231×	`associate-/l*_binary64_19460`
210×	`*-commutative_binary64_19446`
191×	`distribute-rgt-in_binary64_19465`
181×	`associate-/r/_binary64_19461`
168×	`associate-/l/_binary64_19462`
155×	`associate-*l/_binary64_19458`
154×	`distribute-lft-in_binary64_19464`
152×	`times-frac_binary64_19521`
148×	`exp-sum_binary64_19561`
124×	`sub-neg_binary64_19508`
92×	`associate-*r/_binary64_19457`
87×	`associate--l+_binary64_19452`
86×	`associate-/r*_binary64_19459`
80×	`exp-prod_binary64_19567`
78×	`unswap-sqr_binary64_19483`
75×	`*-rgt-identity_binary64_19505`
74×	`+-commutative_binary64_19445`
70×	`/-rgt-identity_binary64_19506`
68×	`exp-diff_binary64_19563`
62×	`sqr-pow_binary64_19487`
60×	`cancel-sign-sub-inv_binary64_19481`
52×	`distribute-rgt-out_binary64_19468`
51×	`distribute-neg-in_binary64_19476`
48×	`prod-exp_binary64_19564`
45×	`*-lft-identity_binary64_19504` `associate--l-_binary64_19453` `associate-+l+_binary64_19448`
44×	`associate-+r+_binary64_19447`
34×	`log-prod_binary64_19601` `neg-sub0_binary64_19510` `associate--r+_binary64_19451`
33×	`div-exp_binary64_19566`
31×	`neg-mul-1_binary64_19511` `unsub-neg_binary64_19509`
30×	`log-div_binary64_19602`
27×	`pow-sqr_binary64_19488`
25×	`distribute-rgt-neg-in_binary64_19473`
24×	`associate--r-_binary64_19454`
22×	`swap-sqr_binary64_19482`
21×	`distribute-lft-neg-in_binary64_19472`
19×	`cube-prod_binary64_19543`
18×	`distribute-rgt-neg-out_binary64_19475`
17×	`pow-plus_binary64_19578`
15×	`distribute-lft-neg-out_binary64_19474`
13×	`exp-to-pow_binary64_19577`
11×	`log-rec_binary64_19603` `cube-div_binary64_19544` `distribute-rgt1-in_binary64_19471` `distribute-lft-out_binary64_19466`
8×	`log-pow_binary64_19604` `rec-exp_binary64_19565` `distribute-neg-frac_binary64_19479` `associate-+r-_binary64_19449`
7×	`cube-unmult_binary64_19552`
6×	`count-2_binary64_19463`
5×	`unpow3_binary64_19581` `cube-mult_binary64_19545` `div-sub_binary64_19520` `mul-1-neg_binary64_19507` `remove-double-neg_binary64_19503` `remove-double-div_binary64_19491` `distribute-neg-out_binary64_19477` `associate-+l-_binary64_19450`
4×	`unpow2_binary64_19580` `unpow1_binary64_19573` `rem-log-exp_binary64_19556` `difference-of-sqr-1_binary64_19485`
3×	`pow-base-1_binary64_19575` `rem-exp-log_binary64_19555` `mul0-rgt_binary64_19498` `distribute-rgt-out--_binary64_19469`
2×	`+-rgt-identity_binary64_19500` `mul0-lft_binary64_19497` `distribute-lft1-in_binary64_19470`
1×	`exp-sqrt_binary64_19568` `exp-neg_binary64_19562` `1-exp_binary64_19559` `exp-1-e_binary64_19558` `rem-sqrt-square_binary64_19528` `sub0-neg_binary64_19502` `*-inverses_binary64_19495` `+-inverses_binary64_19494` `difference-of-squares_binary64_19484` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-lft-out--_binary64_19467`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow1/2_binary64_19579` `unpow0_binary64_19574` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `e-exp-1_binary64_19560` `exp-0_binary64_19557` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-square-sqrt_binary64_19527` `--rgt-identity_binary64_19501` `+-lft-identity_binary64_19499` `div0_binary64_19496` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `difference-of-sqr--1_binary64_19486`

Counts

217 → 1041

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	437	7263
1	982	5972
2	3824	5834

prune2.6s (8.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	1037	4	1041
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	1038	6	1044

Error

Counts

1044 → 6

Compiler

Compiled 35762 to 13980 computations (60.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 a (exp.f64 b))
0.0b	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
0.5b	(*.f64 (pow.f64 z y) (pow.f64 a t))
1.2b	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))

rewrite211.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

181×	`add-exp-log_binary64_19553`
112×	`prod-exp_binary64_19564`
63×	`div-exp_binary64_19566`
58×	`add-cbrt-cube_binary64_19551`
30×	`pow-to-exp_binary64_19584` `pow-exp_binary64_19583`
28×	`add-sqr-sqrt_binary64_19537`
24×	`cbrt-unprod_binary64_19548`
17×	`associate-l_binary64_19456`
15×	`cbrt-undiv_binary64_19549`
14×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
12×	`unpow-prod-down_binary64_19594`
11×	`pow1_binary64_19576` `associate-r_binary64_19455`
10×	`unswap-sqr_binary64_19483`
8×	`sqr-pow_binary64_19487`
6×	`times-frac_binary64_19521`
4×	`add-log-exp_binary64_19554` `pow-prod-down_binary64_19586`
3×	`associate-/l_binary64_19460` `-commutative_binary64_19446`
2×	`div-inv_binary64_19512` `associate-*l/_binary64_19458`
1×	`frac-2neg_binary64_19526` `clear-num_binary64_19514` `associate-/r/_binary64_19461` `associate-/r*_binary64_19459`

Counts

4 → 154

Calls

4 calls:

14.0ms	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
13.0ms	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
7.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
5.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 3783 to 592 computations (84.4% saved)

series4.1s (13%)

Error

Counts

4 → 75

Calls

4 calls:

1.8s	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
1.5s	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
679.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
78.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 4899 to 2761 computations (43.6% saved)

simplify914.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

822×	`times-frac_binary64_19521`
492×	`associate-l_binary64_19456`
445×	`associate-/r*_binary64_19459`
440×	`associate-/l*_binary64_19460`
151×	`associate-*l/_binary64_19458`
140×	`*-commutative_binary64_19446`
106×	`associate-*r/_binary64_19457`
91×	`associate-/r/_binary64_19461`
75×	`associate-r_binary64_19455`
60×	`unswap-sqr_binary64_19483`
48×	`sqr-pow_binary64_19487`
39×	`sub-neg_binary64_19508`
37×	`+-commutative_binary64_19445`
26×	`exp-prod_binary64_19567`
25×	`associate-/l/_binary64_19462`
22×	`pow-sqr_binary64_19488`
19×	`associate-+r+_binary64_19447`
14×	`log-prod_binary64_19601` `neg-mul-1_binary64_19511` `neg-sub0_binary64_19510` `associate--r+_binary64_19451`
13×	`log-div_binary64_19602` `swap-sqr_binary64_19482`
11×	`cancel-sign-sub-inv_binary64_19481`
10×	`prod-exp_binary64_19564` `cube-unmult_binary64_19552` `distribute-rgt-neg-in_binary64_19473`
9×	`distribute-neg-frac_binary64_19479` `distribute-neg-in_binary64_19476`
8×	`distribute-lft-neg-in_binary64_19472` `associate-+l-_binary64_19450`
5×	`unpow3_binary64_19581` `unpow2_binary64_19580` `pow-plus_binary64_19578` `cube-mult_binary64_19545`
4×	`log-pow_binary64_19604` `mul-1-neg_binary64_19507` `distribute-rgt-out_binary64_19468` `distribute-lft-out_binary64_19466` `associate--l+_binary64_19452`
3×	`distribute-rgt1-in_binary64_19471`
2×	`log-rec_binary64_19603` `pow-base-1_binary64_19575` `exp-neg_binary64_19562` `rem-log-exp_binary64_19556` `rem-sqrt-square_binary64_19528` `*-rgt-identity_binary64_19505` `distribute-rgt-neg-out_binary64_19475` `distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464`
1×	`exp-to-pow_binary64_19577` `div-exp_binary64_19566` `rec-exp_binary64_19565` `exp-diff_binary64_19563` `exp-sum_binary64_19561` `1-exp_binary64_19559` `rem-exp-log_binary64_19555` `unsub-neg_binary64_19509` `-lft-identity_binary64_19504` `-inverses_binary64_19495` `count-2_binary64_19463`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow1/2_binary64_19579` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-square-sqrt_binary64_19527` `div-sub_binary64_19520` `/-rgt-identity_binary64_19506` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-lft-neg-out_binary64_19474` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-lft-out--_binary64_19467` `associate--r-_binary64_19454` `associate--l-_binary64_19453` `associate-+r-_binary64_19449` `associate-+l+_binary64_19448`

Counts

229 → 378

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	404	6202
1	1130	5473

prune382.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	377	1	378
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	379	5	384

Error

Counts

384 → 5

Compiler

Compiled 9602 to 1609 computations (83.2% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (pow.f64 a t) a)
0.1b	(/.f64 (/.f64 (pow.f64 a t) a) (*.f64 y (exp.f64 b)))
0.3b	(.f64 (pow.f64 z y) (/.f64 (/.f64 (pow.f64 a t) a) (.f64 y (exp.f64 b))))
1.4b	(.f64 x (.f64 (pow.f64 z y) (/.f64 (/.f64 (pow.f64 a t) a) (*.f64 y (exp.f64 b)))))

rewrite344.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

220×	`add-exp-log_binary64_19553`
134×	`times-frac_binary64_19521`
110×	`prod-exp_binary64_19564`
101×	`div-exp_binary64_19566`
71×	`add-sqr-sqrt_binary64_19537`
66×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
61×	`add-cbrt-cube_binary64_19551`
43×	`unpow-prod-down_binary64_19594`
33×	`pow-to-exp_binary64_19584` `pow-exp_binary64_19583`
32×	`associate-/l*_binary64_19460`
30×	`associate-r_binary64_19455`
22×	`cbrt-unprod_binary64_19548`
19×	`cbrt-undiv_binary64_19549`
15×	`sqr-pow_binary64_19487`
10×	`associate-l_binary64_19456`
7×	`pow1_binary64_19576`
6×	`div-inv_binary64_19512`
4×	`add-log-exp_binary64_19554` `associate-/r*_binary64_19459`
3×	`associate-*r/_binary64_19457` `unswap-sqr_binary64_19483`
2×	`*-commutative_binary64_19446` `frac-2neg_binary64_19526` `clear-num_binary64_19514`
1×	`pow-prod-down_binary64_19586` `associate-/l/_binary64_19462` `pow-div_binary64_19590`

Counts

4 → 248

Calls

4 calls:

22.0ms	(.f64 (pow.f64 z y) (/.f64 (/.f64 (pow.f64 a t) a) (.f64 y (exp.f64 b))))
18.0ms	(.f64 x (.f64 (pow.f64 z y) (/.f64 (/.f64 (pow.f64 a t) a) (*.f64 y (exp.f64 b)))))
11.0ms	(/.f64 (/.f64 (pow.f64 a t) a) (*.f64 y (exp.f64 b)))
5.0ms	(/.f64 (pow.f64 a t) a)

Compiler

Compiled 6256 to 1122 computations (82.1% saved)

series4.1s (13%)

Error

Counts

4 → 69

Calls

4 calls:

1.8s	(.f64 x (.f64 (pow.f64 z y) (/.f64 (/.f64 (pow.f64 a t) a) (*.f64 y (exp.f64 b)))))
1.4s	(.f64 (pow.f64 z y) (/.f64 (/.f64 (pow.f64 a t) a) (.f64 y (exp.f64 b))))
679.0ms	(/.f64 (/.f64 (pow.f64 a t) a) (*.f64 y (exp.f64 b)))
230.0ms	(/.f64 (pow.f64 a t) a)

Compiler

Compiled 4421 to 2532 computations (42.7% saved)

simplify1.1s (3.3%)

Algorithm

1×	egg-herbie

Rules

868×	`times-frac_binary64_19521`
575×	`associate-/l*_binary64_19460`
465×	`associate-/r*_binary64_19459`
448×	`associate-l_binary64_19456`
250×	`associate-*r/_binary64_19457`
198×	`associate-*l/_binary64_19458`
140×	`associate-/l/_binary64_19462`
119×	`associate-/r/_binary64_19461`
111×	`*-commutative_binary64_19446`
44×	`associate-r_binary64_19455`
40×	`sqr-pow_binary64_19487` `unswap-sqr_binary64_19483`
37×	`+-commutative_binary64_19445`
26×	`associate-+r+_binary64_19447`
21×	`exp-prod_binary64_19567` `sub-neg_binary64_19508`
19×	`pow-sqr_binary64_19488`
13×	`log-div_binary64_19602`
12×	`neg-mul-1_binary64_19511` `neg-sub0_binary64_19510`
11×	`log-prod_binary64_19601` `cube-unmult_binary64_19552`
10×	`prod-exp_binary64_19564` `swap-sqr_binary64_19482`
8×	`/-rgt-identity_binary64_19506` `distribute-rgt-neg-in_binary64_19473` `associate-+r-_binary64_19449`
6×	`distribute-lft-neg-in_binary64_19472`
4×	`log-pow_binary64_19604` `unpow2_binary64_19580` `pow-plus_binary64_19578` `mul-1-neg_binary64_19507` `associate--l-_binary64_19453`
3×	`log-rec_binary64_19603` `unpow3_binary64_19581` `cube-mult_binary64_19545` `cancel-sign-sub-inv_binary64_19481` `distribute-neg-frac_binary64_19479`
2×	`pow-base-1_binary64_19575` `exp-neg_binary64_19562` `rem-log-exp_binary64_19556` `rem-sqrt-square_binary64_19528` `*-rgt-identity_binary64_19505` `distribute-neg-in_binary64_19476` `distribute-rgt-neg-out_binary64_19475` `distribute-lft-out_binary64_19466` `distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464` `associate--r+_binary64_19451`
1×	`exp-to-pow_binary64_19577` `div-exp_binary64_19566` `rec-exp_binary64_19565` `exp-diff_binary64_19563` `exp-sum_binary64_19561` `1-exp_binary64_19559` `rem-exp-log_binary64_19555` `div-sub_binary64_19520` `unsub-neg_binary64_19509` `*-inverses_binary64_19495` `count-2_binary64_19463`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow1/2_binary64_19579` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-square-sqrt_binary64_19527` `*-lft-identity_binary64_19504` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-lft-neg-out_binary64_19474` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-rgt-out_binary64_19468` `distribute-lft-out--_binary64_19467` `associate--r-_binary64_19454` `associate--l+_binary64_19452` `associate-+l-_binary64_19450` `associate-+l+_binary64_19448`

Counts

317 → 596

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	467	8388
1	1234	7517

prune595.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	596	0	596
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	596	5	601

Error

Counts

601 → 5

Compiler

Compiled 15303 to 2387 computations (84.4% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (pow.f64 z y) y)
1.2b	(.f64 (.f64 (/.f64 (/.f64 x a) (exp.f64 b)) (/.f64 (pow.f64 z y) y)) (pow.f64 a t))
3.2b	(/.f64 (/.f64 x a) (exp.f64 b))
3.4b	(*.f64 (/.f64 (/.f64 x a) (exp.f64 b)) (/.f64 (pow.f64 z y) y))

rewrite397.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

204×	`times-frac_binary64_19521`
177×	`add-exp-log_binary64_19553`
155×	`add-sqr-sqrt_binary64_19537`
113×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
90×	`div-exp_binary64_19566`
87×	`prod-exp_binary64_19564`
61×	`add-cbrt-cube_binary64_19551`
44×	`associate-l_binary64_19456`
32×	`associate-r_binary64_19455`
27×	`unpow-prod-down_binary64_19594`
26×	`pow-to-exp_binary64_19584` `pow-exp_binary64_19583`
22×	`cbrt-undiv_binary64_19549`
20×	`associate-/l*_binary64_19460`
19×	`cbrt-unprod_binary64_19548`
12×	`unswap-sqr_binary64_19483`
11×	`sqr-pow_binary64_19487` `div-inv_binary64_19512`
6×	`pow1_binary64_19576` `associate-/r*_binary64_19459`
5×	`associate-*l/_binary64_19458`
4×	`add-log-exp_binary64_19554`
2×	`frac-times_binary64_19525` `associate-r/_binary64_19457` `-commutative_binary64_19446` `frac-2neg_binary64_19526` `clear-num_binary64_19514`
1×	`pow-prod-down_binary64_19586` `associate-/l/_binary64_19462`

Counts

4 → 290

Calls

4 calls:

35.0ms	(*.f64 (/.f64 (/.f64 x a) (exp.f64 b)) (/.f64 (pow.f64 z y) y))
19.0ms	(.f64 (.f64 (/.f64 (/.f64 x a) (exp.f64 b)) (/.f64 (pow.f64 z y) y)) (pow.f64 a t))
7.0ms	(/.f64 (/.f64 x a) (exp.f64 b))
5.0ms	(/.f64 (pow.f64 z y) y)

Compiler

Compiled 7593 to 1287 computations (83.1% saved)

series3.3s (10.3%)

Error

Counts

4 → 60

Calls

4 calls:

1.8s	(.f64 (.f64 (/.f64 (/.f64 x a) (exp.f64 b)) (/.f64 (pow.f64 z y) y)) (pow.f64 a t))
1.0s	(*.f64 (/.f64 (/.f64 x a) (exp.f64 b)) (/.f64 (pow.f64 z y) y))
214.0ms	(/.f64 (pow.f64 z y) y)
198.0ms	(/.f64 (/.f64 x a) (exp.f64 b))

Compiler

Compiled 3589 to 2105 computations (41.3% saved)

simplify808.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

567×	`associate-*l/_binary64_19458`
494×	`times-frac_binary64_19521`
493×	`associate-/l*_binary64_19460`
396×	`associate-*r/_binary64_19457`
332×	`associate-l_binary64_19456`
282×	`associate-/r*_binary64_19459`
275×	`associate-/l/_binary64_19462`
154×	`*-commutative_binary64_19446`
81×	`associate-/r/_binary64_19461`
43×	`sqr-pow_binary64_19487`
41×	`associate-r_binary64_19455`
25×	`+-commutative_binary64_19445`
22×	`exp-prod_binary64_19567` `/-rgt-identity_binary64_19506` `pow-sqr_binary64_19488`
21×	`unswap-sqr_binary64_19483`
18×	`log-div_binary64_19602` `sub-neg_binary64_19508`
12×	`log-prod_binary64_19601`
11×	`cube-unmult_binary64_19552` `neg-mul-1_binary64_19511` `neg-sub0_binary64_19510` `associate-+r+_binary64_19447`
10×	`prod-exp_binary64_19564`
9×	`swap-sqr_binary64_19482`
8×	`associate-+l+_binary64_19448`
6×	`pow-plus_binary64_19578` `*-rgt-identity_binary64_19505`
5×	`log-pow_binary64_19604` `distribute-rgt-neg-in_binary64_19473`
4×	`log-rec_binary64_19603` `unpow2_binary64_19580` `pow-base-1_binary64_19575` `div-exp_binary64_19566` `mul-1-neg_binary64_19507` `*-lft-identity_binary64_19504` `distribute-neg-frac_binary64_19479` `associate-+r-_binary64_19449`
3×	`unpow3_binary64_19581` `cube-mult_binary64_19545` `distribute-lft-neg-in_binary64_19472`
2×	`rec-exp_binary64_19565` `exp-neg_binary64_19562` `rem-log-exp_binary64_19556` `rem-sqrt-square_binary64_19528` `distribute-rgt-neg-out_binary64_19475` `distribute-lft-out_binary64_19466` `distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464` `associate-+l-_binary64_19450`
1×	`exp-to-pow_binary64_19577` `exp-diff_binary64_19563` `exp-sum_binary64_19561` `1-exp_binary64_19559` `rem-exp-log_binary64_19555` `unsub-neg_binary64_19509` `*-inverses_binary64_19495` `cancel-sign-sub-inv_binary64_19481` `count-2_binary64_19463` `associate--l-_binary64_19453`
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_19778` `erf-erfc_binary64_19777` `erf-odd_binary64_19776` `if-if-and-not_binary64_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `not-gte_binary64_19767` `not-lte_binary64_19766` `not-gt_binary64_19765` `not-lt_binary64_19764` `gte-same_binary64_19763` `lte-same_binary64_19762` `gt-same_binary64_19761` `lt-same_binary64_19760` `sinh---cosh_binary64_19707` `sinh-+-cosh_binary64_19706` `sinh-cosh_binary64_19705` `tanh-def-c_binary64_19704` `tanh-def-b_binary64_19703` `tanh-def-a_binary64_19702` `cosh-def_binary64_19701` `sinh-def_binary64_19700` `tan-neg_binary64_19647` `cos-neg_binary64_19646` `sin-neg_binary64_19645` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `hang-m-tan_binary64_19641` `hang-p-tan_binary64_19640` `hang-m0-tan_binary64_19639` `hang-p0-tan_binary64_19638` `hang-0m-tan_binary64_19637` `hang-0p-tan_binary64_19636` `tan-+PI/2_binary64_19635` `tan-+PI_binary64_19634` `tan-PI_binary64_19633` `tan-PI/3_binary64_19632` `tan-PI/4_binary64_19631` `tan-PI/6_binary64_19630` `cos-+PI/2_binary64_19629` `cos-+PI_binary64_19628` `cos-PI_binary64_19627` `cos-PI/2_binary64_19626` `cos-PI/3_binary64_19625` `cos-PI/4_binary64_19624` `cos-PI/6_binary64_19623` `sin-+PI/2_binary64_19622` `sin-+PI_binary64_19621` `sin-PI_binary64_19620` `sin-PI/2_binary64_19619` `sin-PI/3_binary64_19618` `sin-PI/4_binary64_19617` `sin-PI/6_binary64_19616` `sub-1-sin_binary64_19615` `sub-1-cos_binary64_19614` `-1-add-sin_binary64_19613` `-1-add-cos_binary64_19612` `1-sub-sin_binary64_19611` `1-sub-cos_binary64_19610` `cos-sin-sum_binary64_19609` `log-E_binary64_19605` `pow-base-0_binary64_19599` `unpow1/3_binary64_19582` `unpow1/2_binary64_19579` `unpow0_binary64_19574` `unpow1_binary64_19573` `unpow-1_binary64_19572` `exp-lft-cube_binary64_19571` `exp-lft-sqr_binary64_19570` `exp-cbrt_binary64_19569` `exp-sqrt_binary64_19568` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `cube-div_binary64_19544` `cube-prod_binary64_19543` `cube-neg_binary64_19542` `rem-3cbrt-rft_binary64_19541` `rem-3cbrt-lft_binary64_19540` `rem-cbrt-cube_binary64_19539` `rem-cube-cbrt_binary64_19538` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `rem-square-sqrt_binary64_19527` `div-sub_binary64_19520` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `mul0-rgt_binary64_19498` `mul0-lft_binary64_19497` `div0_binary64_19496` `+-inverses_binary64_19494` `lft-mult-inverse_binary64_19493` `rgt-mult-inverse_binary64_19492` `remove-double-div_binary64_19491` `difference-of-sqr--1_binary64_19486` `difference-of-sqr-1_binary64_19485` `difference-of-squares_binary64_19484` `cancel-sign-sub_binary64_19480` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-neg-in_binary64_19476` `distribute-lft-neg-out_binary64_19474` `distribute-rgt1-in_binary64_19471` `distribute-lft1-in_binary64_19470` `distribute-rgt-out--_binary64_19469` `distribute-rgt-out_binary64_19468` `distribute-lft-out--_binary64_19467` `associate--r-_binary64_19454` `associate--l+_binary64_19452` `associate--r+_binary64_19451`

Counts

350 → 619

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	523	8751
1	1455	7958

prune643.0ms (2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	619	0	619
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	619	5	624

Error

Counts

624 → 5

Compiler

Compiled 16475 to 2372 computations (85.6% saved)

regimes841.0ms (2.6%)

Accuracy

Total 1.2b remaining (98.4%)

Threshold costs 0b (0%)

Compiler

Compiled 6938 to 6044 computations (12.9% saved)

bsearch232.0ms (0.7%)

Steps

Iters	Range		Point
5	5.253896483793914e-83	1.2204933850514459e-82	9.227147354557408e-83
7	-2.7811115490816784e-161	-5.590269187436845e-163	-2.2792272315365673e-161

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify33.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64_19446`
5×	`neg-mul-1_binary64_19511` `neg-sub0_binary64_19510` `+-commutative_binary64_19445`
4×	`sub-neg_binary64_19508`
3×	`unsub-neg_binary64_19509` `*-rgt-identity_binary64_19505`
2×	`distribute-rgt-neg-out_binary64_19475`
1×	`1-exp_binary64_19559` `*-lft-identity_binary64_19504` `distribute-lft-neg-out_binary64_19474` `distribute-rgt-neg-in_binary64_19473` `distribute-lft-neg-in_binary64_19472`
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_19775` `if-if-and_binary64_19774` `if-if-or-not_binary64_19773` `if-if-or_binary64_19772` `if-not_binary64_19771` `if-same_binary64_19770` `if-false_binary64_19769` `if-true_binary64_19768` `tan-0_binary64_19644` `cos-0_binary64_19643` `sin-0_binary64_19642` `unpow1_binary64_19573` `e-exp-1_binary64_19560` `exp-1-e_binary64_19558` `exp-0_binary64_19557` `sqr-abs_binary64_19530` `sqr-neg_binary64_19529` `mul-1-neg_binary64_19507` `/-rgt-identity_binary64_19506` `remove-double-neg_binary64_19503` `sub0-neg_binary64_19502` `--rgt-identity_binary64_19501` `+-rgt-identity_binary64_19500` `+-lft-identity_binary64_19499` `cancel-sign-sub-inv_binary64_19481` `cancel-sign-sub_binary64_19480` `distribute-neg-frac_binary64_19479` `distribute-frac-neg_binary64_19478` `distribute-neg-out_binary64_19477` `distribute-neg-in_binary64_19476`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	168
1	45	168
2	52	168
3	56	168
4	64	168
5	63	168

Proof

(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (/ f64 h0 h1) (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5)))) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (=> (- f64 h3 1)) (log f64 h4)) h5)))))))
sub-neg_binary64_19508 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (=> (- f64 h3 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (/ f64 h0 h1) (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5)))) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5)))))))
sub-neg_binary64_19508 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (=> (- f64 h3 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (/ f64 h0 h1) (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5)))) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5)))))))
sub-neg_binary64_19508 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (=> (- f64 h3 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (/ f64 h0 h1) (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5)))) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5)))))))
sub-neg_binary64_19508 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (=> (* f64 (/ f64 h0 h1) (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (- f64 h3 1) (log f64 h4)) h5))))) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5)))))))
*-commutative_binary64_19446 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (=> (- f64 h3 1)) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5)))))))
sub-neg_binary64_19508 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (neg f64 1))) (log f64 h4)) h5)))))))
neg-mul-1_binary64_19511 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (neg f64 1))) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5)))))))
neg-mul-1_binary64_19511 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (neg f64 1))) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5)))))))
neg-mul-1_binary64_19511 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (neg f64 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (neg f64 1))) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5)))))))
neg-mul-1_binary64_19511 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (neg f64 1))) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5)))))))
neg-mul-1_binary64_19511 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (* f64 -1 1))) (log f64 h4)) h5)))))))
*-rgt-identity_binary64_19505 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (* f64 -1 1))) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5)))))))
*-rgt-identity_binary64_19505 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (* f64 -1 1))) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5)))))))
*-rgt-identity_binary64_19505 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (* f64 -1 1)) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (* f64 -1 1))) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5)))))))
*-rgt-identity_binary64_19505 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 (=> (* f64 -1 1))) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5)))))))
*-rgt-identity_binary64_19505 =>
(if real (<= f64 h0 -5772515186937567/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (* f64 (/ f64 (* f64 (cbrt f64 h0) (cbrt f64 h0)) (* f64 (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))))) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))))))) (/ f64 (cbrt f64 h0) (cbrt f64 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))))))) (if real (<= f64 h0 3153450740458647/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) (* f64 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5))) (/ f64 h0 h1)) (/ f64 h0 (/ f64 h1 (exp f64 (+ f64 (* f64 h1 (log f64 h2)) (- f64 (* f64 (+ f64 h3 -1) (log f64 h4)) h5)))))))

end0.0ms (0%)

sample4.5s (14.3%)

Algorithm

1×

intervals

Results

1.0s	14426×	body	128	nan
712.0ms	8000×	body	128	valid
653.0ms	7381×	body	128	invalid

Compiler

Compiled 810 to 660 computations (18.5% saved)

Details

analyze896.0ms (2.8%)

sample131.0ms (0.4%)

simplify258.0ms (0.8%)

prune20.0ms (0.1%)

localize18.0ms (0.1%)

rewrite304.0ms (1%)

series2.7s (8.6%)

simplify2.2s (7%)

prune2.6s (8.3%)

localize17.0ms (0.1%)

rewrite211.0ms (0.7%)

series4.1s (13%)

simplify914.0ms (2.9%)

prune382.0ms (1.2%)

localize14.0ms (0%)

rewrite344.0ms (1.1%)

series4.1s (13%)

simplify1.1s (3.3%)

prune595.0ms (1.9%)

localize14.0ms (0%)

rewrite397.0ms (1.2%)

series3.3s (10.3%)

simplify808.0ms (2.5%)

prune643.0ms (2%)

regimes841.0ms (2.6%)

bsearch232.0ms (0.7%)

simplify33.0ms (0.1%)

end0.0ms (0%)

sample4.5s (14.3%)

Profiling