Details

analyze332.0ms (2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6%	20.5%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.1%	16.6%	74.3%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample49.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	193×	body	128	valid
11.0ms	18×	body	1024	valid
7.0ms	26×	body	512	valid
3.0ms	18×	body	256	valid
1.0ms	11×	body	128	nan
1.0ms	1×	body	2048	valid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify852.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

576×	`associate-/l/_binary64_18780`
548×	`distribute-rgt-out--_binary64_18787`
538×	`unsub-neg_binary64_18827`
357×	`sub-neg_binary64_18826`
355×	`exp-to-pow_binary64_18895`
351×	`swap-sqr_binary64_18800`
315×	`associate-/r*_binary64_18777`
273×	`associate-+r-_binary64_18767`
259×	`associate-+l-_binary64_18768`
256×	`distribute-rgt-neg-in_binary64_18791`
217×	`div-sub_binary64_18838`
195×	`pow-plus_binary64_18896`
171×	`distribute-rgt-in_binary64_18783`
161×	`*-commutative_binary64_18764`
150×	`exp-prod_binary64_18885`
118×	`distribute-lft-in_binary64_18782`
109×	`cancel-sign-sub-inv_binary64_18799`
103×	`distribute-neg-in_binary64_18794`
93×	`log-pow_binary64_18922`
89×	`exp-sum_binary64_18879`
78×	`neg-sub0_binary64_18828`
77×	`neg-mul-1_binary64_18829`
74×	`associate--r+_binary64_18769`
69×	`distribute-rgt1-in_binary64_18789`
67×	`distribute-lft-neg-in_binary64_18790`
62×	`associate-+l+_binary64_18766`
61×	`+-commutative_binary64_18763`
60×	`distribute-rgt-neg-out_binary64_18793`
58×	`log-prod_binary64_18919`
53×	`exp-diff_binary64_18881`
51×	`associate-/l*_binary64_18778`
50×	`associate-/r/_binary64_18779`
49×	`associate-+r+_binary64_18765`
45×	`associate-r_binary64_18773`
41×	`associate--l+_binary64_18770`
39×	`distribute-lft-neg-out_binary64_18792`
32×	`associate-l_binary64_18774`
30×	`mul0-lft_binary64_18815`
29×	`mul0-rgt_binary64_18816`
28×	`sqr-pow_binary64_18805` `difference-of-squares_binary64_18802`
27×	`remove-double-neg_binary64_18821`
21×	`distribute-neg-out_binary64_18795`
20×	`pow-sqr_binary64_18806`
19×	`*-rgt-identity_binary64_18823` `distribute-rgt-out_binary64_18786`
18×	`*-lft-identity_binary64_18822`
17×	`distribute-frac-neg_binary64_18796`
16×	`sqr-neg_binary64_18847`
14×	`+-inverses_binary64_18812` `associate--r-_binary64_18772`
13×	`sub0-neg_binary64_18820`
12×	`exp-neg_binary64_18880`
9×	`--rgt-identity_binary64_18819`
8×	`unswap-sqr_binary64_18801`
7×	`+-rgt-identity_binary64_18818` `distribute-lft1-in_binary64_18788` `count-2_binary64_18781`
6×	`exp-lft-sqr_binary64_18888` `distribute-neg-frac_binary64_18797`
5×	`log-div_binary64_18920`
4×	`rem-log-exp_binary64_18874` `cube-unmult_binary64_18870` `cube-prod_binary64_18861` `associate--l-_binary64_18771`
3×	`pow-base-1_binary64_18893` `+-lft-identity_binary64_18817` `distribute-lft-out--_binary64_18785` `distribute-lft-out_binary64_18784`
2×	`unpow3_binary64_18899` `difference-of-sqr--1_binary64_18804` `difference-of-sqr-1_binary64_18803`
1×	`log-E_binary64_18923` `exp-sqrt_binary64_18886` `1-exp_binary64_18877` `exp-1-e_binary64_18876` `cube-neg_binary64_18860` `/-rgt-identity_binary64_18824` `div0_binary64_18814` `*-inverses_binary64_18813`
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_19096` `erf-erfc_binary64_19095` `erf-odd_binary64_19094` `if-if-and-not_binary64_19093` `if-if-and_binary64_19092` `if-if-or-not_binary64_19091` `if-if-or_binary64_19090` `if-not_binary64_19089` `if-same_binary64_19088` `if-false_binary64_19087` `if-true_binary64_19086` `not-gte_binary64_19085` `not-lte_binary64_19084` `not-gt_binary64_19083` `not-lt_binary64_19082` `gte-same_binary64_19081` `lte-same_binary64_19080` `gt-same_binary64_19079` `lt-same_binary64_19078` `sinh---cosh_binary64_19025` `sinh-+-cosh_binary64_19024` `sinh-cosh_binary64_19023` `tanh-def-c_binary64_19022` `tanh-def-b_binary64_19021` `tanh-def-a_binary64_19020` `cosh-def_binary64_19019` `sinh-def_binary64_19018` `tan-neg_binary64_18965` `cos-neg_binary64_18964` `sin-neg_binary64_18963` `tan-0_binary64_18962` `cos-0_binary64_18961` `sin-0_binary64_18960` `hang-m-tan_binary64_18959` `hang-p-tan_binary64_18958` `hang-m0-tan_binary64_18957` `hang-p0-tan_binary64_18956` `hang-0m-tan_binary64_18955` `hang-0p-tan_binary64_18954` `tan-+PI/2_binary64_18953` `tan-+PI_binary64_18952` `tan-PI_binary64_18951` `tan-PI/3_binary64_18950` `tan-PI/4_binary64_18949` `tan-PI/6_binary64_18948` `cos-+PI/2_binary64_18947` `cos-+PI_binary64_18946` `cos-PI_binary64_18945` `cos-PI/2_binary64_18944` `cos-PI/3_binary64_18943` `cos-PI/4_binary64_18942` `cos-PI/6_binary64_18941` `sin-+PI/2_binary64_18940` `sin-+PI_binary64_18939` `sin-PI_binary64_18938` `sin-PI/2_binary64_18937` `sin-PI/3_binary64_18936` `sin-PI/4_binary64_18935` `sin-PI/6_binary64_18934` `sub-1-sin_binary64_18933` `sub-1-cos_binary64_18932` `-1-add-sin_binary64_18931` `-1-add-cos_binary64_18930` `1-sub-sin_binary64_18929` `1-sub-cos_binary64_18928` `cos-sin-sum_binary64_18927` `log-rec_binary64_18921` `pow-base-0_binary64_18917` `unpow1/3_binary64_18900` `unpow2_binary64_18898` `unpow1/2_binary64_18897` `unpow0_binary64_18892` `unpow1_binary64_18891` `unpow-1_binary64_18890` `exp-lft-cube_binary64_18889` `exp-cbrt_binary64_18887` `div-exp_binary64_18884` `rec-exp_binary64_18883` `prod-exp_binary64_18882` `e-exp-1_binary64_18878` `exp-0_binary64_18875` `rem-exp-log_binary64_18873` `cube-mult_binary64_18863` `cube-div_binary64_18862` `rem-3cbrt-rft_binary64_18859` `rem-3cbrt-lft_binary64_18858` `rem-cbrt-cube_binary64_18857` `rem-cube-cbrt_binary64_18856` `sqr-abs_binary64_18848` `rem-sqrt-square_binary64_18846` `rem-square-sqrt_binary64_18845` `times-frac_binary64_18839` `mul-1-neg_binary64_18825` `lft-mult-inverse_binary64_18811` `rgt-mult-inverse_binary64_18810` `remove-double-div_binary64_18809` `cancel-sign-sub_binary64_18798` `associate-l/_binary64_18776` `associate-r/_binary64_18775`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	24	20
2	37	20
3	57	20
4	90	20
5	153	20
6	311	20
7	614	20
8	1817	20
9	4638	20

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

8.8b

Counts

3 → 1

Compiler

Compiled 39 to 30 computations (23.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y))))
0.0b	(*.f64 z (log.f64 (-.f64 1 y)))
0.3b	(*.f64 x (log.f64 y))
4.6b	(log.f64 (-.f64 1 y))

rewrite172.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

8.4b

Rules

42×	`log-prod_binary64_18919`
36×	`add-sqr-sqrt_binary64_18855`
32×	`*-un-lft-identity_binary64_18833`
18×	`distribute-rgt-in_binary64_18783` `distribute-lft-in_binary64_18782`
17×	`add-cube-cbrt_binary64_18868`
12×	`associate-+r+_binary64_18765`
11×	`pow1_binary64_18894`
10×	`difference-of-squares_binary64_18802`
9×	`add-exp-log_binary64_18871`
8×	`add-cbrt-cube_binary64_18869` `associate-r_binary64_18773`
6×	`add-log-exp_binary64_18872` `associate-l_binary64_18774` `associate-+l+_binary64_18766`
5×	`distribute-lft-out--_binary64_18785`
3×	`log-pow_binary64_18922`
2×	`log-div_binary64_18920` `pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `unswap-sqr_binary64_18801` `*-commutative_binary64_18764`
1×	`flip3--_binary64_18837` `flip--_binary64_18808` `rem-log-exp_binary64_18874` `sum-log_binary64_18924` `flip3-+_binary64_18836` `flip-+_binary64_18807` `+-commutative_binary64_18763`

Counts

4 → 102

Calls

4 calls:

14.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y))))
8.0ms	(*.f64 z (log.f64 (-.f64 1 y)))
5.0ms	(*.f64 x (log.f64 y))
4.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2087 to 1115 computations (46.6% saved)

series1.0s (6.2%)

Error

0.2b

Counts

4 → 39

Calls

4 calls:

548.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y))))
192.0ms	(*.f64 x (log.f64 y))
189.0ms	(*.f64 z (log.f64 (-.f64 1 y)))
37.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 1494 to 1137 computations (23.9% saved)

simplify508.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

481×	`times-frac_binary64_18839`
307×	`unsub-neg_binary64_18827`
274×	`sub-neg_binary64_18826`
229×	`*-commutative_binary64_18764`
193×	`cancel-sign-sub-inv_binary64_18799`
175×	`distribute-rgt-in_binary64_18783`
163×	`associate-l_binary64_18774`
157×	`neg-sub0_binary64_18828` `associate-r_binary64_18773`
148×	`neg-mul-1_binary64_18829`
144×	`distribute-rgt-neg-in_binary64_18791`
123×	`distribute-lft-in_binary64_18782`
121×	`distribute-neg-in_binary64_18794`
116×	`distribute-lft-neg-in_binary64_18790`
94×	`sqr-pow_binary64_18805`
92×	`associate-+l+_binary64_18766`
87×	`log-prod_binary64_18919`
85×	`associate-+r+_binary64_18765`
82×	`associate-*r/_binary64_18775`
79×	`associate-*l/_binary64_18776`
78×	`unswap-sqr_binary64_18801`
75×	`+-commutative_binary64_18763`
72×	`distribute-neg-out_binary64_18795` `distribute-rgt-out_binary64_18786`
70×	`distribute-neg-frac_binary64_18797` `associate-+l-_binary64_18768`
64×	`cancel-sign-sub_binary64_18798`
63×	`exp-prod_binary64_18885`
60×	`associate--r+_binary64_18769`
59×	`associate-+r-_binary64_18767`
57×	`cube-prod_binary64_18861`
51×	`distribute-lft-neg-out_binary64_18792`
50×	`pow-sqr_binary64_18806`
43×	`distribute-rgt-neg-out_binary64_18793`
41×	`sub0-neg_binary64_18820`
39×	`log-div_binary64_18920` `*-lft-identity_binary64_18822`
38×	`*-rgt-identity_binary64_18823`
28×	`cube-div_binary64_18862` `+-rgt-identity_binary64_18818`
26×	`exp-sum_binary64_18879`
25×	`swap-sqr_binary64_18800` `distribute-rgt-out--_binary64_18787`
24×	`exp-sqrt_binary64_18886` `mul0-rgt_binary64_18816` `distribute-lft-out_binary64_18784`
22×	`remove-double-neg_binary64_18821` `mul0-lft_binary64_18815`
19×	`pow-plus_binary64_18896` `associate--l+_binary64_18770`
17×	`log-pow_binary64_18922`
16×	`associate--l-_binary64_18771`
15×	`exp-to-pow_binary64_18895`
14×	`exp-diff_binary64_18881`
13×	`unpow3_binary64_18899`
12×	`div-sub_binary64_18838` `difference-of-squares_binary64_18802`
10×	`associate--r-_binary64_18772`
9×	`distribute-rgt1-in_binary64_18789`
8×	`distribute-lft-out--_binary64_18785`
7×	`cube-mult_binary64_18863` `--rgt-identity_binary64_18819`
6×	`pow-base-1_binary64_18893` `cube-neg_binary64_18860` `mul-1-neg_binary64_18825` `distribute-frac-neg_binary64_18796`
5×	`prod-exp_binary64_18882` `count-2_binary64_18781` `associate-/l/_binary64_18780` `associate-/r/_binary64_18779`
4×	`log-rec_binary64_18921` `sqr-neg_binary64_18847` `difference-of-sqr-1_binary64_18803` `associate-/l_binary64_18778` `associate-/r_binary64_18777`
3×	`exp-lft-sqr_binary64_18888` `cube-unmult_binary64_18870` `/-rgt-identity_binary64_18824`
2×	`div-exp_binary64_18884` `rem-exp-log_binary64_18873` `rem-sqrt-square_binary64_18846`
1×	`unpow2_binary64_18898` `unpow1_binary64_18891` `rec-exp_binary64_18883` `1-exp_binary64_18877` `exp-1-e_binary64_18876` `rem-log-exp_binary64_18874` `*-inverses_binary64_18813` `+-inverses_binary64_18812`
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_19096` `erf-erfc_binary64_19095` `erf-odd_binary64_19094` `if-if-and-not_binary64_19093` `if-if-and_binary64_19092` `if-if-or-not_binary64_19091` `if-if-or_binary64_19090` `if-not_binary64_19089` `if-same_binary64_19088` `if-false_binary64_19087` `if-true_binary64_19086` `not-gte_binary64_19085` `not-lte_binary64_19084` `not-gt_binary64_19083` `not-lt_binary64_19082` `gte-same_binary64_19081` `lte-same_binary64_19080` `gt-same_binary64_19079` `lt-same_binary64_19078` `sinh---cosh_binary64_19025` `sinh-+-cosh_binary64_19024` `sinh-cosh_binary64_19023` `tanh-def-c_binary64_19022` `tanh-def-b_binary64_19021` `tanh-def-a_binary64_19020` `cosh-def_binary64_19019` `sinh-def_binary64_19018` `tan-neg_binary64_18965` `cos-neg_binary64_18964` `sin-neg_binary64_18963` `tan-0_binary64_18962` `cos-0_binary64_18961` `sin-0_binary64_18960` `hang-m-tan_binary64_18959` `hang-p-tan_binary64_18958` `hang-m0-tan_binary64_18957` `hang-p0-tan_binary64_18956` `hang-0m-tan_binary64_18955` `hang-0p-tan_binary64_18954` `tan-+PI/2_binary64_18953` `tan-+PI_binary64_18952` `tan-PI_binary64_18951` `tan-PI/3_binary64_18950` `tan-PI/4_binary64_18949` `tan-PI/6_binary64_18948` `cos-+PI/2_binary64_18947` `cos-+PI_binary64_18946` `cos-PI_binary64_18945` `cos-PI/2_binary64_18944` `cos-PI/3_binary64_18943` `cos-PI/4_binary64_18942` `cos-PI/6_binary64_18941` `sin-+PI/2_binary64_18940` `sin-+PI_binary64_18939` `sin-PI_binary64_18938` `sin-PI/2_binary64_18937` `sin-PI/3_binary64_18936` `sin-PI/4_binary64_18935` `sin-PI/6_binary64_18934` `sub-1-sin_binary64_18933` `sub-1-cos_binary64_18932` `-1-add-sin_binary64_18931` `-1-add-cos_binary64_18930` `1-sub-sin_binary64_18929` `1-sub-cos_binary64_18928` `cos-sin-sum_binary64_18927` `log-E_binary64_18923` `pow-base-0_binary64_18917` `unpow1/3_binary64_18900` `unpow1/2_binary64_18897` `unpow0_binary64_18892` `unpow-1_binary64_18890` `exp-lft-cube_binary64_18889` `exp-cbrt_binary64_18887` `exp-neg_binary64_18880` `e-exp-1_binary64_18878` `exp-0_binary64_18875` `rem-3cbrt-rft_binary64_18859` `rem-3cbrt-lft_binary64_18858` `rem-cbrt-cube_binary64_18857` `rem-cube-cbrt_binary64_18856` `sqr-abs_binary64_18848` `rem-square-sqrt_binary64_18845` `+-lft-identity_binary64_18817` `div0_binary64_18814` `lft-mult-inverse_binary64_18811` `rgt-mult-inverse_binary64_18810` `remove-double-div_binary64_18809` `difference-of-sqr--1_binary64_18804` `distribute-lft1-in_binary64_18788`

Counts

141 → 226

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	220	2105
1	473	1986
2	1371	1946
3	3243	1914

prune305.0ms (1.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	219	7	226
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	220	7	227

Error

0.0b

Counts

227 → 7

Compiler

Compiled 4968 to 2561 computations (48.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (neg.f64 y) (+.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3))) (.f64 1/4 (pow.f64 y 4))))))
0.0b	(.f64 z (-.f64 (neg.f64 y) (+.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3))) (*.f64 1/4 (pow.f64 y 4)))))
0.3b	(*.f64 x (log.f64 y))
0.3b	(*.f64 y 1/3)

rewrite255.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`add-sqr-sqrt_binary64_18855`
22×	`*-un-lft-identity_binary64_18833`
18×	`add-cube-cbrt_binary64_18868`
14×	`distribute-rgt-in_binary64_18783` `distribute-lft-in_binary64_18782`
13×	`associate-r_binary64_18773`
12×	`log-prod_binary64_18919` `cancel-sign-sub-inv_binary64_18799`
11×	`pow1_binary64_18894`
10×	`add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
9×	`associate-l_binary64_18774`
8×	`associate-+r+_binary64_18765`
6×	`add-log-exp_binary64_18872` `associate-+l+_binary64_18766`
4×	`sub-neg_binary64_18826`
3×	`pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `unswap-sqr_binary64_18801` `*-commutative_binary64_18764`
2×	`associate-*r/_binary64_18775` `distribute-lft-out--_binary64_18785`
1×	`log-pow_binary64_18922` `flip3--_binary64_18837` `flip--_binary64_18808` `difference-of-squares_binary64_18802` `distribute-rgt-neg-in_binary64_18791` `sum-log_binary64_18924` `flip3-+_binary64_18836` `flip-+_binary64_18807` `+-commutative_binary64_18763`

Counts

4 → 99

Calls

4 calls:

16.0ms	(.f64 z (-.f64 (neg.f64 y) (+.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3))) (*.f64 1/4 (pow.f64 y 4)))))
13.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (neg.f64 y) (+.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3))) (.f64 1/4 (pow.f64 y 4))))))
5.0ms	(*.f64 x (log.f64 y))
4.0ms	(*.f64 y 1/3)

Compiler

Compiled 3882 to 2132 computations (45.1% saved)

series1.4s (8.5%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

798.0ms	(+.f64 (.f64 x (log.f64 y)) (.f64 z (-.f64 (neg.f64 y) (+.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3))) (.f64 1/4 (pow.f64 y 4))))))
297.0ms	(.f64 z (-.f64 (neg.f64 y) (+.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3))) (*.f64 1/4 (pow.f64 y 4)))))
201.0ms	(*.f64 x (log.f64 y))
28.0ms	(*.f64 y 1/3)

Compiler

Compiled 2886 to 2143 computations (25.7% saved)

simplify1.0s (6.3%)

Algorithm

1×	egg-herbie

Rules

261×	`associate-l_binary64_18774`
253×	`cancel-sign-sub-inv_binary64_18799`
235×	`associate-r_binary64_18773`
211×	`exp-prod_binary64_18885`
193×	`distribute-rgt-neg-out_binary64_18793`
191×	`distribute-rgt-neg-in_binary64_18791`
179×	`distribute-lft-neg-out_binary64_18792`
156×	`exp-diff_binary64_18881`
144×	`distribute-lft-neg-in_binary64_18790`
141×	`associate--r+_binary64_18769`
140×	`associate-+l+_binary64_18766`
137×	`associate-+r+_binary64_18765`
115×	`distribute-neg-in_binary64_18794`
112×	`*-commutative_binary64_18764` `+-commutative_binary64_18763`
94×	`sub-neg_binary64_18826`
93×	`associate-l/_binary64_18776` `associate-r/_binary64_18775`
89×	`distribute-rgt-in_binary64_18783`
87×	`neg-sub0_binary64_18828`
85×	`log-prod_binary64_18919`
80×	`neg-mul-1_binary64_18829`
78×	`unsub-neg_binary64_18827`
70×	`distribute-lft-in_binary64_18782`
63×	`associate-+l-_binary64_18768`
57×	`distribute-rgt-out_binary64_18786`
56×	`sqr-pow_binary64_18805`
54×	`associate-+r-_binary64_18767`
47×	`exp-sqrt_binary64_18886`
44×	`log-div_binary64_18920`
43×	`cube-prod_binary64_18861`
38×	`-rgt-identity_binary64_18823` `-lft-identity_binary64_18822`
33×	`associate--l+_binary64_18770`
32×	`swap-sqr_binary64_18800`
29×	`unswap-sqr_binary64_18801`
27×	`distribute-lft-out_binary64_18784`
22×	`distribute-rgt-out--_binary64_18787`
21×	`pow-sqr_binary64_18806`
17×	`unpow3_binary64_18899`
16×	`associate--l-_binary64_18771`
15×	`exp-sum_binary64_18879`
13×	`distribute-neg-out_binary64_18795`
11×	`distribute-lft-out--_binary64_18785`
10×	`remove-double-neg_binary64_18821`
8×	`times-frac_binary64_18839` `div-sub_binary64_18838`
7×	`pow-plus_binary64_18896` `cube-mult_binary64_18863` `difference-of-squares_binary64_18802` `associate--r-_binary64_18772`
6×	`exp-to-pow_binary64_18895` `distribute-rgt1-in_binary64_18789`
5×	`sqr-neg_binary64_18847` `mul-1-neg_binary64_18825` `associate-/l/_binary64_18780`
4×	`log-rec_binary64_18921` `cube-unmult_binary64_18870` `cube-neg_binary64_18860` `associate-/r/_binary64_18779` `associate-/l_binary64_18778` `associate-/r_binary64_18777`
3×	`log-pow_binary64_18922` `div-exp_binary64_18884` `prod-exp_binary64_18882` `sub0-neg_binary64_18820` `+-rgt-identity_binary64_18818`
2×	`pow-base-1_binary64_18893` `exp-lft-sqr_binary64_18888` `/-rgt-identity_binary64_18824` `cancel-sign-sub_binary64_18798` `distribute-frac-neg_binary64_18796` `count-2_binary64_18781`
1×	`unpow1/3_binary64_18900` `unpow2_binary64_18898` `unpow1_binary64_18891` `rec-exp_binary64_18883` `1-exp_binary64_18877` `exp-1-e_binary64_18876` `rem-log-exp_binary64_18874` `rem-exp-log_binary64_18873` `cube-div_binary64_18862` `rem-3cbrt-lft_binary64_18858` `rem-sqrt-square_binary64_18846` `rem-square-sqrt_binary64_18845` `mul0-rgt_binary64_18816` `*-inverses_binary64_18813` `+-inverses_binary64_18812` `distribute-neg-frac_binary64_18797` `distribute-lft1-in_binary64_18788`
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_19096` `erf-erfc_binary64_19095` `erf-odd_binary64_19094` `if-if-and-not_binary64_19093` `if-if-and_binary64_19092` `if-if-or-not_binary64_19091` `if-if-or_binary64_19090` `if-not_binary64_19089` `if-same_binary64_19088` `if-false_binary64_19087` `if-true_binary64_19086` `not-gte_binary64_19085` `not-lte_binary64_19084` `not-gt_binary64_19083` `not-lt_binary64_19082` `gte-same_binary64_19081` `lte-same_binary64_19080` `gt-same_binary64_19079` `lt-same_binary64_19078` `sinh---cosh_binary64_19025` `sinh-+-cosh_binary64_19024` `sinh-cosh_binary64_19023` `tanh-def-c_binary64_19022` `tanh-def-b_binary64_19021` `tanh-def-a_binary64_19020` `cosh-def_binary64_19019` `sinh-def_binary64_19018` `tan-neg_binary64_18965` `cos-neg_binary64_18964` `sin-neg_binary64_18963` `tan-0_binary64_18962` `cos-0_binary64_18961` `sin-0_binary64_18960` `hang-m-tan_binary64_18959` `hang-p-tan_binary64_18958` `hang-m0-tan_binary64_18957` `hang-p0-tan_binary64_18956` `hang-0m-tan_binary64_18955` `hang-0p-tan_binary64_18954` `tan-+PI/2_binary64_18953` `tan-+PI_binary64_18952` `tan-PI_binary64_18951` `tan-PI/3_binary64_18950` `tan-PI/4_binary64_18949` `tan-PI/6_binary64_18948` `cos-+PI/2_binary64_18947` `cos-+PI_binary64_18946` `cos-PI_binary64_18945` `cos-PI/2_binary64_18944` `cos-PI/3_binary64_18943` `cos-PI/4_binary64_18942` `cos-PI/6_binary64_18941` `sin-+PI/2_binary64_18940` `sin-+PI_binary64_18939` `sin-PI_binary64_18938` `sin-PI/2_binary64_18937` `sin-PI/3_binary64_18936` `sin-PI/4_binary64_18935` `sin-PI/6_binary64_18934` `sub-1-sin_binary64_18933` `sub-1-cos_binary64_18932` `-1-add-sin_binary64_18931` `-1-add-cos_binary64_18930` `1-sub-sin_binary64_18929` `1-sub-cos_binary64_18928` `cos-sin-sum_binary64_18927` `log-E_binary64_18923` `pow-base-0_binary64_18917` `unpow1/2_binary64_18897` `unpow0_binary64_18892` `unpow-1_binary64_18890` `exp-lft-cube_binary64_18889` `exp-cbrt_binary64_18887` `exp-neg_binary64_18880` `e-exp-1_binary64_18878` `exp-0_binary64_18875` `rem-3cbrt-rft_binary64_18859` `rem-cbrt-cube_binary64_18857` `rem-cube-cbrt_binary64_18856` `sqr-abs_binary64_18848` `--rgt-identity_binary64_18819` `+-lft-identity_binary64_18817` `mul0-lft_binary64_18815` `div0_binary64_18814` `lft-mult-inverse_binary64_18811` `rgt-mult-inverse_binary64_18810` `remove-double-div_binary64_18809` `difference-of-sqr--1_binary64_18804` `difference-of-sqr-1_binary64_18803`

Counts

147 → 424

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	3639
1	550	3488
2	1875	3140
3	4455	3140

prune1.5s (9.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	420	4	424
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	424	7	431

Error

0.0b

Counts

431 → 7

Compiler

Compiled 17685 to 10079 computations (43% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite168.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_18864`
23×	`add-sqr-sqrt_binary64_18855`
15×	`add-cube-cbrt_binary64_18868` `*-un-lft-identity_binary64_18833`
11×	`pow1_binary64_18894`
9×	`pow1/3_binary64_18915`
6×	`add-exp-log_binary64_18871` `swap-sqr_binary64_18800` `associate-l_binary64_18774` `associate-r_binary64_18773`
4×	`add-log-exp_binary64_18872` `add-cbrt-cube_binary64_18869` `unswap-sqr_binary64_18801`
2×	`pow-prod-down_binary64_18904` `pow-prod-up_binary64_18903` `pow-sqr_binary64_18806`
1×	`pow2_binary64_18914` `pow-plus_binary64_18896` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `*-commutative_binary64_18764`

Counts

4 → 73

Calls

4 calls:

8.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2984 to 1472 computations (50.7% saved)

series582.0ms (3.6%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

150.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
147.0ms	(cbrt.f64 y)
135.0ms	(cbrt.f64 y)
125.0ms	(cbrt.f64 y)

Compiler

Compiled 1383 to 1000 computations (27.7% saved)

simplify394.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

545×	`log-prod_binary64_18919`
427×	`log-div_binary64_18920`
416×	`associate-/l*_binary64_18778`
347×	`associate-l_binary64_18774`
293×	`associate-/r*_binary64_18777`
231×	`associate-r_binary64_18773`
203×	`*-commutative_binary64_18764`
184×	`associate-/r/_binary64_18779`
150×	`distribute-rgt-neg-in_binary64_18791`
144×	`distribute-lft-neg-in_binary64_18790`
140×	`exp-prod_binary64_18885`
128×	`distribute-rgt-in_binary64_18783`
123×	`unswap-sqr_binary64_18801`
112×	`cube-prod_binary64_18861`
95×	`distribute-lft-in_binary64_18782`
86×	`swap-sqr_binary64_18800`
80×	`associate-/l/_binary64_18780`
77×	`sqr-pow_binary64_18805`
55×	`log-pow_binary64_18922` `distribute-rgt-out_binary64_18786`
52×	`times-frac_binary64_18839`
47×	`cancel-sign-sub-inv_binary64_18799`
42×	`associate-+l+_binary64_18766`
39×	`associate-+r+_binary64_18765`
38×	`associate-*l/_binary64_18776`
37×	`pow-sqr_binary64_18806`
30×	`distribute-lft-out_binary64_18784`
29×	`cube-div_binary64_18862`
28×	`distribute-neg-frac_binary64_18797`
24×	`log-rec_binary64_18921` `*-rgt-identity_binary64_18823`
23×	`*-lft-identity_binary64_18822`
22×	`pow-plus_binary64_18896`
21×	`associate-*r/_binary64_18775`
19×	`exp-sqrt_binary64_18886`
18×	`rem-sqrt-square_binary64_18846`
15×	`cube-unmult_binary64_18870`
13×	`neg-mul-1_binary64_18829` `neg-sub0_binary64_18828`
12×	`associate-+l-_binary64_18768`
9×	`exp-lft-sqr_binary64_18888` `distribute-rgt-neg-out_binary64_18793` `distribute-lft-neg-out_binary64_18792`
8×	`distribute-rgt1-in_binary64_18789` `count-2_binary64_18781`
6×	`unpow3_binary64_18899` `associate--l-_binary64_18771` `associate--l+_binary64_18770`
5×	`associate-+r-_binary64_18767` `+-commutative_binary64_18763`
4×	`div-exp_binary64_18884` `prod-exp_binary64_18882` `distribute-rgt-out--_binary64_18787`
3×	`unpow1/3_binary64_18900` `unpow2_binary64_18898` `sub-neg_binary64_18826` `distribute-lft-out--_binary64_18785`
2×	`unpow1_binary64_18891` `rec-exp_binary64_18883` `exp-sum_binary64_18879` `cube-mult_binary64_18863` `rem-3cbrt-lft_binary64_18858` `rem-cbrt-cube_binary64_18857` `/-rgt-identity_binary64_18824` `distribute-lft1-in_binary64_18788`
1×	`pow-base-1_binary64_18893` `exp-diff_binary64_18881` `1-exp_binary64_18877` `exp-1-e_binary64_18876` `rem-log-exp_binary64_18874` `rem-3cbrt-rft_binary64_18859` `rem-square-sqrt_binary64_18845` `mul-1-neg_binary64_18825` `mul0-lft_binary64_18815` `*-inverses_binary64_18813` `distribute-neg-out_binary64_18795`
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_19096` `erf-erfc_binary64_19095` `erf-odd_binary64_19094` `if-if-and-not_binary64_19093` `if-if-and_binary64_19092` `if-if-or-not_binary64_19091` `if-if-or_binary64_19090` `if-not_binary64_19089` `if-same_binary64_19088` `if-false_binary64_19087` `if-true_binary64_19086` `not-gte_binary64_19085` `not-lte_binary64_19084` `not-gt_binary64_19083` `not-lt_binary64_19082` `gte-same_binary64_19081` `lte-same_binary64_19080` `gt-same_binary64_19079` `lt-same_binary64_19078` `sinh---cosh_binary64_19025` `sinh-+-cosh_binary64_19024` `sinh-cosh_binary64_19023` `tanh-def-c_binary64_19022` `tanh-def-b_binary64_19021` `tanh-def-a_binary64_19020` `cosh-def_binary64_19019` `sinh-def_binary64_19018` `tan-neg_binary64_18965` `cos-neg_binary64_18964` `sin-neg_binary64_18963` `tan-0_binary64_18962` `cos-0_binary64_18961` `sin-0_binary64_18960` `hang-m-tan_binary64_18959` `hang-p-tan_binary64_18958` `hang-m0-tan_binary64_18957` `hang-p0-tan_binary64_18956` `hang-0m-tan_binary64_18955` `hang-0p-tan_binary64_18954` `tan-+PI/2_binary64_18953` `tan-+PI_binary64_18952` `tan-PI_binary64_18951` `tan-PI/3_binary64_18950` `tan-PI/4_binary64_18949` `tan-PI/6_binary64_18948` `cos-+PI/2_binary64_18947` `cos-+PI_binary64_18946` `cos-PI_binary64_18945` `cos-PI/2_binary64_18944` `cos-PI/3_binary64_18943` `cos-PI/4_binary64_18942` `cos-PI/6_binary64_18941` `sin-+PI/2_binary64_18940` `sin-+PI_binary64_18939` `sin-PI_binary64_18938` `sin-PI/2_binary64_18937` `sin-PI/3_binary64_18936` `sin-PI/4_binary64_18935` `sin-PI/6_binary64_18934` `sub-1-sin_binary64_18933` `sub-1-cos_binary64_18932` `-1-add-sin_binary64_18931` `-1-add-cos_binary64_18930` `1-sub-sin_binary64_18929` `1-sub-cos_binary64_18928` `cos-sin-sum_binary64_18927` `log-E_binary64_18923` `pow-base-0_binary64_18917` `unpow1/2_binary64_18897` `exp-to-pow_binary64_18895` `unpow0_binary64_18892` `unpow-1_binary64_18890` `exp-lft-cube_binary64_18889` `exp-cbrt_binary64_18887` `exp-neg_binary64_18880` `e-exp-1_binary64_18878` `exp-0_binary64_18875` `rem-exp-log_binary64_18873` `cube-neg_binary64_18860` `rem-cube-cbrt_binary64_18856` `sqr-abs_binary64_18848` `sqr-neg_binary64_18847` `div-sub_binary64_18838` `unsub-neg_binary64_18827` `remove-double-neg_binary64_18821` `sub0-neg_binary64_18820` `--rgt-identity_binary64_18819` `+-rgt-identity_binary64_18818` `+-lft-identity_binary64_18817` `mul0-rgt_binary64_18816` `div0_binary64_18814` `+-inverses_binary64_18812` `lft-mult-inverse_binary64_18811` `rgt-mult-inverse_binary64_18810` `remove-double-div_binary64_18809` `difference-of-sqr--1_binary64_18804` `difference-of-sqr-1_binary64_18803` `difference-of-squares_binary64_18802` `cancel-sign-sub_binary64_18798` `distribute-frac-neg_binary64_18796` `distribute-neg-in_binary64_18794` `associate--r-_binary64_18772` `associate--r+_binary64_18769`

Counts

85 → 83

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	55	718
1	97	656
2	345	636
3	1343	633
4	4059	633

prune193.0ms (1.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	82	8	90

Error

0.0b

Counts

90 → 8

Compiler

Compiled 3727 to 1950 computations (47.7% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 x (log.f64 (cbrt.f64 y)))
0.3b	(*.f64 1/3 y)
0.6b	(cbrt.f64 y)
6.0b	(pow.f64 y (+.f64 1/3 1/3))

rewrite256.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-sqr-sqrt_binary64_18855`
21×	`*-un-lft-identity_binary64_18833`
19×	`add-cube-cbrt_binary64_18868`
12×	`pow-unpow_binary64_18910` `log-prod_binary64_18919`
10×	`pow1_binary64_18894`
9×	`add-exp-log_binary64_18871` `cbrt-prod_binary64_18864`
8×	`add-cbrt-cube_binary64_18869` `associate-r_binary64_18773`
6×	`associate-l_binary64_18774` `distribute-rgt-in_binary64_18783` `distribute-lft-in_binary64_18782`
4×	`add-log-exp_binary64_18872`
3×	`unpow-prod-down_binary64_18912` `distribute-rgt-out_binary64_18786` `distribute-lft-out_binary64_18784`
2×	`pow1/3_binary64_18915` `pow-prod-down_binary64_18904` `prod-exp_binary64_18882` `cbrt-unprod_binary64_18866` `unswap-sqr_binary64_18801` `*-commutative_binary64_18764` `log-pow_binary64_18922`
1×	`unpow-prod-up_binary64_18911` `distribute-rgt1-in_binary64_18789` `distribute-lft1-in_binary64_18788` `count-2_binary64_18781` `pow-pow_binary64_18905` `pow-to-exp_binary64_18902` `pow-exp_binary64_18901` `sqr-pow_binary64_18805`

Counts

4 → 88

Calls

4 calls:

10.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
6.0ms	(pow.f64 y (+.f64 1/3 1/3))
4.0ms	(*.f64 1/3 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 3646 to 2275 computations (37.6% saved)

series755.0ms (4.6%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

451.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
125.0ms	(cbrt.f64 y)
117.0ms	(pow.f64 y (+.f64 1/3 1/3))
31.0ms	(*.f64 1/3 y)

Compiler

Compiled 1698 to 1312 computations (22.7% saved)

simplify524.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

386×	`associate-/l*_binary64_18778`
381×	`associate-/r/_binary64_18779`
354×	`associate-/r*_binary64_18777`
233×	`associate-/l/_binary64_18780`
188×	`*-commutative_binary64_18764`
184×	`sqr-pow_binary64_18805`
179×	`log-prod_binary64_18919`
141×	`distribute-rgt-out_binary64_18786`
132×	`associate-l_binary64_18774`
131×	`exp-prod_binary64_18885`
121×	`associate-r_binary64_18773`
102×	`pow-sqr_binary64_18806`
95×	`cancel-sign-sub-inv_binary64_18799`
94×	`times-frac_binary64_18839`
88×	`log-div_binary64_18920`
86×	`cube-prod_binary64_18861`
75×	`unswap-sqr_binary64_18801`
66×	`distribute-lft-neg-in_binary64_18790` `distribute-rgt-in_binary64_18783`
65×	`swap-sqr_binary64_18800` `count-2_binary64_18781`
64×	`distribute-rgt-neg-in_binary64_18791`
63×	`distribute-lft-in_binary64_18782`
53×	`associate-l/_binary64_18776` `associate-r/_binary64_18775`
41×	`exp-sum_binary64_18879`
40×	`distribute-lft-out_binary64_18784`
38×	`log-pow_binary64_18922`
33×	`*-lft-identity_binary64_18822`
31×	`cube-div_binary64_18862` `*-rgt-identity_binary64_18823`
29×	`pow-plus_binary64_18896`
28×	`distribute-neg-in_binary64_18794`
25×	`exp-sqrt_binary64_18886` `sub-neg_binary64_18826`
21×	`neg-mul-1_binary64_18829`
20×	`distribute-rgt1-in_binary64_18789`
19×	`/-rgt-identity_binary64_18824`
18×	`cube-unmult_binary64_18870` `neg-sub0_binary64_18828` `distribute-neg-frac_binary64_18797`
17×	`div-sub_binary64_18838`
15×	`rem-sqrt-square_binary64_18846` `associate-+r+_binary64_18765`
14×	`distribute-rgt-neg-out_binary64_18793` `distribute-lft-neg-out_binary64_18792`
13×	`exp-diff_binary64_18881` `associate-+l+_binary64_18766`
12×	`exp-to-pow_binary64_18895`
11×	`log-rec_binary64_18921`
10×	`unpow1/3_binary64_18900`
9×	`distribute-lft1-in_binary64_18788`
8×	`unpow3_binary64_18899` `associate--r+_binary64_18769`
7×	`cube-mult_binary64_18863`
5×	`exp-lft-sqr_binary64_18888` `+-commutative_binary64_18763`
4×	`pow-base-1_binary64_18893`
3×	`rem-exp-log_binary64_18873` `distribute-lft-out--_binary64_18785`
2×	`div-exp_binary64_18884` `exp-neg_binary64_18880` `unsub-neg_binary64_18827` `mul0-rgt_binary64_18816` `mul0-lft_binary64_18815` `associate--r-_binary64_18772` `associate-+r-_binary64_18767`
1×	`unpow2_binary64_18898` `unpow1_binary64_18891` `prod-exp_binary64_18882` `1-exp_binary64_18877` `exp-1-e_binary64_18876` `rem-log-exp_binary64_18874` `rem-3cbrt-lft_binary64_18858` `rem-cbrt-cube_binary64_18857` `mul-1-neg_binary64_18825` `sub0-neg_binary64_18820` `+-rgt-identity_binary64_18818` `+-lft-identity_binary64_18817` `*-inverses_binary64_18813` `+-inverses_binary64_18812` `remove-double-div_binary64_18809` `associate-+l-_binary64_18768`
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_19096` `erf-erfc_binary64_19095` `erf-odd_binary64_19094` `if-if-and-not_binary64_19093` `if-if-and_binary64_19092` `if-if-or-not_binary64_19091` `if-if-or_binary64_19090` `if-not_binary64_19089` `if-same_binary64_19088` `if-false_binary64_19087` `if-true_binary64_19086` `not-gte_binary64_19085` `not-lte_binary64_19084` `not-gt_binary64_19083` `not-lt_binary64_19082` `gte-same_binary64_19081` `lte-same_binary64_19080` `gt-same_binary64_19079` `lt-same_binary64_19078` `sinh---cosh_binary64_19025` `sinh-+-cosh_binary64_19024` `sinh-cosh_binary64_19023` `tanh-def-c_binary64_19022` `tanh-def-b_binary64_19021` `tanh-def-a_binary64_19020` `cosh-def_binary64_19019` `sinh-def_binary64_19018` `tan-neg_binary64_18965` `cos-neg_binary64_18964` `sin-neg_binary64_18963` `tan-0_binary64_18962` `cos-0_binary64_18961` `sin-0_binary64_18960` `hang-m-tan_binary64_18959` `hang-p-tan_binary64_18958` `hang-m0-tan_binary64_18957` `hang-p0-tan_binary64_18956` `hang-0m-tan_binary64_18955` `hang-0p-tan_binary64_18954` `tan-+PI/2_binary64_18953` `tan-+PI_binary64_18952` `tan-PI_binary64_18951` `tan-PI/3_binary64_18950` `tan-PI/4_binary64_18949` `tan-PI/6_binary64_18948` `cos-+PI/2_binary64_18947` `cos-+PI_binary64_18946` `cos-PI_binary64_18945` `cos-PI/2_binary64_18944` `cos-PI/3_binary64_18943` `cos-PI/4_binary64_18942` `cos-PI/6_binary64_18941` `sin-+PI/2_binary64_18940` `sin-+PI_binary64_18939` `sin-PI_binary64_18938` `sin-PI/2_binary64_18937` `sin-PI/3_binary64_18936` `sin-PI/4_binary64_18935` `sin-PI/6_binary64_18934` `sub-1-sin_binary64_18933` `sub-1-cos_binary64_18932` `-1-add-sin_binary64_18931` `-1-add-cos_binary64_18930` `1-sub-sin_binary64_18929` `1-sub-cos_binary64_18928` `cos-sin-sum_binary64_18927` `log-E_binary64_18923` `pow-base-0_binary64_18917` `unpow1/2_binary64_18897` `unpow0_binary64_18892` `unpow-1_binary64_18890` `exp-lft-cube_binary64_18889` `exp-cbrt_binary64_18887` `rec-exp_binary64_18883` `e-exp-1_binary64_18878` `exp-0_binary64_18875` `cube-neg_binary64_18860` `rem-3cbrt-rft_binary64_18859` `rem-cube-cbrt_binary64_18856` `sqr-abs_binary64_18848` `sqr-neg_binary64_18847` `rem-square-sqrt_binary64_18845` `remove-double-neg_binary64_18821` `--rgt-identity_binary64_18819` `div0_binary64_18814` `lft-mult-inverse_binary64_18811` `rgt-mult-inverse_binary64_18810` `difference-of-sqr--1_binary64_18804` `difference-of-sqr-1_binary64_18803` `difference-of-squares_binary64_18802` `cancel-sign-sub_binary64_18798` `distribute-frac-neg_binary64_18796` `distribute-neg-out_binary64_18795` `distribute-rgt-out--_binary64_18787` `associate--l-_binary64_18771` `associate--l+_binary64_18770`

Counts

103 → 158

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	1012
1	276	927
2	846	913
3	2059	878

prune400.0ms (2.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	158	8	166

Error

0.0b

Counts

166 → 8

Compiler

Compiled 6515 to 3916 computations (39.9% saved)

regimes1.6s (9.8%)

Accuracy

Total 0.2b remaining (94.8%)

Threshold costs 0.2b (94.8%)

Compiler

Compiled 18668 to 14298 computations (23.4% saved)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64_18764`
21×	`+-commutative_binary64_18763`
17×	`sub-neg_binary64_18826`
15×	`neg-mul-1_binary64_18829` `neg-sub0_binary64_18828`
10×	`distribute-rgt-neg-in_binary64_18791`
9×	`distribute-lft-neg-in_binary64_18790`
6×	`unsub-neg_binary64_18827` `distribute-neg-in_binary64_18794`
2×	`cancel-sign-sub-inv_binary64_18799`
1×	`distribute-lft-neg-out_binary64_18792`
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_19093` `if-if-and_binary64_19092` `if-if-or-not_binary64_19091` `if-if-or_binary64_19090` `if-not_binary64_19089` `if-same_binary64_19088` `if-false_binary64_19087` `if-true_binary64_19086` `tan-0_binary64_18962` `cos-0_binary64_18961` `sin-0_binary64_18960` `unpow1_binary64_18891` `e-exp-1_binary64_18878` `1-exp_binary64_18877` `exp-1-e_binary64_18876` `exp-0_binary64_18875` `sqr-abs_binary64_18848` `sqr-neg_binary64_18847` `mul-1-neg_binary64_18825` `/-rgt-identity_binary64_18824` `-rgt-identity_binary64_18823` `-lft-identity_binary64_18822` `remove-double-neg_binary64_18821` `sub0-neg_binary64_18820` `--rgt-identity_binary64_18819` `+-rgt-identity_binary64_18818` `+-lft-identity_binary64_18817` `cancel-sign-sub_binary64_18798` `distribute-neg-frac_binary64_18797` `distribute-frac-neg_binary64_18796` `distribute-neg-out_binary64_18795` `distribute-rgt-neg-out_binary64_18793`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	55
1	46	55
2	59	55
3	71	55
4	86	55
5	108	55
6	125	55
7	139	55
8	155	55
9	162	55
10	166	55
11	167	55

Proof

(- f64 (+ f64 (* f64 (log f64 (pow f64 h0 (+ f64 1/3 1/3))) h1) (- f64 (* f64 h1 (log f64 (cbrt f64 h0))) (* f64 h2 (+ f64 h0 (+ f64 (* f64 1/4 (pow f64 h0 4)) (* f64 h0 (* f64 h0 (+ f64 (=> (* f64 1/3 h0)) 1/2)))))))) h3)
*-commutative_binary64_18764 =>
(- f64 (+ f64 (* f64 (log f64 (pow f64 h0 (+ f64 1/3 1/3))) h1) (- f64 (* f64 h1 (log f64 (cbrt f64 h0))) (* f64 h2 (+ f64 h0 (+ f64 (* f64 1/4 (pow f64 h0 4)) (* f64 h0 (* f64 h0 (+ f64 (* f64 h0 1/3) 1/2)))))))) h3)

end0.0ms (0%)

sample4.0s (24.2%)

Algorithm

1×

intervals

Results

429.0ms	5818×	body	128	valid
323.0ms	659×	body	1024	valid
258.0ms	906×	body	512	valid
97.0ms	601×	body	256	valid
19.0ms	256×	body	128	nan
11.0ms	16×	body	2048	valid
2.0ms	23×	body	128	invalid

Compiler

Compiled 3183 to 2440 computations (23.3% saved)

Iter	Nodes	Cost
0	28	55
1	46	55
2	59	55
3	71	55
4	86	55
5	108	55
6	125	55
7	139	55
8	155	55
9	162	55
10	166	55
11	167	55

Iter	Nodes	Cost
0	28	55
1	46	55
2	59	55
3	71	55
4	86	55
5	108	55
6	125	55
7	139	55
8	155	55
9	162	55
10	166	55
11	167	55

Details

analyze332.0ms (2%)

sample49.0ms (0.3%)

simplify852.0ms (5.2%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite172.0ms (1.1%)

series1.0s (6.2%)

simplify508.0ms (3.1%)

prune305.0ms (1.9%)

localize20.0ms (0.1%)

rewrite255.0ms (1.6%)

series1.4s (8.5%)

simplify1.0s (6.3%)

prune1.5s (9.2%)

localize30.0ms (0.2%)

rewrite168.0ms (1%)

series582.0ms (3.6%)

simplify394.0ms (2.4%)

prune193.0ms (1.2%)

localize31.0ms (0.2%)

rewrite256.0ms (1.6%)

series755.0ms (4.6%)

simplify524.0ms (3.2%)

prune400.0ms (2.5%)

regimes1.6s (9.8%)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample4.0s (24.2%)

Profiling

Iter	Nodes	Cost
0	28	55
1	46	55
2	59	55
3	71	55
4	86	55
5	108	55
6	125	55
7	139	55
8	155	55
9	162	55
10	166	55
11	167	55