Details

analyze3.0s (16.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

765×	`sub-neg_binary64_21895`
671×	`cancel-sign-sub-inv_binary64_21868`
466×	`associate-l_binary64_21843`
337×	`associate-r_binary64_21842`
267×	`*-commutative_binary64_21833`
264×	`associate--l+_binary64_21839`
236×	`+-commutative_binary64_21832`
213×	`associate-+l+_binary64_21835`
186×	`distribute-rgt-neg-in_binary64_21860`
175×	`associate-+l-_binary64_21837`
152×	`neg-mul-1_binary64_21898` `neg-sub0_binary64_21897`
135×	`associate--l-_binary64_21840`
134×	`distribute-lft-neg-in_binary64_21859`
105×	`unsub-neg_binary64_21896`
52×	`distribute-lft-neg-out_binary64_21861`
40×	`associate-+r-_binary64_21836`
39×	`associate-+r+_binary64_21834`
36×	`distribute-rgt-out--_binary64_21856`
5×	`associate--r-_binary64_21841`
1×	`associate--r+_binary64_21838` `swap-y-z` `swap-b-c` `swap-j-k`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `log-prod_binary64_21988` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow3_binary64_21968` `unpow2_binary64_21967` `unpow1/2_binary64_21966` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `exp-prod_binary64_21954` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-diff_binary64_21950` `exp-neg_binary64_21949` `exp-sum_binary64_21948` `e-exp-1_binary64_21947` `1-exp_binary64_21946` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-unmult_binary64_21939` `cube-mult_binary64_21932` `cube-div_binary64_21931` `cube-prod_binary64_21930` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `rem-sqrt-square_binary64_21915` `rem-square-sqrt_binary64_21914` `times-frac_binary64_21908` `div-sub_binary64_21907` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `-rgt-identity_binary64_21892` `-lft-identity_binary64_21891` `remove-double-neg_binary64_21890` `sub0-neg_binary64_21889` `--rgt-identity_binary64_21888` `+-rgt-identity_binary64_21887` `+-lft-identity_binary64_21886` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `pow-sqr_binary64_21875` `sqr-pow_binary64_21874` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `difference-of-squares_binary64_21871` `unswap-sqr_binary64_21870` `swap-sqr_binary64_21869` `cancel-sign-sub_binary64_21867` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-neg-in_binary64_21863` `distribute-rgt-neg-out_binary64_21862` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `distribute-rgt-out_binary64_21855` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853` `distribute-rgt-in_binary64_21852` `distribute-lft-in_binary64_21851` `count-2_binary64_21850` `associate-/l/_binary64_21849` `associate-/r/_binary64_21848` `associate-/l_binary64_21847` `associate-/r_binary64_21846` `associate-l/_binary64_21845` `associate-*r/_binary64_21844`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	358	1978
1	1346	1978
2	4308	1978
3	5056	1978
0	10	10
1	10	10

Search

True	Other	False	Iter
0%	99.5%	0.5%	0
0%	99.5%	0.5%	1
0%	99.5%	0.5%	2
0%	99.5%	0.5%	3
0%	99.5%	0.5%	4
0%	99.5%	0.5%	5
0%	99.5%	0.5%	6
0%	99.5%	0.5%	7
0%	99.5%	0.5%	8
0%	99.5%	0.5%	9
0%	99.5%	0.5%	10
0%	99.5%	0.5%	11
0%	99.5%	0.5%	12
0%	99.5%	0.5%	13
0%	99.5%	0.5%	14

Symmetry

(sort y z)

(sort b c)

(sort j k)

Compiler

Compiled 32 to 30 computations (6.3% saved)

sample122.0ms (0.7%)

Algorithm

1×

intervals

Results

28.0ms	256×	body	128	valid
22.0ms	276×	body	128	invalid

Compiler

Compiled 63 to 69 computations (-9.5% saved)

simplify423.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

686×	`unsub-neg_binary64_21896`
621×	`distribute-rgt-neg-in_binary64_21860`
515×	`distribute-rgt-in_binary64_21852`
434×	`sub-neg_binary64_21895`
379×	`distribute-lft-neg-in_binary64_21859`
348×	`distribute-lft-in_binary64_21851`
346×	`associate--r+_binary64_21838`
263×	`distribute-neg-in_binary64_21863`
252×	`distribute-lft-neg-out_binary64_21861`
235×	`associate--r-_binary64_21841`
215×	`distribute-rgt-neg-out_binary64_21862`
210×	`*-commutative_binary64_21833`
209×	`associate-l_binary64_21843`
190×	`neg-sub0_binary64_21897`
189×	`neg-mul-1_binary64_21898`
173×	`cancel-sign-sub-inv_binary64_21868`
170×	`associate-+l-_binary64_21837`
157×	`associate-r_binary64_21842`
151×	`+-commutative_binary64_21832`
147×	`associate--l+_binary64_21839`
114×	`associate--l-_binary64_21840`
107×	`associate-+r-_binary64_21836`
98×	`cancel-sign-sub_binary64_21867`
84×	`mul0-rgt_binary64_21885` `mul0-lft_binary64_21884`
81×	`associate-+l+_binary64_21835` `associate-+r+_binary64_21834`
71×	`remove-double-neg_binary64_21890`
50×	`sub0-neg_binary64_21889`
47×	`distribute-neg-out_binary64_21864`
39×	`distribute-lft-out--_binary64_21854`
33×	`distribute-rgt-out--_binary64_21856`
29×	`*-rgt-identity_binary64_21892`
20×	`+-rgt-identity_binary64_21887`
16×	`--rgt-identity_binary64_21888`
14×	`distribute-rgt-out_binary64_21855`
9×	`*-lft-identity_binary64_21891`
5×	`distribute-lft-out_binary64_21853`
2×	`mul-1-neg_binary64_21894`
1×	`1-exp_binary64_21946`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `log-prod_binary64_21988` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow3_binary64_21968` `unpow2_binary64_21967` `unpow1/2_binary64_21966` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `exp-prod_binary64_21954` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-diff_binary64_21950` `exp-neg_binary64_21949` `exp-sum_binary64_21948` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-unmult_binary64_21939` `cube-mult_binary64_21932` `cube-div_binary64_21931` `cube-prod_binary64_21930` `cube-neg_binary64_21929` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `rem-sqrt-square_binary64_21915` `rem-square-sqrt_binary64_21914` `times-frac_binary64_21908` `div-sub_binary64_21907` `/-rgt-identity_binary64_21893` `+-lft-identity_binary64_21886` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `pow-sqr_binary64_21875` `sqr-pow_binary64_21874` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `difference-of-squares_binary64_21871` `unswap-sqr_binary64_21870` `swap-sqr_binary64_21869` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `count-2_binary64_21850` `associate-/l/_binary64_21849` `associate-/r/_binary64_21848` `associate-/l_binary64_21847` `associate-/r_binary64_21846` `associate-l/_binary64_21845` `associate-*r/_binary64_21844`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	43
1	76	43
2	234	43
3	618	43
4	1297	43
5	2378	43
6	3075	43
7	3074	43
8	3097	43
9	3120	43
10	3138	43
11	3138	43
12	3130	43
13	3153	43
14	3153	43
15	3243	43
16	3243	43
17	3735	43
18	3279	43
19	3279	43
20	3279	43
21	3279	43
22	3279	43
23	3064	43

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

7.1b

Counts

2 → 1

Compiler

Compiled 58 to 56 computations (3.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 18) y)
0.5b	(.f64 (.f64 j 27) k)
4.6b	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
5.3b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite211.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

25×	`pow1_binary64_21963` `add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
13×	`pow-prod-down_binary64_21973` `prod-exp_binary64_21951` `cbrt-unprod_binary64_21935`
12×	`associate-r_binary64_21842`
11×	`add-sqr-sqrt_binary64_21924`
9×	`add-cube-cbrt_binary64_21937` `*-un-lft-identity_binary64_21902`
6×	`associate-l_binary64_21843`
4×	`add-log-exp_binary64_21941` `*-commutative_binary64_21833`
2×	`sub-neg_binary64_21895` `distribute-rgt-in_binary64_21852` `cancel-sign-sub-inv_binary64_21868` `distribute-lft-in_binary64_21851` `associate-*r/_binary64_21844`
1×	`unswap-sqr_binary64_21870` `flip3--_binary64_21906` `flip--_binary64_21877`

Counts

4 → 81

Calls

4 calls:

16.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
8.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
6.0ms	(.f64 (.f64 j 27) k)
5.0ms	(.f64 (.f64 x 18) y)

Compiler

Compiled 2941 to 1787 computations (39.2% saved)

series1.0s (5.7%)

Error

3.7b

Counts

4 → 48

Calls

4 calls:

613.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
157.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
92.0ms	(.f64 (.f64 x 18) y)
87.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3764 to 3020 computations (19.8% saved)

simplify110.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

409×	`associate-l_binary64_21843`
400×	`unsub-neg_binary64_21896`
293×	`associate-r_binary64_21842`
261×	`neg-mul-1_binary64_21898`
257×	`neg-sub0_binary64_21897`
237×	`exp-prod_binary64_21954`
183×	`cancel-sign-sub-inv_binary64_21868`
171×	`associate-+l+_binary64_21835`
164×	`associate-+r+_binary64_21834`
151×	`*-commutative_binary64_21833`
150×	`sqr-pow_binary64_21874`
133×	`+-commutative_binary64_21832`
123×	`distribute-rgt-in_binary64_21852`
119×	`distribute-lft-in_binary64_21851`
98×	`log-prod_binary64_21988`
96×	`cube-prod_binary64_21930`
94×	`swap-sqr_binary64_21869`
79×	`distribute-lft-neg-out_binary64_21861`
75×	`distribute-rgt-neg-out_binary64_21862`
70×	`exp-sum_binary64_21948`
67×	`distribute-rgt-neg-in_binary64_21860`
63×	`associate-/l*_binary64_21847`
58×	`*-lft-identity_binary64_21891`
56×	`unswap-sqr_binary64_21870` `distribute-lft-neg-in_binary64_21859`
52×	`*-rgt-identity_binary64_21892`
34×	`sub-neg_binary64_21895`
23×	`pow-sqr_binary64_21875`
20×	`unpow3_binary64_21968`
19×	`rem-sqrt-square_binary64_21915`
18×	`exp-diff_binary64_21950` `cube-mult_binary64_21932`
13×	`div-sub_binary64_21907`
11×	`cube-unmult_binary64_21939` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884`
10×	`difference-of-squares_binary64_21871`
8×	`unpow1/2_binary64_21966` `associate-+l-_binary64_21837`
7×	`associate-+r-_binary64_21836`
5×	`associate-/l/_binary64_21849` `associate-*r/_binary64_21844`
4×	`sqr-neg_binary64_21916` `sub0-neg_binary64_21889` `+-rgt-identity_binary64_21887`
3×	`distribute-rgt-out--_binary64_21856`
2×	`cube-neg_binary64_21929` `distribute-rgt-out_binary64_21855` `associate--r+_binary64_21838`
1×	`1-exp_binary64_21946` `exp-1-e_binary64_21945` `count-2_binary64_21850` `associate-/r/_binary64_21848` `associate-/r*_binary64_21846`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow2_binary64_21967` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-neg_binary64_21949` `e-exp-1_binary64_21947` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-div_binary64_21931` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `rem-square-sqrt_binary64_21914` `times-frac_binary64_21908` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `remove-double-neg_binary64_21890` `--rgt-identity_binary64_21888` `+-lft-identity_binary64_21886` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `cancel-sign-sub_binary64_21867` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-neg-in_binary64_21863` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853` `associate-l/_binary64_21845` `associate--r-_binary64_21841` `associate--l-_binary64_21840` `associate--l+_binary64_21839`

Counts

129 → 91

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	174	1834
1	415	1684
2	1634	1684
3	2530	1684
4	4261	1684
5	5160	1684

prune172.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	83	8	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	8	92

Error

3.6b

Counts

92 → 8

Compiler

Compiled 3204 to 1856 computations (42.1% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 18 (.f64 x y))
0.5b	(.f64 (.f64 j 27) k)
4.6b	(.f64 t (-.f64 (.f64 (.f64 18 (.f64 x y)) z) (*.f64 a 4)))
5.3b	(.f64 (.f64 18 (*.f64 x y)) z)

rewrite181.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

25×	`pow1_binary64_21963` `add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
13×	`pow-prod-down_binary64_21973` `prod-exp_binary64_21951` `cbrt-unprod_binary64_21935`
11×	`add-sqr-sqrt_binary64_21924`
10×	`associate-r_binary64_21842`
9×	`add-cube-cbrt_binary64_21937` `*-un-lft-identity_binary64_21902`
8×	`associate-l_binary64_21843`
4×	`add-log-exp_binary64_21941` `*-commutative_binary64_21833`
2×	`sub-neg_binary64_21895` `distribute-rgt-in_binary64_21852` `cancel-sign-sub-inv_binary64_21868` `distribute-lft-in_binary64_21851` `associate-*r/_binary64_21844`
1×	`unswap-sqr_binary64_21870` `flip3--_binary64_21906` `flip--_binary64_21877`

Counts

4 → 81

Calls

4 calls:

11.0ms	(.f64 t (-.f64 (.f64 (.f64 18 (.f64 x y)) z) (*.f64 a 4)))
7.0ms	(.f64 (.f64 18 (*.f64 x y)) z)
5.0ms	(.f64 18 (.f64 x y))
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2941 to 1687 computations (42.6% saved)

series1.1s (6%)

Error

3.6b

Counts

4 → 48

Calls

4 calls:

648.0ms	(.f64 t (-.f64 (.f64 (.f64 18 (.f64 x y)) z) (*.f64 a 4)))
193.0ms	(.f64 (.f64 18 (*.f64 x y)) z)
91.0ms	(.f64 (.f64 j 27) k)
89.0ms	(.f64 18 (.f64 x y))

Compiler

Compiled 3764 to 3014 computations (19.9% saved)

simplify109.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

400×	`unsub-neg_binary64_21896`
352×	`associate-l_binary64_21843`
279×	`associate-r_binary64_21842`
262×	`neg-mul-1_binary64_21898`
258×	`neg-sub0_binary64_21897`
232×	`exp-prod_binary64_21954`
175×	`cancel-sign-sub-inv_binary64_21868`
162×	`associate-+l+_binary64_21835`
152×	`associate-+r+_binary64_21834`
145×	`*-commutative_binary64_21833`
142×	`sqr-pow_binary64_21874`
131×	`+-commutative_binary64_21832`
123×	`distribute-rgt-in_binary64_21852`
119×	`distribute-lft-in_binary64_21851`
91×	`log-prod_binary64_21988`
90×	`cube-prod_binary64_21930` `swap-sqr_binary64_21869`
79×	`distribute-lft-neg-out_binary64_21861`
75×	`distribute-rgt-neg-out_binary64_21862`
68×	`exp-sum_binary64_21948`
67×	`distribute-rgt-neg-in_binary64_21860`
59×	`associate-/l*_binary64_21847`
56×	`distribute-lft-neg-in_binary64_21859`
51×	`*-lft-identity_binary64_21891`
48×	`*-rgt-identity_binary64_21892`
47×	`unswap-sqr_binary64_21870`
34×	`sub-neg_binary64_21895`
20×	`unpow3_binary64_21968`
19×	`pow-sqr_binary64_21875`
18×	`exp-diff_binary64_21950` `cube-mult_binary64_21932`
16×	`rem-sqrt-square_binary64_21915`
13×	`div-sub_binary64_21907`
11×	`cube-unmult_binary64_21939` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884`
10×	`difference-of-squares_binary64_21871`
8×	`associate-+l-_binary64_21837`
7×	`unpow1/2_binary64_21966` `associate-/l/_binary64_21849` `associate-*r/_binary64_21844` `associate-+r-_binary64_21836`
5×	`associate-/r*_binary64_21846`
4×	`sqr-neg_binary64_21916` `sub0-neg_binary64_21889` `+-rgt-identity_binary64_21887`
3×	`times-frac_binary64_21908` `distribute-rgt-out--_binary64_21856` `associate-/r/_binary64_21848`
2×	`cube-neg_binary64_21929` `distribute-rgt-out_binary64_21855` `associate--r+_binary64_21838`
1×	`1-exp_binary64_21946` `exp-1-e_binary64_21945` `count-2_binary64_21850`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow2_binary64_21967` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-neg_binary64_21949` `e-exp-1_binary64_21947` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-div_binary64_21931` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `rem-square-sqrt_binary64_21914` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `remove-double-neg_binary64_21890` `--rgt-identity_binary64_21888` `+-lft-identity_binary64_21886` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `cancel-sign-sub_binary64_21867` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-neg-in_binary64_21863` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853` `associate-l/_binary64_21845` `associate--r-_binary64_21841` `associate--l-_binary64_21840` `associate--l+_binary64_21839`

Counts

129 → 82

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	170	1835
1	406	1685
2	1453	1685
3	2398	1685
4	4060	1685
5	4961	1685

prune139.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	82	8	90

Error

3.6b

Counts

90 → 8

Compiler

Compiled 2872 to 1636 computations (43% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 18) y)
0.3b	(.f64 27 (.f64 k j))
4.6b	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
5.3b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite205.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

25×	`pow1_binary64_21963` `add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
13×	`pow-prod-down_binary64_21973` `prod-exp_binary64_21951` `cbrt-unprod_binary64_21935`
11×	`add-sqr-sqrt_binary64_21924`
10×	`associate-r_binary64_21842`
9×	`add-cube-cbrt_binary64_21937` `*-un-lft-identity_binary64_21902`
8×	`associate-l_binary64_21843`
4×	`add-log-exp_binary64_21941` `*-commutative_binary64_21833`
2×	`sub-neg_binary64_21895` `distribute-rgt-in_binary64_21852` `cancel-sign-sub-inv_binary64_21868` `distribute-lft-in_binary64_21851` `associate-*r/_binary64_21844`
1×	`unswap-sqr_binary64_21870` `flip3--_binary64_21906` `flip--_binary64_21877`

Counts

4 → 81

Calls

4 calls:

13.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
7.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
5.0ms	(.f64 (.f64 x 18) y)
5.0ms	(.f64 27 (.f64 k j))

Compiler

Compiled 3103 to 1874 computations (39.6% saved)

series1.1s (6%)

Error

3.6b

Counts

4 → 48

Calls

4 calls:

634.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
187.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
92.0ms	(.f64 27 (.f64 k j))
91.0ms	(.f64 (.f64 x 18) y)

Compiler

Compiled 4028 to 3242 computations (19.5% saved)

simplify106.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

400×	`unsub-neg_binary64_21896`
370×	`associate-l_binary64_21843`
286×	`associate-r_binary64_21842`
261×	`neg-mul-1_binary64_21898`
257×	`neg-sub0_binary64_21897`
225×	`exp-prod_binary64_21954`
183×	`cancel-sign-sub-inv_binary64_21868`
151×	`associate-+l+_binary64_21835`
148×	`associate-+r+_binary64_21834`
146×	`sqr-pow_binary64_21874`
144×	`*-commutative_binary64_21833`
130×	`+-commutative_binary64_21832`
123×	`distribute-rgt-in_binary64_21852`
119×	`distribute-lft-in_binary64_21851`
89×	`swap-sqr_binary64_21869`
88×	`log-prod_binary64_21988` `cube-prod_binary64_21930`
79×	`distribute-lft-neg-out_binary64_21861`
75×	`distribute-rgt-neg-out_binary64_21862`
70×	`exp-sum_binary64_21948`
67×	`distribute-rgt-neg-in_binary64_21860`
58×	`associate-/l*_binary64_21847`
56×	`distribute-lft-neg-in_binary64_21859`
52×	`unswap-sqr_binary64_21870`
51×	`*-lft-identity_binary64_21891`
46×	`*-rgt-identity_binary64_21892`
34×	`sub-neg_binary64_21895`
21×	`unpow3_binary64_21968`
20×	`pow-sqr_binary64_21875`
19×	`cube-mult_binary64_21932`
18×	`exp-diff_binary64_21950`
15×	`rem-sqrt-square_binary64_21915`
13×	`div-sub_binary64_21907`
11×	`cube-unmult_binary64_21939` `mul0-rgt_binary64_21885` `mul0-lft_binary64_21884`
10×	`difference-of-squares_binary64_21871`
8×	`associate-+l-_binary64_21837`
7×	`associate-/l/_binary64_21849` `associate-*r/_binary64_21844` `associate-+r-_binary64_21836`
6×	`unpow1/2_binary64_21966`
4×	`sqr-neg_binary64_21916` `sub0-neg_binary64_21889` `+-rgt-identity_binary64_21887`
3×	`distribute-rgt-out--_binary64_21856` `associate-/r/_binary64_21848`
2×	`cube-neg_binary64_21929` `distribute-rgt-out_binary64_21855` `associate--r+_binary64_21838`
1×	`1-exp_binary64_21946` `exp-1-e_binary64_21945` `count-2_binary64_21850` `associate-/r*_binary64_21846`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-pow_binary64_21991` `log-rec_binary64_21990` `log-div_binary64_21989` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `unpow2_binary64_21967` `pow-plus_binary64_21965` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow1_binary64_21960` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-neg_binary64_21949` `e-exp-1_binary64_21947` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-div_binary64_21931` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `rem-square-sqrt_binary64_21914` `times-frac_binary64_21908` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `remove-double-neg_binary64_21890` `--rgt-identity_binary64_21888` `+-lft-identity_binary64_21886` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `cancel-sign-sub_binary64_21867` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-neg-in_binary64_21863` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `distribute-lft-out--_binary64_21854` `distribute-lft-out_binary64_21853` `associate-l/_binary64_21845` `associate--r-_binary64_21841` `associate--l-_binary64_21840` `associate--l+_binary64_21839`

Counts

129 → 84

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	170	1832
1	402	1682
2	1553	1682
3	2459	1682
4	4121	1682
5	5018	1682

prune157.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	82	10	92

Error

3.6b

Counts

92 → 10

Compiler

Compiled 3136 to 1817 computations (42.1% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sqrt.f64 27) (.f64 (*.f64 k j) (sqrt.f64 27)))
0.3b	(.f64 (.f64 k j) (sqrt.f64 27))
4.6b	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
5.3b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite250.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

29×	`pow1_binary64_21963` `add-exp-log_binary64_21940` `add-cbrt-cube_binary64_21938`
16×	`pow-prod-down_binary64_21973` `prod-exp_binary64_21951` `cbrt-unprod_binary64_21935`
13×	`add-sqr-sqrt_binary64_21924` `associate-r_binary64_21842`
11×	`add-cube-cbrt_binary64_21937` `-un-lft-identity_binary64_21902` `associate-l*_binary64_21843`
6×	`sqrt-prod_binary64_21918`
4×	`add-log-exp_binary64_21941` `*-commutative_binary64_21833`
2×	`sub-neg_binary64_21895` `distribute-rgt-in_binary64_21852` `cancel-sign-sub-inv_binary64_21868` `distribute-lft-in_binary64_21851` `associate-*r/_binary64_21844`
1×	`unswap-sqr_binary64_21870` `flip3--_binary64_21906` `flip--_binary64_21877`

Counts

4 → 90

Calls

4 calls:

11.0ms	(.f64 (sqrt.f64 27) (.f64 (*.f64 k j) (sqrt.f64 27)))
10.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
7.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
7.0ms	(.f64 (.f64 k j) (sqrt.f64 27))

Compiler

Compiled 3853 to 2500 computations (35.1% saved)

series1.3s (7%)

Error

3.6b

Counts

4 → 48

Calls

4 calls:

632.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
216.0ms	(.f64 (sqrt.f64 27) (.f64 (*.f64 k j) (sqrt.f64 27)))
205.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
132.0ms	(.f64 (.f64 k j) (sqrt.f64 27))

Compiler

Compiled 4538 to 3769 computations (16.9% saved)

simplify124.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

451×	`associate-l_binary64_21843`
367×	`associate-r_binary64_21842`
255×	`neg-mul-1_binary64_21898`
252×	`exp-prod_binary64_21954`
211×	`associate-+l+_binary64_21835`
179×	`associate-+r+_binary64_21834`
174×	`*-commutative_binary64_21833`
173×	`cancel-sign-sub-inv_binary64_21868`
172×	`sqr-pow_binary64_21874`
133×	`+-commutative_binary64_21832`
127×	`swap-sqr_binary64_21869`
123×	`distribute-rgt-in_binary64_21852`
119×	`distribute-lft-in_binary64_21851`
116×	`log-prod_binary64_21988`
115×	`cube-prod_binary64_21930`
83×	`associate-/l*_binary64_21847`
79×	`distribute-lft-neg-out_binary64_21861`
75×	`distribute-rgt-neg-out_binary64_21862`
68×	`unswap-sqr_binary64_21870`
67×	`distribute-rgt-neg-in_binary64_21860`
66×	`exp-sum_binary64_21948`
56×	`distribute-lft-neg-in_binary64_21859`
52×	`-rgt-identity_binary64_21892` `-lft-identity_binary64_21891`
45×	`unsub-neg_binary64_21896`
43×	`neg-sub0_binary64_21897`
34×	`sub-neg_binary64_21895`
26×	`unpow3_binary64_21968`
25×	`pow-sqr_binary64_21875`
22×	`cube-mult_binary64_21932`
20×	`associate-/r*_binary64_21846`
18×	`exp-diff_binary64_21950`
16×	`rem-sqrt-square_binary64_21915`
14×	`cube-unmult_binary64_21939`
13×	`div-sub_binary64_21907`
12×	`times-frac_binary64_21908` `associate-/l/_binary64_21849` `associate-*r/_binary64_21844`
11×	`mul0-rgt_binary64_21885` `mul0-lft_binary64_21884`
10×	`difference-of-squares_binary64_21871`
9×	`unpow1/2_binary64_21966`
8×	`associate-/r/_binary64_21848` `associate-+l-_binary64_21837`
7×	`associate-+r-_binary64_21836`
4×	`sqr-neg_binary64_21916` `sub0-neg_binary64_21889` `+-rgt-identity_binary64_21887`
3×	`log-pow_binary64_21991` `distribute-rgt-out--_binary64_21856` `distribute-rgt-out_binary64_21855` `count-2_binary64_21850`
2×	`cube-neg_binary64_21929` `associate--r+_binary64_21838`
1×	`unpow2_binary64_21967` `pow-plus_binary64_21965` `unpow1_binary64_21960` `1-exp_binary64_21946` `exp-1-e_binary64_21945` `rem-square-sqrt_binary64_21914` `distribute-lft-out_binary64_21853`
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_22165` `erf-erfc_binary64_22164` `erf-odd_binary64_22163` `if-if-and-not_binary64_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `not-gte_binary64_22154` `not-lte_binary64_22153` `not-gt_binary64_22152` `not-lt_binary64_22151` `gte-same_binary64_22150` `lte-same_binary64_22149` `gt-same_binary64_22148` `lt-same_binary64_22147` `sinh---cosh_binary64_22094` `sinh-+-cosh_binary64_22093` `sinh-cosh_binary64_22092` `tanh-def-c_binary64_22091` `tanh-def-b_binary64_22090` `tanh-def-a_binary64_22089` `cosh-def_binary64_22088` `sinh-def_binary64_22087` `tan-neg_binary64_22034` `cos-neg_binary64_22033` `sin-neg_binary64_22032` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `hang-m-tan_binary64_22028` `hang-p-tan_binary64_22027` `hang-m0-tan_binary64_22026` `hang-p0-tan_binary64_22025` `hang-0m-tan_binary64_22024` `hang-0p-tan_binary64_22023` `tan-+PI/2_binary64_22022` `tan-+PI_binary64_22021` `tan-PI_binary64_22020` `tan-PI/3_binary64_22019` `tan-PI/4_binary64_22018` `tan-PI/6_binary64_22017` `cos-+PI/2_binary64_22016` `cos-+PI_binary64_22015` `cos-PI_binary64_22014` `cos-PI/2_binary64_22013` `cos-PI/3_binary64_22012` `cos-PI/4_binary64_22011` `cos-PI/6_binary64_22010` `sin-+PI/2_binary64_22009` `sin-+PI_binary64_22008` `sin-PI_binary64_22007` `sin-PI/2_binary64_22006` `sin-PI/3_binary64_22005` `sin-PI/4_binary64_22004` `sin-PI/6_binary64_22003` `sub-1-sin_binary64_22002` `sub-1-cos_binary64_22001` `-1-add-sin_binary64_22000` `-1-add-cos_binary64_21999` `1-sub-sin_binary64_21998` `1-sub-cos_binary64_21997` `cos-sin-sum_binary64_21996` `log-E_binary64_21992` `log-rec_binary64_21990` `log-div_binary64_21989` `pow-base-0_binary64_21986` `unpow1/3_binary64_21969` `exp-to-pow_binary64_21964` `pow-base-1_binary64_21962` `unpow0_binary64_21961` `unpow-1_binary64_21959` `exp-lft-cube_binary64_21958` `exp-lft-sqr_binary64_21957` `exp-cbrt_binary64_21956` `exp-sqrt_binary64_21955` `div-exp_binary64_21953` `rec-exp_binary64_21952` `prod-exp_binary64_21951` `exp-neg_binary64_21949` `e-exp-1_binary64_21947` `exp-0_binary64_21944` `rem-log-exp_binary64_21943` `rem-exp-log_binary64_21942` `cube-div_binary64_21931` `rem-3cbrt-rft_binary64_21928` `rem-3cbrt-lft_binary64_21927` `rem-cbrt-cube_binary64_21926` `rem-cube-cbrt_binary64_21925` `sqr-abs_binary64_21917` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `remove-double-neg_binary64_21890` `--rgt-identity_binary64_21888` `+-lft-identity_binary64_21886` `div0_binary64_21883` `-inverses_binary64_21882` `+-inverses_binary64_21881` `lft-mult-inverse_binary64_21880` `rgt-mult-inverse_binary64_21879` `remove-double-div_binary64_21878` `difference-of-sqr--1_binary64_21873` `difference-of-sqr-1_binary64_21872` `cancel-sign-sub_binary64_21867` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-neg-in_binary64_21863` `distribute-rgt1-in_binary64_21858` `distribute-lft1-in_binary64_21857` `distribute-lft-out--_binary64_21854` `associate-l/_binary64_21845` `associate--r-_binary64_21841` `associate--l-_binary64_21840` `associate--l+_binary64_21839`

Counts

138 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	2112
1	457	1840
2	1730	1840
3	2754	1832
4	4639	1832
5	5004	1832

prune207.0ms (1.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	106	9	115

Error

3.6b

Counts

115 → 9

Compiler

Compiled 3919 to 2395 computations (38.9% saved)

regimes3.0s (16.8%)

Accuracy

Total 1.4b remaining (38.1%)

Threshold costs 0b (0%)

Compiler

Compiled 31754 to 29712 computations (6.4% saved)

bsearch6.0ms (0%)

Compiler: Compiled 31 to 29 computations (6.5% saved)

simplify180.0ms (1%)

Algorithm

1×	egg-herbie

Rules

44×	`*-commutative_binary64_21833`
33×	`+-commutative_binary64_21832`
27×	`sub-neg_binary64_21895`
20×	`neg-mul-1_binary64_21898` `neg-sub0_binary64_21897` `distribute-rgt-neg-in_binary64_21860`
15×	`distribute-lft-neg-in_binary64_21859`
10×	`cancel-sign-sub-inv_binary64_21868`
5×	`distribute-lft-neg-out_binary64_21861`
4×	`unsub-neg_binary64_21896` `distribute-neg-in_binary64_21863`
1×	`unpow1_binary64_21960` `1-exp_binary64_21946`
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_22162` `if-if-and_binary64_22161` `if-if-or-not_binary64_22160` `if-if-or_binary64_22159` `if-not_binary64_22158` `if-same_binary64_22157` `if-false_binary64_22156` `if-true_binary64_22155` `tan-0_binary64_22031` `cos-0_binary64_22030` `sin-0_binary64_22029` `e-exp-1_binary64_21947` `exp-1-e_binary64_21945` `exp-0_binary64_21944` `sqr-abs_binary64_21917` `sqr-neg_binary64_21916` `mul-1-neg_binary64_21894` `/-rgt-identity_binary64_21893` `-rgt-identity_binary64_21892` `-lft-identity_binary64_21891` `remove-double-neg_binary64_21890` `sub0-neg_binary64_21889` `--rgt-identity_binary64_21888` `+-rgt-identity_binary64_21887` `+-lft-identity_binary64_21886` `cancel-sign-sub_binary64_21867` `distribute-neg-frac_binary64_21866` `distribute-frac-neg_binary64_21865` `distribute-neg-out_binary64_21864` `distribute-rgt-neg-out_binary64_21862`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	222
1	121	222
2	181	222
3	232	222
4	265	222
5	275	222
6	276	222
7	275	222

Remove

(sort b c)

Compiler

Compiled 1490 to 990 computations (33.6% saved)

end0.0ms (0%)

sample4.7s (26.1%)

Algorithm

1×

intervals

Results

698.0ms	8000×	body	128	valid
679.0ms	8124×	body	128	invalid

Compiler

Compiled 2146 to 1929 computations (10.1% saved)

Details

analyze3.0s (16.9%)

sample122.0ms (0.7%)

simplify423.0ms (2.4%)

prune6.0ms (0%)

localize21.0ms (0.1%)

rewrite211.0ms (1.2%)

series1.0s (5.7%)

simplify110.0ms (0.6%)

prune172.0ms (1%)

localize24.0ms (0.1%)

rewrite181.0ms (1%)

series1.1s (6%)

simplify109.0ms (0.6%)

prune139.0ms (0.8%)

localize22.0ms (0.1%)

rewrite205.0ms (1.1%)

series1.1s (6%)

simplify106.0ms (0.6%)

prune157.0ms (0.9%)

localize24.0ms (0.1%)

rewrite250.0ms (1.4%)

series1.3s (7%)

simplify124.0ms (0.7%)

prune207.0ms (1.1%)

regimes3.0s (16.8%)

bsearch6.0ms (0%)

simplify180.0ms (1%)

end0.0ms (0%)

sample4.7s (26.1%)

Profiling