Details

analyze822.0ms (9%)

Algorithm

1×	search
2×	egg-herbie

Rules

280×	`sub-neg_binary64_18144`
266×	`unsub-neg_binary64_18145`
250×	`cancel-sign-sub-inv_binary64_18117`
182×	`distribute-rgt-in_binary64_18101`
134×	`associate--r+_binary64_18087`
131×	`associate-/l*_binary64_18096`
130×	`distribute-rgt-neg-in_binary64_18109` `*-commutative_binary64_18082`
110×	`distribute-lft-in_binary64_18100`
108×	`div-sub_binary64_18156` `associate--r-_binary64_18090`
88×	`distribute-lft-neg-in_binary64_18108` `associate-l_binary64_18092`
86×	`distribute-lft-neg-out_binary64_18110` `associate-r_binary64_18091` `associate-+l-_binary64_18086`
79×	`distribute-rgt-neg-out_binary64_18111`
78×	`+-commutative_binary64_18081`
73×	`cancel-sign-sub_binary64_18116`
70×	`neg-mul-1_binary64_18147` `distribute-neg-in_binary64_18112`
66×	`associate--l+_binary64_18088`
64×	`associate-/r*_binary64_18095`
63×	`neg-sub0_binary64_18146`
48×	`sub0-neg_binary64_18138` `distribute-neg-frac_binary64_18115` `distribute-lft-out--_binary64_18103`
42×	`associate--l-_binary64_18089` `associate-+r-_binary64_18085` `associate-+r+_binary64_18083`
40×	`associate-/l/_binary64_18098`
37×	`associate-/r/_binary64_18097`
36×	`associate-+l+_binary64_18084`
30×	`distribute-neg-out_binary64_18113`
20×	`remove-double-neg_binary64_18139`
19×	`+-rgt-identity_binary64_18136` `distribute-frac-neg_binary64_18114`
15×	`associate-*l/_binary64_18094`
12×	`*-rgt-identity_binary64_18141` `--rgt-identity_binary64_18137` `mul0-rgt_binary64_18134`
8×	`mul0-lft_binary64_18133` `div0_binary64_18132`
6×	`*-lft-identity_binary64_18140` `+-lft-identity_binary64_18135` `distribute-lft-out_binary64_18102`
4×	`/-rgt-identity_binary64_18142`
1×	`1-exp_binary64_18195` `swap-y-z`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `log-pow_binary64_18240` `log-rec_binary64_18239` `log-div_binary64_18238` `log-prod_binary64_18237` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow3_binary64_18217` `unpow2_binary64_18216` `unpow1/2_binary64_18215` `pow-plus_binary64_18214` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `exp-prod_binary64_18203` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-diff_binary64_18199` `exp-neg_binary64_18198` `exp-sum_binary64_18197` `e-exp-1_binary64_18196` `exp-1-e_binary64_18194` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `cube-unmult_binary64_18188` `cube-mult_binary64_18181` `cube-div_binary64_18180` `cube-prod_binary64_18179` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `rem-sqrt-square_binary64_18164` `rem-square-sqrt_binary64_18163` `times-frac_binary64_18157` `mul-1-neg_binary64_18143` `-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `remove-double-div_binary64_18127` `pow-sqr_binary64_18124` `sqr-pow_binary64_18123` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `unswap-sqr_binary64_18119` `swap-sqr_binary64_18118` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-rgt-out--_binary64_18105` `distribute-rgt-out_binary64_18104` `count-2_binary64_18099` `associate-r/_binary64_18093`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	112
1	86	112
2	185	112
3	369	112
4	694	112
5	1336	112
6	1627	112
7	1650	112
8	1662	112
9	1662	112
10	1664	112
11	1664	112
12	1579	112
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
12.5%	87.3%	0.2%	7
18.7%	81.1%	0.2%	8
46.8%	53%	0.2%	9
47.6%	52.2%	0.2%	10
48.3%	51.5%	0.2%	11
54.2%	45.6%	0.2%	12
67.6%	32.2%	0.2%	13
68.2%	31.6%	0.2%	14

Symmetry

(sort y z)

Compiler

Compiled 14 to 14 computations (0% saved)

sample33.0ms (0.4%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	41×	body	128	invalid

Compiler

Compiled 27 to 31 computations (-14.8% saved)

simplify24.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

113×	`cancel-sign-sub-inv_binary64_18117`
62×	`sub-neg_binary64_18144`
58×	`unsub-neg_binary64_18145`
50×	`distribute-rgt-neg-in_binary64_18109`
39×	`associate-/l*_binary64_18096`
37×	`distribute-rgt-in_binary64_18101`
31×	`associate--r+_binary64_18087`
29×	`distribute-lft-neg-in_binary64_18108`
28×	`neg-mul-1_binary64_18147`
24×	`distribute-neg-in_binary64_18112`
23×	`neg-sub0_binary64_18146`
22×	`div-sub_binary64_18156` `*-commutative_binary64_18082`
20×	`distribute-lft-neg-out_binary64_18110`
19×	`associate-/r*_binary64_18095` `associate-+l-_binary64_18086` `+-commutative_binary64_18081`
18×	`distribute-neg-frac_binary64_18115`
16×	`distribute-rgt-neg-out_binary64_18111` `associate--r-_binary64_18090`
14×	`distribute-lft-in_binary64_18100`
13×	`associate--l+_binary64_18088`
11×	`sub0-neg_binary64_18138` `+-lft-identity_binary64_18135`
10×	`associate-/r/_binary64_18097`
9×	`associate-*l/_binary64_18094`
8×	`remove-double-neg_binary64_18139` `mul0-rgt_binary64_18134` `associate-/l/_binary64_18098` `associate-l_binary64_18092` `associate-r_binary64_18091`
7×	`*-lft-identity_binary64_18140` `associate-+r-_binary64_18085` `associate-+r+_binary64_18083`
6×	`mul0-lft_binary64_18133` `associate--l-_binary64_18089` `associate-+l+_binary64_18084`
4×	`-rgt-identity_binary64_18141` `--rgt-identity_binary64_18137` `+-rgt-identity_binary64_18136` `div0_binary64_18132` `associate-r/_binary64_18093`
2×	`distribute-neg-out_binary64_18113` `distribute-lft-out--_binary64_18103`
1×	`1-exp_binary64_18195` `cancel-sign-sub_binary64_18116`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `log-pow_binary64_18240` `log-rec_binary64_18239` `log-div_binary64_18238` `log-prod_binary64_18237` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow3_binary64_18217` `unpow2_binary64_18216` `unpow1/2_binary64_18215` `pow-plus_binary64_18214` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `exp-sqrt_binary64_18204` `exp-prod_binary64_18203` `div-exp_binary64_18202` `rec-exp_binary64_18201` `prod-exp_binary64_18200` `exp-diff_binary64_18199` `exp-neg_binary64_18198` `exp-sum_binary64_18197` `e-exp-1_binary64_18196` `exp-1-e_binary64_18194` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `cube-unmult_binary64_18188` `cube-mult_binary64_18181` `cube-div_binary64_18180` `cube-prod_binary64_18179` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `rem-sqrt-square_binary64_18164` `rem-square-sqrt_binary64_18163` `times-frac_binary64_18157` `mul-1-neg_binary64_18143` `/-rgt-identity_binary64_18142` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `remove-double-div_binary64_18127` `pow-sqr_binary64_18124` `sqr-pow_binary64_18123` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `difference-of-squares_binary64_18120` `unswap-sqr_binary64_18119` `swap-sqr_binary64_18118` `distribute-frac-neg_binary64_18114` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-rgt-out--_binary64_18105` `distribute-rgt-out_binary64_18104` `distribute-lft-out_binary64_18102` `count-2_binary64_18099`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	16
1	26	16
2	47	16
3	88	16
4	164	16
5	257	16
6	348	16
7	437	16
8	494	16
9	491	16
10	417	16

prune4.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

0.0b

Counts

2 → 1

Compiler

Compiled 22 to 22 computations (0% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
0.0b	(/.f64 (*.f64 y z) 2)
0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

rewrite97.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`cancel-sign-sub-inv_binary64_18117`
11×	`*-un-lft-identity_binary64_18151`
10×	`add-log-exp_binary64_18190`
9×	`add-cube-cbrt_binary64_18186` `add-sqr-sqrt_binary64_18173` `times-frac_binary64_18157`
8×	`add-exp-log_binary64_18189` `add-cbrt-cube_binary64_18187` `associate-+l+_binary64_18084`
3×	`pow1_binary64_18212` `div-inv_binary64_18148` `associate-/r*_binary64_18095`
2×	`diff-log_binary64_18243` `sum-log_binary64_18242` `sub-neg_binary64_18144` `div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
1×	`flip3-+_binary64_18154` `flip-+_binary64_18125` `distribute-lft-out_binary64_18102` `associate-+l-_binary64_18086` `+-commutative_binary64_18081` `prod-exp_binary64_18200` `cbrt-unprod_binary64_18184` `frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-/l*_binary64_18096` `flip3--_binary64_18155` `flip--_binary64_18126`

Counts

3 → 61

Calls

3 calls:

10.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
6.0ms	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
5.0ms	(/.f64 (*.f64 y z) 2)

Compiler

Compiled 1144 to 719 computations (37.2% saved)

series638.0ms (7%)

Error

0.0b

Counts

3 → 48

Calls

3 calls:

322.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
205.0ms	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
80.0ms	(/.f64 (*.f64 y z) 2)

Compiler

Compiled 1109 to 962 computations (13.3% saved)

simplify105.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

410×	`associate-l_binary64_18092`
358×	`associate-r_binary64_18091`
319×	`distribute-neg-frac_binary64_18115`
284×	`associate-/l*_binary64_18096`
243×	`associate-*l/_binary64_18094`
206×	`associate-*r/_binary64_18093`
181×	`distribute-rgt-neg-out_binary64_18111` `*-commutative_binary64_18082`
172×	`log-div_binary64_18238`
136×	`sub-neg_binary64_18144`
135×	`distribute-rgt-in_binary64_18101`
127×	`unsub-neg_binary64_18145`
125×	`distribute-lft-in_binary64_18100`
123×	`log-prod_binary64_18237`
122×	`associate-/l/_binary64_18098`
92×	`exp-prod_binary64_18203`
87×	`neg-sub0_binary64_18146`
83×	`div-sub_binary64_18156`
78×	`neg-mul-1_binary64_18147`
76×	`associate-/r/_binary64_18097`
73×	`distribute-rgt-neg-in_binary64_18109`
68×	`times-frac_binary64_18157`
66×	`sqr-pow_binary64_18123`
63×	`+-commutative_binary64_18081`
59×	`cancel-sign-sub-inv_binary64_18117`
58×	`distribute-lft-neg-in_binary64_18108`
56×	`swap-sqr_binary64_18118`
55×	`associate-/r*_binary64_18095`
47×	`exp-sum_binary64_18197`
43×	`cube-prod_binary64_18179` `associate-+l+_binary64_18084`
39×	`unswap-sqr_binary64_18119`
37×	`cube-div_binary64_18180` `associate-+r+_binary64_18083`
35×	`distribute-neg-in_binary64_18112`
33×	`cancel-sign-sub_binary64_18116`
30×	`distribute-frac-neg_binary64_18114`
27×	`distribute-lft-neg-out_binary64_18110`
25×	`associate-+l-_binary64_18086`
24×	`exp-diff_binary64_18199`
21×	`associate--r+_binary64_18087`
18×	`associate-+r-_binary64_18085`
17×	`associate--l+_binary64_18088`
15×	`log-rec_binary64_18239` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133`
14×	`unpow3_binary64_18217`
13×	`associate--l-_binary64_18089`
11×	`cube-unmult_binary64_18188` `cube-mult_binary64_18181` `*-rgt-identity_binary64_18141` `remove-double-neg_binary64_18139` `sub0-neg_binary64_18138` `+-rgt-identity_binary64_18136` `pow-sqr_binary64_18124` `distribute-rgt-out_binary64_18104`
10×	`difference-of-squares_binary64_18120` `distribute-neg-out_binary64_18113`
9×	`/-rgt-identity_binary64_18142` `associate--r-_binary64_18090`
7×	`div0_binary64_18132`
6×	`exp-sqrt_binary64_18204`
4×	`prod-exp_binary64_18200` `mul-1-neg_binary64_18143` `*-lft-identity_binary64_18140`
3×	`div-exp_binary64_18202` `rem-sqrt-square_binary64_18164` `--rgt-identity_binary64_18137`
2×	`rem-square-sqrt_binary64_18163` `distribute-rgt-out--_binary64_18105` `distribute-lft-out_binary64_18102`
1×	`log-pow_binary64_18240` `pow-plus_binary64_18214` `1-exp_binary64_18195` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `sqr-neg_binary64_18165` `remove-double-div_binary64_18127`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow2_binary64_18216` `unpow1/2_binary64_18215` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `rec-exp_binary64_18201` `exp-neg_binary64_18198` `e-exp-1_binary64_18196` `exp-1-e_binary64_18194` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `+-lft-identity_binary64_18135` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-lft-out--_binary64_18103` `count-2_binary64_18099`

Counts

109 → 82

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	129	1394
1	331	1361
2	886	1346
3	3502	1345
4	4743	1345
5	4931	1345

prune77.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	3	83

Error

0.0b

Counts

83 → 3

Compiler

Compiled 1130 to 674 computations (40.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 1/8 x) (/.f64 1 (/.f64 2 (.f64 z y))))
0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 1 (/.f64 2 (.f64 z y)))) t)
0.2b	(/.f64 2 (*.f64 z y))
0.3b	(/.f64 1 (/.f64 2 (*.f64 z y)))

rewrite265.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

96×	`times-frac_binary64_18157`
52×	`*-un-lft-identity_binary64_18151` `cancel-sign-sub-inv_binary64_18117`
50×	`add-cube-cbrt_binary64_18186` `add-sqr-sqrt_binary64_18173`
30×	`add-exp-log_binary64_18189`
27×	`associate-+l+_binary64_18084`
18×	`add-cbrt-cube_binary64_18187`
14×	`div-exp_binary64_18202` `div-inv_binary64_18148`
11×	`add-log-exp_binary64_18190`
8×	`associate-/r*_binary64_18095`
7×	`cbrt-undiv_binary64_18185`
6×	`associate-/l*_binary64_18096`
5×	`pow1_binary64_18212`
4×	`prod-exp_binary64_18200`
3×	`1-exp_binary64_18195` `rec-exp_binary64_18201` `associate-/r/_binary64_18097`
2×	`cbrt-unprod_binary64_18184` `frac-2neg_binary64_18162` `clear-num_binary64_18150` `diff-log_binary64_18243` `sum-log_binary64_18242` `sub-neg_binary64_18144`
1×	`inv-pow_binary64_18236` `pow-flip_binary64_18225` `flip3-+_binary64_18154` `flip-+_binary64_18125` `distribute-lft-out_binary64_18102` `associate-+l-_binary64_18086` `+-commutative_binary64_18081` `flip3--_binary64_18155` `flip--_binary64_18126`

Counts

4 → 155

Calls

4 calls:

16.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 1 (/.f64 2 (.f64 z y)))) t)
12.0ms	(-.f64 (.f64 1/8 x) (/.f64 1 (/.f64 2 (.f64 z y))))
7.0ms	(/.f64 1 (/.f64 2 (*.f64 z y)))
7.0ms	(/.f64 2 (*.f64 z y))

Compiler

Compiled 3377 to 2372 computations (29.8% saved)

series704.0ms (7.7%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

299.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 1 (/.f64 2 (.f64 z y)))) t)
203.0ms	(-.f64 (.f64 1/8 x) (/.f64 1 (/.f64 2 (.f64 z y))))
90.0ms	(/.f64 2 (*.f64 z y))
79.0ms	(/.f64 1 (/.f64 2 (*.f64 z y)))

Compiler

Compiled 1343 to 1166 computations (13.2% saved)

simplify129.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

574×	`times-frac_binary64_18157`
323×	`associate-/r/_binary64_18097`
259×	`associate-/l/_binary64_18098`
222×	`distribute-rgt-in_binary64_18101`
213×	`div-sub_binary64_18156` `distribute-lft-in_binary64_18100`
210×	`exp-prod_binary64_18203`
199×	`cancel-sign-sub-inv_binary64_18117`
157×	`distribute-rgt-neg-in_binary64_18109`
119×	`distribute-lft-neg-in_binary64_18108`
112×	`associate-r_binary64_18091`
111×	`distribute-neg-frac_binary64_18115`
108×	`*-commutative_binary64_18082`
98×	`associate-l_binary64_18092`
95×	`associate-*l/_binary64_18094`
90×	`cube-prod_binary64_18179`
85×	`log-prod_binary64_18237`
84×	`sub-neg_binary64_18144`
81×	`associate-*r/_binary64_18093`
78×	`neg-sub0_binary64_18146`
74×	`neg-mul-1_binary64_18147`
54×	`distribute-lft-neg-out_binary64_18110`
52×	`associate-/l*_binary64_18096`
45×	`exp-sum_binary64_18197` `associate-/r*_binary64_18095`
44×	`+-commutative_binary64_18081`
42×	`distribute-rgt-neg-out_binary64_18111`
38×	`log-div_binary64_18238`
37×	`cube-div_binary64_18180`
31×	`*-rgt-identity_binary64_18141`
30×	`distribute-rgt-out_binary64_18104`
28×	`sqr-pow_binary64_18123`
27×	`distribute-frac-neg_binary64_18114`
24×	`unsub-neg_binary64_18145`
23×	`exp-diff_binary64_18199`
21×	`swap-sqr_binary64_18118`
20×	`distribute-neg-in_binary64_18112`
14×	`unpow3_binary64_18217` `/-rgt-identity_binary64_18142`
13×	`*-lft-identity_binary64_18140` `associate-+r+_binary64_18083`
11×	`cube-mult_binary64_18181`
10×	`log-rec_binary64_18239` `cube-unmult_binary64_18188`
8×	`distribute-lft-out_binary64_18102`
7×	`associate-+r-_binary64_18085`
6×	`exp-neg_binary64_18198` `associate--r+_binary64_18087`
5×	`sqr-neg_binary64_18165` `div0_binary64_18132` `associate--r-_binary64_18090`
4×	`exp-sqrt_binary64_18204` `+-rgt-identity_binary64_18136` `difference-of-squares_binary64_18120` `distribute-rgt-out--_binary64_18105` `associate-+l-_binary64_18086` `associate-+l+_binary64_18084`
3×	`unpow1/2_binary64_18215` `associate--l+_binary64_18088`
2×	`div-exp_binary64_18202` `prod-exp_binary64_18200` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `rem-sqrt-square_binary64_18164` `rem-square-sqrt_binary64_18163` `sub0-neg_binary64_18138` `+-lft-identity_binary64_18135` `remove-double-div_binary64_18127` `unswap-sqr_binary64_18119` `distribute-neg-out_binary64_18113` `distribute-lft-out--_binary64_18103`
1×	`log-pow_binary64_18240` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `cube-neg_binary64_18178` `remove-double-neg_binary64_18139` `pow-sqr_binary64_18124` `count-2_binary64_18099` `associate--l-_binary64_18089`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow2_binary64_18216` `pow-plus_binary64_18214` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `rec-exp_binary64_18201` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `mul-1-neg_binary64_18143` `--rgt-identity_binary64_18137` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `cancel-sign-sub_binary64_18116` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106`

Counts

209 → 159

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	2862
1	546	2748
2	1779	2543
3	4383	2543
4	5150	2543

prune139.0ms (1.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	158	4	162

Error

0.0b

Counts

162 → 4

Compiler

Compiled 2230 to 1390 computations (37.7% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 1/8 x) (.f64 (.f64 z (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y))))
0.0b	(+.f64 (-.f64 (.f64 1/8 x) (.f64 (.f64 z (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y)))) t)
0.0b	(.f64 (.f64 z (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y)))
0.6b	(/.f64 (cbrt.f64 1) (/.f64 2 y))

rewrite806.0ms (8.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

273×	`times-frac_binary64_18157`
152×	`*-un-lft-identity_binary64_18151`
150×	`add-cube-cbrt_binary64_18186` `add-sqr-sqrt_binary64_18173`
83×	`associate-r_binary64_18091`
81×	`cbrt-prod_binary64_18182`
45×	`add-exp-log_binary64_18189`
31×	`add-cbrt-cube_binary64_18187`
18×	`prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
15×	`div-inv_binary64_18148`
13×	`pow1_binary64_18212` `associate-/r*_binary64_18095`
12×	`div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
11×	`add-log-exp_binary64_18190`
6×	`associate-/l*_binary64_18096` `pow-prod-down_binary64_18222`
2×	`associate-/r/_binary64_18097` `diff-log_binary64_18243` `sum-log_binary64_18242` `sub-neg_binary64_18144` `associate-+l+_binary64_18084` `cancel-sign-sub-inv_binary64_18117`
1×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-r/_binary64_18093` `associate-l_binary64_18092` `-commutative_binary64_18082` `flip3-+_binary64_18154` `flip-+_binary64_18125` `distribute-lft-out_binary64_18102` `associate-+l-_binary64_18086` `+-commutative_binary64_18081` `flip3--_binary64_18155` `flip--_binary64_18126`

Counts

4 → 254

Calls

4 calls:

30.0ms	(.f64 (.f64 z (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y)))
8.0ms	(/.f64 (cbrt.f64 1) (/.f64 2 y))
8.0ms	(+.f64 (-.f64 (.f64 1/8 x) (.f64 (.f64 z (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y)))) t)
5.0ms	(-.f64 (.f64 1/8 x) (.f64 (.f64 z (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y))))

Compiler

Compiled 8126 to 6573 computations (19.1% saved)

series666.0ms (7.3%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

316.0ms	(+.f64 (-.f64 (.f64 1/8 x) (.f64 (.f64 z (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y)))) t)
218.0ms	(-.f64 (.f64 1/8 x) (.f64 (.f64 z (.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y))))
79.0ms	(.f64 (.f64 z (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (cbrt.f64 1) (/.f64 2 y)))
22.0ms	(/.f64 (cbrt.f64 1) (/.f64 2 y))

Compiler

Compiled 1262 to 1103 computations (12.6% saved)

simplify224.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

633×	`associate-l_binary64_18092`
494×	`associate-r_binary64_18091`
330×	`*-commutative_binary64_18082`
244×	`associate-*r/_binary64_18093`
237×	`associate-/l*_binary64_18096`
215×	`associate-/r/_binary64_18097`
214×	`distribute-rgt-neg-in_binary64_18109`
209×	`cancel-sign-sub-inv_binary64_18117`
185×	`exp-prod_binary64_18203`
150×	`neg-mul-1_binary64_18147`
148×	`associate-/l/_binary64_18098`
125×	`associate-*l/_binary64_18094`
108×	`log-prod_binary64_18237`
86×	`*-rgt-identity_binary64_18141`
74×	`cube-prod_binary64_18179`
73×	`times-frac_binary64_18157`
63×	`*-lft-identity_binary64_18140`
61×	`exp-sum_binary64_18197`
51×	`sub-neg_binary64_18144`
47×	`associate-/r*_binary64_18095`
46×	`distribute-neg-frac_binary64_18115`
45×	`unswap-sqr_binary64_18119`
38×	`sqr-pow_binary64_18123` `+-commutative_binary64_18081`
36×	`log-div_binary64_18238` `neg-sub0_binary64_18146`
35×	`swap-sqr_binary64_18118`
30×	`cube-div_binary64_18180`
23×	`unpow3_binary64_18217`
22×	`distribute-lft-neg-out_binary64_18110`
21×	`cube-mult_binary64_18181` `distribute-rgt-in_binary64_18101`
19×	`/-rgt-identity_binary64_18142` `distribute-lft-neg-in_binary64_18108`
18×	`associate-+l+_binary64_18084`
17×	`div-sub_binary64_18156` `distribute-lft-in_binary64_18100`
16×	`exp-diff_binary64_18199`
12×	`distribute-neg-in_binary64_18112` `distribute-rgt-neg-out_binary64_18111`
11×	`associate-+r-_binary64_18085`
9×	`associate-+r+_binary64_18083`
6×	`cube-unmult_binary64_18188` `associate-+l-_binary64_18086`
5×	`exp-sqrt_binary64_18204` `associate--r+_binary64_18087`
4×	`unsub-neg_binary64_18145` `difference-of-squares_binary64_18120` `associate--r-_binary64_18090`
3×	`log-rec_binary64_18239` `unpow1/2_binary64_18215` `remove-double-div_binary64_18127` `distribute-rgt-out_binary64_18104` `associate--l+_binary64_18088`
2×	`div-exp_binary64_18202` `prod-exp_binary64_18200` `remove-double-neg_binary64_18139` `+-rgt-identity_binary64_18136` `pow-sqr_binary64_18124` `associate--l-_binary64_18089`
1×	`exp-neg_binary64_18198` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `cube-neg_binary64_18178` `rem-3cbrt-rft_binary64_18177` `rem-3cbrt-lft_binary64_18176` `sqr-neg_binary64_18165` `rem-sqrt-square_binary64_18164` `distribute-neg-out_binary64_18113` `distribute-rgt-out--_binary64_18105` `count-2_binary64_18099`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `log-pow_binary64_18240` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `unpow2_binary64_18216` `pow-plus_binary64_18214` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow1_binary64_18209` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `rec-exp_binary64_18201` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `rem-square-sqrt_binary64_18163` `mul-1-neg_binary64_18143` `sub0-neg_binary64_18138` `--rgt-identity_binary64_18137` `+-lft-identity_binary64_18135` `mul0-rgt_binary64_18134` `mul0-lft_binary64_18133` `div0_binary64_18132` `*-inverses_binary64_18131` `+-inverses_binary64_18130` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `cancel-sign-sub_binary64_18116` `distribute-frac-neg_binary64_18114` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-lft-out--_binary64_18103` `distribute-lft-out_binary64_18102`

Counts

305 → 245

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	327	7049
1	937	5585
2	3889	5572
3	4515	5571
4	4960	5571

prune370.0ms (4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	244	1	245
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	244	5	249

Error

Counts

249 → 5

Compiler

Compiled 5554 to 4144 computations (25.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 z (/.f64 y (sqrt.f64 2))) (sqrt.f64 2))) t)
0.2b	(*.f64 z (/.f64 y (sqrt.f64 2)))
0.4b	(/.f64 (*.f64 z (/.f64 y (sqrt.f64 2))) (sqrt.f64 2))
0.4b	(/.f64 y (sqrt.f64 2))

rewrite244.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

50×	`times-frac_binary64_18157`
48×	`add-sqr-sqrt_binary64_18173`
42×	`*-un-lft-identity_binary64_18151`
40×	`add-cube-cbrt_binary64_18186`
31×	`sqrt-prod_binary64_18167`
22×	`associate-r_binary64_18091`
20×	`add-exp-log_binary64_18189` `add-cbrt-cube_binary64_18187`
12×	`associate-/r*_binary64_18095`
11×	`associate-+l+_binary64_18084`
10×	`cancel-sign-sub-inv_binary64_18117`
9×	`add-log-exp_binary64_18190`
6×	`pow1_binary64_18212` `div-exp_binary64_18202` `cbrt-undiv_binary64_18185`
4×	`div-inv_binary64_18148` `associate-/l*_binary64_18096` `prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
3×	`unswap-sqr_binary64_18119` `associate-l_binary64_18092`
2×	`frac-2neg_binary64_18162` `clear-num_binary64_18150` `associate-*r/_binary64_18093` `sum-log_binary64_18242`
1×	`associate-/l/_binary64_18098` `pow-prod-down_binary64_18222` `*-commutative_binary64_18082` `diff-log_binary64_18243` `flip3-+_binary64_18154` `flip-+_binary64_18125` `distribute-lft-out_binary64_18102` `associate-+l-_binary64_18086` `sub-neg_binary64_18144` `+-commutative_binary64_18081`

Counts

4 → 136

Calls

4 calls:

14.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 z (/.f64 y (sqrt.f64 2))) (sqrt.f64 2))) t)
12.0ms	(*.f64 z (/.f64 y (sqrt.f64 2)))
9.0ms	(/.f64 (*.f64 z (/.f64 y (sqrt.f64 2))) (sqrt.f64 2))
5.0ms	(/.f64 y (sqrt.f64 2))

Compiler

Compiled 3132 to 2341 computations (25.3% saved)

series1.1s (11.7%)

Error

Counts

4 → 39

Calls

4 calls:

595.0ms	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 z (/.f64 y (sqrt.f64 2))) (sqrt.f64 2))) t)
217.0ms	(/.f64 (*.f64 z (/.f64 y (sqrt.f64 2))) (sqrt.f64 2))
157.0ms	(*.f64 z (/.f64 y (sqrt.f64 2)))
64.0ms	(/.f64 y (sqrt.f64 2))

Compiler

Compiled 1321 to 1192 computations (9.8% saved)

simplify139.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

360×	`associate-/r*_binary64_18095`
356×	`associate-/r/_binary64_18097`
321×	`*-commutative_binary64_18082`
237×	`log-prod_binary64_18237`
231×	`exp-prod_binary64_18203`
227×	`cube-prod_binary64_18179`
177×	`sub-neg_binary64_18144`
174×	`unsub-neg_binary64_18145`
160×	`cube-div_binary64_18180`
154×	`log-div_binary64_18238`
142×	`distribute-rgt-in_binary64_18101`
135×	`associate-/l*_binary64_18096`
133×	`distribute-lft-in_binary64_18100`
110×	`associate-*r/_binary64_18093`
105×	`associate-l_binary64_18092`
103×	`neg-sub0_binary64_18146` `associate-*l/_binary64_18094`
102×	`neg-mul-1_binary64_18147`
100×	`sqr-pow_binary64_18123`
98×	`swap-sqr_binary64_18118`
88×	`cancel-sign-sub-inv_binary64_18117`
82×	`distribute-neg-frac_binary64_18115`
81×	`div-sub_binary64_18156`
79×	`associate-r_binary64_18091`
77×	`associate-/l/_binary64_18098`
74×	`exp-sum_binary64_18197`
67×	`distribute-rgt-neg-in_binary64_18109`
66×	`exp-diff_binary64_18199`
55×	`unpow3_binary64_18217`
51×	`distribute-lft-neg-in_binary64_18108`
50×	`cube-mult_binary64_18181` `associate-+l+_binary64_18084` `+-commutative_binary64_18081`
48×	`times-frac_binary64_18157`
42×	`associate-+r+_binary64_18083`
36×	`associate-+l-_binary64_18086`
32×	`*-rgt-identity_binary64_18141` `unswap-sqr_binary64_18119`
30×	`associate--l+_binary64_18088`
26×	`distribute-lft-neg-out_binary64_18110`
25×	`*-lft-identity_binary64_18140`
24×	`distribute-rgt-neg-out_binary64_18111` `associate-+r-_binary64_18085`
22×	`/-rgt-identity_binary64_18142`
20×	`associate--l-_binary64_18089` `associate--r+_binary64_18087`
18×	`remove-double-neg_binary64_18139`
17×	`mul0-rgt_binary64_18134` `mul0-lft_binary64_18133`
14×	`log-rec_binary64_18239`
11×	`cube-unmult_binary64_18188` `+-rgt-identity_binary64_18136` `div0_binary64_18132`
9×	`distribute-neg-in_binary64_18112`
8×	`exp-sqrt_binary64_18204` `sub0-neg_binary64_18138` `pow-sqr_binary64_18124`
7×	`associate--r-_binary64_18090`
6×	`log-pow_binary64_18240`
4×	`rem-sqrt-square_binary64_18164` `--rgt-identity_binary64_18137`
3×	`unpow1/2_binary64_18215` `prod-exp_binary64_18200` `distribute-frac-neg_binary64_18114`
2×	`pow-plus_binary64_18214` `div-exp_binary64_18202` `exp-neg_binary64_18198` `sqr-neg_binary64_18165` `rem-square-sqrt_binary64_18163` `mul-1-neg_binary64_18143` `difference-of-squares_binary64_18120` `distribute-rgt-out--_binary64_18105` `distribute-rgt-out_binary64_18104`
1×	`unpow2_binary64_18216` `unpow1_binary64_18209` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `cube-neg_binary64_18178` `rem-3cbrt-lft_binary64_18176` `+-inverses_binary64_18130` `remove-double-div_binary64_18127` `distribute-neg-out_binary64_18113` `count-2_binary64_18099`
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_18414` `erf-erfc_binary64_18413` `erf-odd_binary64_18412` `if-if-and-not_binary64_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `not-gte_binary64_18403` `not-lte_binary64_18402` `not-gt_binary64_18401` `not-lt_binary64_18400` `gte-same_binary64_18399` `lte-same_binary64_18398` `gt-same_binary64_18397` `lt-same_binary64_18396` `sinh---cosh_binary64_18343` `sinh-+-cosh_binary64_18342` `sinh-cosh_binary64_18341` `tanh-def-c_binary64_18340` `tanh-def-b_binary64_18339` `tanh-def-a_binary64_18338` `cosh-def_binary64_18337` `sinh-def_binary64_18336` `tan-neg_binary64_18283` `cos-neg_binary64_18282` `sin-neg_binary64_18281` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `hang-m-tan_binary64_18277` `hang-p-tan_binary64_18276` `hang-m0-tan_binary64_18275` `hang-p0-tan_binary64_18274` `hang-0m-tan_binary64_18273` `hang-0p-tan_binary64_18272` `tan-+PI/2_binary64_18271` `tan-+PI_binary64_18270` `tan-PI_binary64_18269` `tan-PI/3_binary64_18268` `tan-PI/4_binary64_18267` `tan-PI/6_binary64_18266` `cos-+PI/2_binary64_18265` `cos-+PI_binary64_18264` `cos-PI_binary64_18263` `cos-PI/2_binary64_18262` `cos-PI/3_binary64_18261` `cos-PI/4_binary64_18260` `cos-PI/6_binary64_18259` `sin-+PI/2_binary64_18258` `sin-+PI_binary64_18257` `sin-PI_binary64_18256` `sin-PI/2_binary64_18255` `sin-PI/3_binary64_18254` `sin-PI/4_binary64_18253` `sin-PI/6_binary64_18252` `sub-1-sin_binary64_18251` `sub-1-cos_binary64_18250` `-1-add-sin_binary64_18249` `-1-add-cos_binary64_18248` `1-sub-sin_binary64_18247` `1-sub-cos_binary64_18246` `cos-sin-sum_binary64_18245` `log-E_binary64_18241` `pow-base-0_binary64_18235` `unpow1/3_binary64_18218` `exp-to-pow_binary64_18213` `pow-base-1_binary64_18211` `unpow0_binary64_18210` `unpow-1_binary64_18208` `exp-lft-cube_binary64_18207` `exp-lft-sqr_binary64_18206` `exp-cbrt_binary64_18205` `rec-exp_binary64_18201` `e-exp-1_binary64_18196` `exp-0_binary64_18193` `rem-log-exp_binary64_18192` `rem-exp-log_binary64_18191` `rem-3cbrt-rft_binary64_18177` `rem-cbrt-cube_binary64_18175` `rem-cube-cbrt_binary64_18174` `sqr-abs_binary64_18166` `+-lft-identity_binary64_18135` `*-inverses_binary64_18131` `lft-mult-inverse_binary64_18129` `rgt-mult-inverse_binary64_18128` `difference-of-sqr--1_binary64_18122` `difference-of-sqr-1_binary64_18121` `cancel-sign-sub_binary64_18116` `distribute-rgt1-in_binary64_18107` `distribute-lft1-in_binary64_18106` `distribute-lft-out--_binary64_18103` `distribute-lft-out_binary64_18102`

Counts

175 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	2634
1	472	2241
2	1544	2220
3	3509	2204
4	4472	2204
5	4980	2204

prune127.0ms (1.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	0	1
Picked	0	1	1
Done	0	3	3
Total	124	5	129

Error

Counts

129 → 5

Compiler

Compiled 2022 to 1357 computations (32.9% saved)

regimes857.0ms (9.4%)

Accuracy

Total 0.1b remaining (98.6%)

Threshold costs 0.1b (98.6%)

Compiler

Compiled 7436 to 7272 computations (2.2% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64_18082` `+-commutative_binary64_18081`
5×	`sub-neg_binary64_18144`
4×	`neg-mul-1_binary64_18147` `neg-sub0_binary64_18146`
2×	`distribute-rgt-neg-in_binary64_18109` `distribute-lft-neg-in_binary64_18108`
1×	`distribute-neg-frac_binary64_18115`
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_18411` `if-if-and_binary64_18410` `if-if-or-not_binary64_18409` `if-if-or_binary64_18408` `if-not_binary64_18407` `if-same_binary64_18406` `if-false_binary64_18405` `if-true_binary64_18404` `tan-0_binary64_18280` `cos-0_binary64_18279` `sin-0_binary64_18278` `unpow1_binary64_18209` `e-exp-1_binary64_18196` `1-exp_binary64_18195` `exp-1-e_binary64_18194` `exp-0_binary64_18193` `sqr-abs_binary64_18166` `sqr-neg_binary64_18165` `unsub-neg_binary64_18145` `mul-1-neg_binary64_18143` `/-rgt-identity_binary64_18142` `-rgt-identity_binary64_18141` `-lft-identity_binary64_18140` `remove-double-neg_binary64_18139` `sub0-neg_binary64_18138` `--rgt-identity_binary64_18137` `+-rgt-identity_binary64_18136` `+-lft-identity_binary64_18135` `cancel-sign-sub-inv_binary64_18117` `cancel-sign-sub_binary64_18116` `distribute-frac-neg_binary64_18114` `distribute-neg-out_binary64_18113` `distribute-neg-in_binary64_18112` `distribute-rgt-neg-out_binary64_18111` `distribute-lft-neg-out_binary64_18110`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	16
1	17	16
2	24	16
3	34	16
4	41	16
5	46	16
6	48	16
7	48	16

Remove

(sort y z)

Compiler

Compiled 22 to 22 computations (0% saved)

end0.0ms (0%)

sample1.6s (17%)

Algorithm

1×

intervals

Results

314.0ms	8000×	body	128	valid
43.0ms	1204×	body	128	invalid

Compiler

Compiled 842 to 819 computations (2.7% saved)

Iter	Nodes	Cost
0	15	16
1	26	16
2	47	16
3	88	16
4	164	16
5	257	16
6	348	16
7	437	16
8	494	16
9	491	16
10	417	16

Iter	Nodes	Cost
0	15	16
1	26	16
2	47	16
3	88	16
4	164	16
5	257	16
6	348	16
7	437	16
8	494	16
9	491	16
10	417	16

Details

analyze822.0ms (9%)

sample33.0ms (0.4%)

simplify24.0ms (0.3%)

prune4.0ms (0%)

localize8.0ms (0.1%)

rewrite97.0ms (1.1%)

series638.0ms (7%)

simplify105.0ms (1.1%)

prune77.0ms (0.8%)

localize10.0ms (0.1%)

rewrite265.0ms (2.9%)

series704.0ms (7.7%)

simplify129.0ms (1.4%)

prune139.0ms (1.5%)

localize13.0ms (0.1%)

rewrite806.0ms (8.8%)

series666.0ms (7.3%)

simplify224.0ms (2.4%)

prune370.0ms (4%)

localize13.0ms (0.1%)

rewrite244.0ms (2.7%)

series1.1s (11.7%)

simplify139.0ms (1.5%)

prune127.0ms (1.4%)

regimes857.0ms (9.4%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample1.6s (17%)

Profiling

Iter	Nodes	Cost
0	15	16
1	26	16
2	47	16
3	88	16
4	164	16
5	257	16
6	348	16
7	437	16
8	494	16
9	491	16
10	417	16