
Herbie found 16 alternatives:
| Alternative | Accuracy | Speedup |
|---|
if t < -8.19999999999999944e61Initial program 32.4%
associate-/l*32.4%
fma-neg32.4%
remove-double-neg32.4%
fma-neg32.4%
sub-neg32.4%
metadata-eval32.4%
remove-double-neg32.4%
fma-def32.4%
Simplified32.4%
Taylor expanded in t around -inf 96.4%
mul-1-neg96.4%
distribute-rgt-neg-in96.4%
+-commutative96.4%
sub-neg96.4%
metadata-eval96.4%
+-commutative96.4%
Simplified96.4%
if -8.19999999999999944e61 < t < 1.99999999999999992e-233Initial program 28.2%
associate-*l/28.3%
Simplified28.3%
Taylor expanded in x around inf 65.9%
associate--l+65.9%
unpow265.9%
distribute-lft-out65.9%
unpow265.9%
unpow265.9%
associate-*r/65.9%
mul-1-neg65.9%
unpow265.9%
+-commutative65.9%
unpow265.9%
fma-udef65.9%
Simplified65.9%
Taylor expanded in t around 0 65.9%
associate-*r/65.9%
neg-mul-165.9%
unpow265.9%
Simplified65.9%
*-un-lft-identity65.9%
associate-/l*65.9%
associate-/r/65.9%
associate-/l*65.9%
+-commutative65.9%
fma-def65.9%
associate-/r/65.9%
distribute-rgt-neg-in65.9%
Applied egg-rr65.9%
*-lft-identity65.9%
fma-def65.9%
*-commutative65.9%
distribute-rgt-neg-out65.9%
unpow265.9%
distribute-frac-neg65.9%
unpow265.9%
associate-*l/73.8%
distribute-rgt-neg-in73.8%
Simplified73.8%
Taylor expanded in x around inf 73.8%
unpow273.8%
Simplified73.8%
if 1.99999999999999992e-233 < t < 5.00000000000000014e-162 or 5.80000000000000043e124 < t Initial program 8.6%
associate-/l*8.6%
fma-neg8.6%
remove-double-neg8.6%
fma-neg8.6%
sub-neg8.6%
metadata-eval8.6%
remove-double-neg8.6%
fma-def8.6%
Simplified8.6%
Taylor expanded in l around 0 92.7%
+-commutative92.7%
sub-neg92.7%
metadata-eval92.7%
+-commutative92.7%
Simplified92.7%
if 5.00000000000000014e-162 < t < 5.80000000000000043e124Initial program 49.6%
associate-*l/49.7%
Simplified49.7%
Taylor expanded in x around inf 76.2%
associate--l+76.2%
unpow276.2%
distribute-lft-out76.2%
unpow276.2%
unpow276.2%
associate-*r/76.2%
mul-1-neg76.2%
unpow276.2%
+-commutative76.2%
unpow276.2%
fma-udef76.2%
Simplified76.2%
Taylor expanded in t around 0 76.0%
associate-*r/76.0%
neg-mul-176.0%
unpow276.0%
Simplified76.0%
*-un-lft-identity76.0%
associate-/l*76.0%
associate-/r/76.0%
associate-/l*76.0%
+-commutative76.0%
fma-def76.0%
associate-/r/76.0%
distribute-rgt-neg-in76.0%
Applied egg-rr76.0%
*-lft-identity76.0%
fma-def76.0%
*-commutative76.0%
distribute-rgt-neg-out76.0%
unpow276.0%
distribute-frac-neg76.0%
unpow276.0%
associate-*l/88.3%
distribute-rgt-neg-in88.3%
Simplified88.3%
Final simplification85.5%
if t < -8.19999999999999944e61Initial program 32.4%
associate-/l*32.4%
fma-neg32.4%
remove-double-neg32.4%
fma-neg32.4%
sub-neg32.4%
metadata-eval32.4%
remove-double-neg32.4%
fma-def32.4%
Simplified32.4%
Taylor expanded in t around -inf 96.4%
mul-1-neg96.4%
distribute-rgt-neg-in96.4%
+-commutative96.4%
sub-neg96.4%
metadata-eval96.4%
+-commutative96.4%
Simplified96.4%
if -8.19999999999999944e61 < t < 6.19999999999999976e-231 or 3.4999999999999999e-162 < t < 4.5000000000000004e124Initial program 35.9%
associate-*l/36.0%
Simplified36.0%
Taylor expanded in x around inf 69.6%
associate--l+69.6%
unpow269.6%
distribute-lft-out69.6%
unpow269.6%
unpow269.6%
associate-*r/69.6%
mul-1-neg69.6%
unpow269.6%
+-commutative69.6%
unpow269.6%
fma-udef69.6%
Simplified69.6%
Taylor expanded in t around 0 69.5%
associate-*r/69.5%
neg-mul-169.5%
unpow269.5%
Simplified69.5%
*-un-lft-identity69.5%
associate-/l*69.5%
associate-/r/69.5%
associate-/l*69.5%
+-commutative69.5%
fma-def69.5%
associate-/r/69.5%
distribute-rgt-neg-in69.5%
Applied egg-rr69.5%
*-lft-identity69.5%
fma-def69.5%
*-commutative69.5%
distribute-rgt-neg-out69.5%
unpow269.5%
distribute-frac-neg69.5%
unpow269.5%
associate-*l/79.1%
distribute-rgt-neg-in79.1%
Simplified79.1%
Taylor expanded in x around inf 79.0%
unpow279.0%
Simplified79.0%
if 6.19999999999999976e-231 < t < 3.4999999999999999e-162 or 4.5000000000000004e124 < t Initial program 8.6%
associate-/l*8.6%
fma-neg8.6%
remove-double-neg8.6%
fma-neg8.6%
sub-neg8.6%
metadata-eval8.6%
remove-double-neg8.6%
fma-def8.6%
Simplified8.6%
Taylor expanded in l around 0 92.7%
+-commutative92.7%
sub-neg92.7%
metadata-eval92.7%
+-commutative92.7%
Simplified92.7%
Final simplification85.5%
if t < -2.40000000000000006e-4Initial program 34.6%
associate-*l/34.7%
Simplified34.7%
Taylor expanded in t around inf 19.1%
associate-/l*42.2%
+-commutative42.2%
sub-neg42.2%
metadata-eval42.2%
+-commutative42.2%
unpow242.2%
Simplified42.2%
Taylor expanded in t around -inf 91.4%
mul-1-neg91.4%
associate-*r/91.4%
+-commutative91.4%
sub-neg91.4%
metadata-eval91.4%
*-rgt-identity91.4%
distribute-neg-frac91.4%
Simplified91.4%
if -2.40000000000000006e-4 < t < 3.59999999999999997e-237Initial program 25.6%
associate-*l/25.7%
Simplified25.7%
Taylor expanded in x around inf 66.0%
associate--l+66.0%
unpow266.0%
distribute-lft-out66.0%
unpow266.0%
unpow266.0%
associate-*r/66.0%
mul-1-neg66.0%
unpow266.0%
+-commutative66.0%
unpow266.0%
fma-udef66.0%
Simplified66.0%
Taylor expanded in t around 0 66.0%
associate-*r/66.0%
neg-mul-166.0%
unpow266.0%
Simplified66.0%
div-inv66.0%
distribute-rgt-neg-in66.0%
Applied egg-rr66.0%
if 3.59999999999999997e-237 < t < 2.80000000000000016e-160 or 1.25000000000000005e-11 < t Initial program 25.4%
associate-/l*25.4%
fma-neg25.4%
remove-double-neg25.4%
fma-neg25.4%
sub-neg25.4%
metadata-eval25.4%
remove-double-neg25.4%
fma-def25.4%
Simplified25.4%
Taylor expanded in l around 0 88.3%
+-commutative88.3%
sub-neg88.3%
metadata-eval88.3%
+-commutative88.3%
Simplified88.3%
if 2.80000000000000016e-160 < t < 1.25000000000000005e-11Initial program 41.3%
associate-*l/41.4%
Simplified41.4%
Taylor expanded in x around inf 79.2%
associate--l+79.2%
unpow279.2%
distribute-lft-out79.2%
unpow279.2%
unpow279.2%
associate-*r/79.2%
mul-1-neg79.2%
unpow279.2%
+-commutative79.2%
unpow279.2%
fma-udef79.2%
Simplified79.2%
Taylor expanded in t around 0 78.7%
associate-*r/78.7%
neg-mul-178.7%
unpow278.7%
Simplified78.7%
*-un-lft-identity78.7%
associate-/l*78.7%
associate-/r/78.7%
associate-/l*78.7%
+-commutative78.7%
fma-def78.7%
associate-/r/78.7%
distribute-rgt-neg-in78.7%
Applied egg-rr78.7%
*-lft-identity78.7%
associate-+r-78.7%
associate-*l/78.7%
unpow278.7%
fma-udef78.7%
unpow278.7%
+-commutative78.7%
associate-*l/78.7%
unpow278.7%
sub-neg78.7%
Simplified78.7%
Final simplification81.0%
if t < -0.00110000000000000007Initial program 34.6%
associate-/l*34.6%
fma-neg34.6%
remove-double-neg34.6%
fma-neg34.6%
sub-neg34.6%
metadata-eval34.6%
remove-double-neg34.6%
fma-def34.6%
Simplified34.6%
Taylor expanded in t around -inf 91.5%
mul-1-neg91.5%
distribute-rgt-neg-in91.5%
+-commutative91.5%
sub-neg91.5%
metadata-eval91.5%
+-commutative91.5%
Simplified91.5%
if -0.00110000000000000007 < t < 1.55e-235Initial program 25.6%
associate-*l/25.7%
Simplified25.7%
Taylor expanded in x around inf 66.0%
associate--l+66.0%
unpow266.0%
distribute-lft-out66.0%
unpow266.0%
unpow266.0%
associate-*r/66.0%
mul-1-neg66.0%
unpow266.0%
+-commutative66.0%
unpow266.0%
fma-udef66.0%
Simplified66.0%
Taylor expanded in t around 0 66.0%
associate-*r/66.0%
neg-mul-166.0%
unpow266.0%
Simplified66.0%
div-inv66.0%
distribute-rgt-neg-in66.0%
Applied egg-rr66.0%
if 1.55e-235 < t < 2.80000000000000016e-160 or 5.00000000000000018e-11 < t Initial program 25.4%
associate-/l*25.4%
fma-neg25.4%
remove-double-neg25.4%
fma-neg25.4%
sub-neg25.4%
metadata-eval25.4%
remove-double-neg25.4%
fma-def25.4%
Simplified25.4%
Taylor expanded in l around 0 88.3%
+-commutative88.3%
sub-neg88.3%
metadata-eval88.3%
+-commutative88.3%
Simplified88.3%
if 2.80000000000000016e-160 < t < 5.00000000000000018e-11Initial program 41.3%
associate-*l/41.4%
Simplified41.4%
Taylor expanded in x around inf 79.2%
associate--l+79.2%
unpow279.2%
distribute-lft-out79.2%
unpow279.2%
unpow279.2%
associate-*r/79.2%
mul-1-neg79.2%
unpow279.2%
+-commutative79.2%
unpow279.2%
fma-udef79.2%
Simplified79.2%
Taylor expanded in t around 0 78.7%
associate-*r/78.7%
neg-mul-178.7%
unpow278.7%
Simplified78.7%
*-un-lft-identity78.7%
associate-/l*78.7%
associate-/r/78.7%
associate-/l*78.7%
+-commutative78.7%
fma-def78.7%
associate-/r/78.7%
distribute-rgt-neg-in78.7%
Applied egg-rr78.7%
*-lft-identity78.7%
associate-+r-78.7%
associate-*l/78.7%
unpow278.7%
fma-udef78.7%
unpow278.7%
+-commutative78.7%
associate-*l/78.7%
unpow278.7%
sub-neg78.7%
Simplified78.7%
Final simplification81.0%
if t < -8.59999999999999979e-4Initial program 34.6%
associate-*l/34.7%
Simplified34.7%
Taylor expanded in t around inf 19.1%
associate-/l*42.2%
+-commutative42.2%
sub-neg42.2%
metadata-eval42.2%
+-commutative42.2%
unpow242.2%
Simplified42.2%
Taylor expanded in t around -inf 91.4%
mul-1-neg91.4%
associate-*r/91.4%
+-commutative91.4%
sub-neg91.4%
metadata-eval91.4%
*-rgt-identity91.4%
distribute-neg-frac91.4%
Simplified91.4%
if -8.59999999999999979e-4 < t < 1.18e-238Initial program 25.6%
associate-*l/25.7%
Simplified25.7%
Taylor expanded in x around inf 66.0%
associate--l+66.0%
unpow266.0%
distribute-lft-out66.0%
unpow266.0%
unpow266.0%
associate-*r/66.0%
mul-1-neg66.0%
unpow266.0%
+-commutative66.0%
unpow266.0%
fma-udef66.0%
Simplified66.0%
Taylor expanded in t around 0 66.0%
associate-*r/66.0%
neg-mul-166.0%
unpow266.0%
Simplified66.0%
div-inv66.0%
distribute-rgt-neg-in66.0%
Applied egg-rr66.0%
if 1.18e-238 < t < 2.60000000000000003e-160 or 2.6499999999999999e-11 < t Initial program 25.4%
associate-*l/25.4%
Simplified25.4%
Taylor expanded in t around inf 18.2%
associate-/l*33.0%
+-commutative33.0%
sub-neg33.0%
metadata-eval33.0%
+-commutative33.0%
unpow233.0%
Simplified33.0%
Taylor expanded in t around 0 88.1%
associate-*r/88.1%
+-commutative88.1%
sub-neg88.1%
metadata-eval88.1%
*-rgt-identity88.1%
Simplified88.1%
if 2.60000000000000003e-160 < t < 2.6499999999999999e-11Initial program 41.3%
associate-*l/41.4%
Simplified41.4%
Taylor expanded in x around inf 79.2%
associate--l+79.2%
unpow279.2%
distribute-lft-out79.2%
unpow279.2%
unpow279.2%
associate-*r/79.2%
mul-1-neg79.2%
unpow279.2%
+-commutative79.2%
unpow279.2%
fma-udef79.2%
Simplified79.2%
Taylor expanded in t around 0 78.7%
associate-*r/78.7%
neg-mul-178.7%
unpow278.7%
Simplified78.7%
*-un-lft-identity78.7%
associate-/l*78.7%
associate-/r/78.7%
associate-/l*78.7%
+-commutative78.7%
fma-def78.7%
associate-/r/78.7%
distribute-rgt-neg-in78.7%
Applied egg-rr78.7%
*-lft-identity78.7%
associate-+r-78.7%
associate-*l/78.7%
unpow278.7%
fma-udef78.7%
unpow278.7%
+-commutative78.7%
associate-*l/78.7%
unpow278.7%
sub-neg78.7%
Simplified78.7%
Final simplification80.9%
if t < -1.35000000000000002e-4Initial program 34.6%
associate-*l/34.7%
Simplified34.7%
Taylor expanded in t around inf 19.1%
associate-/l*42.2%
+-commutative42.2%
sub-neg42.2%
metadata-eval42.2%
+-commutative42.2%
unpow242.2%
Simplified42.2%
Taylor expanded in t around -inf 91.4%
mul-1-neg91.4%
associate-*r/91.4%
+-commutative91.4%
sub-neg91.4%
metadata-eval91.4%
*-rgt-identity91.4%
distribute-neg-frac91.4%
Simplified91.4%
if -1.35000000000000002e-4 < t < 8.49999999999999951e-237Initial program 25.6%
associate-*l/25.7%
Simplified25.7%
Taylor expanded in x around inf 66.0%
associate--l+66.0%
unpow266.0%
distribute-lft-out66.0%
unpow266.0%
unpow266.0%
associate-*r/66.0%
mul-1-neg66.0%
unpow266.0%
+-commutative66.0%
unpow266.0%
fma-udef66.0%
Simplified66.0%
Taylor expanded in t around 0 66.0%
associate-*r/66.0%
neg-mul-166.0%
unpow266.0%
Simplified66.0%
Taylor expanded in l around 0 66.0%
unpow266.0%
associate-*l/66.0%
neg-mul-166.0%
distribute-rgt-neg-in66.0%
Simplified66.0%
if 8.49999999999999951e-237 < t < 2.99999999999999997e-160 or 5.09999999999999983e-18 < t Initial program 25.4%
associate-*l/25.4%
Simplified25.4%
Taylor expanded in t around inf 18.2%
associate-/l*33.0%
+-commutative33.0%
sub-neg33.0%
metadata-eval33.0%
+-commutative33.0%
unpow233.0%
Simplified33.0%
Taylor expanded in t around 0 88.1%
associate-*r/88.1%
+-commutative88.1%
sub-neg88.1%
metadata-eval88.1%
*-rgt-identity88.1%
Simplified88.1%
if 2.99999999999999997e-160 < t < 5.09999999999999983e-18Initial program 41.3%
associate-*l/41.4%
Simplified41.4%
Taylor expanded in x around inf 79.2%
associate--l+79.2%
unpow279.2%
distribute-lft-out79.2%
unpow279.2%
unpow279.2%
associate-*r/79.2%
mul-1-neg79.2%
unpow279.2%
+-commutative79.2%
unpow279.2%
fma-udef79.2%
Simplified79.2%
Taylor expanded in t around 0 78.7%
associate-*r/78.7%
neg-mul-178.7%
unpow278.7%
Simplified78.7%
*-un-lft-identity78.7%
associate-/l*78.7%
associate-/r/78.7%
associate-/l*78.7%
+-commutative78.7%
fma-def78.7%
associate-/r/78.7%
distribute-rgt-neg-in78.7%
Applied egg-rr78.7%
*-lft-identity78.7%
associate-+r-78.7%
associate-*l/78.7%
unpow278.7%
fma-udef78.7%
unpow278.7%
+-commutative78.7%
associate-*l/78.7%
unpow278.7%
sub-neg78.7%
Simplified78.7%
Final simplification80.9%
if t < -8.1999999999999998e-4Initial program 34.6%
associate-*l/34.7%
Simplified34.7%
Taylor expanded in t around inf 19.1%
associate-/l*42.2%
+-commutative42.2%
sub-neg42.2%
metadata-eval42.2%
+-commutative42.2%
unpow242.2%
Simplified42.2%
Taylor expanded in t around -inf 91.4%
mul-1-neg91.4%
associate-*r/91.4%
+-commutative91.4%
sub-neg91.4%
metadata-eval91.4%
*-rgt-identity91.4%
distribute-neg-frac91.4%
Simplified91.4%
if -8.1999999999999998e-4 < t < 3.60000000000000007e-233 or 2.0999999999999999e-159 < t < 5.8e-11Initial program 29.4%
associate-*l/29.5%
Simplified29.5%
Taylor expanded in x around inf 69.2%
associate--l+69.2%
unpow269.2%
distribute-lft-out69.2%
unpow269.2%
unpow269.2%
associate-*r/69.2%
mul-1-neg69.2%
unpow269.2%
+-commutative69.2%
unpow269.2%
fma-udef69.2%
Simplified69.2%
Taylor expanded in t around 0 69.0%
associate-*r/69.0%
neg-mul-169.0%
unpow269.0%
Simplified69.0%
*-un-lft-identity69.0%
associate-/l*69.0%
associate-/r/69.1%
associate-/l*69.1%
+-commutative69.1%
fma-def69.1%
associate-/r/69.1%
distribute-rgt-neg-in69.1%
Applied egg-rr69.1%
*-lft-identity69.1%
associate-+r-69.1%
associate-*l/69.0%
unpow269.0%
fma-udef69.0%
unpow269.0%
+-commutative69.0%
associate-*l/69.0%
unpow269.0%
sub-neg69.0%
Simplified69.0%
if 3.60000000000000007e-233 < t < 2.0999999999999999e-159 or 5.8e-11 < t Initial program 25.4%
associate-*l/25.4%
Simplified25.4%
Taylor expanded in t around inf 18.2%
associate-/l*33.0%
+-commutative33.0%
sub-neg33.0%
metadata-eval33.0%
+-commutative33.0%
unpow233.0%
Simplified33.0%
Taylor expanded in t around 0 88.1%
associate-*r/88.1%
+-commutative88.1%
sub-neg88.1%
metadata-eval88.1%
*-rgt-identity88.1%
Simplified88.1%
Final simplification80.9%
if t < -1.1000000000000001e-6Initial program 35.5%
associate-*l/35.7%
Simplified35.7%
Taylor expanded in t around inf 20.3%
associate-/l*43.1%
+-commutative43.1%
sub-neg43.1%
metadata-eval43.1%
+-commutative43.1%
unpow243.1%
Simplified43.1%
Taylor expanded in t around -inf 91.5%
mul-1-neg91.5%
associate-*r/91.5%
+-commutative91.5%
sub-neg91.5%
metadata-eval91.5%
*-rgt-identity91.5%
distribute-neg-frac91.5%
Simplified91.5%
if -1.1000000000000001e-6 < t < -4.19999999999999977e-196 or 5.8999999999999999e-155 < t < 5.40000000000000009e-11Initial program 46.6%
associate-*l/46.7%
Simplified46.7%
sqrt-undiv45.4%
fma-udef45.4%
+-commutative45.4%
*-commutative45.4%
metadata-eval45.4%
sub-neg45.4%
*-commutative45.4%
Applied egg-rr45.6%
Taylor expanded in x around inf 79.9%
distribute-lft-in79.9%
associate--l+79.9%
unpow279.9%
+-commutative79.9%
unpow279.9%
unpow279.9%
associate-*r/79.9%
Simplified79.9%
Taylor expanded in t around 0 79.7%
associate-*r/81.0%
neg-mul-181.0%
unpow281.0%
Simplified79.7%
if -4.19999999999999977e-196 < t < -1.15e-261Initial program 2.7%
associate-*l/2.7%
Simplified2.7%
Taylor expanded in t around inf 2.7%
associate-/l*2.7%
+-commutative2.7%
sub-neg2.7%
metadata-eval2.7%
+-commutative2.7%
unpow22.7%
Simplified2.7%
*-un-lft-identity2.7%
sqrt-undiv2.7%
+-commutative2.7%
Applied egg-rr2.7%
*-lft-identity2.7%
associate-/r*2.7%
metadata-eval2.7%
metadata-eval2.7%
sub-neg2.7%
unpow22.7%
associate-/r/2.7%
associate-*l/2.7%
*-commutative2.7%
unpow22.7%
sub-neg2.7%
metadata-eval2.7%
Simplified2.7%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt63.2%
Simplified63.2%
Taylor expanded in t around 0 63.4%
if -1.15e-261 < t < 4.9999999999999998e-235Initial program 2.0%
associate-*l/2.0%
Simplified2.0%
Taylor expanded in x around inf 57.2%
associate--l+57.2%
unpow257.2%
distribute-lft-out57.2%
unpow257.2%
unpow257.2%
associate-*r/57.2%
mul-1-neg57.2%
unpow257.2%
+-commutative57.2%
unpow257.2%
fma-udef57.2%
Simplified57.2%
Taylor expanded in t around 0 56.8%
sub-neg56.8%
unpow256.8%
mul-1-neg56.8%
remove-double-neg56.8%
unpow256.8%
Simplified56.8%
if 4.9999999999999998e-235 < t < 5.8999999999999999e-155 or 5.40000000000000009e-11 < t Initial program 25.2%
associate-*l/25.2%
Simplified25.2%
Taylor expanded in t around inf 18.3%
associate-/l*32.6%
+-commutative32.6%
sub-neg32.6%
metadata-eval32.6%
+-commutative32.6%
unpow232.6%
Simplified32.6%
Taylor expanded in t around 0 87.3%
associate-*r/87.4%
+-commutative87.4%
sub-neg87.4%
metadata-eval87.4%
*-rgt-identity87.4%
Simplified87.4%
Final simplification81.9%
if t < -7.40000000000000009e-7Initial program 35.5%
associate-*l/35.7%
Simplified35.7%
Taylor expanded in t around inf 20.3%
associate-/l*43.1%
+-commutative43.1%
sub-neg43.1%
metadata-eval43.1%
+-commutative43.1%
unpow243.1%
Simplified43.1%
Taylor expanded in t around -inf 91.5%
mul-1-neg91.5%
associate-*r/91.5%
+-commutative91.5%
sub-neg91.5%
metadata-eval91.5%
*-rgt-identity91.5%
distribute-neg-frac91.5%
Simplified91.5%
if -7.40000000000000009e-7 < t < 2.6e-228 or 7.5000000000000006e-155 < t < 1.2000000000000001e-11Initial program 29.0%
associate-*l/29.1%
Simplified29.1%
sqrt-undiv28.3%
fma-udef28.3%
+-commutative28.3%
*-commutative28.3%
metadata-eval28.3%
sub-neg28.3%
*-commutative28.3%
Applied egg-rr31.6%
Taylor expanded in x around inf 67.7%
distribute-lft-in67.7%
associate--l+67.7%
unpow267.7%
+-commutative67.7%
unpow267.7%
unpow267.7%
associate-*r/67.7%
Simplified67.7%
Taylor expanded in t around 0 67.6%
associate-*r/68.5%
neg-mul-168.5%
unpow268.5%
Simplified67.6%
if 2.6e-228 < t < 7.5000000000000006e-155 or 1.2000000000000001e-11 < t Initial program 25.2%
associate-*l/25.2%
Simplified25.2%
Taylor expanded in t around inf 18.3%
associate-/l*32.6%
+-commutative32.6%
sub-neg32.6%
metadata-eval32.6%
+-commutative32.6%
unpow232.6%
Simplified32.6%
Taylor expanded in t around 0 87.3%
associate-*r/87.4%
+-commutative87.4%
sub-neg87.4%
metadata-eval87.4%
*-rgt-identity87.4%
Simplified87.4%
Final simplification80.3%
if t < -1.999999999999994e-310Initial program 33.2%
associate-*l/33.3%
Simplified33.3%
Taylor expanded in t around inf 28.0%
associate-/l*30.2%
+-commutative30.2%
sub-neg30.2%
metadata-eval30.2%
+-commutative30.2%
unpow230.2%
Simplified30.2%
Taylor expanded in t around -inf 74.0%
mul-1-neg74.0%
associate-*r/74.0%
+-commutative74.0%
sub-neg74.0%
metadata-eval74.0%
*-rgt-identity74.0%
distribute-neg-frac74.0%
Simplified74.0%
if -1.999999999999994e-310 < t Initial program 25.6%
associate-*l/25.6%
Simplified25.6%
Taylor expanded in t around inf 22.6%
associate-/l*26.6%
+-commutative26.6%
sub-neg26.6%
metadata-eval26.6%
+-commutative26.6%
unpow226.6%
Simplified26.6%
Taylor expanded in t around 0 72.5%
associate-*r/72.5%
+-commutative72.5%
sub-neg72.5%
metadata-eval72.5%
*-rgt-identity72.5%
Simplified72.5%
Final simplification73.3%
if t < -1.999999999999994e-310Initial program 33.2%
associate-*l/33.3%
Simplified33.3%
Taylor expanded in t around inf 28.0%
associate-/l*30.2%
+-commutative30.2%
sub-neg30.2%
metadata-eval30.2%
+-commutative30.2%
unpow230.2%
Simplified30.2%
*-un-lft-identity30.2%
sqrt-undiv30.1%
+-commutative30.1%
Applied egg-rr30.1%
*-lft-identity30.1%
associate-/r*30.1%
metadata-eval30.1%
metadata-eval30.1%
sub-neg30.1%
unpow230.1%
associate-/r/39.1%
associate-*l/27.4%
*-commutative27.4%
unpow227.4%
sub-neg27.4%
metadata-eval27.4%
Simplified27.4%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt73.6%
Simplified73.6%
if -1.999999999999994e-310 < t Initial program 25.6%
associate-*l/25.6%
Simplified25.6%
Taylor expanded in t around inf 22.6%
associate-/l*26.6%
+-commutative26.6%
sub-neg26.6%
metadata-eval26.6%
+-commutative26.6%
unpow226.6%
Simplified26.6%
Taylor expanded in t around 0 72.5%
associate-*r/72.5%
+-commutative72.5%
sub-neg72.5%
metadata-eval72.5%
*-rgt-identity72.5%
Simplified72.5%
Final simplification73.1%
if t < -1.999999999999994e-310Initial program 33.2%
associate-*l/33.3%
Simplified33.3%
Taylor expanded in t around inf 28.0%
associate-/l*30.2%
+-commutative30.2%
sub-neg30.2%
metadata-eval30.2%
+-commutative30.2%
unpow230.2%
Simplified30.2%
*-un-lft-identity30.2%
sqrt-undiv30.1%
+-commutative30.1%
Applied egg-rr30.1%
*-lft-identity30.1%
associate-/r*30.1%
metadata-eval30.1%
metadata-eval30.1%
sub-neg30.1%
unpow230.1%
associate-/r/39.1%
associate-*l/27.4%
*-commutative27.4%
unpow227.4%
sub-neg27.4%
metadata-eval27.4%
Simplified27.4%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt73.6%
Simplified73.6%
if -1.999999999999994e-310 < t Initial program 25.6%
associate-*l/25.6%
Simplified25.6%
Taylor expanded in t around inf 22.6%
associate-/l*26.6%
+-commutative26.6%
sub-neg26.6%
metadata-eval26.6%
+-commutative26.6%
unpow226.6%
Simplified26.6%
Taylor expanded in x around inf 72.1%
associate--l+72.1%
associate-*r/72.1%
metadata-eval72.1%
unpow272.1%
Simplified72.1%
Final simplification72.9%
if t < -1.999999999999994e-310Initial program 33.2%
associate-*l/33.3%
Simplified33.3%
Taylor expanded in t around inf 28.0%
associate-/l*30.2%
+-commutative30.2%
sub-neg30.2%
metadata-eval30.2%
+-commutative30.2%
unpow230.2%
Simplified30.2%
*-un-lft-identity30.2%
sqrt-undiv30.1%
+-commutative30.1%
Applied egg-rr30.1%
*-lft-identity30.1%
associate-/r*30.1%
metadata-eval30.1%
metadata-eval30.1%
sub-neg30.1%
unpow230.1%
associate-/r/39.1%
associate-*l/27.4%
*-commutative27.4%
unpow227.4%
sub-neg27.4%
metadata-eval27.4%
Simplified27.4%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt73.6%
Simplified73.6%
if -1.999999999999994e-310 < t Initial program 25.6%
associate-*l/25.6%
Simplified25.6%
Taylor expanded in t around inf 22.6%
associate-/l*26.6%
+-commutative26.6%
sub-neg26.6%
metadata-eval26.6%
+-commutative26.6%
unpow226.6%
Simplified26.6%
Taylor expanded in x around inf 70.9%
Taylor expanded in t around 0 71.0%
Final simplification72.3%
if t < -1.999999999999994e-310Initial program 33.2%
associate-*l/33.3%
Simplified33.3%
Taylor expanded in t around inf 28.0%
associate-/l*30.2%
+-commutative30.2%
sub-neg30.2%
metadata-eval30.2%
+-commutative30.2%
unpow230.2%
Simplified30.2%
*-un-lft-identity30.2%
sqrt-undiv30.1%
+-commutative30.1%
Applied egg-rr30.1%
*-lft-identity30.1%
associate-/r*30.1%
metadata-eval30.1%
metadata-eval30.1%
sub-neg30.1%
unpow230.1%
associate-/r/39.1%
associate-*l/27.4%
*-commutative27.4%
unpow227.4%
sub-neg27.4%
metadata-eval27.4%
Simplified27.4%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt73.6%
Simplified73.6%
if -1.999999999999994e-310 < t Initial program 25.6%
associate-*l/25.6%
Simplified25.6%
Taylor expanded in t around inf 22.6%
associate-/l*26.6%
+-commutative26.6%
sub-neg26.6%
metadata-eval26.6%
+-commutative26.6%
unpow226.6%
Simplified26.6%
Taylor expanded in x around inf 71.6%
Final simplification72.6%
if t < -1.999999999999994e-310Initial program 33.2%
associate-*l/33.3%
Simplified33.3%
Taylor expanded in t around inf 28.0%
associate-/l*30.2%
+-commutative30.2%
sub-neg30.2%
metadata-eval30.2%
+-commutative30.2%
unpow230.2%
Simplified30.2%
*-un-lft-identity30.2%
sqrt-undiv30.1%
+-commutative30.1%
Applied egg-rr30.1%
*-lft-identity30.1%
associate-/r*30.1%
metadata-eval30.1%
metadata-eval30.1%
sub-neg30.1%
unpow230.1%
associate-/r/39.1%
associate-*l/27.4%
*-commutative27.4%
unpow227.4%
sub-neg27.4%
metadata-eval27.4%
Simplified27.4%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt73.2%
Simplified73.2%
Taylor expanded in t around 0 73.3%
if -1.999999999999994e-310 < t Initial program 25.6%
associate-*l/25.6%
Simplified25.6%
Taylor expanded in t around inf 22.6%
associate-/l*26.6%
+-commutative26.6%
sub-neg26.6%
metadata-eval26.6%
+-commutative26.6%
unpow226.6%
Simplified26.6%
Taylor expanded in x around inf 70.9%
Taylor expanded in t around 0 71.0%
Final simplification72.2%
Initial program 29.5%
associate-*l/29.6%
Simplified29.6%
Taylor expanded in t around inf 25.4%
associate-/l*28.4%
+-commutative28.4%
sub-neg28.4%
metadata-eval28.4%
+-commutative28.4%
unpow228.4%
Simplified28.4%
*-un-lft-identity28.4%
sqrt-undiv28.4%
+-commutative28.4%
Applied egg-rr28.4%
*-lft-identity28.4%
associate-/r*28.4%
metadata-eval28.4%
metadata-eval28.4%
sub-neg28.4%
unpow228.4%
associate-/r/35.8%
associate-*l/24.7%
*-commutative24.7%
unpow224.7%
sub-neg24.7%
metadata-eval24.7%
Simplified24.7%
Taylor expanded in x around -inf 0.0%
unpow20.0%
rem-square-sqrt38.6%
Simplified38.6%
Taylor expanded in t around 0 38.6%
Final simplification38.6%
herbie shell --seed 2023166
(FPCore (x l t)
:name "Toniolo and Linder, Equation (7)"
:precision binary64
(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))))